咨询与建议

限定检索结果

文献类型

  • 4,828 篇 会议
  • 3,189 篇 期刊文献
  • 16 册 图书

馆藏范围

  • 8,033 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 7,453 篇 工学
    • 6,933 篇 计算机科学与技术...
    • 5,986 篇 软件工程
    • 513 篇 信息与通信工程
    • 502 篇 控制科学与工程
    • 389 篇 电气工程
    • 248 篇 电子科学与技术(可...
    • 165 篇 材料科学与工程(可...
    • 147 篇 土木工程
    • 142 篇 建筑学
    • 131 篇 机械工程
    • 83 篇 测绘科学与技术
    • 81 篇 仪器科学与技术
    • 65 篇 航空宇航科学与技...
    • 65 篇 生物工程
    • 62 篇 生物医学工程(可授...
    • 44 篇 光学工程
    • 24 篇 交通运输工程
  • 1,272 篇 理学
    • 1,042 篇 数学
    • 126 篇 物理学
    • 108 篇 统计学(可授理学、...
    • 85 篇 系统科学
    • 66 篇 生物学
    • 24 篇 化学
  • 897 篇 管理学
    • 490 篇 图书情报与档案管...
    • 467 篇 管理科学与工程(可...
    • 193 篇 工商管理
  • 119 篇 教育学
    • 94 篇 教育学
    • 30 篇 心理学(可授教育学...
  • 46 篇 军事学
  • 38 篇 经济学
    • 38 篇 应用经济学
  • 30 篇 法学
  • 30 篇 医学
    • 24 篇 临床医学
  • 9 篇 艺术学
  • 8 篇 文学
  • 5 篇 农学
  • 1 篇 哲学

主题

  • 8,033 篇 computer program...
  • 29 篇 computer softwar...
  • 28 篇 computer program...
  • 27 篇 language
  • 26 篇 artificial intel...
  • 25 篇 programming
  • 24 篇 programming lang...
  • 21 篇 logic programmin...
  • 19 篇 computer science
  • 18 篇 maximum likeliho...
  • 17 篇 computer languag...
  • 17 篇 machine learning
  • 17 篇 students
  • 15 篇 multiple input m...
  • 15 篇 semantics
  • 15 篇 codes
  • 15 篇 paper
  • 13 篇 ml
  • 12 篇 software enginee...
  • 12 篇 algorithms

机构

  • 11 篇 carnegie mellon ...
  • 10 篇 carnegie-mellon ...
  • 9 篇 carnegie mellon ...
  • 8 篇 stanford univ ca...
  • 8 篇 ibm san jose ca ...
  • 7 篇 univ of californ...
  • 7 篇 ibm t. j. watson...
  • 6 篇 univ of tokyo
  • 6 篇 mit cambridge ma...
  • 6 篇 yale univ new ha...
  • 6 篇 ibm t j watson r...
  • 6 篇 carnegie mellon ...
  • 6 篇 at&t bell lab mu...
  • 5 篇 inria
  • 5 篇 univ of miami co...
  • 5 篇 cwi
  • 5 篇 oak ridge natl l...
  • 5 篇 univ of pennsylv...
  • 5 篇 centre for mathe...
  • 5 篇 harvard univ cam...

作者

  • 82 篇 anon
  • 11 篇 baird george n.
  • 11 篇 cordy james r.
  • 10 篇 cook margaret m.
  • 9 篇 dastani mehdi
  • 8 篇 takeuchi ikuo
  • 8 篇 mitchell john c.
  • 8 篇 ghezzi carlo
  • 8 篇 cardelli luca
  • 8 篇 amamiya makoto
  • 8 篇 leblanc richard ...
  • 8 篇 lucas salvador
  • 8 篇 cooke daniel e.
  • 8 篇 pritsker a.alan ...
  • 8 篇 wasserman anthon...
  • 8 篇 morrisett greg
  • 8 篇 hennessy matthew
  • 7 篇 hasegawa ryuzo
  • 7 篇 futatsugi kokich...
  • 7 篇 halpern joseph y...

语言

  • 6,476 篇 英文
  • 1,273 篇 其他
  • 121 篇 德文
  • 48 篇 法文
  • 34 篇 俄文
  • 34 篇 中文
  • 22 篇 日文
  • 9 篇 意大利文
  • 7 篇 波兰文
  • 3 篇 匈牙利文
  • 2 篇 荷兰文
  • 1 篇 捷克文
  • 1 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 瑞典文
检索条件"主题词=Computer programming languages"
8033 条 记 录,以下是421-430 订阅
排序:
HP3 automatic measurement system  2
HP3 automatic measurement system
收藏 引用
2nd Asian Pacific Conference on Mechatronics and Control Engineering, APCMCE 2014
作者: Xu, Jing Bo Zhang, Jian Song Yu, Hong Tao National Digital Switching System Engineering and Technological Research Center 2861 address 6 points box Beijing ZhengzhouHenan China National Digital Switching System Engineering and Technological Research Center ZhengzhouHenan China
This paper introduce the thought of USB interface application, an automatic measurement system is as an example. The PC control system of automatic measurement by the Labview software programming, then control relay, ... 详细信息
来源: 评论
A Simple Method to Increase the Amount of Energy Produced by the Photovoltaic Panels
收藏 引用
INTERNATIONAL JOURNAL OF PHOTOENERGY 2014年 第1期2014卷
作者: Cotfas, Daniel Tudor Cotfas, Petru Adrian Transilvania Univ Brasov Dept Elect & Comp Brasov 50036 Romania
The photovoltaic energy can become competitive by the conjugate effort of the researchers and manufacturers. Increasing the amount of electricity supplied by photovoltaic panels is a challenge. The paper briefly prese... 详细信息
来源: 评论
Reasonability of MC/DC for Safety-Relevant Software Implemented in programming languages with Short-Circuit Evaluation  16
Reasonability of MC/DC for Safety-Relevant Software Implemen...
收藏 引用
16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)
作者: Kandl, Susanne Chandrashekar, Sandeep Vienna Univ Technol Inst Comp Engn Vienna Austria Infineon Technol India Pvt Ltd Bangalore Karnataka India
MC/DC (modified condition/decision coverage) is a structural code coverage metric, originally defined in the standard DO-178B [1], intended to be an efficient coverage metric for the evaluation of the testing process ... 详细信息
来源: 评论
Logic and agent programming languages
Logic and agent programming languages
收藏 引用
20th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2013
作者: Alechina, Natasha School of Computer Science University of Nottingham United Kingdom
Agent programming languages based on the Belief, Desire and Intentions (BDI) framework present some interesting challenges for logicians. While BDI logics have been studied extensively, problems related to belief upda... 详细信息
来源: 评论
A framework for analyzing and transforming source code supporting multiple programming languages
A framework for analyzing and transforming source code suppo...
收藏 引用
12th Annual International Conference on Aspect-Oriented Software Development, AOSD 2013
作者: Sakamoto, Kazunori Computer Science and Engineering Waseda University 3-4-1 Okubo Shinjuku-ku Tokyo 1698555 Japan
We propose a framework for processing source code support- ing multiple programming languages, named UNICOEN. UNICOEN reduces development costs and differences be- tween tool implementations. We evaluated UNICOEN by d... 详细信息
来源: 评论
REDUCTION OF ACOUSTIC MODEL TRAINING TIME AND REQUIRED DATA PASSES VIA STOCHASTIC APPROACHES TO MAXIMUM LIKELIHOOD AND DISCRIMINATIVE TRAINING
REDUCTION OF ACOUSTIC MODEL TRAINING TIME AND REQUIRED DATA ...
收藏 引用
IEEE International Conference on Acoustics, Speech and Signal Processing
作者: Petr Novak Roman Otec Antonio Lee Vaibhava Goel IBM Czech Republic V Parku 4 148 00 Praha Czech Republic IBM Thomas J. Watson Research Center Yorktown Heights NY 10598 USA
The recent boom in use of speech recognition technology has made the access to potentially large amounts of training data easier. This, however, also constitutes a challenge in processing such large, continuously grow... 详细信息
来源: 评论
SPARSE SIGNAL RECOVERY UNDER POISSON STATISTICS FOR ONLINE MARKETING APPLICATIONS
SPARSE SIGNAL RECOVERY UNDER POISSON STATISTICS FOR ONLINE M...
收藏 引用
IEEE International Conference on Acoustics, Speech and Signal Processing
作者: Delaram Motamedvaziri Mohammad H. Rohban Venkatesh Saligrama Boston University
We are motivated by many applications such as problems that arise in online marketing applications, where the observations are governed by non-homogeneous Poisson models. We analyze the performance of a Maximum Likeli... 详细信息
来源: 评论
Multi-layer resilience in deutsche telekom's ip core and aggregation network
Multi-layer resilience in deutsche telekom's ip core and agg...
收藏 引用
Photonic Networks;15. ITG Symposium
作者: Matthias Gunkel Martin Horneffer Deutsche Telekom Technik Optical Packet Transport Heinrich-Hertz-Strasse 3-7 Deutsche Telekom Technik IP Backbone Dahlweg 100
This paper considers cost savings that can be achieved by a multi-layer (ML) dimensioning and interworking within a practical packet-optical backbone network. They are based on several multi-layer resilience (MLR) sch... 详细信息
来源: 评论
MAXIMUM LIKELIHOOD SNR ESTIMATION OVER TIME-VARYING FLAT-FADING SIMO CHANNELS
MAXIMUM LIKELIHOOD SNR ESTIMATION OVER TIME-VARYING FLAT-FAD...
收藏 引用
IEEE International Conference on Acoustics, Speech and Signal Processing
作者: Faouzi Bellili Rabii Meftehi Sofiene Affes Alex Stephenne INRS-EMT 6900-800 de la Gauchetiere Ouest Montreal (Quebec) H5A 1K6
In this paper, we propose a new signal-to-noise-ratio (SNR) maximum likelihood (ML) estimator over time-varying single-input multiple-output (SIMO) channels, for both data-aided (DA) and non-data-aided (NDA) cases. Un... 详细信息
来源: 评论
Joint ML & MMSE-SIC detection for multi cell network environment
Joint ML & MMSE-SIC detection for multi cell network environ...
收藏 引用
International Conference on Signal Processing and Communication Systems, ICSPCS
作者: Won Seok Choi Hong Soon Chang Pyung Soo Kim Jeong Gon Kim Electrical Engineering Korea Polytechnic University Si Heung City Kyunggi Do KOREA Department of Electrical Engineering Korea Polytechnic University Si Heung City Kyunggi Do Korea
In this paper, we address the issue of the joint detection schemes for uplink cellular system when base station cooperation is possible for multi-cell users in multi-cell scenario. The ML, MMSE and MMSE based SIC dete... 详细信息
来源: 评论