咨询与建议

限定检索结果

文献类型

  • 416 篇 会议
  • 38 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 328 篇 工学
    • 313 篇 计算机科学与技术...
    • 198 篇 软件工程
    • 30 篇 电气工程
    • 24 篇 控制科学与工程
    • 17 篇 信息与通信工程
    • 9 篇 机械工程
    • 7 篇 电子科学与技术(可...
    • 5 篇 安全科学与工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 生物工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 动力工程及工程热...
    • 2 篇 建筑学
    • 2 篇 测绘科学与技术
  • 77 篇 理学
    • 57 篇 数学
    • 13 篇 系统科学
    • 10 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 4 篇 物理学
    • 1 篇 地质学
  • 29 篇 管理学
    • 21 篇 管理科学与工程(可...
    • 11 篇 工商管理
    • 8 篇 图书情报与档案管...
  • 5 篇 医学
    • 4 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 文学
    • 1 篇 外国语言文学
    • 1 篇 新闻传播学
  • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学

主题

  • 104 篇 logic programmin...
  • 22 篇 fuzzy logic
  • 15 篇 semantics
  • 12 篇 object oriented ...
  • 12 篇 programming
  • 11 篇 logic gates
  • 11 篇 linear programmi...
  • 9 篇 computer circuit...
  • 9 篇 hardware
  • 9 篇 dynamic programm...
  • 7 篇 logic
  • 7 篇 probabilistic lo...
  • 6 篇 access control
  • 6 篇 formal logic
  • 6 篇 model checking
  • 6 篇 computational mo...
  • 6 篇 fuzzy control
  • 6 篇 computer program...
  • 6 篇 answer set progr...
  • 6 篇 software design

机构

  • 4 篇 vienna univ tech...
  • 3 篇 suny stony brook...
  • 2 篇 school of automo...
  • 2 篇 univ nova lisboa...
  • 2 篇 univ calif river...
  • 2 篇 univ bologna dei...
  • 2 篇 school of comput...
  • 2 篇 department of co...
  • 2 篇 information and ...
  • 2 篇 univ cagliari di...
  • 2 篇 ibm tokyo resear...
  • 2 篇 labmag lisbon
  • 2 篇 wroclaw univ tec...
  • 2 篇 calif state poly...
  • 2 篇 univ kentucky de...
  • 2 篇 shenzhen tourism...
  • 2 篇 univ texas dept ...
  • 1 篇 new mexico state...
  • 1 篇 dept. computersc...
  • 1 篇 k.u. leuven depa...

作者

  • 4 篇 pereira lm
  • 3 篇 truszczynski m
  • 3 篇 swift t
  • 3 篇 lifschitz v
  • 3 篇 alferes jj
  • 3 篇 vojtás p
  • 3 篇 marriott kim
  • 2 篇 deschreye d
  • 2 篇 schuerman kees
  • 2 篇 pinna g. michele
  • 2 篇 medina j
  • 2 篇 montali marco
  • 2 篇 bruynooghe mauri...
  • 2 篇 przymusinski tc
  • 2 篇 li liang-liang
  • 2 篇 véron andré
  • 2 篇 bartoletti massi...
  • 2 篇 cui bq
  • 2 篇 sideri m
  • 2 篇 cimoli tiziana

语言

  • 449 篇 英文
  • 4 篇 其他
  • 1 篇 法文
  • 1 篇 俄文
检索条件"任意字段=5th Conference on Logic Programming, 1986"
455 条 记 录,以下是31-40 订阅
排序:
Constraint solving over multiple similarity relations  5
Constraint solving over multiple similarity relations
收藏 引用
5th International conference on Formal Structures for Computation and Deduction, FSCD 2020
作者: Dundua, Besik Kutsia, Temur Marin, Mircea Pau, Cleopatra FBT International Black Sea University Tbilisi Georgia VIAM Ivane Javakhishvili Tbilisi State University Georgia Johannes Kepler University Research Institute for Symbolic Computation Linz Austria West University of Timişoara Romania
Similarity relations are reflexive, symmetric, and transitive fuzzy relations. they help to make approximate inferences, replacing the notion of equality. Similarity-based unification has been quite intensively invest... 详细信息
来源: 评论
An Ensemble Method for Aggregated Baseline Load Estimation: From Probabilistic Perspective
An Ensemble Method for Aggregated Baseline Load Estimation: ...
收藏 引用
IEEE conference on Energy Internet and Energy System Integration (EI2)
作者: Yufan Zhang Qian Ai Yun Chen Jiayu Wang Zhaoyu Li Key Laboratory of Control of Power Transmission and Conversion Ministry of Education Shanghai Jiao Tong University Shanghai China State Grid Pudong Power Supply Company Shanghai China
Demand response (DR) is regarded as an alternative for new infrastructure to meet the peak load, which curbs the greenhouse gas emission. As an intermediary agent, DR aggregator (DRA) needs to comprehend aggregated ba... 详细信息
来源: 评论
ACM International conference Proceeding Series
ACM International Conference Proceeding Series
收藏 引用
5th International conference on Intelligent Information Technology, ICIIT 2020
the proceedings contain 26 papers. the topics discussed include: new discoveries on integer factorization by valuated binary tree;fuzzy logic based hybrid model for automatic extractive text summarization;seismic data...
来源: 评论
5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International conference on Field Programmable logic and Applications, FPL 2018
5th International Workshop on FPGAs for Software Programmers...
收藏 引用
5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International conference on Field Programmable logic and Applications, FPL 2018
the proceedings contain 9 papers. the topics discussed include: using Linux FIFOs to allow flexible hardware/software communications on reconfigurable systems-on-chip;improved parallelization of legacy embedded softwa...
来源: 评论
Designing Combinational Circuits Using a Multi-objective Cartesian Genetic programming with Adaptive Population Size  5th
Designing Combinational Circuits Using a Multi-objective Car...
收藏 引用
5th International conference on Machine Learning, Optimization, and Data Science (LOD)
作者: Lima, Leandro S. Bernardino, Heder S. Barbosa, Helio J. C. Univ Fed Juiz de Fora UFJF Juiz De Fora MG Brazil Lab Nacl Comp Cient LNCC Petropolis RJ Brazil
this paper proposes a multiobjective Cartesian Genetic programming with an adaptive population size to design approximate digital circuits via evolutionary algorithms, analyzing the trade-off between the most often us... 详细信息
来源: 评论
Monotonic and Non-monotonic Context Delegation  5
Monotonic and Non-monotonic Context Delegation
收藏 引用
5th International conference on Information Systems Security and Privacy (ICISSP)
作者: AL-Wahah, Mouiad Farkas, Csilla Univ South Carolina Coll Engn & Comp 301 Main St Columbia SC 29208 USA
Delegating access privileges is a common practice of access control mechanisms. Delegation is usually used for distributing responsibilities of task management among entities. Delegation comes in two forms, GRANT and ... 详细信息
来源: 评论
Cartesian Genetic programming with Guided and Single Active Mutations for Designing Combinational logic Circuits  5th
Cartesian Genetic Programming with Guided and Single Active ...
收藏 引用
5th International conference on Machine Learning, Optimization, and Data Science (LOD)
作者: da Silva, Jose Eduardo H. de Souza, Lucas A. M. Bernardino, Heder S. Univ Fed Juiz de Fora Juiz De Fora MG Brazil
the design of digital circuits using Cartesian Genetic programming (CGP) has been widely investigated but the evolution of complex combinational logic circuits is a hard task for CGP. We introduce here a new mutation ... 详细信息
来源: 评论
logic Design as an Enabler to Python programming Language Teaching  5
Logic Design as an Enabler to Python Programming Language Te...
收藏 引用
5th PAnhellenic conference on Electronics and Telecommunications (PACET)
作者: Velaora, Chrysoula Kakarountas, Athanasios Univ Thessaly Dept Comp Sci & Biomed Informat Lamia Greece
In this article the contribution of experiential learning, gamification and emerging technologies to Python programming language teaching is attempted to be sketched. Four scenarios were designed in order to constitut... 详细信息
来源: 评论
A Journey into DSL design using generative programming: FPGA mapping of image border handling through refinement  5
A Journey into DSL design using generative programming: FPGA...
收藏 引用
5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International conference on Field Programmable logic and Applications, FPL 2018
作者: Akif Özkan, M. Pérard-Gayot, Arsène Membarth, Richard Slusallek, Philipp Teich, Jürgen Hannig, Frank Germany Germany Germany
Field Programmable Gate Arrays (FPGAs) are continually improving their computing capabilities and energy efficiency. Yet, programming FPGAs remains a time-consuming task and requires expert knowledge to obtain good pe... 详细信息
来源: 评论
5th International Workshop on Graphical Models for Security, GraMSec 2018
5th International Workshop on Graphical Models for Security,...
收藏 引用
5th International Workshop on Graphical Models for Security, GraMSec 2018
the proceedings contain 7 papers. the special focus in this conference is on Graphical Models for Security. the topics include: Combining Bayesian networks and fishbone diagrams to distinguish between intentional atta...
来源: 评论