咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,378 篇 电子文献
  • 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 篇 心理学(可授教育学...
  • 119 篇 医学
    • 85 篇 临床医学
    • 76 篇 基础医学(可授医学...
    • 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...

机构

  • 24 篇 gaoling school o...
  • 24 篇 beijing key labo...
  • 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.
  • 9 篇 olteanu mircea
  • 9 篇 ştefan radu
  • 9 篇 krawczyk n.

语言

  • 1,235 篇 英文
  • 128 篇 其他
  • 12 篇 中文
  • 2 篇 德文
  • 1 篇 俄文
检索条件"机构=The Department of Computer Science and Methods of Teaching Computer Science"
1378 条 记 录,以下是1281-1290 订阅
排序:
Adaptive control of a class of nonlinear discrete-time systems using support vector machine
Adaptive control of a class of nonlinear discrete-time syste...
收藏 引用
World Congress on Intelligent Control and Automation (WCICA)
作者: Jianqiang Xu Shuzhong Chen Center of Mathematics and Physics Teaching Shanghai Institute of Technology Shanghai China Department of Computer Science and Technology East China Jiao Tong University Shanghai China
In this paper, we introduce the use of least square support vector machine (LS-SVM) for the adaptive control of a class of nonlinear discrete-time systems. The solution is characterized by a set of linear equations. T... 详细信息
来源: 评论
Modeling Demand for Inventory Management of Slow-Moving Items in Case of Reporting Errors
收藏 引用
IFAC Proceedings Volumes 2004年 第4期37卷 27-32页
作者: Alexandre Dolgui Anatoly Pashkevich Maxim Pashkevich Scientific Methods for Industrial Management Dept. (MSGI) Industrial Engineering and Computer Sciences Center (G2I) Ecole de Mines de Saint Etienne 158 Cours Fauriel 42023 Saint Etienne France Robotic Laboratory Department of Automatic Control Belarusian State University of Informatics and Radioelectronics 6 P.Brovka St. Minsk 220027 Belarus Department of Mathematical Modeling and Data Analysis Faculty of Applied Mathematics and Computer Science Belarusian State University Skarina Av. 4 Minsk 220050 Belarus
The paper is devoted to the problem of modeling demand for inventory management of slow-moving items in the case of reporting errors. It is proposed a generalization of the beta-binomial demand model that takes into a... 详细信息
来源: 评论
Formal methods for industrial critical systems at trinity college, university of Dublin
Formal methods for industrial critical systems at trinity co...
收藏 引用
Eight International Workshop on Formal methods for Industrial Critical Systems (FMICS'03)
作者: Butterfield, Andrew Foundations and Methods Group Department of Computer Science Trinity College University of Dublin Ireland
The Foundations and methods Research Group (FMG) of the department of computer science, Trinity College, University of Dublin is expanding its research towards industrial critical systems. The Handle-C, hardware compi... 详细信息
来源: 评论
The Jeliot 2000 program animation system
The Jeliot 2000 program animation system
收藏 引用
作者: Ben-Bassat Levy, Ronit Ben-Ari, Mordechai Uronen, Pekka A Department of Science Teaching Weizmann Institute of Science Rehovot 76100 Israel Department of Computer Science University of Helsinki FIN-00014 Helsinki Finland
Jeliot 2000 is a program animation system intended for teaching introductory computer science to high school students. A program animation system is a system that displays a dynamic graphical representation of the exe... 详细信息
来源: 评论
The MODEST modeling tool and its implementation
收藏 引用
13th International Conference on Modelling Techniques and Tools for computer Performance Evaluation, TOOLS 2003
作者: Bohnenkamp, Henrik Hermanns, Holger Katoen, Joost-Pieter Klaren, Ric Formal Methods and Tools Group Department of Computer Science University of Twente P.O. Box 217 Enschede7500 AE Netherlands Department of Computer Science Saarland University SaarbrückenD-66123 Germany
This paper is about the tool-suite MOTOR that supports the modeling and analysis of Modest specifications. In particular, we discuss its tool architecture, and the implementation details of the tool components that do... 详细信息
来源: 评论
Formal methods for Industrial Critical Systems at Trinity College, University of Dublin
收藏 引用
Electronic Notes in Theoretical computer science 2003年 80卷 299-303页
作者: Andrew Butterfield Foundations and Methods Group Department of Computer Science Trinity College University of Dublin Ireland
来源: 评论
Management issues of flexible, multilevel distance learning-based teacher training
Management issues of flexible, multilevel distance learning-...
收藏 引用
International Conference on Advanced Learning Technologies (ICALT)
作者: N. Ragonis B. Haberman Department of Science Teaching Weizmann Institute of Science Rehovot Israel Department of Science Teaching The Weizmann Institute of Science Computer Science Department Holon Academic Institute of Technology Rehovot Israel
We describe the implementation and management of a flexible model for multilevel distance learning-based teacher training. The model was implemented to introduce curricular and pedagogical aspects of teaching logic pr... 详细信息
来源: 评论
ETMCC: model checking performability properties of Markov chains
ETMCC: model checking performability properties of Markov ch...
收藏 引用
International Conference on Dependable Systems and Networks (DSN)
作者: H. Hermanns J.t-P. Katoen J. Meyer-Kayser M. Siegle Department of Computer Science Universitat des Saarlandes Germany Formal Methods and Tools Group University of Twente Netherlands Department of Computer Science Universität Erlangen Nürnberg Germany
来源: 评论
On integrating the MOBIUS and MODEST modeling tools
On integrating the MOBIUS and MODEST modeling tools
收藏 引用
International Conference on Dependable Systems and Networks (DSN)
作者: H. Bohnenkamp T. Courtney D. Daly S. Derisavi H. Hermanns J. Katoen R. Klaren Vinh Vi Lam W.H. Sanders Formal Methods and Tools Group Department of Computer Science University of Twente Enschede Netherlands Coordinated Science Laboratory Department of Electrical and Computer Engineering University of Illinois Urbana-Champaign Urbana-Champaign IL USA
来源: 评论
A journey trough clinical applications of multimethod decision trees
收藏 引用
9th Conference on Artificial Intelligence on in Medicine in Europe, AIME 2003
作者: Povalej, Petra Lenič, Mitja Štiglic, Milojka Molan Kavalar, Maja Skerbinjek Završnik, Jernej Kokol, Peter Laboratory for System Design Faculty of Electrical Engineering and Computer Science University of Maribor SI-2000 Maribor Slovenia Adolf Drolc Health Centre SI-2000 Maribor Slovenia Department of Paediatric Surgery Maribor Teaching Hospital SI-2000 Maribor Slovenia
We present a journey through successful applications of multimethod approach to induction of decision trees in knowledge extraction, discovery of new knowledge and early diagnosis on the cases of asthma, cardiovascula... 详细信息
来源: 评论