咨询与建议

限定检索结果

文献类型

  • 692 篇 期刊文献
  • 671 篇 会议
  • 14 册 图书

馆藏范围

  • 1,377 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 774 篇 工学
    • 515 篇 计算机科学与技术...
    • 433 篇 软件工程
    • 109 篇 控制科学与工程
    • 92 篇 信息与通信工程
    • 86 篇 生物医学工程(可授...
    • 75 篇 生物工程
    • 55 篇 电气工程
    • 47 篇 电子科学与技术(可...
    • 45 篇 机械工程
    • 41 篇 材料科学与工程(可...
    • 39 篇 化学工程与技术
    • 32 篇 光学工程
    • 28 篇 土木工程
  • 529 篇 理学
    • 308 篇 数学
    • 110 篇 物理学
    • 107 篇 生物学
    • 83 篇 统计学(可授理学、...
    • 63 篇 系统科学
    • 44 篇 化学
  • 247 篇 管理学
    • 159 篇 管理科学与工程(可...
    • 97 篇 工商管理
    • 90 篇 图书情报与档案管...
  • 139 篇 教育学
    • 137 篇 教育学
    • 28 篇 心理学(可授教育学...
  • 118 篇 医学
    • 84 篇 临床医学
    • 75 篇 基础医学(可授医学...
    • 42 篇 公共卫生与预防医...
    • 38 篇 药学(可授医学、理...
  • 37 篇 法学
    • 34 篇 社会学
  • 33 篇 经济学
    • 32 篇 应用经济学
  • 22 篇 农学
  • 9 篇 文学
  • 5 篇 军事学
  • 2 篇 艺术学

主题

  • 37 篇 students
  • 34 篇 machine learning
  • 33 篇 computer science
  • 23 篇 education
  • 20 篇 engineering educ...
  • 18 篇 artificial intel...
  • 17 篇 deep learning
  • 17 篇 training
  • 13 篇 computational mo...
  • 12 篇 decision making
  • 11 篇 covid-19
  • 11 篇 semantics
  • 11 篇 accuracy
  • 10 篇 software enginee...
  • 10 篇 neural networks
  • 10 篇 data mining
  • 10 篇 diffusion
  • 10 篇 mathematics
  • 10 篇 curricula
  • 10 篇 intelligent syst...

机构

  • 25 篇 beijing key labo...
  • 24 篇 gaoling school o...
  • 13 篇 department of la...
  • 12 篇 school of scienc...
  • 11 篇 department of co...
  • 11 篇 department of co...
  • 9 篇 department of sc...
  • 9 篇 department of so...
  • 9 篇 department of ma...
  • 9 篇 department of au...
  • 8 篇 faculty of physi...
  • 8 篇 department of co...
  • 8 篇 department of nu...
  • 8 篇 department of sc...
  • 7 篇 computer network...
  • 7 篇 tsinghua univers...
  • 7 篇 beijing key labo...
  • 7 篇 key laboratory o...
  • 7 篇 school of comput...
  • 7 篇 department of ap...

作者

  • 12 篇 dulski k.
  • 12 篇 kubicz e.
  • 12 篇 kozik t.
  • 12 篇 korcyl g.
  • 12 篇 badriyya b.al-on...
  • 11 篇 wen ji-rong
  • 11 篇 skurzok m.
  • 11 篇 moskal p.
  • 11 篇 silarski m.
  • 11 篇 gorgol m.
  • 11 篇 gajos a.
  • 10 篇 shopa r.y.
  • 10 篇 kisielewska d.
  • 10 篇 kowalski p.
  • 10 篇 hiesmayr b.c.
  • 10 篇 sharma s.
  • 10 篇 curceanu c.
  • 10 篇 rudy z.
  • 9 篇 olteanu mircea
  • 9 篇 ştefan radu

语言

  • 1,234 篇 英文
  • 128 篇 其他
  • 12 篇 中文
  • 2 篇 德文
  • 1 篇 俄文
检索条件"机构=The Department of Computer Science and Methods of Teaching Computer Science"
1377 条 记 录,以下是1311-1320 订阅
排序:
Restarts can help in the on-line minimization of the maximum delivery time on a single machine (Extended abstract)
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2000年 1879卷 427-436页
作者: van den Akker, Marjan Hoogeveen, Han Vakhania, Nodari Department of Mathematical Models and Methods National Aerospace Laboratory NLR P.O. Box 90502 Amsterdam1006 BM Netherlands Department of Computer Science Utrecht University P.O. Box 80089 Utrecht3508 TB Netherlands State University of Morelos FC Ueam AV. Universidad 1001 Cuernavaca Mor62210 Mexico
We consider a single-machine on-line scheduling problem where jobs arrive over time. A set of independent jobs has to be scheduled on a single machine. Each job becomes available at its release date, which is not know... 详细信息
来源: 评论
Encouraging students in large classes  00
Encouraging students in large classes
收藏 引用
Proceedings of the thirty-first SIGCSE technical symposium on computer science education
作者: Roy Andersson Torgny Roxå Department of Computer Science Lund Institute of Technology Lund University P.O. Box 118 SE-221 00 Lund Sweden Centre for Teaching and Learning Lund University P.O. Box 118 SE-221 00 Lund Sweden
Our experiences and results of encouraging our students in a large CSI course to keep up with the pace of the course at a reasonable cost for us are presented. We have successfully managed to pinpoint students who are...
来源: 评论
Using active server pages and simulation techniques to create virtual M&M's
Journal of Computing Sciences in Colleges
收藏 引用
Journal of Computing sciences in Colleges 2000年 第2期16卷
作者: John G. Meinke Robin M. Snyder Maryland in Europe Graduate Programs Department of Computer Science and Quantitative Methods College of Business Administration Winthrop University Rock Hill SC
The M&M problem is an excellent example of a nontrivial yet simple method for summarizing sampled data that are then used in making decisions. Simulating the creation of virtual M&M's that can be copied an...
来源: 评论
A method using procedural parameters and callback functions to create a generic exchange-sorting module
Journal of Computing Sciences in Colleges
收藏 引用
Journal of Computing sciences in Colleges 2000年 第2期16卷
作者: John G. Meinke Robin M. Snyder Maryland in Europe Graduate Programs Department of Computer Science and Quantitative Methods College of Business Administration Winthrop University Rock Hill SC
A generic exchange-sorting module obviates the need for duplicating sort code in a program, thus promoting module reuse. This paper presents a method for using procedural parameters and callback functions to create a ...
来源: 评论
Preface
收藏 引用
Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2000年 1878卷 VII-VIII页
作者: Bowen, Jonathan Dunne, Steve Galloway, Andy King, Steve South Bank University SCISM Centre for Applied Formal Methods Borough Road London United Kingdom The University of Teesside School of Computing and Mathematics Borough Road Middlesbrough United Kingdom University of York Department of Computer Science Heslington York United Kingdom
来源: 评论
Lessons from the application of formal methods to the design of a storm surge barrier control system  1st
收藏 引用
1st World Congress on Formal methods in the Development of Computing Systems, FM 1999
作者: Chaudron, Michel Tretmans, Jan Wijbrans, Klaas CMG Public Sector B.V Division Advanced Technology P.O. Box 187 HagueCD 2501 Netherlands University of Twente Department of Computer Science Formal Methods and Tools group P.O. Box 217 EnschedeAE 7500 Netherlands
We describe the experience of the industrial application of formal methods in the development of a mission critical system. We give a description of the system that was to be developed and the methods that were employ... 详细信息
来源: 评论
New Lyapunov-like theorems for non-Lipschitz vector fields
New Lyapunov-like theorems for non-Lipschitz vector fields
收藏 引用
IEEE Conference on Decision and Control
作者: A. Iggidr B. Kalitine J.-C. Vivalda Inria Lorraine & Upresa Department of Mathematics University of Metz Metz France Faculty of Applied Maths & Computer Science Chair of Optimal Control Methods Belarusian State University Minsk Belarus Inria Lorraine & Upresa Department of Mathematics University of Metz Metz France
We present a Lyapunov theorem for systems that are not locally Lipschitz. The Lyapunov function used is only nonnegative semidefinite instead of positive definite.
来源: 评论
Abstract data types as a project development organiser  98
Abstract data types as a project development organiser
收藏 引用
3rd Annual Conference on Integrating Technology into computer science Education, ITiCSE 1998
作者: Haberman, Bruria Scherz, Zahava Shapiro, Ehud Department of Science Teaching Weizmann Institute of Science Rehovot76100 Israel Department of Computer Science Weizmann Institute of Science Rehovot76100 Israel
Data Types (ADTs) has been introduced recently to Israeli high-school students as tools for problem solving and knowledge representation in Prolog environment. This paper reviews a research that was conducted in order... 详细信息
来源: 评论
A portable implementation of the distributed systems Annex in Java  98
A portable implementation of the distributed systems Annex i...
收藏 引用
1998 Annual ACM SIGAda International Conference on Ada, SIGAda 1998
作者: Tzruya, Yoav Ben-Ari, Mordechai Department of Computer Science Tel-Aviv University Ramat-Aviv69978 Israel Department of Science Teaching Weizmann Institute of Science Rehovot76100 Israel
This paper describes an implementation of the Distributed Systems Annex of Ada95. The use of Java to build the Partition Communication Subsystem provides portability and Internet compatibility of distributed applicati... 详细信息
来源: 评论
Evolutionary domain covering of an inference system for function approximation  7th
Evolutionary domain covering of an inference system for func...
收藏 引用
7th Annual Conference on Evolutionary Programming, EP 1998
作者: Kosiński, Witold Weigl, Martyna Michalewicz, Zbigniew Division of Optical and Computer Methods in Mechanics Institute of Fundamental Technological Research Pofish Academy of Sciences Warsaw00-049 Poland Department of Computer Science University of North Carolina CharlotteNC28223 United States Institute of Computer Science Polish Academy of Sciences Warsaw01-237 Poland
Many interesting and important problems related to the analysis of large numerical data can be formulated as a problem of approximating a function from a set of sample points. Any approximation method should provide m... 详细信息
来源: 评论