咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 344 篇 电子文献
  • 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 ...
  • 15 篇 artificial intel...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 programming tech...
  • 11 篇 logics and meani...
  • 10 篇 software enginee...
  • 10 篇 logic gates
  • 10 篇 programming lang...
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...

机构

  • 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

语言

  • 332 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
344 条 记 录,以下是331-340 订阅
排序:
Code Debugging with LLM-Generated Explanations of programming Error Messages
Code Debugging with LLM-Generated Explanations of Programmin...
收藏 引用
international conference on Engineering Education (ICEED)
作者: John S. Y. Lee Fengkai Liu Tianyuan Cai Department of Linguistics and Translation City University of Hong Kong Hong Kong SAR China
programming is an essential part of the curriculum for electrical, computer and software engineering students. Since one inevitably makes coding mistakes, it is important for programmers to develop debugging skills. H... 详细信息
来源: 评论
Automatic Construction of Image Inspection Algorithm By using Image Processing Network programming  13
Automatic Construction of Image Inspection Algorithm By usin...
收藏 引用
13th international conference on Quality Control by Artificial Vision
作者: Yoshimura, Yuichiro Aoki, Kimiya Chukyo Univ Grad Sch Dept Informat Sci & Technol Nagoya Aichi Japan
In this paper, we discuss a method for automatic programming of inspection image processing. In the industrial field, automatic program generators or expert systems are expected to shorten a period required for develo... 详细信息
来源: 评论
Implementing logic Operations in Gold Nanoparticles Colloidal Suspensions
Implementing Logic Operations in Gold Nanoparticles Colloida...
收藏 引用
international conference on Modern Circuits and Systems Technologies (MOCAST)
作者: Raphael Fortulan Noushin Raeisi Kheirabadi Alexei Antipov Carsten Jost Alessandro Chiolerio Andrew Adamatzky Unconventional Computing Laboratory University of the West of England Bristol UK PlasmaChem GmbH Schwarzschildstraβe 10 Berlin Germany Center for Bioinspired Soft Robotics Istituto Italiano di Tecnologia Genova Italy
this work experimentally demonstrates the computational capabilities of gold nanoparticle colloidal suspensions. Here we implement Boolean logic gates in Au nanoparticle solutions by applying binary input signals thro... 详细信息
来源: 评论
Ynot : Dependent types for imperative programs
收藏 引用
ACM SIGPLAN NOTICES 2008年 第9期43卷 229-240页
作者: Nanevski, Aleksandar Morrisett, Greg Shinnar, Avraham Govereau, Paul Birkedal, Lars Microsoft Res Cambridge England Harvard Univ Cambridge MA 02138 USA IT Univ Copenhagen Copenhagen Denmark
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. Coq already includes a powerful functio... 详细信息
来源: 评论
Resource provisioning for IoT application services in smart cities
Resource provisioning for IoT application services in smart ...
收藏 引用
international conference on Network and Service Management
作者: José Santos Tim Wauters Bruno Volckaert Filip De Turck Department of Information Technology IDLab Gent Belgium
In the last years, traffic over wireless networks has been increasing exponentially, due to the impact of Internet of things (IoT) and Smart Cities. Current networks must adapt to and cope with the specific requiremen... 详细信息
来源: 评论
A monte carlo study of randomised restarted search in ILP
收藏 引用
14th international conference on inductive logic programming, ILP 2004
作者: Železný, Filip Srinivasan, Ashwin Page, David in Prague Karlovo Nám. 13 Prague121 35 Czech Republic IBM India Research Laboratory Indian Institute of Technology Block 1 New Delhi110 016 India Dept. Of Biostatistics and Medical Informatics Dept. Of Computer Science University of Wisconsin 1300 University Ave. MadisonWI53706 United States
Recent statistical performance surveys of search algorithms in difficult combinatorial problems have demonstrated the benefits of randomising and restarting the search procedure. Specifically, it has been found that i... 详细信息
来源: 评论
On Energy Efficient Scheduling and Load Distribution Based on Renewable Energy for Wireless Mesh Network in Disaster Area
On Energy Efficient Scheduling and Load Distribution Based o...
收藏 引用
IEEE international conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
作者: Meng Li Hiroki Nishiyama Yasunori Owada Kiyoshi Hamaguchi Graduate School of Information Sciences Tohoku University Japan National Institute of Information and Communication Technology Japan
In recent years, disasters happened in many places, and resulted in power shortage and communication interruption. the Wireless Mesh Networks (WMNs) constituted by Renewable Energy-enabled Base Station (REBS) is regar... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Fog Networks in Healthcare Application
Fog Networks in Healthcare Application
收藏 引用
IEEE Internatonal conference on Mobile Adhoc and Sensor Systems (MASS)
作者: Suryadip Chakraborty Satyajit Bhowmick Paul Talaga Dharma P. Agrawal Department of Electrical Engineering and Computing Systems University of Cincinnati Cincinnati OH United States of America
Fog computing is a recently proposed computing paradigm that extends Cloud computing and services to the edge of the network. the new features offered by fog computing (e.g., distributed analytics and edge intelligenc... 详细信息
来源: 评论
Toward molecular programming with DNA
Toward molecular programming with DNA
收藏 引用
Proceedings of the 13th international conference on Architectural support for programming languages and operating systems
作者: Erik Winfree California Institute of Technology Pasadena CA
Biological organisms are beautiful examples of programming. the program and data are stored in biological molecules such as DNA, RNA, and proteins; the algorithms are carried out by molecular and biochemical processes... 详细信息
来源: 评论