咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是21-30 订阅
排序:
27th international conference on inductive logic programming, ILP 2017
27th International Conference on Inductive Logic Programming...
收藏 引用
27th international conference on inductive logic programming, ILP 2017
the proceedings contain 12 papers. the special focus in this conference is on . the topics include: Pruning hypothesis spaces using learned domain theories;an investigation into the role of domain-knowledge on the use...
来源: 评论
Technologies of FPGA-based projects Development Under Ever-changing Conditions, Platform Constraints, and Time-to-Market Pressure
Technologies of FPGA-based projects Development Under Ever-c...
收藏 引用
IEEE international conference on Dependable Systems, Services and Technologies (DESSERT)
作者: Artem Perepelitsyn Vitaliy Kulanov Department of computer systems networks and cybersecurity National aerospace university “KhAI” 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, ... 详细信息
来源: 评论
Robust Evaluating Approach of Distributed Photovoltaic Hosting Capacity in Uncertain Environment
Robust Evaluating Approach of Distributed Photovoltaic Hosti...
收藏 引用
IEEE international conference on Power and Energy Systems (ICPES)
作者: Shaofeng Cui Lin Mou Wei Li Junjiao Wang Gang Li Yuzhen Li Xiaojun Yan Chengguang Liu State Grid Qixia Power Supply Company State Grid Shandong Electric Power CO. Yantai China
Large scale distributed photovoltaic(DPV) integration will bring new challenges to dispatching due to its uncertainty, and further increase the regulating capacity requirement of power system. As a result, a robust ev... 详细信息
来源: 评论
Extended Knowledge Graphs: A Conceptual Study  12
Extended Knowledge Graphs: A Conceptual Study
收藏 引用
12th international Joint conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K) / 12th international conference on Knowledge Engineering and Ontology Development (KEOD)
作者: Adrian, Weronika T. Adrian, Marek Kluza, Krzysztof Stachura-Terlecka, Bernadetta Ligeza, Antoni AGH Univ Sci & Technol Al A Mickiewicza 30 PL-30059 Krakow Poland
the amount and variety of data that we produce every day pose a constant challenge for meaningful information processing. While knowledge graphs have gained a considerable attention in the recent years, due to their f... 详细信息
来源: 评论
Innovative Approaches in Teaching programming: A Systematic Literature Review  12
Innovative Approaches in Teaching Programming: A Systematic ...
收藏 引用
12th international conference on Computer Supported Education (CSEDU)
作者: Santos, Simone C. Tedesco, Patricia Azevedo Borba, Matheus Brito, Matheus Univ Fed Pernambuco Ctr Informat Rua Jornalista Anibal Fernandes S-NCidade Univ BR-50740560 Recife PE Brazil
One of the main challenges of computing education is the teaching of computer programming. Technical skills related to algorithm logic, programming language syntax, and computational platforms are required to program.... 详细信息
来源: 评论
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...
来源: 评论
Collaborative Microgrids: Design and Dynamic Analysis using Multiagent Fuzzy-logic System
Collaborative Microgrids: Design and Dynamic Analysis using ...
收藏 引用
Renewable Engineering conference (IREC), international
作者: Abdallah EL ZERK Mohammed OUASSAID Youssef ZIDANI Engineering for Smart and Sustainable Systems Research Center Mohammadia School of Engineers Mohammed V University in Rabat Rabat Morocco Faculty of science and technology Cadi Ayyad University 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... 详细信息
来源: 评论
Grammar-based Fuzzy Pattern Trees for Classification Problems  12th
Grammar-based Fuzzy Pattern Trees for Classification Problem...
收藏 引用
12th international Joint conference on Computational Intelligence (IJCCI) / 12th international conference on Evolutionary Computation theory and Applications (ECTA)
作者: Murphy, Aidan Ali, Muhammad Sarmad Dias, Douglas Mota Amaral, Jorge Naredo, Enrique Ryan, Conor Univ Limerick Limerick Ireland Univ Estado Rio De Janeiro Rio De Janeiro Brazil
this paper introduces a novel approach to induce Fuzzy Pattern Trees (FPT) using Grammatical Evolution (GE), FGE, and applies to a set of benchmark classification problems. While conventionally a set of FPTs are neede... 详细信息
来源: 评论
Reversible Computations in logic programming  12th
Reversible Computations in Logic Programming
收藏 引用
12th international conference on Reversible Computation (RC)
作者: Vidal, German MiST VRAIN Universitat Politècnica de València Valencia Spain
In this work, we say that a computation is reversible if one can find a procedure to undo the steps of a standard (or forward) computation in a deterministic way. While logic programs are often invertible (e.g., one c... 详细信息
来源: 评论
A 90 nm Static CMOS Technology Gate-Level Integrated Circuit Layout Classification and Error Detection Using EfficientNet Model  12
A 90 nm Static CMOS Technology Gate-Level Integrated Circuit...
收藏 引用
IEEE 12th international conference on Humanoid, Nanotechnology, Information Technology, Communication and Control, Environment, and Management (HNICEM)
作者: Ilagan, Lorena Concepcion, Ronnie, II Cabatuan, Melvin Roque, Christian Raymund Univ Perpetual Help Syst DALTA Elect Engn Dept Las Pinas City Philippines De La Salle Univ Elect & Commun Engn Dept Manila Philippines Ctr Appl Microelect & Programming Inc Muntinlupa Philippines
Sensitivity issues of the internal design rule check (DRC) capability of an electronic design automation tool are highlighted when the design technology used is not properly configured. However, the integration of com... 详细信息
来源: 评论