咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
Application of Computer Artificial Intelligence Technology in the Manufacturing System of Aero-Powered Aircraft
Application of Computer Artificial Intelligence Technology i...
收藏 引用
2023 international conference on Internet of things, Robotics and Distributed Computing, ICIRDC 2023
作者: Bi, Yingpu Xu, Weichang Liu, Jifang Wu, Yake Hu, Zongchun High-tech Institude FanGong-ting South Street on the 12th Shandong Qingzhou262500 China
this project proposes a programmable logic-oriented algorithm to solve the difficult problem of coding generation of aircraft control system. the synchronous data flow computing model suitable for control system model... 详细信息
来源: 评论
Technologies of FPGA-based projects Development Under Ever-changing Conditions, Platform Constraints, and Time-to-Market Pressure  12
Technologies of FPGA-based projects Development Under Ever-c...
收藏 引用
12th IEEE international Scientific Technical conference on Dependable Systems, Services and Technologies (DESSERT) - Dependable and Trustworthy AI, IoE, Big Data Analytics for a Safe and Secure World
作者: Perepelitsyn, Artem Kulanov, Vitaliy Natl Aerosp Univ KhAI Dept Comp Syst Networks & Cybersecur Kharkiv Ukraine
An analytical review of the history of the leading vendors' providers in the field of programmable logic device manufacturing is presented. the analysis of development environment changes for FPGA-based projects, ... 详细信息
来源: 评论
Interfacing of Industrial inductive Proximity Sensor with NI DAQ and Speed Measurement  1
收藏 引用
6th international conference on Communication, Devices and Networking, ICCDN 2022
作者: Nemade, Prasad Kumawat, Ashok Kumar Department of Mechatronics Manipal University Jaipur Jaipur India
this paper presents a method to measure DC motor speed using an industrial-rated proximity sensor and NI DAQ card. the industrial proximity sensor captures the positive edge of a wave when a metallic portion on the mo... 详细信息
来源: 评论
the Formal Grounds for Construction for Intellimedia Automated System  12
The Formal Grounds for Construction for Intellimedia Automat...
收藏 引用
12th IEEE international conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS 2023
作者: Sheketa, Vasyl Melnyk, Vitalii Petryshyn, Roman Romanyshyn, Yulia Sachenko, Oleg Institute of Information Technologies National Technical University of Oil and Gas Ivano-Frankivsk Ukraine West Ukrainian National University Ternopil Ukraine
the main idea of the article is that the decision support object may possess declarative knowledge, but when it comes to executing technological tasks or solving complex technological problems, it requires procedural ... 详细信息
来源: 评论
Generating Monotone Boolean Functions Using Hasse Diagram  12
Generating Monotone Boolean Functions Using Hasse Diagram
收藏 引用
12th IEEE international conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS 2023
作者: Mrena, Michal Kvassay, Miroslav University of Zilina Faculty of Management Science and Informatics Zilina Slovakia
Boolean functions play an important role in numerous research areas. One of the areas is reliability analysis where researchers frequently use Boolean functions to describe the relation of a system state to the state ... 详细信息
来源: 评论
Evaluating the user experience of a fuzzy-based Intelligent Tutoring System  12
Evaluating the user experience of a fuzzy-based Intelligent ...
收藏 引用
12th international conference on Information, Intelligence, Systems and Applications, IISA 2021
作者: Chrysafiadi, Konstantina Virvou, Maria University of Piraeus Department of Informatics Piraeus Greece
Nowadays, the scientific interest for educational software and Intelligent Tutoring Systems increases. the main goal of an Intelligent Tutoring System is to offer a personalized learning experience, adapting the learn... 详细信息
来源: 评论
A Fuzzy Expert System Based Extension of SWI-Prolog for Evaluating AI Ethics
A Fuzzy Expert System Based Extension of SWI-Prolog for Eval...
收藏 引用
international IEEE conference on Intelligent Systems, IS
作者: Harriet Griffin Mani Ghahremani Alexander Gegov University of Portsmouth Portsmouth England
the rapid expansion of the AI market has outpaced the development of adequate regulations and guidelines, resulting in deficiencies in tools for practitioners and stakeholders in AI systems (AIS). these guidelines are... 详细信息
来源: 评论
Proceedings of the 12th international conference on Computational Systems-Biology and Bioinformatics, CSBio 2021
Proceedings of the 12th International Conference on Computat...
收藏 引用
12th international conference on Computational Systems-Biology and Bioinformatics, CSBio 2021
the proceedings contain 10 papers. the topics discussed include: analysis of dynamics and stability of hybrid system models of gene regulatory networks;pulmonary artery visualization for computed tomography angiograph...
来源: 评论
Collaborative Microgrids: Design and Dynamic Analysis using Multiagent Fuzzy-logic System  12
Collaborative Microgrids: Design and Dynamic Analysis using ...
收藏 引用
12th international Renewable Engineering conference (IREC)
作者: El Zerk, Abdallah Ouassaid, Mohammed Zidani, Youssef Mohammed V Univ Rabat Engn Smart & Sustainable Syst Res Ctr Mohammadia Sch Engineers Rabat Morocco Cadi Ayyad Univ Fac Sci & Technol Dept Elect Engn Marrakech Morocco
In this paper, an isolated microgrid composed of three households is considered. the centralised approach based on fuzzy logic is used to provide local control of the households, whereas the microgrid is managed using... 详细信息
来源: 评论
Inference of Gene Networks from Single Cell Data through Quantified inductive logic programming  2021
Inference of Gene Networks from Single Cell Data through Qua...
收藏 引用
12th international conference on Computational Systems-Biology and Bioinformatics, CSBio 2021
作者: Buchet, Samuel Carbone, Francesco Magnin, Morgan Ménager, Mickaël Roux, Olivier LS2N Umr Cnrs 6004 École Centrale de Nantes Nantes France Inserm Umr 1163 Laboratory of Inflammatory Responses and Transcriptomic Networks in Diseases Université de Paris Imagine Institute Paris France
Single cell sequencing technologies represent a unique opportunity to appreciate all the heterogeneity of gene expressions within specific biological cell types. While these data are sparse and especially noisy, it re... 详细信息
来源: 评论