咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1131-1140 订阅
排序:
Deep Reinforcement Learning for Energy-Efficient Edge Caching in Mobile Edge Networks
收藏 引用
China Communications 2024年 第11期21卷 243-256页
作者: Meng Deng Zhou Huan Jiang Kai Zheng Hantong Cao Yue Chen Peng College of Economics and Management China Three Gorges UniversityYichang 443002China School of Computer Science Northwestern Polytechnical UniversityXi’an 710000China College of Computer and Information Technology China Three Gorges UniversityYichang 443002China The Hubei Key Laboratory of Intelligent Vision Based Monitoring for Hydroelectric Engineering(China Three Gorges University) Yichang 443002China School of Cyber Science and Engineering Wuhan UniversityWuhan 430072China
Edge caching has emerged as a promising application paradigm in 5G networks,and by building edge networks to cache content,it can alleviate the traffic load brought about by the rapid growth of Internet of Things(IoT)... 详细信息
来源: 评论
An Investigation on LP Decoding of Short Binary Linear Codes With the Subgradient Method
收藏 引用
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND computer scienceS 2024年 第8期E107A卷 1395-1399页
作者: Liu, Haiyang Jiao, Xiaopeng Ma, Lianrong Chinese Acad Sci Inst Microelect Beijing 100029 Peoples R China Xidian Univ Sch Comp Sci & Technol Xian 710071 Peoples R China Tsinghua Univ Dept Math Sci Beijing 100084 Peoples R China
In this letter, we investigate the application of the subgradient method to design efficient algorithm for linear programming (LP) decoding of binary linear codes. A major drawback of the original formulation of LP de... 详细信息
来源: 评论
Functional programming in Learning Electromagnetic Theory  13
Functional Programming in Learning Electromagnetic Theory
收藏 引用
13th International Workshop on Trends in Functional programming in Education (TFPIE)
作者: Walck, Scott N. Lebanon Valley Coll Dept Phys Annville PA 17003 USA
Electromagnetic theory is central to physics. An undergraduate major in physics typically takes a semester or a year of electromagnetic theory as a junior or senior, and a graduate student in physics typically takes a... 详细信息
来源: 评论
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2023年 第5期23卷 1029-1069页
作者: Thanh Hai Nguyen Bundas, Matthew Son, Tran Cao Balduccini, Marcello Garwood, Kathleen Campbell Griffor, Edward R. New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA St Josephs Univ Philadelphia PA 19131 USA NIST Gaithersburg MD 20899 USA
This paper introduces a formal definition of a Cyber-Physical System (CPS) in the spirit of the CPS Framework proposed by the National Institute of Standards and Technology (NIST). It shows that using this definition,... 详细信息
来源: 评论
A Genetic programming Encoder for Increasing Autoencoder Interpretability  1
收藏 引用
26th European Conference on Genetic programming (EuroGP) Held as Part of EvoStar
作者: Schofield, Finn Slyfield, Luis Lensen, Andrew Victoria Univ Wellington Sch Engn & Comp Sci POB 600 Wellington 6140 New Zealand
Autoencoders are powerful models for non-linear dimensionality reduction. However, their neural network structure makes it difficult to interpret how the high dimensional features relate to the lowdimensional embeddin... 详细信息
来源: 评论
Advanced computer science Approaches in Alternative Education  1
收藏 引用
8th International Conference on Advancements of Medicine and Health Care through Technology, MEDITECH 2022
作者: Vaida, Mircea-F. Pop, Petre G. Chiorean, Ligia D. Striletchi, Cosmin Faculty of Electronics Telecommunications and Information Technologies Technical University of Cluj-Napoca Cluj-Napoca Romania
Modern society needs specialists able to adapt to the increasing complexity of developed technologies. The training of these specialists from the basic level to the one that allows advanced research in the field of co... 详细信息
来源: 评论
Analysis of Attrition Studies Within the computer sciences
收藏 引用
IEEE ACCESS 2023年 11卷 53736-53748页
作者: Obaido, George Agbo, Friday Joseph Alvarado, Christine Oyelere, Solomon Sunday Univ Calif Berkeley Berkeley Inst Data Sci Ctr Human Compatible Artificial Intelligence Berkeley CA 94720 USA Willamette Univ Sch Comp & Informat Sci Salem OR 97301 USA Univ Eastern Finland Sch Comp Joensuu 80130 Finland Univ Calif San Diego Dept Comp Sci & Engn La Jolla CA 92093 USA Lulea Univ Technol Dept Comp Sci Elect & Space Engn S-93187 Skelleftea Sweden
Student attrition is a long-standing problem in computer science (CS), as in many other disciplines, and it has gained momentum in the academic sphere. This study employs bibliometric analysis to shed light on the res... 详细信息
来源: 评论
Self-Regulated Learning Interventions in computer programming: Challenge, Model and Direction  5
Self-Regulated Learning Interventions in Computer Programmin...
收藏 引用
5th International Conference on computer science and Technologies in Education, CSTE 2023
作者: Wu, Yifei School of Humanities Jiangnan University Wuxi China
Learners have some difficulty regulating their own programming learning process, self-regulated programming learning interventions can be designed to solve this problem and help stimulate SRL. In this paper, we examin... 详细信息
来源: 评论
Effects of a Block-Based Scaffolded Tool on Students' Introduction to Hierarchical Data Structures
收藏 引用
IEEE TRANSACTIONS ON EDUCATION 2022年 第2期65卷 191-199页
作者: Feijoo-Garcia, Pedro G. Kapoor, Amanpreet Gardner-McCune, Christina Ragan, Eric Univ Florida Comp & Informat Sci & Engn Dept Herbert Wertheim Coll Engn Gainesville FL 32611 USA
Contribution: In this article, the authors present findings and insights on the efficacy of using an educational block-based programming (BBP) environment--Blocks4DS, to teach the binary search tree (BST). Background:... 详细信息
来源: 评论
Complexity Analysis of Recursive Algorithms with and Without Memoization
Complexity Analysis of Recursive Algorithms with and Without...
收藏 引用
2024 International Conference on science, Engineering and Business for Driving Sustainable Development Goals, SEB4SDG 2024
作者: Gbadamosi, O.A. Okeyinka, A.E. Abdullahi, I. Olusegun Agagu University of Science and Technology Department of Computer Science Okitipupa Nigeria Ibrahim Badamasi Babangida University Department of Computer Science Lapai Nigeria
Memoization is a computational technique for speeding up the complexity of computer algorithms. It stores the previously calculated results and invokes them later in the body of the algorithm when necessary. On the ot... 详细信息
来源: 评论