咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1011-1020 订阅
排序:
Flash correct-and-refresh: Retention-aware error management for increased flash memory lifetime
Flash correct-and-refresh: Retention-aware error management ...
收藏 引用
IEEE international conference on Computer Design: VLSI in Computers and Processors, (ICCD)
作者: Yu Cai Gulay Yalcin Onur Mutlu Erich F. Haratsch Adrian Cristal Osman S. Unsal Ken Mai DSSC Department of Electrical and Computer Engineering Carnegie Mellon University Pittsburgh PA USA Barcelona Supercomputing Center Barcelona Spain LSI Corporation Allentown PA USA
With the continued scaling of NAND flash and multi-level cell technology, flash-based storage has gained widespread use in systems ranging from mobile platforms to enterprise servers. However, the robustness of NAND f... 详细信息
来源: 评论
Extended Abstract of Candidate Test Set Reduction for Adaptive Random Testing: An Overheads Reduction Technique
Extended Abstract of Candidate Test Set Reduction for Adapti...
收藏 引用
IEEE international conference on Software Analysis, Evolution and Reengineering (SANER)
作者: Rubing Huang Haibo Chen Weifeng Sun Dave Towey Faculty of Information Technology Macau University of Science and Technology Taipa Macau China School of Computer Science and Communication Engineering Jiangsu University Zhenjiang Jiangsu China School of Big Data and Software Engineering Chongqing University Chongqing China School of Computer Science University of Nottingham Ningbo China Ningbo Zhejiang China
this document 1 is an extended abstract of a Science of Computer programming paper, "Candidate Test Set Reduction for Adaptive Random Testing: An Overheads Reduction Technique," presented as a J1C2 (Journa... 详细信息
来源: 评论
Scaling of advanced floating body Z-RAM storage cells: A modeling approach
Scaling of advanced floating body Z-RAM storage cells: A mod...
收藏 引用
IFIP international conference on Very Large Scale Integration (VLSI-SoC)
作者: Viktor Sverdlov Siegfried Selberherr Institute for Microelectronics TU Wien Wien Austria
A modeling approach to study advanced floating body Z-RAM memory cells is developed. In particular, the scalability of the cells is investigated. First, a Z-RAM cell based on a 50nm gate length double-gate structure c... 详细信息
来源: 评论
Implementation of Pid Type Fuzzy logic Controller With Digital Signal Controller
Implementation of Pid Type Fuzzy Logic Controller With Digit...
收藏 引用
international conference on Control, Engineering & Information Technology (CEIT)
作者: ÖmerülFaruk ÖZGÜVEN Mehmet Serhat CAN Serdar Ethem HAMAMCI Dept. of Biomedical Engineering Inonu University Malatya Turkey Dept. of Electrical-Electronic Engineering Tokat Gaziosmanpasa University Tokat Turkey Dept. of Electrical-Electronic Engineering Inonu University Malatya Turkey
In this study, the real-time application of the Fuzzy logic-Proportional-Integral-Derivative (Fuzzy-PID) controller is performed. Product-Max operator is used in the design of Fuzzy logic Controller (FLC). this FLC ha... 详细信息
来源: 评论
Ground control station avionics software development in ANKA UAV
Ground control station avionics software development in ANKA...
收藏 引用
conference on Digital Avionics Systems (DASC)
作者: Banş Kayayurt Ihsan Yayla Ahmet Yapici Celal Küçükoğuz Turkish Aerospace Industries Ankara Turkey
ANKA Program, of which main contractor is Turkish Aerospace Industries Inc., aims at designing and producing a MALE (Medium Altitude Low Endurance) type UAV that has the capacity of 200 km maximum line of sight and 30... 详细信息
来源: 评论
Comparison of block-based and hybrid-based environments in transferring programming skills to text-based environments  19
Comparison of block-based and hybrid-based environments in t...
收藏 引用
Proceedings of the 29th Annual international conference on Computer Science and Software Engineering
作者: Hussein Alrubaye Stephanie Ludi Mohamed Wiem Mkaouer Rochester Institute of Technology University of North Texas
Teachers face several challenges when presenting fundamental concepts of programming in the classroom. Several tools are introduced to give a visual dimension to support the learning process. they rely on code blocks,... 详细信息
来源: 评论
Comparative Review of Approximate Multipliers
Comparative Review of Approximate Multipliers
收藏 引用
international conference on Radioelektronika
作者: Sushree Sila P. Goswami Bikram Paul Sunil Dutt Gaurav Trivedi Indian Institute of Technology Guwahati India
In the digital signal processing (DSP) system, multiplier is a significant arithmetic module. It contributes mainly in the power consumption and speed, and efficient multipliers are the need of the hour. Approximate c... 详细信息
来源: 评论
A LabVIEW program for the stimulation of a vergence open-loop response
A LabVIEW program for the stimulation of a vergence open-loo...
收藏 引用
Annual Northeast Bioengineering conference
作者: A.P. Daftari T.L. Alvarez F.B. Chua J.L. Semmlow C. Pedrono Department of Biomedical Engineering New Jersey Institute of Technology Newark NJ Department of Biomedical Engineering New Jersey Institute of Technology Newark NJ USA Depart of Biomedical Engineering Rutgers University New Brunswick NJ Fssilor International S. A. Saint Maur Saint Maur des Fossés France
the vergence oculomotor system is used in viewing objects moving in depth, such as when a baseball player tracks a ball moving towards him. Based on the dual mode theory it is composed of two components; a fast prepro... 详细信息
来源: 评论
Fuzzy logic based risk assessment system giving individualized advice for metabolic syndrome and fatal cardiovascular diseases (vol 27, pg S59, 2019)
收藏 引用
TECHNOLOGY AND HEALth CARE 2019年 第6期27卷 681-681页
作者: Korkmaz, Hayriye Canayaz, Emre Akar, Sibel Birtane Altikardes, Zehra Aysun Marmara Univ Fac Technol Dept Elect & Elect Engn Istanbul Turkey Marmara Univ Inst Pure & Appl Sci Dept Elect & Elect Engn Istanbul Turkey Istanbul Arel Univ Vocat Sch Dept Comp Programming Istanbul Turkey Marmara Univ Vocat Sch Tech Sci Dept Comp Technol Istanbul Turkey
In 2005, global cardiovascular diseases caused 30% of deaths in Europe, which is 46% of total deaths for all death groups. Today, according to the international Adult Diabetes Federation, 20% to 25% of the adult popul... 详细信息
来源: 评论
Object-Oriented Modeling with Ontologies Around: A Survey of Existing Approaches
收藏 引用
international JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 2018年 第11-12期28卷 1775-1794页
作者: Baset, Selena Stoffel, Kilian Univ Neuchatel Informat Management Inst AL Breguet 2 CH-2000 Neuchatel Switzerland
Despite the many integration tools proposed for mapping between OWL ontologies and the object-oriented paradigm, developers are still reluctant to incorporate ontologies into their code repositories. In this paper we ... 详细信息
来源: 评论