咨询与建议

限定检索结果

文献类型

  • 4,829 篇 会议
  • 3,439 篇 期刊文献
  • 17 册 图书

馆藏范围

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

日期分布

学科分类号

  • 7,623 篇 工学
    • 6,959 篇 计算机科学与技术...
    • 6,019 篇 软件工程
    • 537 篇 信息与通信工程
    • 513 篇 控制科学与工程
    • 462 篇 电气工程
    • 269 篇 电子科学与技术(可...
    • 205 篇 材料科学与工程(可...
    • 154 篇 土木工程
    • 145 篇 建筑学
    • 133 篇 机械工程
    • 90 篇 测绘科学与技术
    • 89 篇 仪器科学与技术
    • 75 篇 航空宇航科学与技...
    • 68 篇 生物工程
    • 67 篇 生物医学工程(可授...
    • 48 篇 光学工程
    • 46 篇 化学工程与技术
  • 1,427 篇 理学
    • 1,052 篇 数学
    • 200 篇 物理学
    • 114 篇 统计学(可授理学、...
    • 89 篇 生物学
    • 79 篇 系统科学
    • 67 篇 化学
  • 891 篇 管理学
    • 490 篇 图书情报与档案管...
    • 461 篇 管理科学与工程(可...
    • 193 篇 工商管理
  • 124 篇 教育学
    • 94 篇 教育学
    • 34 篇 心理学(可授教育学...
  • 73 篇 医学
    • 46 篇 临床医学
  • 46 篇 军事学
  • 39 篇 经济学
    • 39 篇 应用经济学
  • 30 篇 法学
  • 24 篇 农学
  • 7 篇 文学
  • 3 篇 艺术学
  • 1 篇 哲学

主题

  • 8,285 篇 computer program...
  • 53 篇 language
  • 43 篇 computer softwar...
  • 32 篇 artificial intel...
  • 32 篇 programming lang...
  • 31 篇 programming
  • 30 篇 maximum likeliho...
  • 29 篇 computer program...
  • 28 篇 machine learning
  • 26 篇 codes
  • 23 篇 semantics
  • 22 篇 logic programmin...
  • 21 篇 algorithms
  • 20 篇 computer science
  • 18 篇 coverage
  • 17 篇 ml
  • 17 篇 multiple input m...
  • 17 篇 computer languag...
  • 17 篇 computers
  • 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,694 篇 英文
  • 1,306 篇 其他
  • 121 篇 德文
  • 48 篇 法文
  • 35 篇 中文
  • 34 篇 俄文
  • 22 篇 日文
  • 9 篇 意大利文
  • 7 篇 波兰文
  • 3 篇 匈牙利文
  • 2 篇 荷兰文
  • 1 篇 捷克文
  • 1 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 瑞典文
检索条件"主题词=Computer Programming Languages"
8285 条 记 录,以下是111-120 订阅
排序:
Label-dependent session types
Label-dependent session types
收藏 引用
Proceedings of the ACM on programming languages
作者: Thiemann, Peter Vasconcelos, Vasco T. Department of Informatics Faculty of Engineering University of Freiburg Germany LASIGE Department of Informatics Faculty of Sciences University of Lisbon Portugal
Session types have emerged as a typing discipline for communication protocols. Existing calculi with session types come equipped with many different primitives that combine communication with the introduction or elimi... 详细信息
来源: 评论
A model to detect readability improvements in incremental changes  28
A model to detect readability improvements in incremental ch...
收藏 引用
28th IEEE/ACM International Conference on Program Comprehension, ICPC 2020, collocated with the 42nd International Conference on Software Engineering, ICSE 2020
作者: Roy, Devjeet Fakhoury, Sarah Lee, John Arnaoudova, Venera Washington State University Washington United States
Identifying source code that has poor readability allows developers to focus maintenance efforts on problematic code. Therefore,the effort to develop models that can quantify the readability ofa piece of source code h... 详细信息
来源: 评论
Gesture Recognition of Basketball Referee Violation Signal by Applying Dynamic Time Warping Algorithm Using a Wearable Device  4
Gesture Recognition of Basketball Referee Violation Signal b...
收藏 引用
4th International Conference on Computing Methodologies and Communication, ICCMC 2020
作者: Bedico, Sedney R. Lope, Edrhiza Mae L. Lope, Erdwin John L. Lunjas, Edward B. Lustre, Andrea Paola D. Tolentino, Roselito E. Polytechnic University of the Philippines - Santa Rosa Campus Laguna Philippines
This research develops a sensor-based wearable device for gesture recognition in basketball violation. It gears to improve and enhance the ways of identifying signals performed by the referee. Moreover, it aims to les... 详细信息
来源: 评论
Web-based learning system and simulation for time series seasonal adjustment
Web-based learning system and simulation for time series sea...
收藏 引用
2019 International Conference on Science Education and Technology, ICOSETH 2019
作者: Ridho, Farid Huslijah, Else Departement of Computational Statistics Politeknik Statistika STIS Indonesia Education and Training Center Badan Pusat Statistik Indonesia
Time-series data is one of the data produced by the Badan Pusat Statistik (BPS). The time-series data has the potential to have a seasonal effect which can cause the analysis to be less accurate. Seasonal effects can ... 详细信息
来源: 评论
Operational semantics with hierarchical abstract syntax graphs
arXiv
收藏 引用
arXiv 2021年
作者: Ghica, Dan R. Huawei Research Edinburgh University of Birmingham United Kingdom
This is a motivating tutorial introduction to a semantic analysis of programming languages using a graphical language as the representation of terms, and graph rewriting as a representation of reduction rules. We show... 详细信息
来源: 评论
A small-step operational semantics for GP2
arXiv
收藏 引用
arXiv 2021年
作者: Courtehoute, Brian Plump, Detlef Department of Computer Science University of York York United Kingdom
The operational semantics of a programming language is said to be small-step if each transition step is an atomic computation step in the language. A semantics with this property faithfully corresponds to the implemen... 详细信息
来源: 评论
ReGVD: Revisiting Graph Neural Networks for Vulnerability Detection
arXiv
收藏 引用
arXiv 2021年
作者: Nguyen, Van-Anh Le, Trung Nguyen, Dai Quoc Tran, Quan Hung Nguyen, Van Phung, Dinh VNU - University of Science Viet Nam Monash University Australia Oracle Labs Australia Adobe Research San JoseCA United States
Identifying vulnerabilities in the source code is essential to protect the software systems from cyber security attacks. It, however, is also a challenging step that requires specialized expertise in security and code... 详细信息
来源: 评论
In Need of Bias Control: Evaluating Chemical Data for Machine Learning in Structure-Based Virtual Screening
收藏 引用
JOURNAL OF CHEMICAL INFORMATION AND MODELING 2019年 第3期59卷 947-961页
作者: Sieg, Jochen Flachsenberg, Florian Rarey, Matthias Univ Hamburg Res Grp Computat Mol Design ZBH Ctr Bioinformat Bundesstr 43 D-20146 Hamburg Germany
Reports of successful applications of machine learning (ML) methods in structure-based virtual screening (SBVS) are increasing. ML methods such as convolutional neural networks show promising results and often outperf... 详细信息
来源: 评论
Julia for biologists
arXiv
收藏 引用
arXiv 2021年
作者: Roesch, Elisabeth Greener, Joe G. MacLean, Adam L. Nassar, Huda Rackauckas, Christopher Holy, Timothy E. Stumpf, Michael P.H. School of Mathematics and Statistics University of Melbourne 813 Swanston Street ParkvilleVIC3010 Australia Melbourne Integrative Genomics University of Melbourne 30 Royal Parade ParkvilleVIC3052 Australia Department of Computer Science University College London Gower Street LondonWC1E 6BT United Kingdom Department of Quantitative and Computational Biology University of Southern California 1050 Childs Way Los AngelesCA90089 United States RelationalAI Inc. 2120 University Ave BerkeleyCA94794 United States Department of Mathematics Massachusetts Institute of Technology 182 Memorial Dr CambridgeMA02142 United States Julia Computing 240 Elm Street SomervilleMA02144 United States Pumas-AI 14711 Kamputa Drive CentervilleVA20120 United States Departments of Neuroscience and Biomedical Engineering Washington University in St. Louis 660 S. Euclid Ave. St. LouisMO63110 United States School of Bio-Sciences Biosciences 4 The University of Melbourne Royal Parade ParkvilleVIC3052 Australia
Increasing emphasis on data and quantitative methods in the biomedical sciences is making biological research more computational. Collecting, curating, processing, and analysing large genomic and imaging data sets pos... 详细信息
来源: 评论
Embedded Atom Neural Network Potentials: Efficient and Accurate Machine Learning with a Physically Inspired Representation
收藏 引用
JOURNAL OF PHYSICAL CHEMISTRY LETTERS 2019年 第17期10卷 4962-4967页
作者: Zhang, Yaolong Hu, Ce Jiang, Bin Univ Sci & Technol China Hefei Natl Lab Phys Sci Microscale Dept Chem Phys Key Lab Surface & Interface Chem & Energy Catalys Hefei 230026 Anhui Peoples R China
We propose a simple, but efficient and accurate, machine learning (ML) model for developing a high-dimensional potential energy surface. This so-called embedded atom neural network (EANN) approach is inspired by the w... 详细信息
来源: 评论