咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是141-150 订阅
排序:
Formal Verification of Power Management logic with Mixed-Signal Domains  30
Formal Verification of Power Management Logic with Mixed-Sig...
收藏 引用
30th international conference on VLSI Design / 16th international conference on Embedded Systems (VLSID)
作者: Mandal, Sudipa Da Costa, Antonio Bruto Hazra, Aritra Dasgupta, Pallab Naware, Bhushan Chunduri, Rama Mohan Basu, Sanjib Indian Inst Technol Kharagpur Dept Comp Sci & Engn Kharagpur W Bengal India Indian Inst Technol Madras Tamil Nadu India Intel Technol India Pvt Ltd Bangalore Karnataka India
System on Chip (SoC) designs today have a large number of power domains regulated by complex on-chip power management logic. the power management logic is primarily digital in nature, but it relies on analog component... 详细信息
来源: 评论
Online Learning of logic Based Neural Network Structures  1
收藏 引用
30th international conference on Inductive logic programming (ILP) held as part of the 1st international Joint conference on Learning and Reasoning (IJCLR)
作者: Guimaraes, Victor Costa, Vitor Santos Univ Porto CRACS Porto Portugal Univ Porto DCC FCUP Porto Portugal
In this paper, we present two online structure learning algorithms for NeuralLog, NeuralLog+OSLR and NeuralLog+OMIL. NeuralLog is a system that compiles first-order logic programs into neural networks. Both learning a... 详细信息
来源: 评论
Ultra-compact and Fast All-optical Photonic Crystal Half-subtractor logic Gate  30
Ultra-compact and Fast All-optical Photonic Crystal Half-sub...
收藏 引用
30th international conference on Electrical Engineering, ICEE 2022
作者: Veisi, Ehsan Seifouri, Mahmood Olyaee, Saeed Shahid Rajaee Teacher Training University Faculty of Electrical Engineering Tehran Iran Tehran Iran
Despite developments in all-optical devices, there is a tremendous demand for various innovative all-optical structures containing dual capabilities to attain all-optical processors. this paper proposes an ultra-compa... 详细信息
来源: 评论
LPMLNModels: A Parallel Solver for LPMLN  30
LPMLNModels: A Parallel Solver for LP<SUP>MLN</SUP>
收藏 引用
30th IEEE international conference on Tools with Artificial Intelligence (ICTAI)
作者: Wu, Wei Xu, Hongxiang Zhang, Shutao Duan, Jiaqi Wang, Bin Zhang, Zhizheng He, Chenglong Zong, Shiqiang Southeast Univ Sch Comp Sci & Engn Nanjing Jiangsu Peoples R China China Elect Technol Grp Corp Res Inst 28 Sci & Technol Informat Syst Engn Lab Nanjing Jiangsu Peoples R China
LPMLN extends the language of Answer Set programming (ASP) by assigning a weight degree to each rule so that its stable models do not have to satisfy all LPMLN rules, which is rooted in the manner of Markov logic Netw... 详细信息
来源: 评论
Question recommender with ML Business logic
Question recommender with ML Business Logic
收藏 引用
30th international conference on Information Technology Interfaces
作者: Burdescu, Dumitru Dan Mihaescu, Marian Cristian Logofatu, Bogdan Univ Craiova Fac Automat Comp & Elect Software Engn Dept Bvd Decebal 107 Craiova 200440 Dolj Romania Univ Bucharest Sect 5 CREDIS Dept Bucharest Romania
Advising the learner regarding the resources he needs to access in order to obtain best learning proficiency is one of the main issues in Learning Management Systems. this paper presents an original method of recomend... 详细信息
来源: 评论
A Stochastic Reconfigurable Architecture for Fault-Tolerant Computation with Sequential logic
A Stochastic Reconfigurable Architecture for Fault-Tolerant ...
收藏 引用
30th IEEE international conference on Computer Design (ICCD)
作者: Li, Peng Qian, Weikang Lilja, David J. Univ Minnesota Dept Elect & Comp Engn Minneapolis MN 55414 USA
Computation performed on stochastic bit streams is less efficient than that based on a binary radix because of its long latency. However, for certain complex arithmetic operations, computation on stochastic bit stream... 详细信息
来源: 评论
Review of Open-source Microcontroller and Programmable logic Development Boards  30
Review of Open-source Microcontroller and Programmable Logic...
收藏 引用
30th international Scientific conference Electronics, ET 2021
作者: Rankovska, Valentina V. Technical University of Gabrovo Faculty of Electrical and Electronic Engineering Department of Electronics Gabrovo5300 Bulgaria
the paper provides a brief review of open source development hardware, based on microcontrollers and programmable logic integrated circuits with Field-Programmable Gate Arrays (FPGA) architecture. their main features ... 详细信息
来源: 评论
Terminating Non-disjoint Combined Unification  30th
Terminating Non-disjoint Combined Unification
收藏 引用
30th international conference on logic-Based Program Synthesis and Transformation (LOPSTR)
作者: Erbatur, Serdar Marshall, Andrew M. Ringeissen, Christophe Univ Texas Dallas Richardson TX 75083 USA Univ Mary Washington Fredericksburg VA USA Univ Lorraine LORIA INRIA CNRS F-54000 Nancy France
the equational unification problem, where the underlying equational theory may be given as the union of component equational theories, appears often in practice in many fields such as automated reasoning, logic progra... 详细信息
来源: 评论
claspfolio 2: Advances in Algorithm Selection for Answer Set programming
收藏 引用
thEORY AND PRACTICE OF logic programming 2014年 第4-5期14卷 569-585页
作者: Hoos, Holger Lindauer, Marius Schaub, Torsten Univ British Columbia Vancouver BC V5Z 1M9 Canada Univ Freiburg Freiburg Germany Univ Potsdam Potsdam Germany
Building on the award-winning, portfolio-based ASP solver claspfolio, we present claspfolio 2, a modular and open solver architecture that integrates several different portfolio-based algorithm selection approaches an...
来源: 评论
Investigating Bloom's Cognitive Skills in Foundation and Advanced programming Courses from Students' Discussions  30
Investigating Bloom's Cognitive Skills in Foundation and Adv...
收藏 引用
30th international conference on Computers in Education (ICCE)
作者: Lim, Joel J. W. Gottipati, Swapna Shim, Kyong Jin Singapore Management Univ Sch Comp & Informat Syst Singapore Singapore
programming courses provide students with the skills to develop complex business applications. Teaching and learning programming is challenging, and collaborative learning is proposed to help with this challenge. Onli... 详细信息
来源: 评论