咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是21-30 订阅
排序:
Fostering programming Resilience: Developing a Scale for Secondary Schools
Fostering Programming Resilience: Developing a Scale for Sec...
收藏 引用
international conference on Engineering Education (ICEED)
作者: Dayang N A Jawawi Nor Azizah Saadon Nurul Nazihah Jamal Shahliza Abd Halim Radziah Mohamad Mohd Adham Isa Haza Nuzly Abdul Hamed Khatibsyarbini Faculty of Computing Universiti Teknologi Malaysia Skudai Johor Malaysia
In the realm of programming education, students often face challenges such as syntax and logic errors, necessitating resilience to persevere through programming problems. programming resilience is essential for school... 详细信息
来源: 评论
Anomaly Detection in a Boxed Beef Supply Chain  21
Anomaly Detection in a Boxed Beef Supply Chain
收藏 引用
13th international conference on Computer Modeling and Simulation, ICCMS 2021
作者: Baumgartner, Peter Krumpholz, Alexander CSIRO Australia
An approach to simulating and analysing sensor events in a boxed beef supply chain is presented. the simulation component reflects our industrial partner's transport routes and parameters under normal and abnormal... 详细信息
来源: 评论
13th international conference on Reversible Computation, RC 2021
13th International Conference on Reversible Computation, RC ...
收藏 引用
13th international conference on Reversible Computation, RC 2021
the proceedings contain 17 papers. the special focus in this conference is on Reversible Computation. the topics include: A Tangled Web of 12 Lens Laws;splitting Recursion Schemes into Reversible and Classical Interac...
来源: 评论
13th international Symposium on Frontiers of Combining Systems, FroCoS 2021, co-located with the 30th international conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021
13th International Symposium on Frontiers of Combining Syste...
收藏 引用
13th international Symposium on Frontiers of Combining Systems, FroCoS 2021, co-located with the 30th international conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021
the proceedings contain 16 papers. the special focus in this conference is on Frontiers of Combining Systems. the topics include: Vampire with a Brain Is a Good ITP Hammer;optimization Modulo Non-linear Arithmetic via...
来源: 评论
Reversibility of Executable Interval Temporal logic Specifications  13th
Reversibility of Executable Interval Temporal Logic Specific...
收藏 引用
13th international conference on Reversible Computation (RC)
作者: Cau, Antonio Kuhn, Stefan Hoey, James School of Computer Science and Informatics De Montfort University Leicester United Kingdom School of Informatics University of Leicester Leicester United Kingdom
In this paper the reversibility of executable Interval Temporal logic (ITL) specifications is investigated. ITL allows for the reasoning about systems in terms of behaviours which are represented as non-empty sequence... 详细信息
来源: 评论
Advancing Digital Design: Integration of 16-Bit Unsigned Divider Capability in Xilinx's Kintex and Virtex FPGA Chips for Enhanced Computational Efficiency
Advancing Digital Design: Integration of 16-Bit Unsigned Div...
收藏 引用
international conference on Communication Systems and Network Technologies (CSNT)
作者: Shrivastava Shishir Amanpreet Kaur Chitkara University Institute of Engineering and technology Chitkara University Punjab India
the addition of a 16-bit unsigned divider to Xilinx's Kintex and Virtex FPGA devices improves digital design and computational performance. Developers may divide nonnegative 16-bit integers with the 16-bit unsigne... 详细信息
来源: 评论
Safety PLC programming Based on UML Statechart  13
Safety PLC Programming Based on UML Statechart
收藏 引用
13th international ELEKTRO conference (ELEKTRO)
作者: Medvedik, Milan Zdansky, Juraj Univ Zilina Fac Elect Engn & Informat Technol Dept Control & Informat Syst Zilina Slovakia
the paper deals with a systematic approach to programming a program for safety PLC (Programmable logic Controllers) based on the description of the required function by the UML (Unified Modeling Language) statechart. ... 详细信息
来源: 评论
12th international conference on Verified Software, VSTTE 2020, and 13th international Workshop on Numerical Software Verification, NSV 2020
12th International Conference on Verified Software, VSTTE 20...
收藏 引用
12th international conference on Verified Software, VSTTE 2020, and 13th international Workshop on Numerical Software Verification, NSV 2020
the proceedings contain 14 papers. the special focus in this conference is on Verified Software. the topics include: An Efficient Floating-Point Bit-Blasting API for Verifying C Programs;rigorous Enclosure of Round-Of...
来源: 评论
A Multi-valued logic Assessment of Organizational Performance via Workforce Social Networking  10th
A Multi-valued Logic Assessment of Organizational Performanc...
收藏 引用
10th EAI international conference on Big Data Technologies and Applications, BDTA 2020 and 13th EAI international conference on Wireless Internet, WiCON 2020
作者: Neves, José Fdez-Riverola, Florentino Alves, Vitor Ferraz, Filipa Sousa, Lia Costa, António Ribeiro, Jorge Vicente, Henrique Centro Algoritmi Universidade do Minho Braga Portugal Instituto Politécnico de Saúde do Norte CESPU Gandra Portugal Departamento de Informática ESEI – Escuela Superior de Ingeniería Informática Universidad de Vigo Campus Universitario As Lagoas Ourense Spain Instituto Politécnico de Viana do Castelo Rua da Escola Industrial e Comercial de Nun’Álvares Viana do Castelo4900-347 Portugal Departamento de Química Escola de Ciências e Tecnologia REQUIMTE/LAQV Universidade de Évora Évora Portugal
Social Media have changed the conditions and rules of Social Networking (SNet) where it comes from people intermingling with each other, i.e., SNet is to be understood as a process that works on the principl... 详细信息
来源: 评论
13th international Workshop on Rewriting logic and Its Applications, WRLA 2020
13th International Workshop on Rewriting Logic and Its Appli...
收藏 引用
13th international Workshop on Rewriting logic and Its Applications, WRLA 2020
the proceedings contain 11 papers. the special focus in this conference is on Rewriting logic and Its Applications. the topics include: Automated Construction of Security Integrity Wrappers for Industry 4.0 Applicatio...
来源: 评论