咨询与建议

限定检索结果

文献类型

  • 332 篇 会议
  • 23 篇 期刊文献
  • 10 册 图书

馆藏范围

  • 365 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 286 篇 工学
    • 273 篇 计算机科学与技术...
    • 187 篇 软件工程
    • 19 篇 控制科学与工程
    • 16 篇 电气工程
    • 15 篇 信息与通信工程
    • 7 篇 生物医学工程(可授...
    • 4 篇 电子科学与技术(可...
    • 3 篇 动力工程及工程热...
    • 3 篇 建筑学
    • 3 篇 化学工程与技术
    • 2 篇 光学工程
    • 2 篇 仪器科学与技术
    • 2 篇 土木工程
    • 2 篇 农业工程
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
  • 90 篇 理学
    • 74 篇 数学
    • 8 篇 系统科学
    • 5 篇 物理学
    • 4 篇 生物学
    • 4 篇 统计学(可授理学、...
    • 2 篇 化学
  • 36 篇 管理学
    • 27 篇 图书情报与档案管...
    • 9 篇 管理科学与工程(可...
    • 6 篇 工商管理
  • 7 篇 医学
    • 7 篇 临床医学
    • 6 篇 基础医学(可授医学...
    • 5 篇 药学(可授医学、理...
  • 3 篇 教育学
    • 3 篇 教育学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
  • 1 篇 法学
  • 1 篇 文学

主题

  • 87 篇 logic programmin...
  • 29 篇 knowledge repres...
  • 18 篇 semantics
  • 13 篇 programming
  • 12 篇 computer circuit...
  • 10 篇 computer program...
  • 9 篇 object oriented ...
  • 9 篇 artificial intel...
  • 9 篇 ontology
  • 8 篇 logic gates
  • 8 篇 mathematical log...
  • 8 篇 functional progr...
  • 6 篇 programming tech...
  • 6 篇 logics and meani...
  • 6 篇 temporal logic
  • 6 篇 logic design
  • 5 篇 answer set progr...
  • 4 篇 computer archite...
  • 4 篇 logic
  • 4 篇 inductive logic ...

机构

  • 2 篇 genusion inc. am...
  • 2 篇 computer science...
  • 2 篇 univ adelaide sc...
  • 2 篇 faculty of infor...
  • 2 篇 department of co...
  • 2 篇 dipartimento di ...
  • 2 篇 univ minho ctr a...
  • 2 篇 dlvsyst srl arca...
  • 2 篇 listic universit...
  • 2 篇 school of comput...
  • 2 篇 vienna univ tech...
  • 2 篇 school of softwa...
  • 2 篇 open university ...
  • 2 篇 centro algoritmi...
  • 2 篇 facultad de mate...
  • 2 篇 univ calabria de...
  • 2 篇 etsii universida...
  • 2 篇 university of wi...
  • 2 篇 sri internationa...
  • 2 篇 univ london impe...

作者

  • 5 篇 vicente henrique
  • 3 篇 dastani mehdi
  • 3 篇 pereira luís mon...
  • 3 篇 brain martin
  • 3 篇 neves josé
  • 3 篇 heymans stijn
  • 3 篇 tompits hans
  • 3 篇 de vos marina
  • 2 篇 meseguer josé
  • 2 篇 hommersom arjen
  • 2 篇 durán f.
  • 2 篇 porto antónio
  • 2 篇 n. ajika
  • 2 篇 leone nicola
  • 2 篇 dell’acqua piera...
  • 2 篇 de mel geeth
  • 2 篇 madalina croitor...
  • 2 篇 kelly peter m.
  • 2 篇 dovier agostino
  • 2 篇 hindriks koen v.

语言

  • 354 篇 英文
  • 11 篇 其他
  • 1 篇 中文
检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"
365 条 记 录,以下是361-370 订阅
排序:
An ontology-based graphical tool for intelligent instruments
An ontology-based graphical tool for intelligent instruments
收藏 引用
IEEE international Conference on Computational Intelligence for Measurement Systems and Applications (CIMSA)
作者: R. Dapoigny P. Barlatier E. Benoit L. Foulloy LISTIC Université de Savoie Annecy-le-vieux France CNAM LYON Lyon France
This paper proposes a structured graphical method which relates both functional and behavioral requirements and software specifications to a detailed software design and implementation of intelligent instruments. The ... 详细信息
来源: 评论
A robust handshake for asynchronous system
A robust handshake for asynchronous system
收藏 引用
IEEE international workshop on System-on-Chip for Real-Time Applications
作者: Kuo-hsing Cheng Wei-Chun Chang Chia-Ming Tu Department of Electrical Engineering Tamkang University Tamsui Taiwan
In this paper, a new handshake methodology to enhance the performance of the asynchronous systems is proposed. The proposed handshake methodology has more flexibility to design an asymmetric asynchronous system. The p... 详细信息
来源: 评论
Nonvolatile Configuration Memory Cell for Low Power Field Programmable Gate Array
Nonvolatile Configuration Memory Cell for Low Power Field Pr...
收藏 引用
IEEE international Memory workshop (IMW)
作者: Shinichi Yasuda Kazutaka Ikegami Tetsufumi Tanamoto Atsuhiro Kinoshita Keiko Abe Shinobu Fujita Advanced LSI Technology Laboratory Toshiba Corporation Japan
A new FPGA design using nonvolatile configuration memory (NCM) has been presented. NCM with large On/Off resistance ratio, such as nanoionic memory, is adopted to replace SRAM-based configuration memory. Since NCM is ... 详细信息
来源: 评论
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
arXiv
收藏 引用
arXiv 2020年
作者: Costabile, Roberta Catalano, Gelsomina Cuteri, Bernardo Morelli, Maria Concetta Leone, Nicola Manna, Marco Department of Mathematics and Computer Science University of Calabria Italy DLVSystem Srl Rende Italy
Decision support systems play an important role in medical fields as they can augment clinicians to deal more efficiently and effectively with complex decision-making processes. In the diagnosis of headache disorders,... 详细信息
来源: 评论
Highly Optimized Nanocrystal-Based Split Gate Flash for High Performance and Low Power Microcontroller Applications
Highly Optimized Nanocrystal-Based Split Gate Flash for High...
收藏 引用
IEEE international Memory workshop (IMW)
作者: Jane Yater C. Hong S.-T. Kang D. Kolar B. Min J. Shen G. Chindalore K. Loiko B. Winstead S. Williams H. Gasquet M. Suhail K. Broeker E. Lepore A. Hardell W. Malloch R. Syzdek Y. Chen Y. Ju S. Kumarasamy H. Liu L. Lei B. Indajang Microcontroller Solutions Group Freescale Semiconductor Inc. Austin TX USA Technology Development Global Foundries Singapore Private Limited Singapore
We show a 90nm nanocrystal-based split gate embedded flash memory that is able to meet the speed, endurance and reliability requirements for 32-bit microcontroller products. A 3.4V operating window is achievable and t... 详细信息
来源: 评论