咨询与建议

限定检索结果

文献类型

  • 298 篇 会议
  • 27 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 245 篇 工学
    • 229 篇 计算机科学与技术...
    • 117 篇 软件工程
    • 19 篇 电气工程
    • 17 篇 控制科学与工程
    • 14 篇 信息与通信工程
    • 6 篇 机械工程
    • 5 篇 电子科学与技术(可...
    • 5 篇 生物工程
    • 4 篇 仪器科学与技术
    • 3 篇 材料科学与工程(可...
    • 3 篇 化学工程与技术
    • 3 篇 生物医学工程(可授...
    • 2 篇 建筑学
    • 2 篇 农业工程
    • 1 篇 光学工程
  • 53 篇 理学
    • 39 篇 数学
    • 8 篇 生物学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
    • 2 篇 物理学
  • 23 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 9 篇 图书情报与档案管...
    • 5 篇 工商管理
  • 6 篇 经济学
    • 3 篇 理论经济学
    • 3 篇 应用经济学
  • 3 篇 教育学
    • 2 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 3 篇 农学
    • 2 篇 作物学
  • 2 篇 法学
    • 2 篇 社会学
  • 1 篇 医学

主题

  • 70 篇 logic programmin...
  • 18 篇 inductive logic ...
  • 12 篇 programming
  • 10 篇 logic gates
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 6 篇 artificial intel...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...
  • 4 篇 model checking
  • 4 篇 java
  • 4 篇 computer languag...
  • 4 篇 integer programm...
  • 4 篇 hardware

机构

  • 5 篇 inria rennes ren...
  • 5 篇 university of po...
  • 3 篇 microsoft res re...
  • 3 篇 univ paris 13 li...
  • 3 篇 carnegie mellon ...
  • 3 篇 aalto university...
  • 3 篇 univ penn philad...
  • 2 篇 univ wales dept ...
  • 2 篇 stanford univ ct...
  • 2 篇 politecn torino ...
  • 2 篇 indian inst tech...
  • 2 篇 univ freiburg in...
  • 2 篇 univ wisconsin d...
  • 2 篇 czech tech univ ...
  • 2 篇 univ london impe...
  • 2 篇 department of in...
  • 2 篇 univ paris 13 li...
  • 2 篇 harvard univ cam...
  • 2 篇 columbia univ ct...
  • 2 篇 ibm unternehmens...

作者

  • 8 篇 gebser martin
  • 6 篇 srinivasan ashwi...
  • 6 篇 alphonse erick
  • 5 篇 schaub torsten
  • 5 篇 ricca francesco
  • 4 篇 osmani aomar
  • 4 篇 page david
  • 4 篇 camacho rui
  • 3 篇 yamamoto akihiro
  • 3 篇 king ross
  • 3 篇 rouveirol celine
  • 3 篇 moreno gines
  • 3 篇 leger hippolyte
  • 3 篇 janhunen tomi
  • 3 篇 maratea marco
  • 3 篇 bouthinon domini...
  • 3 篇 lebbah mustapha
  • 2 篇 muggleton stephe...
  • 2 篇 fronhöfer b
  • 2 篇 khatibsyarbini

语言

  • 317 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
329 条 记 录,以下是31-40 订阅
排序:
Verified Transformations and Hoare logic: Beautiful Proofs for Ugly Assembly Language  12th
Verified Transformations and Hoare Logic: Beautiful Proofs f...
收藏 引用
12th international conference on Verified Software (VSTTE) and the 13th international Workshop on Numerical Software Verification (NSV)
作者: Bosamiya, Jay Gibson, Sydney Li, Yao Parno, Bryan Hawblitzel, Chris Carnegie Mellon Univ Pittsburgh PA 15213 USA MIT Cambridge MA USA Univ Penn Philadelphia PA USA Microsoft Res Redmond WA USA
Hand-optimized assembly language code is often difficult to formally verify. this paper combines Hoare logic with verified code transformations to make it easier to verify such code. this approach greatly simplifies e... 详细信息
来源: 评论
Combining Zonotope Abstraction and Constraint programming for Synthesizing inductive Invariants  12th
Combining Zonotope Abstraction and Constraint Programming fo...
收藏 引用
12th international conference on Verified Software (VSTTE) and the 13th international Workshop on Numerical Software Verification (NSV)
作者: Kabi, Bibek Goubault, Eric Mine, Antoine Putot, Sylvie Inst Polytech Paris CNRS Ecole Polytech LIX Palaiseau France Sorbonne Univ CNRS Lab Informat Paris 6 Paris France
We propose to extend an existing framework combining abstract interpretation and continuous constraint programming for numerical invariant synthesis, by using more expressive underlying abstract domains, such as zonot... 详细信息
来源: 评论
ISSEP 2020 - Proceedings of the international conference on Informatics in School: Situation, Evaluation and Perspectives
ISSEP 2020 - Proceedings of the International Conference on ...
收藏 引用
13th international conference on Informatics in School: Situation, Evaluation and Perspectives, ISSEP 2020
the proceedings contain 18 papers. the topics discussed include: to project or not to project: in search of the pathway to object orientation;an exploratory study of students' mastery of iteration in the high scho...
来源: 评论
13th international conference on Graph Transformation, ICGT 2020 held as part of Software Technologies: Applications and Foundations, STAF 2020
13th International Conference on Graph Transformation, ICGT ...
收藏 引用
13th international conference on Graph Transformation, ICGT 2020 held as part of Software Technologies: Applications and Foundations, STAF 2020
the proceedings contain 20 papers. the special focus in this conference is on Graph Transformation. the topics include: Rewriting theory for the Life Sciences: A Unifying theory of CTMC Semantics;algebras for Tree Dec...
来源: 评论
Software for the computational experiment "synthesis of the topological structure of the cognitive model"  13
Software for the computational experiment "synthesis of the ...
收藏 引用
13th international Scientific and Technical conference on Applied Mechanics and Systems Dynamics, AMSD 2019
作者: Lozhnikov, V. Marenko, V. Omsk State University 11 Mira ave. Omsk644050 Russia Sobolev Institute of Mathematics Siberian Branch Russian Academy of Sciences Omsk Russia
there is a great number of applications used today to support decision-making in socio-economic sphere. Various approaches and tools are used to implement the applications. the article provides the overview of scienti... 详细信息
来源: 评论
13th international conference on Artificial General Intelligence, AGI 2020
13th International Conference on Artificial General Intellig...
收藏 引用
13th international conference on Artificial General Intelligence, AGI 2020
the proceedings contain 38 papers. the special focus in this conference is on Artificial General Intelligence. the topics include: the hierarchical memory based on compartmental spiking neuron model;the dynamics of gr...
来源: 评论
Automation of Heat Supply in Greenhouse with Usage of the Renewable Heat Sources on the Basis of Fuzzy logic Simulation Technics  13
Automation of Heat Supply in Greenhouse with Usage of the Re...
收藏 引用
13th IEEE international conference on Application of Information and Communication Technologies (AICT)
作者: Huseynov, S. T. Ganja State Univ GSU Fac Math & Informat Dept Informat Ganja City Azerbaijan
the article is devoted to the use of fuzzy logic for the automated control of heat supply of complex greenhouses with traditional and renewable energy sources. the paper also reviewed aspects for seminars in relevant ... 详细信息
来源: 评论
Incremental reasoning for fleet management  19
Incremental reasoning for fleet management
收藏 引用
13th ACM international conference on Distributed and Event-Based Systems, DEBS 2019
作者: Tsilionis, Efthimis Artikis, Alexander Paliouras, Georgios NCSR Demokritos Greece University of Piraeus Greece
We propose RTECinc, an incremental version of RTEC, a composite event recognition engine with formal, declarative semantics, that has been shown to scale to several real-world data streams. RTEC deals with delayed arr... 详细信息
来源: 评论
Incremental Event Calculus for Run-Time Reasoning  19
Incremental Event Calculus for Run-Time Reasoning
收藏 引用
13th ACM international conference on Distributed and Event-Based Systems (DEBS)
作者: Tsilionis, Efthimis Artikis, Alexander Paliouras, Georgios NCSR Demokritos Aghia Paraskevi Greece Univ Piraeus Piraeus Greece
We present a system for online, incremental composite event recognition. In streaming environments, the usual case is for data to arrive with a (variable) delay from, and to be retracted/revised by the underlying sour... 详细信息
来源: 评论
Testing of Local Control Cabinet In Gas Insulated Switchgear Using Design of Simulation Kit - Revista  13
Testing of Local Control Cabinet In Gas Insulated Switchgear...
收藏 引用
IEEE 13th international conference on Compatibility, Power Electronics and Power Engineering (IEEE IES CPE-POWERENG)
作者: Taur, Aishwarya Badave, Sunita M. Padmanaban, Sanjeevikumar Bhaskar, Mahajan Sagar Ramachandaramurthy, Vigna K. Holm-Nielsen, Jens Bo Marathwada Inst Technol Dept Elect & Elect Engn Aurangabad Maharashtra India Aalborg Univ Dept Energy Technol Esbjerg Denmark Prince Sultan Univ Coll Engn Dept Commun & Networks Renewable Energy Lab Riyadh Saudi Arabia Univ Tenaga Nas Power Qual Res Grp Dept Elect Power Engn Kajang Malaysia Aalborg Univ Dept Energy Technol Ctr Bioenergy & Green Engn Esbjerg Denmark
In order to keep generation and distribution of power at high priority, two switchgear playing a key role i) Air insulated Substation/Switchgear (AIS) ii) Gas Insulated Substation/Switchgear (GIS). Nowadays, the GIS i... 详细信息
来源: 评论