咨询与建议

限定检索结果

文献类型

  • 2,042 篇 会议
  • 51 册 图书
  • 45 篇 期刊文献

馆藏范围

  • 2,138 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,271 篇 工学
    • 1,024 篇 计算机科学与技术...
    • 582 篇 软件工程
    • 251 篇 电气工程
    • 157 篇 控制科学与工程
    • 68 篇 信息与通信工程
    • 50 篇 机械工程
    • 42 篇 材料科学与工程(可...
    • 36 篇 电子科学与技术(可...
    • 18 篇 安全科学与工程
    • 15 篇 交通运输工程
    • 12 篇 仪器科学与技术
    • 12 篇 土木工程
    • 12 篇 化学工程与技术
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 冶金工程
    • 10 篇 动力工程及工程热...
    • 10 篇 建筑学
  • 294 篇 理学
    • 226 篇 数学
    • 39 篇 统计学(可授理学、...
    • 38 篇 物理学
    • 34 篇 系统科学
    • 22 篇 生物学
    • 16 篇 化学
  • 119 篇 管理学
    • 84 篇 管理科学与工程(可...
    • 37 篇 工商管理
    • 32 篇 图书情报与档案管...
  • 47 篇 教育学
    • 46 篇 教育学
  • 25 篇 医学
    • 24 篇 临床医学
  • 10 篇 法学
    • 10 篇 社会学
  • 9 篇 经济学
  • 5 篇 农学
  • 4 篇 文学

主题

  • 172 篇 logic gates
  • 137 篇 fuzzy logic
  • 123 篇 programming
  • 118 篇 linear programmi...
  • 94 篇 logic programmin...
  • 64 篇 probabilistic lo...
  • 59 篇 dynamic programm...
  • 57 篇 optimization
  • 50 篇 semantics
  • 49 篇 computer science
  • 49 篇 training
  • 46 篇 logic
  • 44 篇 object oriented ...
  • 42 篇 computer archite...
  • 40 篇 computational mo...
  • 38 篇 hardware
  • 38 篇 artificial intel...
  • 37 篇 java
  • 35 篇 computer program...
  • 34 篇 integer programm...

机构

  • 6 篇 laboratory of co...
  • 5 篇 stevens inst tec...
  • 5 篇 institute of log...
  • 5 篇 university of to...
  • 5 篇 institute for lo...
  • 5 篇 chinese univ hon...
  • 4 篇 univ oxford oxfo...
  • 4 篇 school of electr...
  • 4 篇 ibm corp thomas ...
  • 3 篇 north carolina s...
  • 3 篇 creighton univ o...
  • 3 篇 univ politecn ca...
  • 3 篇 ecole polytech f...
  • 3 篇 tu wien austria
  • 3 篇 department of el...
  • 3 篇 rhein westfal th...
  • 3 篇 school of comput...
  • 3 篇 univ tokyo
  • 3 篇 school of mathem...
  • 3 篇 lancaster univer...

作者

  • 7 篇 inoue katsumi
  • 5 篇 sakama chiaki
  • 5 篇 gupta gopal
  • 4 篇 wang liang
  • 4 篇 iosif radu
  • 4 篇 pontelli enrico
  • 4 篇 liang wang
  • 4 篇 tompits hans
  • 4 篇 beck j. christop...
  • 3 篇 kumar amruth n.
  • 3 篇 chopra amit k.
  • 3 篇 proietti maurizi...
  • 3 篇 il han park
  • 3 篇 m.-r. akbarzadeh...
  • 3 篇 wei li
  • 3 篇 riguzzi fabrizio
  • 3 篇 schaub torsten
  • 3 篇 melin p
  • 3 篇 leonidas deligia...
  • 3 篇 mcdirmid sean

语言

  • 2,099 篇 英文
  • 25 篇 其他
  • 15 篇 中文
  • 2 篇 葡萄牙文
  • 1 篇 西班牙文
  • 1 篇 法文
检索条件"任意字段=22nd International Conference on Logic Programming"
2138 条 记 录,以下是1991-2000 订阅
排序:
Functionalization of polylactide (PLA) surface using heterobifunctional PEG/PLA block copolymers for the control of cell behavior at surfaces
Functionalization of polylactide (PLA) surface using heterob...
收藏 引用
Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBC)
作者: H. Otsuka Y. Nagasaki T. Okamo K. Kataoka Department of Materials Science Graduate School of Engineering University of Tokyo Tokyo Japan Department of Materials Science and Technology Science University of Tokyo Noda Chiba Japan
This paper deals with novel approaches established by our group for the construction of a functionalized poly(ethylene glycol) (PEG) layer, PEG-brushed layer possessing a reactive group at the free end of tethered PEG... 详细信息
来源: 评论
General method in synthesis of pass-transistor circuits
General method in synthesis of pass-transistor circuits
收藏 引用
22nd international conference on Microelectronics (MIEL 2000)
作者: Markovic, Dejan Nikolic, Borivoje Oklobdzija, Vojin G. Univ of California Berkeley CA United States
A new pass-transistor circuit synthesis method is presented in this paper. Several pass-transistor logic families were introduced recently, but no systematic synthesis method is available that takes into account impac... 详细信息
来源: 评论
Inverse circuit simulation method for topological delays estimation with logic simulator
Inverse circuit simulation method for topological delays est...
收藏 引用
22nd international conference on Microelectronics (MIEL 2000)
作者: Maksimovic, Dejan M. Litovski, Vanco B. Univ of Nis Nis Yugoslavia
In this paper an original method is proposed for digital circuit topological delays estimation which is based on standard logic simulation mechanisms. The inverse circuit simulation (ICS) method is intended for intera... 详细信息
来源: 评论
ATTICS: A software platform for online text classification  22
ATTICS: A software platform for online text classification
收藏 引用
22nd international conference on Research and Development in Information Retrieval
作者: Lewis, DD Stern, DL Singhal, A AT&T Bell Labs Florham Park NJ 07932 USA
Numerous systems for ranked retrieval on text databases have been implemented by both information retrieval researchers and in the commercial sector. In contrast, software for text categorization, message filtering, t... 详细信息
来源: 评论
Searching program source code with a structured text retrieval system  99
Searching program source code with a structured text retriev...
收藏 引用
22nd Annual international ACM SIGIR conference on Research and Development in Information Retrieval, SIGIR 1999
作者: Clarke, Charles Cox, Anthony Sim, Susan Electrical and Computer Engineering University of Toronto M5S 3G4 Canada Computer Science University of Waterloo N2L 3G1 Canada Computer Science University of Toronto M5S 3G4 Canada
Software repositories are often based on object-oriented or relational databases, usually with extensions to accommodate the special requirements of software. Here, we discuss a software repository based on a structur... 详细信息
来源: 评论
Aspect- Oriented logic meta programming  2nd
Aspect- Oriented logic meta programming
收藏 引用
2nd international conference on Meta-Level Architectures and Reflection, Reflection 1999
作者: De Volder, Kris D’Hondt, Theo Programming Technology Lab Vrije Universiteit Brussel Brussel Belgium
We propose to use a logic meta-system as a general frame-work for aspect-oriented programming. We illustrate our approach with the implementation of a simplified version of the cool aspect language for expressing sync... 详细信息
来源: 评论
Interfacing to legacy and object-oriented environments  22
Interfacing to legacy and object-oriented environments
收藏 引用
22nd Annual international Computer Software and Applications conference
作者: Healton, B Elegant Technology Solutions Inc
This history of programming paradigm evolution is presented showing what practices evolved from the assembler languages to the current object-oriented environments. The continuing evolution and enhancement of applicat... 详细信息
来源: 评论
A fresh look at programming-in-the-large  22
A fresh look at programming-in-the-large
收藏 引用
22nd Annual international Computer Software and Applications conference
作者: Cazzola, W Savigni, A Sosio, A Tisato, F Univ Milan Dipartimento Sci Informaz Milan Italy
Realizing a shift of software engineering towards a component-based approach to software development requires the development of higher level programming systems supporting the development of systems from components. ... 详细信息
来源: 评论
CORBA in advanced intelligent networks and Service Creation Environments  22
CORBA in advanced intelligent networks and Service Creation ...
收藏 引用
22nd Annual international Computer Software and Applications conference
作者: McKee, M Bowling Green State University USA
The purpose of this paper is to establish a set of conceptual models and paradigms that apply to the newest technology employed in ESS class switches. The author will examine how Common Object Reference Brokerage Arch... 详细信息
来源: 评论
Object-oriented software specification in programming language design and implementation  22
Object-oriented software specification in programming langua...
收藏 引用
22nd Annual international Computer Software and Applications conference
作者: Bryant, BR Vaidyanathan, V Univ Alabama Dept Comp & Informat Sci Birmingham AL 35294 USA
An object-oriented formal specification workbench is proposed for defining the syntax and semantics of programming languages, using which the formal properties of different languages can be elaborated and analyzed. Ou... 详细信息
来源: 评论