咨询与建议

限定检索结果

文献类型

  • 81,383 篇 会议
  • 28,528 篇 期刊文献
  • 7,410 册 图书
  • 1,182 篇 学位论文
  • 4 篇 专利
  • 1 件 标准

馆藏范围

  • 118,397 篇 电子文献
  • 205 种 纸本馆藏

日期分布

学科分类号

  • 75,569 篇 工学
    • 65,638 篇 计算机科学与技术...
    • 45,655 篇 软件工程
    • 7,347 篇 控制科学与工程
    • 7,046 篇 电气工程
    • 6,502 篇 信息与通信工程
    • 2,734 篇 机械工程
    • 2,590 篇 电子科学与技术(可...
    • 2,022 篇 生物工程
    • 1,443 篇 生物医学工程(可授...
    • 1,242 篇 仪器科学与技术
    • 1,179 篇 动力工程及工程热...
    • 1,089 篇 建筑学
    • 1,067 篇 材料科学与工程(可...
    • 1,030 篇 土木工程
    • 996 篇 化学工程与技术
    • 745 篇 交通运输工程
  • 26,749 篇 理学
    • 21,017 篇 数学
    • 3,330 篇 系统科学
    • 2,888 篇 统计学(可授理学、...
    • 2,880 篇 物理学
    • 2,818 篇 生物学
    • 1,061 篇 化学
  • 12,963 篇 管理学
    • 8,751 篇 管理科学与工程(可...
    • 4,441 篇 图书情报与档案管...
    • 3,962 篇 工商管理
  • 7,914 篇 教育学
    • 7,786 篇 教育学
  • 1,445 篇 法学
    • 1,227 篇 社会学
  • 1,357 篇 经济学
    • 1,313 篇 应用经济学
  • 1,326 篇 医学
    • 1,018 篇 临床医学
    • 773 篇 基础医学(可授医学...
  • 849 篇 农学
  • 353 篇 文学
  • 176 篇 艺术学
  • 109 篇 军事学
  • 101 篇 哲学
  • 27 篇 历史学

主题

  • 9,905 篇 computer science
  • 7,316 篇 programming
  • 4,410 篇 programming prof...
  • 4,334 篇 linear programmi...
  • 4,030 篇 software enginee...
  • 3,868 篇 dynamic programm...
  • 3,699 篇 computer program...
  • 3,313 篇 logic programmin...
  • 2,878 篇 artificial intel...
  • 2,817 篇 application soft...
  • 2,582 篇 genetic programm...
  • 2,575 篇 object oriented ...
  • 2,531 篇 software enginee...
  • 2,180 篇 computer languag...
  • 2,115 篇 parallel program...
  • 2,108 篇 computer archite...
  • 2,048 篇 computational mo...
  • 1,968 篇 programming tech...
  • 1,931 篇 computer program...
  • 1,883 篇 optimization

机构

  • 201 篇 massachusetts in...
  • 87 篇 department of co...
  • 72 篇 华中科技大学
  • 57 篇 college of compu...
  • 50 篇 school of comput...
  • 48 篇 department of co...
  • 46 篇 北京科技大学
  • 46 篇 department of el...
  • 46 篇 东南大学
  • 43 篇 college of compu...
  • 43 篇 department of co...
  • 42 篇 school of comput...
  • 42 篇 department of co...
  • 41 篇 institute of inf...
  • 41 篇 tsinghua univers...
  • 40 篇 univ michigan an...
  • 40 篇 huazhong univers...
  • 37 篇 georgia inst tec...
  • 36 篇 department of co...
  • 35 篇 school of comput...

作者

  • 78 篇 stuckey peter j.
  • 54 篇 zhang mengjie
  • 45 篇 luxton-reilly an...
  • 40 篇 bernhard steffen
  • 39 篇 bing xue
  • 34 篇 yao xin
  • 30 篇 niyato dusit
  • 29 篇 kumar amruth n.
  • 29 篇 wang lei
  • 29 篇 zhang lei
  • 28 篇 dhabaleswar k. p...
  • 28 篇 cavalcanti ana
  • 28 篇 mengjie zhang
  • 27 篇 jin zhi
  • 26 篇 li xin
  • 24 篇 sipper moshe
  • 24 篇 liu yanhong a.
  • 22 篇 zhang tao
  • 22 篇 meseguer josé
  • 22 篇 li yang

语言

  • 107,747 篇 英文
  • 6,127 篇 中文
  • 4,549 篇 其他
  • 87 篇 日文
  • 55 篇 德文
  • 30 篇 西班牙文
  • 29 篇 法文
  • 18 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
118512 条 记 录,以下是951-960 订阅
排序:
CS1-LLM: Integrating LLMs into CS1 Instruction  29
CS1-LLM: Integrating LLMs into CS1 Instruction
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Vadaparty, Annapurna Zingaro, Daniel Smith, David H. Padala, Mounika Alvarado, Christine Benario, Jamie Gorson Porter, Leo Univ Calif San Diego La Jolla CA 92093 USA Univ Toronto Mississauga Toronto ON Canada Univ Illinois Urbana IL USA Google Chicago IL USA
The recent, widespread availability of Large Language Models (LLMs) like ChatGPT and GitHub Copilot may impact introductory programming courses (CS1) both in terms of what should be taught and how to teach it. Indeed,... 详细信息
来源: 评论
Elementary School Pupils' Mental Models Regarding Robots and programming
收藏 引用
IEEE TRANSACTIONS ON EDUCATION 2022年 第3期65卷 297-308页
作者: Storjak, Ivana Krzic, Ana Sovic Jagust, Tomislav Univ Zagreb Fac Elect Engn & Comp Zagreb 10000 Croatia
Contribution: Understanding pupils' conceptualization of robots and programming can help teachers to avoid a disconfirmation experience by selecting more appropriate educational tools, robot designers in improving... 详细信息
来源: 评论
Quadratically Constrained Reformulation, Strong Semidefinite programming Bounds, and Algorithms for the Chordless Cycle Problem  8th
Quadratically Constrained Reformulation, Strong Semidefinite...
收藏 引用
8th International Symposium on Combinatorial Optimization (ISCO)
作者: Pereira, Dilson Lucas Guimaraes, Dilson Almeida da Cunha, Alexandre Salles Lucena, Abilio Univ Fed Lavras Lavras Brazil Univ Fed Minas Gerais Belo Horizonte MG Brazil Univ Fed Rio de Janeiro Rio De Janeiro Brazil
Given a connected undirected graph G = (V, E), let G[S] be the subgraph of G induced by the set of vertices S subset of V. The Chordless Cycle Problem (CCP) consists in finding a subset S subset of V of maximum cardin... 详细信息
来源: 评论
Efficient routing in robotic movable fulfillment systems with integer programming: A rolling horizon and heuristic approach
收藏 引用
ROBOTICS AND computer-INTEGRATED MANUFACTURING 2025年 91卷
作者: Wang, I. -Lin Wang, Tsung-Han Natl Cheng Kung Univ Dept Ind & Informat Management Tainan 701 Taiwan
This paper addresses an integrated rack assignment and robot routing problem arising in robotic movable fulfillment systems (RMFS). This NP-hard planning task goes beyond current literature by simultaneously optimizin... 详细信息
来源: 评论
An Innovative Way to Teach computer programming for Middle and High Schools Students in Summer Camps  53
An Innovative Way to Teach Computer Programming for Middle a...
收藏 引用
53rd IEEE ASEE Frontiers in Education International Conference, FIE 2023
作者: Andrei, Stefan Wang, Sujing Lamar University Department of Computer Science BeaumontTX United States
This Innovative Practice Full Paper presents our design of teaching computer programming for middle and high school students during an one-week Summer camp for the past five years, with an interruption in the Summer o... 详细信息
来源: 评论
Empirical Evaluation of Algorithm Performance: Addressing Execution Time Measurement Challenges
收藏 引用
Informatica (Slovenia) 2024年 第4期48卷 543-548页
作者: Dobravec, Tomaž Faculty of Computer and Information Science University of Ljubljana Slovenia
In this paper, we investigate the influence of various factors, such as programming language, testing environment, and input data, on the accuracy of algorithm execution measurements. To conduct this study, we used th... 详细信息
来源: 评论
Rethinking programming Paradigms in the QC-HPC Context  1
收藏 引用
2nd International Workshop on Asynchronous Many-Task Systems and Applications (WAMTA)
作者: Caino-Lores, Silvina Claudino, Daniel Dumitrescu, Eugene Humble, Travis S. Alarcon, Sonia Lopez Wong, Elaine Oak Ridge Natl Lab Oak Ridge TN 37830 USA Rochester Inst Technol Rochester NY 14623 USA Univ Rennes IRISA CNRS Inria Rennes France
programming for today's quantum computers is making significant strides toward modern workflows compatible with high performance computing (HPC), but fundamental challenges still remain in the integration of these... 详细信息
来源: 评论
Regression-based Student Performance Prediction Using the Grades of English, Math, and programming Courses
Regression-based Student Performance Prediction Using the Gr...
收藏 引用
2024 IEEE International Conference on Technology Management, Operations and Decisions, ICTMOD 2024
作者: Alnoman, Ali American University of Ras Al Khaimah Department of Computer Science and Engineering United Arab Emirates
One of the important roles of educators and academicians is to accurately assess students, and provide timely feedback to ensure that the learning outcomes of the academic program are achieved. Student performance pre... 详细信息
来源: 评论
On the Partial Convexification of the Low-Rank Spectral Optimization: Rank Bounds and Algorithms  25th
On the Partial Convexification of the Low-Rank Spectral Opti...
收藏 引用
25th International Conference on Integer programming and Combinatorial Optimization (IPCO)
作者: Li, Yongchun Xie, Weijun Georgia Inst Technol H Milton Stewart Sch Ind & Syst Engn Atlanta GA 30332 USA
A Low-rank Spectral Optimization Problem (LSOP) minimizes a linear objective function subject to multiple two-sided linear inequalities intersected with a low-rank and spectral constrained domain. Although solving LSO... 详细信息
来源: 评论
Genetic programming with Synthetic Data for Interpretable Regression Modelling and Limited Data  1
收藏 引用
9th Annual Conference on Machine Learning, Optimization and Data science (LOD)
作者: Ramlan, Fitria Wulandari McDermott, James Univ Galway Sch Comp Sci Galway Ireland
A trained regression model can be used to create new synthetic training data by drawing from a distribution over independent variables and calling the model to produce a prediction for the dependent variable. We inves... 详细信息
来源: 评论