咨询与建议

限定检索结果

文献类型

  • 6,089 篇 会议
  • 2,169 篇 期刊文献
  • 98 册 图书
  • 14 篇 学位论文

馆藏范围

  • 8,366 篇 电子文献
  • 5 种 纸本馆藏

日期分布

学科分类号

  • 5,702 篇 工学
    • 5,268 篇 计算机科学与技术...
    • 3,385 篇 软件工程
    • 580 篇 电气工程
    • 302 篇 控制科学与工程
    • 172 篇 信息与通信工程
    • 84 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 41 篇 生物医学工程(可授...
    • 38 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,392 篇 理学
    • 1,230 篇 数学
    • 118 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 67 篇 系统科学
    • 53 篇 物理学
    • 25 篇 科学技术史(分学科...
  • 582 篇 管理学
    • 332 篇 图书情报与档案管...
    • 282 篇 管理科学与工程(可...
    • 118 篇 工商管理
  • 64 篇 法学
    • 39 篇 社会学
    • 24 篇 法学
  • 50 篇 医学
    • 37 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 49 篇 哲学
    • 32 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 36 篇 文学
    • 26 篇 外国语言文学
  • 34 篇 农学
    • 26 篇 作物学
  • 24 篇 经济学
  • 15 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,370 篇 logic programmin...
  • 606 篇 computer science
  • 478 篇 computer languag...
  • 345 篇 application soft...
  • 303 篇 artificial intel...
  • 250 篇 programming prof...
  • 187 篇 hardware
  • 183 篇 computer archite...
  • 175 篇 programmable log...
  • 173 篇 control systems
  • 161 篇 logic design
  • 157 篇 concurrent compu...
  • 155 篇 computational mo...
  • 152 篇 laboratories
  • 149 篇 prototypes
  • 148 篇 object oriented ...
  • 143 篇 software enginee...
  • 137 篇 functional progr...
  • 133 篇 costs
  • 129 篇 parallel process...

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 24 篇 univ pisa dipart...
  • 24 篇 new mexico state...
  • 22 篇 katholieke univ ...
  • 21 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 17 篇 katholieke univ ...
  • 17 篇 univ kentucky de...
  • 15 篇 univ potsdam pot...
  • 15 篇 univ evora escol...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...
  • 11 篇 vienna universit...
  • 11 篇 department of ma...

作者

  • 80 篇 schaub torsten
  • 58 篇 ricca francesco
  • 54 篇 vicente henrique
  • 50 篇 eiter thomas
  • 50 篇 neves jose
  • 49 篇 gebser martin
  • 47 篇 woltran stefan
  • 42 篇 faber wolfgang
  • 38 篇 leone nicola
  • 37 篇 pontelli enrico
  • 37 篇 cabalar pedro
  • 36 篇 son tran cao
  • 30 篇 lifschitz vladim...
  • 30 篇 gupta gopal
  • 29 篇 denecker marc
  • 29 篇 maratea marco
  • 28 篇 sakama chiaki
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi
  • 25 篇 proietti maurizi...

语言

  • 7,915 篇 英文
  • 403 篇 其他
  • 32 篇 中文
  • 7 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8370 条 记 录,以下是4591-4600 订阅
排序:
Neobit/sup /spl reg// - high reliable logic non-volatile memory (NVM)
Neobit/sup /spl reg// - high reliable logic non-volatile mem...
收藏 引用
International Symposium on Physical & Failure Analysis of Integrated Circuits
作者: R.S.C. Wang R.S.J. Shen C.C.H. Hsu EMemory Technology Inc. Hsinchu Taiwan
In this paper, a new embedded OTP bit-cell (Neobit) is presented for one-/multiple-time programming (OTP/MTP) application, which is fabricated by using a generic logic process. Without additional processing or extra f... 详细信息
来源: 评论
Addressing to online adaptive controller malfunction in fault tolerant control
Addressing to online adaptive controller malfunction in faul...
收藏 引用
International Joint Conference on Neural Networks (IJCNN)
作者: P.G. DeLima G.G. Yen School of Electrical and Computer Engineering Oklahoma State University Stillwater OK USA
A complete fault tolerant control solution calls for a nonlinear adaptive controller with universal approximation capability and guaranteed stability. To fulfill this requirement, we propose the use of neural networks... 详细信息
来源: 评论
Improving real-time system configuration via a QoS-aware CORBA component model
Improving real-time system configuration via a QoS-aware COR...
收藏 引用
Annual Hawaii International Conference on System Sciences (HICSS)
作者: Nanbor Wang C. Gill Department of Computer Science and Engineering Washington University Saint Louis MO USA
A fundamental tension exists in systems research and practice between (1) hiding extraneous details to simplify the system programming model, and (2) revealing crucial details to allow better customization to particul... 详细信息
来源: 评论
Using behavior templates to design remotely executing agents for wireless clients
Using behavior templates to design remotely executing agents...
收藏 引用
Workshop on Applications and Services in Wireless Networks, ASWN
作者: Eugene Hun J. Pasquale Department of Computer Science and Engineering University of California San Diego San Diego California 92093-0114 Department of Computer Science and Engineering University of California San Diego San Diego USA
ReAgents are remotely executing agents derived from behavior templates that support wireless clients in Internet applications. A reAgent is essentially a "one-shot" mobile agent that acts as an extension of ... 详细信息
来源: 评论
A new analytical language for clearing procedures in electrical installations
A new analytical language for clearing procedures in electri...
收藏 引用
Conference Record of the IEEE Industry Applications Society Annual Meeting (IAS)
作者: G. Parise E. Hesla Electrical Engineering Dept. University of Rome “La Sapienza” Italy Hesla & Associates Everett Washington USA
"Lockout" and "tagout" procedures to ensure safety is universally accepted. In order to perform operations of electrical maintenance on a zone, portion or components of the system, it is necessary ... 详细信息
来源: 评论
ClusterGOP: A high-level parallel programming environment
ClusterGOP: A high-level parallel programming environment
收藏 引用
International Conference on Parallel Processing Workshops (ICPPW)
作者: Jiannong Cao Department of Computing Hong Kong Polytechnic University Kowloon Hong Kong China
It has been agreed that the acceptance of parallel computing mainly depends on the quality of a high-level programming model, which should provide powerful abstractions in order to free the programmer from the burden ... 详细信息
来源: 评论
Experiments in abstract interpretation-based code certification for pervasive systems
Experiments in abstract interpretation-based code certificat...
收藏 引用
IEEE International Conference on Systems, Man and Cybernetics
作者: E. Albert G. Puebla M. Hermenegildo Complutense University of Madrid Spain Technical University Madrid Spain University of New Mexico USA
Proof-carrying code (PCC) is a general methodology for certifying that the execution of a untrusted mobile code is safe. The basic idea is that the code supplier attaches a certificate to the mobile code which the con... 详细信息
来源: 评论
A symmetric modal lambda calculus for distributed computing
A symmetric modal lambda calculus for distributed computing
收藏 引用
Annual Symposium on logic in Computer Science
作者: T. Murphy K. Crary R. Harper F. Pfenning Carnegie Mellon University USA
We present a foundational language for spatially distributed programming, called Lambda 5, that addresses both mobility of code and locality of resources. In order to construct our system, we appeal to the powerful pr... 详细信息
来源: 评论
Transition invariants
Transition invariants
收藏 引用
Annual Symposium on logic in Computer Science
作者: A. Podelski A. Rybalchenko Max Planck Institut für Informatik Saarbrucken Germany
Proof rules for program verification rely on auxiliary assertions. We propose a (sound and relatively complete) proof rule whose auxiliary assertions are transition invariants. A transition invariant of a program is a... 详细信息
来源: 评论
MINLP algorithms mixed with constraint programming
MINLP algorithms mixed with constraint programming
收藏 引用
World Congress on Intelligent Control and Automation (WCICA)
作者: Longhua Ma Liyan Zhang Jixin Qian National Laboratory of Industrial Control Technology Institute of Systems Engineering University of Zhejiang Hangzhou China
This paper advanced mixed integer nonlinear programming (MINLP) algorithms mixed with constraint programming (CP) to solve industrial process hybrid model mixed with logical rule. CP methods have proved to be successf... 详细信息
来源: 评论