咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 3,140 篇 电子文献
  • 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...
  • 68 篇 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,078 篇 英文
  • 47 篇 其他
  • 18 篇 中文
  • 3 篇 葡萄牙文
  • 2 篇 法文
  • 1 篇 俄文
检索条件"任意字段=18th International Conference on Logic Programming"
3142 条 记 录,以下是2551-2560 订阅
排序:
SCINDY: logic crosstalk delay fault simulation in sequential circuits
SCINDY: logic crosstalk delay fault simulation in sequential...
收藏 引用
international conference on VLSI Design
作者: M. Phadoongsidhi K.K. Saluja Department of Electrical Engineering King Mongkut's Institute of Technology North Bangkok Thailand Department of Electrical and Computer Engineering University of Wisconsin Madison USA
A conventional approach to the simulation of crosstalk-induced delay faults is commonly centered around an electrical-level circuit simulation. While yielding high accuracy, the process is time-consuming and may no lo... 详细信息
来源: 评论
VLSI design challenges for gigascale integration
VLSI design challenges for gigascale integration
收藏 引用
international conference on VLSI Design
作者: S. Borkar VLSI Design Challenges for Gigascale Integration
VLSI system performance increased by five orders of magnitude in the last three decades, made possible by continued technology scaling, improving transistor performance to increase frequency, increasing integration ca... 详细信息
来源: 评论
Distributed simulation modeling for manufacturing systems design using XML
Distributed simulation modeling for manufacturing systems de...
收藏 引用
IEEE international conference on Systems Engineering
作者: R. Srinon S. Ramakrishnan Engineering Management and Systems Engineering University of Missouri Rolla Rolla MO USA
Discrete event simulations have been used to model manufacturing systems. Various decomposition methods such as distributed simulations have been employed for this modeling. In the context of distributed simulations, ... 详细信息
来源: 评论
Preventing deadlock with dynamic message scheduling
Preventing deadlock with dynamic message scheduling
收藏 引用
IEEE international conference on Systems Engineering
作者: E. Gomez Y. Karant K. Schubert Department of Computer Science California State University San Bernardino USA
Although deadlock is not completely avoidable in distributed and parallel programming, we here describe theory and practice of a system that allows us to limit deadlock to situations in which there are true circular d... 详细信息
来源: 评论
Ambivalent social networks and their consequences for participation
收藏 引用
international JOURNAL OF PUBLIC OPINION RESEARCH 2005年 第4期17卷 422-442页
作者: Nir, L Hebrew Univ Jerusalem Dept Commun IL-91905 Jerusalem Israel Hebrew Univ Jerusalem Dept Polit Sci IL-91905 Jerusalem Israel
Does perceived disagreement in political discussion help or hinder citizens' political participation? Some argue that disagreement prompts reflection, perspective-taking, and tolerance. Challengers argue that disa... 详细信息
来源: 评论
A new risk management approach deployed over a client/server distributed functional architecture
A new risk management approach deployed over a client/server...
收藏 引用
IEEE international conference on Systems Engineering
作者: V.M. Gulfas C. Abalde L.M. Castro C. Varela Dept. of Comput. Sci. A Coruna Univ. Spain LFCIA - MADS Group. Computer Science Department University of A Coruña Spain
this paper shows our experience in the development of a large, scalable and reliable client/server risk management information system. It was developed using the distributed functional language Erlang for describing t... 详细信息
来源: 评论
Behavioral synthesis of data-dominated circuits for minimal energy implementation
Behavioral synthesis of data-dominated circuits for minimal ...
收藏 引用
international conference on VLSI Design
作者: Xiaoyong Tang Tianyi Jiang A. Jones P. Banerjee Department of ECE Northwestern University Evanston IL USA Department of ECE University of Pittsburgh Pittsburgh PA USA
this paper presents a power estimation and optimization approach in the early stage of behavioral synthesis for unscheduled data-dominated circuits. A methodology for estimating the power consumption of every module i... 详细信息
来源: 评论
A framework for distributed and hierarchical design-for-test
A framework for distributed and hierarchical design-for-test
收藏 引用
international conference on VLSI Design
作者: C.P. Ravikumar R. Dandamudi V.R. Devanathan N. Haldar K. Kiran V. Kumar Bagmane Tech Park Texas Instruments (India) Private Limited Bangalore India
As we move into the system-on-chip era, test cost is becoming a significant portion of the total cost. Similarly, test synthesis, test pattern generation, pattern compression and pattern validation are consuming signi... 详细信息
来源: 评论
A fuzzy logic approach for aircraft evacuation modelling
A fuzzy logic approach for aircraft evacuation modelling
收藏 引用
IEEE international conference on Systems Engineering
作者: M. Poudel F.M. Camino M. de Coligny J.A. thiongly LARA ENAC Toulouse France Université Toulouse II Toulouse France MIRA Université Toulouse II Toulouse France
Aircraft evacuation effectiveness is a critical issue for passenger's safety with large aircraft. New aircraft must comply with maximum exit time limits. To validate the aircraft evacuation system design and proce... 详细信息
来源: 评论
Estimation of switching activity in sequential circuits using dynamic Bayesian networks
Estimation of switching activity in sequential circuits usin...
收藏 引用
international conference on VLSI Design
作者: S. Bhanja K. Lingasubramanian N. Ranganathan Department of Electrical Engineering University of South Florida Tampa FL USA Department of Computer Science and Engineering University of South Florida Tampa FL USA
We propose a novel, non-simulative, probabilistic model for switching activity in sequential circuits, capturing both spatio-temporal correlations at internal nodes and higher order temporal correlations due to feedba... 详细信息
来源: 评论