咨询与建议

限定检索结果

文献类型

  • 81,498 篇 会议
  • 30,394 篇 期刊文献
  • 7,359 册 图书
  • 1,182 篇 学位论文
  • 4 篇 专利
  • 1 件 标准

馆藏范围

  • 120,328 篇 电子文献
  • 198 种 纸本馆藏

日期分布

学科分类号

  • 77,128 篇 工学
    • 66,891 篇 计算机科学与技术...
    • 46,380 篇 软件工程
    • 7,517 篇 控制科学与工程
    • 7,171 篇 电气工程
    • 6,611 篇 信息与通信工程
    • 2,784 篇 机械工程
    • 2,644 篇 电子科学与技术(可...
    • 2,091 篇 生物工程
    • 1,456 篇 生物医学工程(可授...
    • 1,293 篇 仪器科学与技术
    • 1,212 篇 动力工程及工程热...
    • 1,118 篇 材料科学与工程(可...
    • 1,111 篇 建筑学
    • 1,054 篇 土木工程
    • 1,039 篇 化学工程与技术
    • 784 篇 交通运输工程
  • 27,367 篇 理学
    • 21,273 篇 数学
    • 3,372 篇 系统科学
    • 2,985 篇 物理学
    • 2,954 篇 统计学(可授理学、...
    • 2,947 篇 生物学
    • 1,110 篇 化学
  • 13,212 篇 管理学
    • 8,942 篇 管理科学与工程(可...
    • 4,497 篇 图书情报与档案管...
    • 4,012 篇 工商管理
  • 8,105 篇 教育学
    • 7,957 篇 教育学
  • 1,482 篇 法学
    • 1,257 篇 社会学
  • 1,411 篇 经济学
    • 1,356 篇 应用经济学
  • 1,397 篇 医学
    • 1,032 篇 临床医学
    • 809 篇 基础医学(可授医学...
  • 919 篇 农学
  • 378 篇 文学
  • 198 篇 艺术学
  • 110 篇 军事学
  • 109 篇 哲学
  • 27 篇 历史学

主题

  • 10,168 篇 computer science
  • 7,423 篇 programming
  • 4,382 篇 linear programmi...
  • 4,364 篇 programming prof...
  • 4,197 篇 computer program...
  • 4,164 篇 software enginee...
  • 3,896 篇 dynamic programm...
  • 3,325 篇 logic programmin...
  • 3,021 篇 artificial intel...
  • 2,804 篇 application soft...
  • 2,613 篇 software enginee...
  • 2,592 篇 genetic programm...
  • 2,577 篇 object oriented ...
  • 2,156 篇 computer languag...
  • 2,122 篇 computer archite...
  • 2,116 篇 parallel program...
  • 2,034 篇 computational mo...
  • 2,021 篇 computer program...
  • 1,976 篇 programming tech...
  • 1,899 篇 optimization

机构

  • 202 篇 massachusetts in...
  • 78 篇 department of co...
  • 72 篇 华中科技大学
  • 57 篇 college of compu...
  • 47 篇 department of co...
  • 46 篇 北京科技大学
  • 46 篇 department of co...
  • 46 篇 东南大学
  • 45 篇 department of el...
  • 45 篇 school of comput...
  • 44 篇 tsinghua univers...
  • 43 篇 college of compu...
  • 43 篇 school of comput...
  • 41 篇 institute of inf...
  • 41 篇 univ michigan an...
  • 41 篇 department of co...
  • 39 篇 huazhong univers...
  • 39 篇 georgia inst tec...
  • 36 篇 department of co...
  • 35 篇 school of comput...

作者

  • 77 篇 stuckey peter j.
  • 63 篇 zhang mengjie
  • 45 篇 luxton-reilly an...
  • 43 篇 bing xue
  • 40 篇 bernhard steffen
  • 33 篇 yao xin
  • 32 篇 niyato dusit
  • 30 篇 wang lei
  • 30 篇 mengjie zhang
  • 29 篇 kumar amruth n.
  • 29 篇 zhang lei
  • 28 篇 dhabaleswar k. p...
  • 28 篇 cavalcanti ana
  • 27 篇 jin zhi
  • 27 篇 li xin
  • 24 篇 sipper moshe
  • 24 篇 liu yanhong a.
  • 23 篇 zhang tao
  • 22 篇 fahringer thomas
  • 22 篇 meseguer josé

语言

  • 108,343 篇 英文
  • 6,159 篇 中文
  • 5,910 篇 其他
  • 87 篇 日文
  • 71 篇 德文
  • 30 篇 法文
  • 29 篇 西班牙文
  • 18 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 3 篇 斯洛文尼亚文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
120441 条 记 录,以下是881-890 订阅
Graph Correspondence-Based Point Set Registration
收藏 引用
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS 2024年 第7期54卷 4101-4112页
作者: Li, Liang Yang, Ming Wang, Chunxiang Shanghai Jiao Tong Univ Dept Automat Key Lab Syst Control & Informat Proc Minist Educ China Shanghai 200240 Peoples R China
Point set registration, crucial in computer vision and robotics applications, encounters challenges, such as noise, outliers, and misalignment. Current methods often struggle with these issues, leading to suboptimal r... 详细信息
来源: 评论
Circuit Implementation of Fixed-Time Zeroing Neural Network for Time-Varying Equality Constrained Quadratic programming  18th
Circuit Implementation of Fixed-Time Zeroing Neural Network ...
收藏 引用
18th International Conference on Neural Networks (ISNN)
作者: Zhou, Ruiqi Ju, Xingxing Che, Hangjun Zhang, Qian Sichuan Univ Coll Elect & Informat Engn Chengdu Peoples R China Southwest Univ Sch Elect & Informat Engn Chongqing Peoples R China Anhui Univ Sch Elect Engn & Automat Hefei Peoples R China Anhui Univ Anhui Key Lab Ind Energy Saving & Safety Hefei Peoples R China
This paper proposes a novel circuit framework of zeroing neural network for time-varying equality constrained quadratic programming problems (TEQPPs). It is proved that the designed circuit can not only parallel solve... 详细信息
来源: 评论
Requirements for an Online Integrated Development Environment for Automated programming Assessment Systems  16
Requirements for an Online Integrated Development Environmen...
收藏 引用
16th International Conference on computer Supported Education, CSEDU 2024
作者: Frankford, Eduard Crazzolara, Daniel Sauerwein, Clemens Vierhauser, Michael Breu, Ruth University of Innsbruck Institute of Computer Science Technikerstraße 21a Innsbruck6020 Austria
More and more introductory programming courses are being held online, using Automated programming Assessment Systems (APASs). Some APASs provide online editors where students can solve and submit their exercises, beca... 详细信息
来源: 评论
Two-Stage Stochastic Stable Matching  25th
Two-Stage Stochastic Stable Matching
收藏 引用
25th International Conference on Integer programming and Combinatorial Optimization (IPCO)
作者: Faenza, Yuri Foussoul, Ayoub He, Chengyue Columbia Univ IEOR New York NY 10027 USA
We introduce and study a two-stage stochastic stable matching problem between students and schools. A decision maker chooses a stable matching in a marriage instance;then, after some agents enter or leave the market f... 详细信息
来源: 评论
Escaping the Turing Tar-Pit with AI programming Blocks  24
Escaping the Turing Tar-Pit with AI Programming Blocks
收藏 引用
19th WiPSCE Conference on Primary and Secondary Computing Education Research (WiPSCE)
作者: Repenning, Alexander PH FHNW Sch Educ Windisch Switzerland
Game design is often considered a motivational approach to get young children interested in programming and computational thinking. However, while the idea of game programming may be compelling from an educational poi... 详细信息
来源: 评论
Colour-weighted rank transform and improved dynamic programming for fast and accurate stereo matching
收藏 引用
IMAGING science JOURNAL 2024年 第2期72卷 238-253页
作者: Hallek, Mohamed Khemiri, Randa Algarwi, Ali Mtibaa, Abdellatif Atri, Mohamed Univ Monastir Lab Elect & Microelect Monastir Tunisia Sousse Univ Networked Objects Control & Commun Syst Lab ENISO Sousse Tunisia King Khalid Univ Coll Comp Sci Abha Saudi Arabia Univ Sfax Natl Engn Sch Sfax Sfax Tunisia King Khalid Univ Coll Comp Sci Abha 61421 Saudi Arabia
Real-time stereo matching with high accuracy is a dynamic research topic;it is attractive in diverse computer vision applications. This paper presents a stereo-matching algorithm that produces high-quality disparity m... 详细信息
来源: 评论
Towards the Integration of Large Language Models and Automatic Assessment Tools: Enhancing Student Support in programming Assignments  24
Towards the Integration of Large Language Models and Automat...
收藏 引用
24th Koli Calling
作者: Cipriano, Bruno Pereira Silva, Miguel Correia, Rodrigo Alves, Pedro Lusofona Univ COPELABS Lisbon Portugal Lusofona Univ ECATI Lisbon Portugal
The rise of Large Language Models (LLMs) has sparked discussion in computer science Education (CSE) due to their ability to generate code from text prompts. Students may rely on these tools, neglecting core skills lik... 详细信息
来源: 评论
A Proposal of the Gamification of programming Learning Assistant System
A Proposal of the Gamification of Programming Learning Assis...
收藏 引用
2024 IEEE International Conference on Consumer Electronics-Asia, ICCE-Asia 2024
作者: Kyaw, Htoo Htoo Sandi Kaneko, Keiichi Fuanbiki, Nobuo Tokyo University of Agriculture and Technology Department of Computer and Information Science Tokyo Japan Okayama University Department of Information and Communication Systems Okayama Japan
Despite the rapid expansion of the ICT sector, there's a disconnect with STEM subjects, leading to high dropout rates in computer science and engineering programs. This contributes to many unfilled positions in th... 详细信息
来源: 评论
Teaching Component-Based programming Through Mobile App Development: A Case Study with Managing Audio Graph and UI Integration  22
Teaching Component-Based Programming Through Mobile App Deve...
收藏 引用
22nd International Conference on Emerging eLearning Technologies and Applications, ICETA 2024
作者: Čerňanský, Michal Hafner, Peter Institute of Computer Technologies and Informatics University of Ss. Cyril and Methodius Trnava Slovakia
Introducing component-based programming to high school students can stimulate their interest in pursuing computer science studies at the university level. In this contribution, we explore the potential of using mobile... 详细信息
来源: 评论
Optimization Approaches for a General Class of Single-Machine Scheduling Problems  1
收藏 引用
15th International Conference of the Metaheuristics International Conference (MIC)
作者: Li, Haitao Alidaee, Bahram Univ Missouri Supply Chain & Analyt Dept St Louis MO 63121 USA Univ Mississippi Coll Business Oxford MS 38677 USA
We study a general class of single-machine scheduling problems with setup time/cost and no idle time in the schedule. It includes a variety of other scheduling and routing problems as special cases. Apolynomial size m... 详细信息
来源: 评论