咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是2491-2500 订阅
排序:
A fuzzy logic approach for aircraft evacuation modelling
A fuzzy logic approach for aircraft evacuation modelling
收藏 引用
18th international conference on Systems Engineering (ICSEng 2005)
作者: Poudel, M Camino, FM de Coligny, M thiongly, JA ENAC LARA F-31055 Toulouse France
No abstract available
来源: 评论
Charge-recovery power clock generators for adiabatic logic circuits
Charge-recovery power clock generators for adiabatic logic c...
收藏 引用
18th international conference on VLSI Design/4th international conference on Embedded Systems Design
作者: Arsalan, M Shams, M Carleton Univ Dept Elect Ottawa ON K1S 5B6 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... 详细信息
来源: 评论
A pragmatic approach to pre-testing prolog programs
收藏 引用
15th international conference on Applications of Declarative programming and Knowledge Management (INAP 2004)/18th Workshop on logic programming (WLP 2004)
作者: Beierle, C Kula, M Widera, M Fern Univ Hagen Fachbereich Informat D-58084 Hagen Germany
We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of small homework assignments with precisely descr... 详细信息
来源: 评论
Optimization of mixed logic circuits with application to a 64-bit static adder
Optimization of mixed logic circuits with application to a 6...
收藏 引用
18th international conference on VLSI Design/4th international conference on Embedded Systems Design
作者: Wan, YZ Shams, M Carleton Univ Ottawa ON K1S 5B6 Canada
In this paper a CMOS logic delay optimization algorithm was used to find the optimal number of pass transistors to use for buffer insertion into a CPL chain. the result was then used as a guide during the design of a ... 详细信息
来源: 评论
A combinational logic mapper for Actel's SX/AX family
A combinational logic mapper for Actel's SX/AX family
收藏 引用
18th international conference on VLSI Design/4th international conference on Embedded Systems Design
作者: Chattopadhyay, S Dewangan, MK Indian Inst Technol Dept Comp Sci & Engn Gauhati 781039 India
this paper presents a technology mapper for combinational circuits targeting Actel's SX-A/AX logic module. To the best of our knowledge, this is the first such effort reported in the literature. It exploits the mo... 详细信息
来源: 评论
SCINDY: logic crosstalk delay fault simulation in sequential circuits
SCINDY: Logic crosstalk delay fault simulation in sequential...
收藏 引用
18th international conference on VLSI Design/4th international conference on Embedded Systems Design
作者: Phadoongsidhi, M Saluja, KK King Mongkuts Inst Technol Dept Elect Engn N Bangkok Thailand
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... 详细信息
来源: 评论
Power optimization in current mode circuits
Power optimization in current mode circuits
收藏 引用
18th international conference on VLSI Design/4th international conference on Embedded Systems Design
作者: Bhat, MS Jamadagni, HS Indian Inst Sci Ctr Elect Design & Technol Bangalore 560012 Karnataka India
We propose a method to minimize power dissipation in current-mode CMOS analog and multiple-valued logic (MVL) circuits employing a stack of current comparators. First, we present an approximation model for current in ... 详细信息
来源: 评论
Detecting SEU-caused routing errors in SRAM-based FPGAs
Detecting SEU-caused routing errors in SRAM-based FPGAs
收藏 引用
18th international conference on VLSI Design/4th international conference on Embedded Systems Design
作者: Reddy, ESS Chandrasekhar, V Sashikanth, M Kamakoti, V Vijaykrishnan, N Indian Inst Technol Dept Comp Sci & Engn Madras 600036 Tamil Nadu India
this paper proposes a new CLB architecture for FPGAs and an associated testing technique that detects routing errors caused by SEUs in the SRAM configuration memory of the FPGA. the proposed testing technique detects ... 详细信息
来源: 评论
Towards ubiquitous maintenance - Defining invocation of plant maintenance agents in real workspace by spatial programming
收藏 引用
15th international conference on Applications of Declarative programming and Knowledge Management (INAP 2004)/18th Workshop on logic programming (WLP 2004)
作者: Takahashi, H Yoshie, O Waseda Univ Adv Res Inst Sci & Engn Kitakyushu Fukuoka Japan Waseda Univ Grad Sch Informat Prod & Syst Kitakyushu Fukuoka Japan
Recent progress of VR (Virtual Reality) technologies makes it possible to realize the VR space that is synchronized with the real space. We can hereby build virtual workspace through which a worker in real workspace c... 详细信息
来源: 评论
Fuzzy Approach for Forecasting Navigation in Simulating Agent Based Behavior  18
Fuzzy Approach for Forecasting Navigation in Simulating Agen...
收藏 引用
18th international conference on Parallel and Distributed Computing Systems, PDCS 2005
作者: Sharma, Sharad Awasthi, Anuj Electrical and Computer Engineering Wayne State University DetroitMI48202 United States
this paper presents a new fuzzy logic based approach for forecasting the possible path, an agent would follow for reaching a target using sub-goal method. Each agent plans collision-free motion and undertake paths for... 详细信息
来源: 评论