咨询与建议

限定检索结果

文献类型

  • 1,144 篇 会议
  • 928 篇 期刊文献
  • 19 册 图书

馆藏范围

  • 2,091 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,218 篇 工学
    • 852 篇 计算机科学与技术...
    • 698 篇 软件工程
    • 177 篇 信息与通信工程
    • 161 篇 控制科学与工程
    • 112 篇 生物医学工程(可授...
    • 109 篇 生物工程
    • 89 篇 电气工程
    • 76 篇 电子科学与技术(可...
    • 70 篇 机械工程
    • 54 篇 光学工程
    • 54 篇 化学工程与技术
    • 49 篇 材料科学与工程(可...
    • 40 篇 土木工程
  • 774 篇 理学
    • 464 篇 数学
    • 159 篇 物理学
    • 144 篇 生物学
    • 126 篇 统计学(可授理学、...
    • 88 篇 系统科学
    • 59 篇 化学
  • 390 篇 管理学
    • 233 篇 管理科学与工程(可...
    • 160 篇 图书情报与档案管...
    • 121 篇 工商管理
  • 197 篇 教育学
    • 195 篇 教育学
    • 39 篇 心理学(可授教育学...
  • 144 篇 医学
    • 106 篇 临床医学
    • 90 篇 基础医学(可授医学...
    • 49 篇 公共卫生与预防医...
    • 49 篇 药学(可授医学、理...
  • 56 篇 法学
    • 51 篇 社会学
  • 45 篇 经济学
    • 44 篇 应用经济学
  • 29 篇 农学
  • 11 篇 文学
  • 9 篇 军事学
  • 3 篇 艺术学

主题

  • 60 篇 students
  • 58 篇 computer science
  • 47 篇 machine learning
  • 45 篇 education
  • 33 篇 training
  • 26 篇 deep learning
  • 26 篇 computational mo...
  • 25 篇 engineering educ...
  • 24 篇 data mining
  • 24 篇 artificial intel...
  • 22 篇 support vector m...
  • 22 篇 feature extracti...
  • 19 篇 semantics
  • 17 篇 visualization
  • 16 篇 xml
  • 16 篇 neural networks
  • 16 篇 databases
  • 16 篇 mathematics
  • 15 篇 predictive model...
  • 15 篇 decision making

机构

  • 45 篇 beijing key labo...
  • 44 篇 gaoling school o...
  • 44 篇 school of comput...
  • 40 篇 school of comput...
  • 35 篇 key laboratory o...
  • 24 篇 key laboratory o...
  • 13 篇 school of scienc...
  • 13 篇 department of la...
  • 11 篇 department of co...
  • 11 篇 department of co...
  • 11 篇 engineering labo...
  • 10 篇 tsinghua univers...
  • 10 篇 school of inform...
  • 9 篇 key laboratory o...
  • 9 篇 department of so...
  • 9 篇 department of ma...
  • 9 篇 department of au...
  • 8 篇 faculty of physi...
  • 8 篇 institute for fo...
  • 8 篇 pedagogical univ...

作者

  • 21 篇 wu xiaojun
  • 20 篇 wen ji-rong
  • 15 篇 li peng
  • 15 篇 yan ping
  • 14 篇 lv teng
  • 14 篇 xiaojun wu
  • 12 篇 dulski k.
  • 12 篇 kubicz e.
  • 12 篇 kozik t.
  • 12 篇 korcyl g.
  • 12 篇 badriyya b.al-on...
  • 12 篇 marek r. ogiela
  • 11 篇 skurzok m.
  • 11 篇 moskal p.
  • 11 篇 silarski m.
  • 10 篇 zhang yumei
  • 10 篇 tomasz hachaj
  • 10 篇 zhang lichen
  • 10 篇 teng lv
  • 10 篇 shopa r.y.

语言

  • 1,917 篇 英文
  • 145 篇 其他
  • 28 篇 中文
  • 3 篇 德文
  • 1 篇 俄文
检索条件"机构=Computer Science and Methods of Teaching Computer Science"
2091 条 记 录,以下是1991-2000 订阅
The information environments program - a new design based IT degree  00
The information environments program - a new design based IT...
收藏 引用
Proceedings of the Australasian conference on Computing education
作者: Michael Docherty Peter Sutton Margot Brereton Simon Kaplan Allison Brown Information Environments Program School of Computer Science & Elec. Eng. The University of Queensland Ipswich QLD 4305 Learning Resources Development Unit Teaching & Education Development Inst. The University of Queensland Ipswich QLD 4305
The University of Queensland has recently established a new design-focused, studio-based IT degree at a new “flexible-learning” campus. The Bachelor of Information Environments degree integrates the core subjects of... 详细信息
来源: 评论
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...
来源: 评论
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... 详细信息
来源: 评论
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.
来源: 评论
Preface
收藏 引用
Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1999年 1621卷 v-vii页
作者: Fensel, Dieter Studer, Rudi University of Karlsruhe AIFB Institute for Applied Computer Science Formal Description Methods Karlsruhe Germany
来源: 评论
Lyapunov theorems with semidefinite functions
收藏 引用
IFAC Proceedings Volumes 1999年 第2期32卷 1802-1807页
作者: Abderrahman Iggidr Boris Kalitine Gauthier Sallet CONGE Project INRIA Lorraine & UPRES A 7035 Dept. of Mathematics University of Metz I.S.C.M.P. Bat. A Ile da Saulcy 57045 Metz cedex 01 France. phone: +33 3 87 54 72 80 Fax: +33 3 87 54 72 77 Belarusian State University Faculty of Applied Mathematics & Computer Science Chair of Optimal Control Methods 220050 Republic Belarus Minsk Fr. Skartny av. 4
This paper gives a new generalization of Lyapunov theorems. Tt shows how to explore the stability properties of a given system by using a Lyapunov function which is nonnegative semidefinite, rather than positive defin... 详细信息
来源: 评论