咨询与建议

限定检索结果

文献类型

  • 982 篇 会议
  • 37 篇 期刊文献
  • 24 册 图书

馆藏范围

  • 1,041 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 702 篇 工学
    • 583 篇 计算机科学与技术...
    • 365 篇 软件工程
    • 146 篇 电气工程
    • 57 篇 控制科学与工程
    • 30 篇 信息与通信工程
    • 27 篇 材料科学与工程(可...
    • 19 篇 电子科学与技术(可...
    • 16 篇 机械工程
    • 11 篇 动力工程及工程热...
    • 11 篇 生物医学工程(可授...
    • 10 篇 生物工程
    • 7 篇 仪器科学与技术
    • 7 篇 石油与天然气工程
    • 6 篇 城乡规划学
    • 4 篇 核科学与技术
    • 4 篇 农业工程
  • 191 篇 理学
    • 158 篇 数学
    • 19 篇 系统科学
    • 17 篇 物理学
    • 12 篇 统计学(可授理学、...
    • 10 篇 生物学
  • 69 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 22 篇 工商管理
    • 19 篇 图书情报与档案管...
  • 16 篇 教育学
    • 16 篇 教育学
  • 11 篇 文学
    • 11 篇 新闻传播学
  • 9 篇 法学
    • 8 篇 社会学
  • 6 篇 医学
    • 4 篇 基础医学(可授医学...
  • 4 篇 农学
    • 4 篇 作物学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 1 篇 军事学

主题

  • 96 篇 logic gates
  • 77 篇 programming
  • 63 篇 logic programmin...
  • 40 篇 fuzzy logic
  • 35 篇 application soft...
  • 30 篇 linear programmi...
  • 30 篇 probabilistic lo...
  • 27 篇 programming prof...
  • 27 篇 computer archite...
  • 26 篇 computer science
  • 26 篇 dynamic programm...
  • 23 篇 software enginee...
  • 23 篇 protocols
  • 21 篇 uncertainty
  • 20 篇 object oriented ...
  • 20 篇 java
  • 20 篇 semantics
  • 19 篇 computer circuit...
  • 18 篇 costs
  • 17 篇 software systems

机构

  • 4 篇 univ potsdam pot...
  • 4 篇 vienna univ tech...
  • 4 篇 imdea software i...
  • 4 篇 institute for lo...
  • 3 篇 tu wien austria
  • 3 篇 graduate school ...
  • 3 篇 univ calabria de...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ freiburg fr...
  • 3 篇 univ british col...
  • 3 篇 imperial coll lo...
  • 3 篇 department of in...
  • 2 篇 univ tecn federi...
  • 2 篇 ist austria klos...
  • 2 篇 univ savoie savo...
  • 2 篇 tel aviv univers...
  • 2 篇 zhongguancun lab...
  • 2 篇 univ ferrara dip...
  • 2 篇 south china univ...
  • 2 篇 univ neuchatel i...

作者

  • 8 篇 alviano mario
  • 6 篇 lamma evelina
  • 5 篇 schaub torsten
  • 4 篇 riguzzi fabrizio
  • 3 篇 lin yu
  • 3 篇 vardi moshe y.
  • 3 篇 gebser martin
  • 3 篇 bellodi elena
  • 3 篇 costa vitor sant...
  • 3 篇 shinji sakamoto
  • 3 篇 lakemeyer gerhar...
  • 3 篇 ikeda markus
  • 3 篇 zhou neng-fa
  • 3 篇 xu hongxiang
  • 3 篇 sabuncu orkunt
  • 3 篇 leonard barolli
  • 3 篇 schockaert steve...
  • 3 篇 pichler andreas
  • 3 篇 wang bin
  • 3 篇 de givry simon

语言

  • 1,015 篇 英文
  • 21 篇 其他
  • 8 篇 中文
  • 1 篇 法文
检索条件"任意字段=30th International Conference on Logic Programming"
1043 条 记 录,以下是811-820 订阅
排序:
On-line, self-monitoring tuner for proportional integral derivative controllers
On-line, self-monitoring tuner for proportional integral der...
收藏 引用
IEEE conference on Decision and Control
作者: S. Chand Rockwell International Corporation Thousand Oaks CA USA
the author describes a fuzzy-logic-based tuner for continuous online tuning of proportional, integral, and derivative (PID) controllers. A unique feature of this tuner is the adaptive scaling of its output in real-tim... 详细信息
来源: 评论
SEURAT
SEURAT
收藏 引用
international conference on Software Engineering (ICSE)
作者: Janet Burge David Brown Miami University Oxford OH USA Worcester Polytechnic Institute Worcester MA USA
A completed software product is the end result of many decisions that must be made throughout the development lifecycle. Unfortunately, the rationale for these decisions is usually not captured and is therefore lost. ... 详细信息
来源: 评论
Design and Investigation of Configurable Source Coupled logic
Design and Investigation of Configurable Source Coupled Logi...
收藏 引用
international conference on Microelectronics, ICM
作者: Hossam Hassan HyungWon Kim Sameh Ibrahim Department of Electronics Engineering Chungbuk National University Cheongju South Korea
this paper introduces and investigates a configurable source coupled logic (cSCL) by configuring the bulk connection of the PMOS load transistor. In the low-power mode configuration, the circuit operates in weak inver... 详细信息
来源: 评论
Application of Fuzzy logic in Federated Trust Management for Pervasive Computing
Application of Fuzzy Logic in Federated Trust Management for...
收藏 引用
IEEE Annual international Computer Software and Applications conference (COMPSAC)
作者: Zhengping Wu Alfred C. Weaver Department of Computer Science University of Virginia Charlottesville VA USA
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and security for their personal informatio... 详细信息
来源: 评论
Fast error aware model for arithmetic and logic circuits
Fast error aware model for arithmetic and logic circuits
收藏 引用
IEEE international conference on Computer Design: VLSI in Computers and Processors, (ICCD)
作者: Samy Zaynoun Muhammad S. Khairy Ahmed M. Eltawil Fadi J. Kurdahi Amin Khajeh Electrical Engineering and Computer Science Department University of California Irvine Irvine CA USA INTEL Research Laboratory Hillsboro OR USA
As a result of supply voltage reduction and process variations effects, the error free margin for dynamic voltage scaling has been drastically reduced. this paper presents an error aware model for arithmetic and logic... 详细信息
来源: 评论
Subthreshold hump mechanisms for both surface and buried channel MOSFET using STI technology
Subthreshold hump mechanisms for both surface and buried cha...
收藏 引用
European conference on Solid-State Device Research (ESSDERC)
作者: Hsin-Yi Lee Chih-Sheng Chang Ting-Hua Hsieh Jyh-Chyurn Guo Vanguard International Semiconductor Corporation Hsinchu Taiwan Taiwan Semiconductor Manufacturing Company Limited Hsinchu Taiwan Taiwan
来源: 评论
A teamwork-based approach to programming fundamentals with scheme, smalltalk & java
A teamwork-based approach to programming fundamentals with s...
收藏 引用
international conference on Software Engineering (ICSE)
作者: Michele Lanza Amy Murphy Romain Robbes Mircea Lungu Paolo Bonzini Faculty of Informatics University of Lugano Switzerland FBK-IRST Italy Faculty of Informatics University of Lugano
In October 2004 the University of Lugano in southern Switzerland established a new faculty of informatics. Its founding principles are innovation in teaching and faculty participation in the research community. With r... 详细信息
来源: 评论
Foundations of Software Science and Computational Structures  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Martin Hofmann
this book constitutes the refereed proceedings of the 14th international conference on Foundations of Software Science and computational Structures, FOSSACS 2011, held in Saarbrücken, Germany, March 26—April 3, ... 详细信息
来源: 评论
An Agent-Oriented logic for Belief and Trust
An Agent-Oriented Logic for Belief and Trust
收藏 引用
IEEE Annual international Computer Software and Applications conference (COMPSAC)
作者: Stanislav Ustymenko Daniel G. Schwartz Department of Computer Science Florida State University Tallahassee FL USA
the newly envisioned semantic Web contains as a component what may be called a Web of Trust, consisting of the trust relationships held between its participants. In terms of this, the degree to which participant A bel... 详细信息
来源: 评论
Optimization of Handover Problem Using Q-learning for LTE Network
Optimization of Handover Problem Using Q-learning for LTE Ne...
收藏 引用
international conference on Microelectronics, ICM
作者: Mohamed Adel M. Saeed Darweesh Hassan Mostafa Hanan Kamal Mona El-Ghoneimy Faculty of Engineering Cairo University Giza Egypt Nanotechnology Department Zewail City of Science and Technology Egypt
In this work, Q-learning technique on level of optimization is used to improve the performance of handover parameters such as handover margin (HOM) and time to trigger (TTT) and evaluated in terms of total system dela... 详细信息
来源: 评论