咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是861-870 订阅
排序:
Web-based heterogeneous WSN integration using pervasive communication
Web-based heterogeneous WSN integration using pervasive comm...
收藏 引用
IEEE international conference on Performance, Computing and Communications (IPCCC)
作者: Mihaela Cardei Anthony Marcus Ionut Cardei Timur Tavtilov Department of Computer and Electrical Engineering and Computer Science Florida Atlantic University Boca Raton FL USA
this paper presents a REST-compliant service oriented architecture of a web-based heterogeneous wireless sensor network monitoring system that has applicability in remote patient monitoring in healthcare. As smartphon... 详细信息
来源: 评论
Design and on-line evaluation of type-2 fuzzy logic system-based framework for handling uncertainties in BCI classification
Design and on-line evaluation of type-2 fuzzy logic system-b...
收藏 引用
Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBC)
作者: Pawel Herman Girijesh Prasad thomas M. McGinnity Intelligent Systems Research Centre University of Ulster Londonderr UK
the practical applicability of brain-computer interface (BCI) technology is limited due to its insufficient reliability and robustness. One of the major problems in this regard is the extensive variability and inconsi... 详细信息
来源: 评论
Characterization of biomolecules using an aptamer-based graphene nanosensor
Characterization of biomolecules using an aptamer-based grap...
收藏 引用
IEEE international conference on Micro Electro Mechanical Systems
作者: Xuejun Wang Zhuang Hao Wenjun Zhuang Qiao Lin Department of Mechanical Engineering Columbia University New York NY USA Deparment of Mechanical Engineering East China University of Science and Technology Shanghai China Department of Mechanical Engineering University of Saskatchewan Saskatoon Canada
We present binding properties of biomolecules and their dependence on ionic strength and temperature using a microfluidic aptameric graphene field-effect transistor (FET) nanosensor. Aptamer-immobilized graphene is us... 详细信息
来源: 评论
Efficient Modeling of Hierarchical Dialog Flows for Multi-ChannelWeb Applications
Efficient Modeling of Hierarchical Dialog Flows for Multi-Ch...
收藏 引用
IEEE Annual international Computer Software and Applications conference (COMPSAC)
作者: Matthias Book Volker Gruhn Deutsche Telekom Chair of Applied Telematics/e-Business University of Leipzig Leipzig Germany
In Web-based applications, most user interactions take the form of navigating between Web pages. the structure of the navigation model thus has a strong impact on a Web application's usability. However, specifying... 详细信息
来源: 评论
Si-MESFET technologies for low drop out regulators
Si-MESFET technologies for low drop out regulators
收藏 引用
international conference on Telecommunications Energy (INTELEC)
作者: Steve Wood William Lepkowski Seth Wilk Trevor thornton SJT Micropower Inc. Fountain Hills AZ USA
Power conditioning circuits based on high breakdown voltage silicon MESFETs are being developed as an alternative to existing approaches that use CMOS or bipolar transistors. Results are presented from simulations of ... 详细信息
来源: 评论
8th international conference on Advanced Information Systems Engineering, CAiSE 1996
8th International Conference on Advanced Information Systems...
收藏 引用
8th international conference on Advanced Information Systems Engineering, CAiSE 1996
the proceedings contain 30 papers. the special focus in this conference is on CASE Environments, Temporal, Active Database Technologies, Experience Reports and Interoperability in Information Systems. the topics inclu...
来源: 评论
Breaking the barriers to successful refactoring
Breaking the barriers to successful refactoring
收藏 引用
international conference on Software Engineering (ICSE)
作者: Emerson Murphy-Hill Andrew Black Portland State University Portland OR USA
Refactoring is the process of changing the structure of code without changing its behavior. Refactoring can be semi-automated with tools, which should make it easier for programmers to refactor quickly and correctly. ... 详细信息
来源: 评论
Backprojection-based imaging geometric parameter estimation
Backprojection-based imaging geometric parameter estimation
收藏 引用
Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBC)
作者: Gengsheng L. Zeng Jacob A. Piatt Utah Center for Advanced Imaging Research Department of Radiology University of Utah Salt Lake UT USA Department of Electrical and Computer Engineering University of Utah Salt Lake UT USA
In SPECT (single photon emission computed tomography) and X-ray CT, point sources are commonly used to acquire data for imaging parameter estimation. the parameters are estimated by fitting the point source projection... 详细信息
来源: 评论
the cost of location privacy in locator/identifier-split architectures
The cost of location privacy in locator/identifier-split arc...
收藏 引用
IEEE international conference on Performance, Computing and Communications (IPCCC)
作者: Oliver Hanka Institute of Communication Networks Technische Universität München Munich Germany
the locator/identifier separation paradigm is widely considered to be a feasible solution to the problematic issues of today's Internet architecture. this approach, however, introduces a novel problem by revealing... 详细信息
来源: 评论
Automatic RTL coding correction Linting tool for critical issues
Automatic RTL coding correction Linting tool for critical is...
收藏 引用
international conference on Microelectronics, ICM
作者: Nancy S. Soliman Khaled Salah Ahmed H. Madian NISC Research Center Nile University Cairo Egypt Mentor Graphics Cairo Egypt
this paper posits an automatic handling to some of the most common RTL critical issues in the verification process. In this paper, we propose an automatic linting tool to handle some causes of intentional latches gene... 详细信息
来源: 评论