咨询与建议

限定检索结果

文献类型

  • 2,958 篇 会议
  • 98 篇 期刊文献
  • 83 册 图书
  • 2 篇 学位论文

馆藏范围

  • 3,139 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 1,939 篇 工学
    • 1,461 篇 计算机科学与技术...
    • 826 篇 软件工程
    • 383 篇 电气工程
    • 259 篇 控制科学与工程
    • 105 篇 信息与通信工程
    • 59 篇 机械工程
    • 57 篇 交通运输工程
    • 47 篇 电子科学与技术(可...
    • 38 篇 石油与天然气工程
    • 33 篇 核科学与技术
    • 31 篇 材料科学与工程(可...
    • 26 篇 生物工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 动力工程及工程热...
    • 20 篇 仪器科学与技术
    • 20 篇 土木工程
    • 15 篇 建筑学
  • 520 篇 理学
    • 370 篇 数学
    • 85 篇 物理学
    • 62 篇 系统科学
    • 57 篇 统计学(可授理学、...
    • 44 篇 生物学
  • 214 篇 管理学
    • 178 篇 管理科学与工程(可...
    • 64 篇 工商管理
    • 45 篇 图书情报与档案管...
  • 77 篇 医学
    • 68 篇 临床医学
    • 46 篇 特种医学
    • 15 篇 基础医学(可授医学...
  • 48 篇 教育学
    • 46 篇 教育学
  • 32 篇 法学
    • 27 篇 社会学
  • 16 篇 经济学
  • 8 篇 农学
  • 6 篇 文学
  • 5 篇 艺术学
  • 3 篇 哲学
  • 1 篇 军事学

主题

  • 274 篇 logic gates
  • 236 篇 fuzzy logic
  • 172 篇 probabilistic lo...
  • 155 篇 programming
  • 139 篇 linear programmi...
  • 110 篇 logic programmin...
  • 89 篇 dynamic programm...
  • 86 篇 optimization
  • 71 篇 computer science
  • 69 篇 programming prof...
  • 69 篇 computational mo...
  • 67 篇 artificial intel...
  • 67 篇 mathematical mod...
  • 58 篇 integer programm...
  • 58 篇 uncertainty
  • 56 篇 software enginee...
  • 54 篇 semantics
  • 50 篇 computer archite...
  • 50 篇 logic
  • 44 篇 genetic programm...

机构

  • 8 篇 university of mi...
  • 6 篇 hitachi ltd hita...
  • 6 篇 st petersburg el...
  • 5 篇 inria
  • 5 篇 kyushu sangyo un...
  • 5 篇 myongji universi...
  • 5 篇 saint petersburg...
  • 5 篇 univ illinois ur...
  • 5 篇 politecnico di b...
  • 5 篇 monash universit...
  • 5 篇 university of pe...
  • 5 篇 carnegie mellon ...
  • 5 篇 polytechnic univ...
  • 5 篇 university of ba...
  • 5 篇 covenant univers...
  • 5 篇 univ illinois de...
  • 4 篇 ist austria klos...
  • 4 篇 graduate school ...
  • 4 篇 institute of mic...
  • 4 篇 school of electr...

作者

  • 6 篇 kitamura m
  • 6 篇 woltran stefan
  • 6 篇 eiter thomas
  • 6 篇 kakugawa s
  • 5 篇 bernady o. apduh...
  • 5 篇 ana maria a.c. r...
  • 5 篇 eufemia tarantin...
  • 5 篇 osvaldo gervasi
  • 5 篇 yeonseung ryu
  • 5 篇 beniamino murgan...
  • 5 篇 sanjay misra
  • 5 篇 inoue katsumi
  • 5 篇 david taniar
  • 5 篇 carmelo m. torre
  • 5 篇 elena stankova
  • 4 篇 schaub torsten
  • 4 篇 belta calin
  • 4 篇 leonard barolli
  • 4 篇 hino n
  • 4 篇 castillo oscar

语言

  • 3,077 篇 英文
  • 47 篇 其他
  • 18 篇 中文
  • 3 篇 葡萄牙文
  • 2 篇 法文
  • 1 篇 俄文
检索条件"任意字段=18th International Conference on Logic Programming"
3141 条 记 录,以下是2521-2530 订阅
排序:
Design of multi-ghz asynchronous pipelined circuits in MOS current-mode logic
Design of multi-ghz asynchronous pipelined circuits in MOS c...
收藏 引用
18th international conference on VLSI Design: Power Aware Design of VLSI Systems
作者: Kwan, Tin Wai Shams, Maitham Department of Electronics Carleton University Ottawa Ont. K1S 5B6 Canada
this paper introduces the implementation of asynchronous pipelined circuits in MOS Current-Mode logic (MCML). C-element and double-edge-triggered flip-flop are implemented in MCML and used in so-called micropipeline c... 详细信息
来源: 评论
Variable input delay CMOS logic for low power design
Variable input delay CMOS logic for low power design
收藏 引用
international conference on VLSI Design
作者: T. Raja V.D. Agrawal M.L. Bushnell Transmeta Corporation Santa Clara CA USA Department of ECE Aubum University Auburn AL USA Department of eCE Rutgers University Piscataway NJ USA
Modern digital circuits consist of logic gates implemented in the complementary metal oxide semiconductor (CMOS) technology. the time taken for a logic gate output to change after one or more inputs have changed is ca... 详细信息
来源: 评论
A fuzzy logic-based approach for detecting shifting patterns in cross-cultural data
A fuzzy logic-based approach for detecting shifting patterns...
收藏 引用
18th international conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems: Innovations in Applied Artificial Intelligence, IEA/AIE 2005
作者: Tsekouras, George E. Papageorgiou, Dimitris Kotsiantis, Sotiris B. Kalloniatis, Christos Pintelas, Panagiotis University of the Aegean Department of Cultural Technology and Communication Faonos and Harilaou Trikoupi Str. 81100 Mytilene Lesvos Greece Efdlab University of Patras Department of Mathematics Greece
To assess the extent to which individuals adapt themeselfs in a strange cultural environement, the authors analyzed the adaptation process of a number of immigrants who live in Greece. Using categorical variables to r... 详细信息
来源: 评论
Prediction of energy demands using neural network by a global optimization method  18
Prediction of energy demands using neural network by a globa...
收藏 引用
18th international conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems (ECOS 2005)
作者: Yokoyama, R Inui, M Ito, K Osaka Prefecture Univ Dept Mech Engn Sakai Osaka 591 Japan
To operate energy supply systems optimally from the viewpoints of energy and cost savings, it is important to predict energy demands accurately as basic conditions. Several methods of predicting energy demands have be... 详细信息
来源: 评论
thermoeconomic evaluation and optimization of an water-ammonia vapour-absorption refrigeration system using evolutionary programming  18
Thermoeconomic evaluation and optimization of an water-ammon...
收藏 引用
18th international conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems (ECOS 2005)
作者: Sahoo, PK Misra, RD Indian Inst Technol Dept Mech & Ind Engn Roorkee 247667 Uttar Pradesh India
the main obstacles of the aqua-ammonia vapour-absorption refrigeration (VAR) systems for getting the market acceptance are their higher investment cost and lower first law efficiency when driven by high exergy input. ... 详细信息
来源: 评论
Automatic generation of human animation based on motion programming
Automatic generation of human animation based on motion prog...
收藏 引用
18th international conference on Computer Animation and Social Agents (CASA 2005)
作者: Zhuang, YT Xiao, J Wu, YZ Yang, T Wu, F Zhejiang Univ Inst Artif Intelligence Coll Comp Sci Hangzhou 310027 Peoples R China
In motion simulations, video games and animation films, lots of interactions between characters and virtual environments are needed. Even though realistic motion data can be derived from MoCap system, motion editing a... 详细信息
来源: 评论
A verification system for transient response of analog circuits using model checking
A verification system for transient response of analog circu...
收藏 引用
18th international conference on VLSI Design: Power Aware Design of VLSI Systems
作者: Dastidar, Tathagato Rai Chakrabarti, P.P. National Semiconductor Corporation Deptt. of Computer Science and Engineering Indian Institute of Technology Kharagpur
Conventional temporal logics like CTL [1], used for specifying properties of digital systems are not well suited for property specification of analog systems. We present a new temporal logic for specifying properties ... 详细信息
来源: 评论
Proceedings of the ASME international Design Engineering Technical conferences and Computers and Information in Engineering conferences -DETC2005: ASME/IEEE international conference on Mechatronic and Embedded Systems and Applications. Design for Manufacturing and the Life Cycle conference. 18th Reliability, Stress Analysis and Failure Prevention conference
Proceedings of the ASME International Design Engineering Tec...
收藏 引用
DETC2005: ASME international Design Engineering Technical conferences and Computers and Information in Engineering conference
the proceedings contain 79 papers. the topics discussed include: design of a bistable compliant locking mechanism for new generation mirror actuators;a novel design of a brushless DC motor integrated with an embedded ... 详细信息
来源: 评论
Meta reasoning in ACL2
Meta reasoning in ACL2
收藏 引用
18th international conference on theorem Proving in Higher Order logics, TPHOLs 2005
作者: Hunt Jr., Warren A. Kaufmann, Matt Krug, Robert Bellarmine Moore, J. Strother Smith, Eric Whitman Department of Computer Sciences University of Texas at Austin Austin TX 78712-1188 United States
the ACL2 system la based upon a first-order logic and implements traditional first-order reasoning techniques, notably (conditional) rewriting, as well as extensions including mathematical induction and a "functi... 详细信息
来源: 评论
Charge-recovery power clock generators for adiabatic logic circuits
Charge-recovery power clock generators for adiabatic logic c...
收藏 引用
international conference on VLSI Design
作者: M. Arsalan M. Shams Department of Electronics Carleton University Ottawa ONT Canada
To get maximum energy efficiency from adiabatic logic circuits several charge-recovery power clock generators (PCGs) have been published in recent years. this paper compares and analyzes the performance and energy eff... 详细信息
来源: 评论