咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1381-1390 订阅
排序:
Reactive Environments for Active Inference Agents with ***  5th
Reactive Environments for Active Inference Agents with ***
收藏 引用
5th International Workshop on Active Inference
作者: Nuijten, Wouter W. L. de Vries, Bert Eindhoven Univ Technol NL-5612 AP Eindhoven Netherlands GN Hearing NL-5612 AB Eindhoven Netherlands
Active Inference is a framework that emphasizes the interaction between agents and their environment. While the framework has seen significant advancements in the development of agents, the environmental models are of... 详细信息
来源: 评论
GPGLS: Genetic programming Guided Local Search for Large-Scale Vehicle Routing Problems  18th
GPGLS: Genetic Programming Guided Local Search for Large-Sca...
收藏 引用
18th International Conference on Parallel Problem Solving from Nature (PPSN)
作者: Liu, Saining Costa, Joao Guilherme Cavalcanti Mei, Yi Zhang, Mengjie Victoria Univ Wellington Wellington 6011 New Zealand
The Vehicle Routing Problem (VRP) is a classical combinatorial optimization problem. In this paper, we focus on Large-Scale VRP (LSVRP), which contains more than 200 customers. In particular, the Knowledge Guided Loca... 详细信息
来源: 评论
To Share or Not to Share: A Case for MPI in Shared-Memory  31st
To Share or Not to Share: A Case for MPI in Shared-Memory
收藏 引用
31st European MPI Users' Group Meeting (EuroMPI)
作者: Adam, Julien Besnard, Jean-Baptiste Roussel, Adrien Jaeger, Julien Carribault, Patrick Perache, Marc ParaTools SAS Bruyeres Le Chatel France CEA DAM DIF F-91297 Arpajon France Univ Paris Saclay CEA Lab Informat Haute Performance Calcul & Simulat F-91680 Bruyeres Le Chatel France
The evolution of parallel computing architectures presents new challenges for developing efficient parallelized codes. The emergence of heterogeneous systems has given rise to multiple programming models, each requiri... 详细信息
来源: 评论
Effects of a programming Course Using the GAME Model on Undergraduates’ Self-Efficacy and Basic programming Concepts
收藏 引用
Journal of Educational Computing Research 2024年 第3期62卷 702-724页
作者: Tsai, Chun-Yen Chen, Yun-An Hsieh, Fu-Pei Chuang, Min-Hsiung Lin, Chien-Liang National Sun Yat-sen University Taiwan National Kaohsiung Normal University Taiwan Krik University Taiwan National Chung-Hsing University Taiwan
In higher education, it is challenging to cultivate non-computer science majors’ programming concepts. This study used the GAME model (gamification, assessment, modeling, and enquiry) in a programming education cours... 详细信息
来源: 评论
A Novel Stackelberg-Game-Based Energy Storage Sharing Scheme Under Demand Charge
收藏 引用
IEEE/CAA Journal of Automatica Sinica 2023年 第2期10卷 462-473页
作者: Bingyun Li Qinmin Yang Innocent Kamwa IEEE the College of Control Science and Engineering Zhejiang UniversityHangzhou 310027China Huzhou Institute of Zhejiang University China the Department of Electrical and Computer Engineering Laval UniversityQuebec CityQCG1V 0A6Canada
Demand response(DR)using shared energy storage systems(ESSs)is an appealing method to save electricity bills for users under demand charge and time-of-use(TOU)price.A novel Stackelberg-game-based ESS sharing scheme is... 详细信息
来源: 评论
Migration of GPU Applications from CUDA to SYCL programming Model  8
Migration of GPU Applications from CUDA to SYCL Programming ...
收藏 引用
8th IEEE International Conference on Computational System and Information Technology for Sustainable Solutions, CSITSS 2024
作者: Narayan Gaur, Yogesh Khanna, Manju Amrita School of Computing Amrita Vishwa Vidyapeetham Department of Computer Science & Engineering Bengaluru India
Due to new enhancements in the field of computer architecture and the proliferation of heterogeneous computing devices, there is an increasing demand for portable and efficient programming applications. These applicat... 详细信息
来源: 评论
Mathematical programming formulations for the reclaimer scheduling problem with sequence -dependent setup times and availability constraints  5
Mathematical programming formulations for the reclaimer sche...
收藏 引用
5th International Conference on Industry 4.0 and Smart Manufacturing (ISM)
作者: Benbrik, Oualid Benmansour, Rachid Elidrissi, Abdelhak Natl Inst Stat & Appl Econ INSEA Lab SI2M Rabat Morocco CNRS LAMIH UMR 8201 Valenciennes France Int Univ Rabat Rabat Business Sch Parc Technopolis Rabat Shore Morocco
In the context of Industry 4.0, which encompasses advanced technologies and interconnected systems, the integration of optimization techniques assumes a crucial role in addressing resource management challenges across... 详细信息
来源: 评论
Understanding the Lecturers’ Perception About a programming Learning Prototype  17
Understanding the Lecturers’ Perception About a Programming...
收藏 引用
17th International Conference on computer Supported Education, CSEDU 2025
作者: Nhadumbuque, Geraldo Carlos Gomes, Anabela Marcelino, Maria José Dpt. of Informatics Engeneering CISUC University of Coimbra Portugal ISEC CISUC University of Coimbra Coimbra Portugal
The problem of programming learning is a universal phenomenon, which poses enormous challenges in the initial phase of learning, with countless reports of difficulties and poor performance among students, which has of... 详细信息
来源: 评论
Patterns of Student Help-Seeking When Using a Large Language Model-Powered programming Assistant  24
Patterns of Student Help-Seeking When Using a Large Language...
收藏 引用
26th Australasian Computing Education Conference (ACE)
作者: Sheese, Brad Liffiton, Mark Savelka, Jaromir Denny, Paul Illinois Wesleyan Univ Bloomington IL 61701 USA Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Auckland Auckland New Zealand
Providing personalized assistance at scale is a long-standing challenge for computing educators, but a new generation of tools powered by large language models (LLMs) offers immense promise. Such tools can, in theory,... 详细信息
来源: 评论
Mixed Integer programming Model Based on Data Algorithms in Sustainable Supply Chain Management
收藏 引用
INTERNATIONAL JOURNAL OF ADVANCED computer science AND APPLICATIONS 2024年 第9期15卷 344-353页
作者: Dong, Shaobin Li, Aihua Huaiyin Inst Technol Fac Business Huaian 223001 Peoples R China Huaiyin Inst Technol Fac Elect & Informat Engn Huaian 223001 Peoples R China
the deepening of globalization and increasing demands for environmental sustainability, modern supply chains are faced with increasingly complex management challenges. To reduce management costs and enhance efficiency... 详细信息
来源: 评论