咨询与建议

限定检索结果

文献类型

  • 903 篇 会议
  • 448 篇 期刊文献
  • 23 册 图书

馆藏范围

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

日期分布

学科分类号

  • 811 篇 工学
    • 603 篇 计算机科学与技术...
    • 436 篇 软件工程
    • 127 篇 控制科学与工程
    • 121 篇 信息与通信工程
    • 59 篇 电气工程
    • 49 篇 电子科学与技术(可...
    • 48 篇 机械工程
    • 47 篇 安全科学与工程
    • 38 篇 生物医学工程(可授...
    • 34 篇 建筑学
    • 34 篇 土木工程
    • 34 篇 生物工程
    • 29 篇 仪器科学与技术
    • 26 篇 化学工程与技术
    • 24 篇 材料科学与工程(可...
    • 18 篇 交通运输工程
  • 488 篇 理学
    • 334 篇 数学
    • 81 篇 统计学(可授理学、...
    • 64 篇 系统科学
    • 63 篇 物理学
    • 45 篇 生物学
    • 26 篇 化学
  • 207 篇 管理学
    • 148 篇 管理科学与工程(可...
    • 85 篇 工商管理
    • 61 篇 图书情报与档案管...
  • 40 篇 经济学
    • 38 篇 应用经济学
  • 33 篇 医学
    • 26 篇 基础医学(可授医学...
    • 26 篇 临床医学
  • 27 篇 法学
    • 25 篇 社会学
  • 26 篇 教育学
    • 21 篇 教育学
  • 15 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 35 篇 artificial intel...
  • 33 篇 safety
  • 31 篇 computer science
  • 28 篇 computer archite...
  • 27 篇 software
  • 23 篇 monitoring
  • 23 篇 hardware
  • 21 篇 computational mo...
  • 20 篇 application soft...
  • 18 篇 software enginee...
  • 18 篇 semantics
  • 17 篇 data models
  • 16 篇 optimization
  • 15 篇 reliability
  • 14 篇 programming prof...
  • 14 篇 system-on-chip
  • 14 篇 iec standards
  • 13 篇 functional progr...
  • 13 篇 standards
  • 13 篇 training

机构

  • 48 篇 department of ap...
  • 25 篇 department of co...
  • 18 篇 department of ap...
  • 17 篇 department of sy...
  • 17 篇 computer archite...
  • 15 篇 department of co...
  • 15 篇 department of co...
  • 13 篇 department of pr...
  • 13 篇 department of co...
  • 11 篇 department of ap...
  • 10 篇 technical univer...
  • 9 篇 department of co...
  • 9 篇 icas institute f...
  • 9 篇 department of ap...
  • 8 篇 institute for co...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of ma...
  • 7 篇 department of pr...
  • 7 篇 chair for comput...

作者

  • 43 篇 josef börcsök
  • 34 篇 pal madhumangal
  • 30 篇 ali hayek
  • 22 篇 börcsök josef
  • 20 篇 madhumangal pal
  • 19 篇 gancheva veska
  • 17 篇 veska gancheva
  • 15 篇 börcsök j.
  • 15 篇 boercsoek josef
  • 15 篇 fritzson peter
  • 14 篇 hayek ali
  • 12 篇 mondal shyamal k...
  • 12 篇 maiti manoranjan
  • 12 篇 gurkan tuna
  • 12 篇 mostafa abotaleb
  • 11 篇 mariana arghir
  • 10 篇 tuna gurkan
  • 10 篇 xue jingling
  • 10 篇 roy abi zeid dao...
  • 9 篇 roy sankar kumar

语言

  • 1,339 篇 英文
  • 24 篇 其他
  • 8 篇 中文
  • 1 篇 德文
  • 1 篇 日文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming "
1374 条 记 录,以下是241-250 订阅
排序:
Implementation and comparison of machine learning classifiers for information security risk analysis of a human resources department
Implementation and comparison of machine learning classifier...
收藏 引用
International Conference on computer Information Systems and Industrial Management Applications
作者: Eminagaoglu, Mete Eren, Saban Department of Computer Programming Yasar University Izmir Turkey Department of Statistics Yasar University Izmir Turkey
The aim of this study is threefold. First, a qualitative information security risk survey is implemented in human resources department of a logistics company. Second, a machine learning risk classification and predict... 详细信息
来源: 评论
Formal specification of virtual process topologies  1
Formal specification of virtual process topologies
收藏 引用
1st IEEE computer Society International Workshop on Cluster Computing, IWCC 1999
作者: Kazemi, K. McDonald, C. Programming Languages and Systems Group Department of Computer Science University of Western Australia NedlandsWA6907 Australia
A lack of adequate and flexible topology support in the popular message passing systems such as Parallel Virtual Machine was a major factor in the development of our Virtual Process Topology Environment. This parallel... 详细信息
来源: 评论
HOW WELL ARE NON-HORN CLAUSES HANDLED  6th
HOW WELL ARE NON-HORN CLAUSES HANDLED
收藏 引用
6TH INTERNATIONAL SYMP ON METHODOLOGIES FOR INTELLIGENT SYSTEMS ( ISMIS 91 )
作者: NIE, XM Institute for Programming and Logics Department of Computer Science State University of New York at Albany Albany 12222 NY United States
We analyze the search space of two clause-based proof procedures, the Model Elimination procedure and Near-Horn Prolog, both of Loveland. We study how the search space changes with respect to the degree of how “non-H... 详细信息
来源: 评论
Genetic programming as a darwinian invention machine  2nd
收藏 引用
2nd European Workshop on Genetic programming, EuroGP 1999
作者: Koza, John R. Bennett, Forrest H. Stiffelman, Oscar Section on Medical Informatics Department of Medicine StanfordCA94305 United States Genetic Programming Inc Los AltosCA94023 United States Computer Science Department Stanford University StanfordCA94305 United States
Genetic programming is known to be capable of creating designs that satisfy prespecified high-level design requirements for analog electrical circuits and other complex structures. However, in the real world, it is of... 详细信息
来源: 评论
THE NATURE OF HEURISTICS
收藏 引用
ARTIFICIAL INTELLIGENCE 1982年 第2期19卷 189-249页
作者: LENAT, DB Computer Science Department Stanford University Stanford CA 94305 U.S.A.[∗]The author is an assistant professor of Computer Science at Stanford University a member of that university"s Heuristic Programming Project and a consultant for CIS at XEROX PARC.
Builders of expert rule-based systems attribute the impressive performance of their programs to the corpus of knowledge they embody: a large network of facts to provide breadth of scope, and a large array of informal ...
来源: 评论
Automated Reasoning with Analytic Tableaux and Related Methods  1
收藏 引用
丛书名: Lecture Notes in computer Science
1000年
作者: Neil V. Murray
来源: 评论
Complexity of unification problems with associative-commutative operators
收藏 引用
Journal of Automated Reasoning 1992年 第2期9卷 261-288页
作者: Kapur, Deepak Narendran, Paliath Institute of Programming and Logics Department of Computer Science State University of New York at Albany Albany 12222 NY United States
The unification problem for terms containing associative and commutative functions is of importance in theorem provers based on term rewriting and resolution methods as well as in logic programming. The complexity of ... 详细信息
来源: 评论
Initial thoughts on rapid prototyping techniques
Initial thoughts on rapid prototyping techniques
收藏 引用
Workshop on Rapid Prototyping 1982
作者: Taylor, Tamara Standish, Thomas A. Irvine Programming Environment Project Computer Science Department University of California IrvineCA92717 United States
This paper sets some context, raises issues, and provides our initial thinking on the characteristics of effective rapid prototyping techniques. After discussing the role rapid prototyping techniques can play in the s... 详细信息
来源: 评论
Rewriting for Monoidal Closed Categories  7
Rewriting for Monoidal Closed Categories
收藏 引用
7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022
作者: Alvarez-Picallo, Mario Ghica, Dan Sprunger, David Zanasi, Fabio Programming Languages Laboratory Huawei Research Centre United Kingdom Department of Computer Science University of Birmingham United Kingdom Programming Languages Laboratory Huawei Research Centre Reading United Kingdom Department of Computer Science University College London United Kingdom
This paper develops a formal string diagram language for monoidal closed categories. Previous work has shown that string diagrams for freely generated symmetric monoidal categories can be viewed as hypergraphs with in... 详细信息
来源: 评论
Boolean differential calculus
Boolean differential calculus
收藏 引用
作者: Steinbach, Bernd Posthoff, Christian Department of Computer Science Software Engineering and Programming Freiberg University of Mining and Technology Germany
Boolean Differential Calculus (BDC) extends Boolean *** Boolean algebra is focused on values of logic functions,BDC allows the evaluation of changes of the function values. Such changes can be investigated between cer... 详细信息
来源: 评论