咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是841-850 订阅
Value Iteration is Optic Composition  5
Value Iteration is Optic Composition
收藏 引用
5th International Conference on Applied Category Theory (ACT)
作者: Hedges, Jules Sakamoto, Riu Rodriguez
Dynamic programming is a class of algorithms used to compute optimal control policies for Markov decision processes. Dynamic programming is ubiquitous in control theory, and is also the foundation of reinforcement lea... 详细信息
来源: 评论
The Interplay Between Self-regulated Learning and programming Learning Achievement  7th
The Interplay Between Self-regulated Learning and Programmin...
收藏 引用
7th International Conference on Innovative Computing, IC 2024
作者: Li, Si-Qi Chuang, Ya-Hsueh Lin, Yu-Ting Kang, Tsan-Ching Department of Computer Science and Information Management Providence University Taichung Taiwan Department of Finance Providence University Taichung Taiwan
programming education has gradually become an integral part of the mandatory curriculum in schools. Previous research has provided various learning tools and techniques with the aim of promoting and popularizing progr... 详细信息
来源: 评论
Fresh Data Retrieval With Speed-Adjustable Mobile Devices in Cyber-Physical Systems
收藏 引用
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING 2024年 第8期36卷 3851-3866页
作者: Fu, Chenchen Qiu, Xiaoxing Chau, Vincent Yun, Zelin Xue, Chun Jason Wu, Weiwei Luo, Junzhou Han, Song Southeast Univ Dept Comp Sci & Engn Nanjing 210096 Peoples R China Univ Connecticut Dept Comp Sci & Engn Storrs CT 06269 USA Mohamed Bin Zayed Univ Artificial Intelligence Abu Dhabi 7909 U Arab Emirates
Mobile devices have been increasingly deployed in large-scale cyber-physical systems (CPS) to traverse the field and retrieve various data measurements from designated physical entities with stringent performance requ... 详细信息
来源: 评论
Improving the solver for the Balitsky-Kovchegov evolution equation with Automatic Differentiation
收藏 引用
computer PHYSICS COMMUNICATIONS 2025年 313卷
作者: Cougoulic, Florian Korcyl, Piotr Stebel, Tomasz Jagiellonian Univ Inst Theoret Phys Ul Lojasiewicza 11 PL-30348 Krakow Poland
The Balitsky-Kovchegov (BK) evolution equation is an equation derived from perturbative Quantum Chromodynamics that allows one to evolve with collision energy the scattering amplitude of a pair of quark and antiquark ... 详细信息
来源: 评论
Assessing the coverage of W-based conformance testing methods over code faults
收藏 引用
science of computer programming 2025年 241卷
作者: El-Fakih, Khaled Hassan, Faiz Alzaatreh, Ayman Yevtushenko, Nina Amer Univ Sharjah Dept Comp Sci & Engn Sharjah U Arab Emirates Amer Univ Sharjah Dept Math & Stat Sharjah U Arab Emirates RAS Ivannikov Inst Syst Programming Moscow Russia
We present novel empirical assessments of prominent finite state machine (FSM) conformance test derivation methods against their coverage of code faults. We consider a number of realistic extended FSM examples with th... 详细信息
来源: 评论
Combined Use of Dynamic Inversion and Reinforcement Learning for Optimal Adaptive Control of Supersonic Transport Airplane Motion
收藏 引用
JOURNAL OF computer AND SYSTEMS scienceS INTERNATIONAL 2025年 第1期64卷 136-152页
作者: Dhiman, G. Tiumentsev, Yu. V. Tskhay, R. A. Natl Res Univ Moscow Aviat Inst Moscow 125080 Russia
We consider the problem of aircraft motion control in uncertain conditions caused by incomplete and inaccurate knowledge of the aircraft characteristics, as well as by abnormal situations in flight, which affect the p... 详细信息
来源: 评论
Enhancing Problem-Solving Skills: The Synergy of Competitive programming and Gamification Strategy  15
Enhancing Problem-Solving Skills: The Synergy of Competitive...
收藏 引用
15th IEEE Global Engineering Education Conference (IEEE EDUCON)
作者: Gonzalez Guerra, Luis H. Huesca Juarez, Gilberto Perez-Lezama, Claudia, V Quiroga Gonzalez, Elda G. Campos-Garcia, Gabriela A. Bolanos Cacho, Monica Larre Tecnol Monterrey Sch Engn & Sci Monterrey Mexico Tecnol Monterrey Sch Engn & Sci Mexico City DF Mexico Tecnol Monterrey Sch Engn & Sci Puebla Mexico Tecnol Monterrey Sch Engn & Sci Cuernavaca Morelos Mexico
In undergraduate courses, there is a wide diversity of approaches to teaching various subjects, ranging from the more traditional methods to the utilization of digital media. Students' learning styles and motivati... 详细信息
来源: 评论
Automatically Choosing Selection Operator Based on Semantic Information in Evolutionary Feature Construction  20th
Automatically Choosing Selection Operator Based on Semantic...
收藏 引用
20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023
作者: Zhang, Hengzhe Chen, Qi Xue, Bing Banzhaf, Wolfgang Zhang, Mengjie Centre for Data Science and Artificial Intelligence and School of Engineering and Computer Science Victoria University of Wellington PO Box 600 Wellington6140 New Zealand Department of Computer Science and Engineering Michigan State University East Lansing48824 United States
In recent years, genetic programming-based evolutionary feature construction has shown great potential in various applications. However, a critical challenge in applying this technique is the need to select an appropr... 详细信息
来源: 评论
A Novel Request-Invitation-Approval Scheme for Flexible Semantic Conflict Prevention in Real-Time Collaborative programming  27
A Novel Request-Invitation-Approval Scheme for Flexible Sema...
收藏 引用
27th International Conference on computer Supported Cooperative Work in Design (CSCWD)
作者: Wang, Mingjie Fang, Bicheng Jiang, Jinfeng Fan, Hongfei Tongji Univ Sch Software Engn Shanghai Peoples R China
Real-time collaborative programming supports a team of programmers to concurrently edit a shared set of source code at the same time. To support semantic conflict prevention in real-time collaboration, prior work had ... 详细信息
来源: 评论
Teaching programming to Pre-service Teachers through Pair programming  18
Teaching Programming to Pre-service Teachers through Pair Pr...
收藏 引用
18th International Conference of the Learning sciences, ICLS 2024
作者: Boz, Tugba Hartikainen, Veeti Fagerlund, Janne Ahlströmb, Emilia Nousiainenb, Tuula Näykki, Piia Purdue University United States University of Jyväskylä Finland
programming is becoming more prevalent in primary schools. However, we still do not know how to effectively train teachers in programming. On the other hand, prior research on pair programming has been shown to suppor... 详细信息
来源: 评论