咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 75,684 篇 工学
    • 65,722 篇 计算机科学与技术...
    • 45,707 篇 软件工程
    • 7,356 篇 控制科学与工程
    • 7,058 篇 电气工程
    • 6,524 篇 信息与通信工程
    • 2,740 篇 机械工程
    • 2,602 篇 电子科学与技术(可...
    • 2,022 篇 生物工程
    • 1,445 篇 生物医学工程(可授...
    • 1,243 篇 仪器科学与技术
    • 1,180 篇 动力工程及工程热...
    • 1,092 篇 建筑学
    • 1,070 篇 材料科学与工程(可...
    • 1,032 篇 土木工程
    • 996 篇 化学工程与技术
    • 746 篇 交通运输工程
  • 26,786 篇 理学
    • 21,027 篇 数学
    • 3,332 篇 系统科学
    • 2,887 篇 统计学(可授理学、...
    • 2,883 篇 物理学
    • 2,828 篇 生物学
    • 1,062 篇 化学
  • 12,987 篇 管理学
    • 8,769 篇 管理科学与工程(可...
    • 4,446 篇 图书情报与档案管...
    • 3,965 篇 工商管理
  • 7,929 篇 教育学
    • 7,800 篇 教育学
  • 1,449 篇 法学
    • 1,230 篇 社会学
  • 1,361 篇 经济学
    • 1,317 篇 应用经济学
  • 1,329 篇 医学
    • 1,018 篇 临床医学
    • 775 篇 基础医学(可授医学...
  • 856 篇 农学
  • 355 篇 文学
  • 176 篇 艺术学
  • 109 篇 军事学
  • 102 篇 哲学
  • 26 篇 历史学

主题

  • 9,921 篇 computer science
  • 7,322 篇 programming
  • 4,408 篇 programming prof...
  • 4,335 篇 linear programmi...
  • 4,041 篇 software enginee...
  • 3,870 篇 dynamic programm...
  • 3,721 篇 computer program...
  • 3,318 篇 logic programmin...
  • 2,885 篇 artificial intel...
  • 2,816 篇 application soft...
  • 2,583 篇 genetic programm...
  • 2,577 篇 object oriented ...
  • 2,541 篇 software enginee...
  • 2,187 篇 computer languag...
  • 2,123 篇 parallel program...
  • 2,100 篇 computer archite...
  • 2,046 篇 computational mo...
  • 1,977 篇 programming tech...
  • 1,955 篇 computer program...
  • 1,886 篇 optimization

机构

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

作者

  • 77 篇 stuckey peter j.
  • 63 篇 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,877 篇 英文
  • 6,137 篇 中文
  • 4,564 篇 其他
  • 87 篇 日文
  • 55 篇 德文
  • 30 篇 西班牙文
  • 29 篇 法文
  • 18 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
118667 条 记 录,以下是1001-1010 订阅
排序:
Unit-Aware Genetic programming for the Development of Empirical Equations  18th
Unit-Aware Genetic Programming for the Development of Empiri...
收藏 引用
18th International Conference on Parallel Problem Solving from Nature (PPSN)
作者: Reuter, Julia Martinek, Viktor Herzog, Roland Mostaghim, Sanaz Otto von Guericke Univ Fac Comp Sci Magdeburg Germany Heidelberg Univ Interdisciplinary Ctr Sci Comp Heidelberg Germany Fraunhofer Inst Transportat & Infrastruct Syst IV Dresden Germany
When developing empirical equations, domain experts require these to be accurate and adhere to physical laws. Often, constants with unknown units need to be discovered alongside the equations. Traditional unit-aware g... 详细信息
来源: 评论
Exploring Personality and Learning Motivation Influences on Students' Computational Thinking Skills in Introductory programming Courses
收藏 引用
JOURNAL OF science EDUCATION AND TECHNOLOGY 2023年 第6期32卷 778-792页
作者: Kaur, Amanpreet Chahal, Kuljit Kaur Guru Nanak Dev Univ Dept Comp Sci Amritsar Punjab India
Computational thinking (CT) is an essential skill required for every individual in the digital era to become creative problem solvers. The purpose of this research is to investigate the relationships between computati... 详细信息
来源: 评论
Switch Mode: Exploring Authoring Python inside a Block-based programming Environment
Switch Mode: Exploring Authoring Python inside a Block-based...
收藏 引用
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
作者: Lin, Yuhan Univ Maryland Teaching & Learning Policy & Leadership College Pk MD 20742 USA
Block-based programming is an effective way to introduce students to computer science programming [3], [7], [8]. As the researcher community keeps lowering the barrier to entry, BBP environments now support learners a... 详细信息
来源: 评论
Improving Generalization of Evolutionary Feature Construction with Minimal Complexity Knee Points in Regression  27th
Improving Generalization of Evolutionary Feature Constructio...
收藏 引用
27th European Conference on Genetic programming (EuroGP) Held as Part of EvoStar Conference
作者: Zhang, Hengzhe Chen, Qi Xue, Bing Banzhaf, Wolfgang Zhang, Mengjie Victoria Univ Wellington Ctr Data Sci & Artificial Intelligence POB 600 Wellington 6140 New Zealand Victoria Univ Wellington Sch Engn & Comp Sci POB 600 Wellington 6140 New Zealand Michigan State Univ Coll Engn Dept Comp Sci & Engn E Lansing MI 48824 USA Michigan State Univ BEACON Ctr E Lansing MI 48824 USA
Genetic programming-based evolutionary feature construction is a widely used technique for automatically enhancing the performance of a regression algorithm. While it has achieved great success, a challenging problem ... 详细信息
来源: 评论
computer programming Education System for Visually Impaired Individuals  14
Computer Programming Education System for Visually Impaired ...
收藏 引用
14th International Workshop on computer science and Engineering, WCSE 2024
作者: Takamatsu, Naoki Kamioka, Eiji Tran, Chanh Minh Tan, Phan Xuan Graduate School of Engineering and Science Shibaura Institute of Technology Japan College of Engineering Shibaura Institute of Technology Japan
Block-based programming environments, widely used for teaching beginners, pose accessibility challenges for individuals with visual impairments due to limited support for screen readers and keyboard navigation. To add... 详细信息
来源: 评论
Lookahead, Merge and Reduce for Compiling Relaxed Decision Diagrams for Optimization  1
收藏 引用
21st International Conference on the Integration of Constraint programming, Artificial Intelligence, and Operations Research (CPAIOR)
作者: Nafar, Mohsen Romer, Michael Bielefeld Univ Univ Str 25 D-33615 Bielefeld Germany
In this paper, we propose a new approach for the top-down compilation of relaxed Binary Decision Diagrams (BDDs) for Discrete Optimization: Lookahead, Merge and Reduce. The approach is inspired by the bottom-up algori... 详细信息
来源: 评论
Bridging the programming Skill Gap with ChatGPT: A Machine Learning Project with Business Students
Bridging the Programming Skill Gap with ChatGPT: A Machine L...
收藏 引用
26th European Conference on Artificial Intelligence (ECAI)
作者: Reiche, Michael Leidner, Jochen L. Coburg Univ Appl Sci Friedrich Streib Str 2 D-96450 Coburg Germany Univ Sheffield Regents Court211 Portobello Sheffield S1 4DP S Yorkshire England
Foundational language models, i.e. large, pre-trained neural transformer models like Google BERT and OpenAI ChatGPT, GPT-3 or GPT-4 have created considerable general media attention. Microsoft's *** service has al... 详细信息
来源: 评论
Redefining computational thinking: Synergizing unplugged activities with block-based programming
收藏 引用
EDUCATION AND INFORMATION TECHNOLOGIES 2025年 第2期30卷 2361-2388页
作者: Batni, Badruliman Junaini, Syahrul Nizam Univ Malaysia Sarawak Fac Comp Sci & Informat Technol Kota Samarahan Sarawak Malaysia
In the dynamic educational context of Malaysia, this study examines the impact of integrating Unplugged Activities (UA) with Block-Based programming (BBP) on improving the computational thinking (CT) skills of seconda... 详细信息
来源: 评论
Tackling Students' Coding Assignments with LLMs  1
Tackling Students' Coding Assignments with LLMs
收藏 引用
1st International Workshop on Large Language Models for Code (LLM4Code)
作者: Dingle, Adam Krulis, Martin Charles Univ Prague Prague Czech Republic
State-of-the-art large language models (LLMs) have demonstrated an extraordinary ability to write computer code. This ability can be quite beneficial when integrated into an IDE to assist a programmer with basic codin... 详细信息
来源: 评论
Mastery learning in CS1: a longitudinal study during and post-pandemic
收藏 引用
Discover Education 2024年 第1期3卷 1-16页
作者: Buraphadeja, Vasa Srisarkun, Vilasinee Assumption University MSME Business School Bangkok Thailand
This study investigates the implementation and impact of mastery learning in a computer science course, particularly during the transition from traditional teaching methods to mastery learning amidst the COVID-19 pand... 详细信息
来源: 评论