咨询与建议

限定检索结果

文献类型

  • 4,828 篇 会议
  • 3,434 篇 期刊文献
  • 17 册 图书

馆藏范围

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

日期分布

学科分类号

  • 7,617 篇 工学
    • 6,962 篇 计算机科学与技术...
    • 6,050 篇 软件工程
    • 537 篇 信息与通信工程
    • 514 篇 控制科学与工程
    • 463 篇 电气工程
    • 266 篇 电子科学与技术(可...
    • 202 篇 材料科学与工程(可...
    • 153 篇 土木工程
    • 145 篇 建筑学
    • 133 篇 机械工程
    • 90 篇 测绘科学与技术
    • 89 篇 仪器科学与技术
    • 75 篇 航空宇航科学与技...
    • 68 篇 生物工程
    • 67 篇 生物医学工程(可授...
    • 48 篇 光学工程
    • 47 篇 化学工程与技术
  • 1,422 篇 理学
    • 1,049 篇 数学
    • 197 篇 物理学
    • 114 篇 统计学(可授理学、...
    • 89 篇 生物学
    • 79 篇 系统科学
    • 66 篇 化学
  • 891 篇 管理学
    • 491 篇 图书情报与档案管...
    • 460 篇 管理科学与工程(可...
    • 195 篇 工商管理
  • 123 篇 教育学
    • 94 篇 教育学
    • 33 篇 心理学(可授教育学...
  • 72 篇 医学
    • 46 篇 临床医学
  • 47 篇 军事学
  • 40 篇 经济学
    • 40 篇 应用经济学
  • 30 篇 法学
  • 24 篇 农学
  • 7 篇 文学
  • 3 篇 艺术学
  • 1 篇 哲学

主题

  • 8,279 篇 computer program...
  • 55 篇 language
  • 42 篇 computer softwar...
  • 34 篇 programming lang...
  • 32 篇 artificial intel...
  • 31 篇 programming
  • 30 篇 maximum likeliho...
  • 29 篇 computer program...
  • 28 篇 codes
  • 28 篇 machine learning
  • 23 篇 semantics
  • 22 篇 logic programmin...
  • 20 篇 computer science
  • 20 篇 algorithms
  • 18 篇 computers
  • 18 篇 coverage
  • 17 篇 ml
  • 17 篇 multiple input m...
  • 17 篇 computer languag...
  • 17 篇 students

机构

  • 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 篇 harvard univ cam...
  • 5 篇 chalmers univ of...

作者

  • 82 篇 anon
  • 11 篇 baird george n.
  • 11 篇 cordy james r.
  • 10 篇 cook margaret m.
  • 9 篇 dastani mehdi
  • 9 篇 cardelli luca
  • 8 篇 takeuchi ikuo
  • 8 篇 mitchell john c.
  • 8 篇 ghezzi carlo
  • 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
  • 8 篇 kobayashi naoki
  • 7 篇 hasegawa ryuzo
  • 7 篇 futatsugi kokich...

语言

  • 6,727 篇 英文
  • 1,242 篇 其他
  • 144 篇 德文
  • 48 篇 法文
  • 37 篇 中文
  • 34 篇 俄文
  • 22 篇 日文
  • 9 篇 意大利文
  • 7 篇 波兰文
  • 3 篇 匈牙利文
  • 2 篇 荷兰文
  • 1 篇 捷克文
  • 1 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 瑞典文
检索条件"主题词=Computer programming languages"
8279 条 记 录,以下是291-300 订阅
排序:
Measurement fusion using maximum-likelihood estimation of ballistic trajectories
收藏 引用
IET RADAR SONAR AND NAVIGATION 2016年 第5期10卷 834-843页
作者: Janczak, Dariusz Sankowski, Miroslaw Grishin, Yuri Bialystok Tech Univ Fac Elect Engn Ul Wiejska 45D PL-15315 Bialystok Poland PIT RADWAR SA Remote Sensing Syst Div Ul Hallera 233A PL-80502 Gdansk Poland
A novel method is proposed for asynchronous measurement fusion using maximum-likelihood (ML) estimator. This method is applied to multiple radar tracking and reconstruction of ballistic trajectories. The performance a... 详细信息
来源: 评论
Responsive parallel computation: Bridging competitive and cooperative threading
收藏 引用
ACM SIGPLAN Notices 2017年 第6期52卷 677-692页
作者: Muller, Stefan K. Acar, Umut A. Harper, Robert Carnegie Mellon University United States
Competitive and cooperative threading are widely used abstractions in computing. In competitive threading, threads are scheduled preemptively with the goal of minimizing response time, usually of interactive applicati... 详细信息
来源: 评论
Transforming Procedural Code for Streaming Environments
Transforming Procedural Code for Streaming Environments
收藏 引用
Euromicro Conference on Parallel, Distributed and Network-Based Processing
作者: Michal Brabec David Bednárek Department of Software Engineering Charles University Prague Czech Republic
Streaming environments and similar parallel platforms are widely used in image, signal, or general data processing as a means of achieving high performance. Unfortunately, they are often associated with specific progr... 详细信息
来源: 评论
A Maximum Likelihood "identification-correction" scheme of sub-optimal "SeDJoCo" solutions for semi-Blind Source Separation
A Maximum Likelihood "identification-correction" scheme of s...
收藏 引用
IEEE International Conference on Acoustics, Speech and Signal Processing
作者: Amir Weiss Arie Yeredor Sher Ali Cheema Martin Haardt School of Electrical Engineering Tel-Aviv University P.O. Box 39040 69978 Israel Communications Research Laboratory Ilmenau University of Technology P.O. Box 100565 D-98684 Germany
The "Sequentially Drilled" Joint Congruence (SeDJoCo) transformation is a set of matrix transformation equations, which coincide with the Likelihood Equations for semi-blind source separation, when each sour... 详细信息
来源: 评论
BinPro: A tool for binary source code provenance
arXiv
收藏 引用
arXiv 2017年
作者: Miyani, Dhaval Huang, Zhen Lie, David University of Toronto
Enforcing open source licenses such as the GNU General Public License (GPL), analyzing a binary for possible vulnerabilities, and code maintenance are all situations where it is useful to be able to determine the sour... 详细信息
来源: 评论
ConnectMPS: the global patient insights network for MPS, ML and related disorders
收藏 引用
MOLECULAR GENETICS AND METABOLISM 2017年 第1-2期120卷 S114-S114页
作者: Miller, Vanessa Rangel Dant, Mark Wood, Jill PatientCrossroads Bellevue WA USA Natl MPS Soc Durham NC USA Jonahs Just Begun Fdn Cure Sanfilippo Inc Brooklyn NY USA
来源: 评论
Topic modeling of public repositories at scale using names in source code
arXiv
收藏 引用
arXiv 2017年
作者: Markovtsev, Vadim Kant, Eiso Source{d} Madrid Spain
programming languages themselves have a limited number of reserved keywords and character based tokens that define the language specification. However, programmers have a rich use of natural language within their code... 详细信息
来源: 评论
Network architectures for multilingual speech representation learning
Network architectures for multilingual speech representation...
收藏 引用
IEEE International Conference on Acoustics, Speech and Signal Processing
作者: Tom Sercu George Saon Jia Cui Xiaodong Cui Bhuvana Ramabhadran Brian Kingsbury Abhinav Sethy IBM Watson IBM T. J. Watson Research Center Yorktown Heights NY United States of America
Multilingual (ML) representations play a key role in building speech recognition systems for low resource languages. The IARPA sponsored BABEL program focuses on building speech recognition (ASR) and keyword search (K... 详细信息
来源: 评论
Linking sketches and diagrams to source code artifacts
arXiv
收藏 引用
arXiv 2017年
作者: Baltes, Sebastian Schmitz, Peter Diehl, Stephan Computer Science University of Trier Trier Germany
Recent studies have shown that sketches and diagrams play an important role in the daily work of software developers. If these visual artifacts are archived, they are often detached from the source code they document,... 详细信息
来源: 评论
A proposal for teaching SCADA systems using Virtual Industrial Plants in Engineering Education
收藏 引用
IFAC-PapersOnLine 2016年 第6期49卷 138-143页
作者: Rodríguez, F. Guzmán, J.L. Castilla, M. Sánchez-Molina, J.A. Berenguel, M. Informatics Department Automatic Control Robotics and Mechatronics research group University of Almería Agrifood Campus of International Excellence ceiA3 CIESOL R&D Center Spain
The main objectives of SCADA (Supervisory Control And Data Acquisition) systems are the supervisory analysis of the system, control algorithms validation, and data acquisition. These systems are normally implemented a... 详细信息
来源: 评论