咨询与建议

限定检索结果

文献类型

  • 358 篇 会议
  • 20 册 图书
  • 7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 257 篇 工学
    • 238 篇 计算机科学与技术...
    • 134 篇 软件工程
    • 24 篇 控制科学与工程
    • 15 篇 电气工程
    • 11 篇 信息与通信工程
    • 3 篇 仪器科学与技术
    • 3 篇 电子科学与技术(可...
    • 3 篇 石油与天然气工程
    • 3 篇 农业工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 土木工程
    • 2 篇 生物医学工程(可授...
  • 53 篇 理学
    • 49 篇 数学
    • 4 篇 生物学
    • 4 篇 系统科学
    • 2 篇 物理学
    • 2 篇 化学
    • 2 篇 统计学(可授理学、...
  • 22 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 10 篇 图书情报与档案管...
    • 6 篇 工商管理
  • 6 篇 医学
    • 5 篇 基础医学(可授医学...
    • 4 篇 临床医学
    • 2 篇 公共卫生与预防医...
  • 4 篇 教育学
    • 4 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 4 篇 农学
    • 4 篇 作物学
  • 2 篇 文学
    • 1 篇 中国语言文学
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 75 篇 logic programmin...
  • 19 篇 fuzzy logic
  • 18 篇 programming
  • 18 篇 logic gates
  • 16 篇 artificial intel...
  • 15 篇 mathematical log...
  • 14 篇 inductive logic ...
  • 12 篇 logics and meani...
  • 11 篇 software enginee...
  • 11 篇 logic
  • 11 篇 programming tech...
  • 9 篇 computer science
  • 8 篇 integer programm...
  • 8 篇 semantics
  • 7 篇 computer circuit...
  • 7 篇 linear programmi...
  • 7 篇 answer set progr...
  • 7 篇 dynamic programm...
  • 6 篇 languages
  • 6 篇 computer archite...

机构

  • 3 篇 univ potsdam pot...
  • 3 篇 univ calabria di...
  • 2 篇 brandeis univ wa...
  • 2 篇 simon fraser uni...
  • 2 篇 katholieke univ ...
  • 2 篇 univ copenhagen ...
  • 2 篇 katholieke univ ...
  • 2 篇 ku leuven depart...
  • 2 篇 department infor...
  • 2 篇 vienna technol u...
  • 2 篇 univ castilla la...
  • 2 篇 carnegie mellon ...
  • 2 篇 univ aarhus daim...
  • 2 篇 at&t bell lab mu...
  • 2 篇 natl univ irelan...
  • 2 篇 natl inst inform...
  • 2 篇 univ castilla la...
  • 2 篇 univ nova lisboa...
  • 2 篇 australian natl ...
  • 2 篇 department of el...

作者

  • 5 篇 gebser martin
  • 5 篇 schaub torsten
  • 4 篇 inoue katsumi
  • 3 篇 nickles matthias
  • 3 篇 fink michael
  • 3 篇 schuller peter
  • 2 篇 mileo alessandra
  • 2 篇 mairson harry g.
  • 2 篇 goncalves ricard...
  • 2 篇 kung-kiu lau
  • 2 篇 soria jose
  • 2 篇 de raedt luc
  • 2 篇 boustia narhimen...
  • 2 篇 j.r. romero
  • 2 篇 a. vallecillo
  • 2 篇 woltran stefan
  • 2 篇 lifschitz vladim...
  • 2 篇 ferilli stefano
  • 2 篇 sighireanu mihae...
  • 2 篇 p. flener

语言

  • 380 篇 英文
  • 3 篇 其他
  • 1 篇 西班牙文
  • 1 篇 中文
检索条件"任意字段=12th International Conference on Inductive Logic Programming"
385 条 记 录,以下是31-40 订阅
排序:
12th international conference on Reversible Computation,RC 2020
12th International Conference on Reversible Computation,RC 2...
收藏 引用
12th international conference on Reversible Computation,RC 2020
the proceedings contain 18 papers. the special focus in this conference is on Reversible Computation. the topics include: Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem;maxi...
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Toward a Curry-Howard Equivalence for Linear, Reversible Computation Work-in-Progress  12th
Toward a Curry-Howard Equivalence for Linear, Reversible Com...
收藏 引用
12th international conference on Reversible Computation (RC)
作者: Chardonnet, Kostia Saurin, Alexis Valiron, Benoit Université Paris-Saclay CNRS CentraleSupélec Laboratoire de Recherche en Informatique Orsay 91405 France Université de Paris IRIF CNRS Paris 75013 France Équipe πr² Inria Paris France
In this paper, we present a linear and reversible language with inductive and coinductive types, together with a Curry-Howard correspondence with the logic mu MALL: linear logic extended with least and greatest fixed ... 详细信息
来源: 评论
Modeling Block Structured Project Scheduling with Resource Constraints  12th
Modeling Block Structured Project Scheduling with Resource C...
收藏 引用
12th international conference on Large-Scale Scientific Computations (LSSC)
作者: Badica, Amelia Badica, Costin Logofatu, Doina Buligiu, Ion Ciora, Liviu Univ Craiova Craiova Romania Univ Appl Sci Frankfurt Germany
We propose a formal model of block-structured project scheduling with resource constraints, with the goal of designing optimization algorithms. We combine block structured modeling of business processes with results f... 详细信息
来源: 评论
Incremental Declarative Process Mining with WoMan  12
Incremental Declarative Process Mining with WoMan
收藏 引用
12th IEEE international conference on Evolving and Adaptive Intelligent Systems (IEEE EAIS)
作者: Ferilli, Stefano Univ Bari Dept Comp Sci Bari Italy
Contemporary society is pervaded by complex processes. A company's success may depend on the proper definition, handling and management of its processes. Automated process management is fundamental to efficiently,... 详细信息
来源: 评论
Automatic Categorization of Introductory programming Students  12th
Automatic Categorization of Introductory Programming Student...
收藏 引用
international Joint conference: 12th international conference on Computational Intelligence in Security for Information Systems, CISIS 2019 and 10th international conference on European Transnational Education, ICEUTE 2019
作者: Rubio, Miguel A. University of Granada Granada Spain
Learning to program can be quite difficult for CS1 students. they must master language syntax, programming theory and problem-solving techniques in a short period of time. Consequently, a significant percentage of stu... 详细信息
来源: 评论
NFV-Based Distributed Service Function Chaining with Imperfect Information
NFV-Based Distributed Service Function Chaining with Imperfe...
收藏 引用
conference on Information and Knowledge Technology
作者: Mahsa Alikhani Marzieh Sheikhi Vesal Hakami School of Computer Engineering Iran University of Science and Technology Tehran Iran
Software-defined networking (SDN) and network function virtualization (NFV) technologies have emerged as promising paradigms in recent innovations for deploying users' demanded services. In this context, service f... 详细信息
来源: 评论
Inverse Problems, Constraint Satisfaction, Reversible logic, Invertible logic and Grover Quantum Oracles for Practical Problems  12th
Inverse Problems, Constraint Satisfaction, Reversible Logic,...
收藏 引用
12th international conference on Reversible Computation (RC)
作者: Perkowski, Marek Department of Electrical and Computer Engineering Portland State University Portland 97207 OR United States
It is well-known that the "Unsorted Database" quantum algorithm by Grover gives quadratic speedup to several important combinatorial and enumerative problems, such as: SAT, Graph Coloring, Maximum Cliques, T... 详细信息
来源: 评论
international Joint conference: 12th international conference on Computational Intelligence in Security for Information Systems, CISIS 2019 and 10th international conference on European Transnational Education, ICEUTE 2019
International Joint Conference: 12th International Conferenc...
收藏 引用
international Joint conference: 12th international conference on Computational Intelligence in Security for Information Systems, CISIS 2019 and 10th international conference on European Transnational Education, ICEUTE 2019
the proceedings contain 35 papers. the special focus in this conference is on Computational Intelligence in Security for Information Systems. the topics include: Deep Wavelet Extreme Learning Machine for Data Classifi...
来源: 评论