咨询与建议

限定检索结果

文献类型

  • 2,450 篇 会议
  • 99 册 图书
  • 85 篇 期刊文献

馆藏范围

  • 2,634 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,646 篇 工学
    • 1,291 篇 计算机科学与技术...
    • 656 篇 软件工程
    • 366 篇 电气工程
    • 251 篇 控制科学与工程
    • 109 篇 信息与通信工程
    • 105 篇 机械工程
    • 61 篇 电子科学与技术(可...
    • 40 篇 动力工程及工程热...
    • 36 篇 交通运输工程
    • 34 篇 仪器科学与技术
    • 24 篇 建筑学
    • 24 篇 石油与天然气工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 生物工程
    • 22 篇 公安技术
    • 20 篇 土木工程
    • 20 篇 安全科学与工程
  • 402 篇 理学
    • 300 篇 数学
    • 60 篇 系统科学
    • 53 篇 物理学
    • 46 篇 统计学(可授理学、...
    • 28 篇 生物学
    • 25 篇 化学
  • 237 篇 管理学
    • 177 篇 管理科学与工程(可...
    • 75 篇 图书情报与档案管...
    • 60 篇 工商管理
  • 71 篇 教育学
    • 71 篇 教育学
  • 33 篇 经济学
    • 26 篇 应用经济学
  • 28 篇 医学
    • 19 篇 基础医学(可授医学...
  • 27 篇 法学
    • 19 篇 社会学
  • 9 篇 农学
  • 9 篇 艺术学
  • 4 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 184 篇 logic gates
  • 172 篇 fuzzy logic
  • 150 篇 programming
  • 107 篇 logic programmin...
  • 94 篇 linear programmi...
  • 76 篇 artificial intel...
  • 71 篇 dynamic programm...
  • 59 篇 probabilistic lo...
  • 58 篇 software enginee...
  • 58 篇 optimization
  • 57 篇 computer science
  • 57 篇 semantics
  • 47 篇 software
  • 45 篇 logic design
  • 44 篇 formal logic
  • 44 篇 computer archite...
  • 43 篇 mathematical mod...
  • 42 篇 mathematical log...
  • 41 篇 logic
  • 41 篇 hardware

机构

  • 7 篇 institute for lo...
  • 5 篇 institute of log...
  • 5 篇 university of am...
  • 5 篇 department of in...
  • 4 篇 natl tech univ a...
  • 4 篇 international bu...
  • 4 篇 tu wien austria
  • 4 篇 graduate school ...
  • 4 篇 university of al...
  • 4 篇 imdea software i...
  • 4 篇 carnegie mellon ...
  • 4 篇 university of te...
  • 4 篇 university of mi...
  • 3 篇 university of la...
  • 3 篇 department of co...
  • 3 篇 free univ bozen ...
  • 3 篇 department of co...
  • 3 篇 department of co...
  • 3 篇 ibm corp armonk ...
  • 3 篇 cesnet prague cz...

作者

  • 7 篇 woltran stefan
  • 6 篇 eiter thomas
  • 5 篇 leone nicola
  • 5 篇 faber wolfgang
  • 5 篇 tompits hans
  • 4 篇 tian cong
  • 4 篇 tokhi m. o.
  • 4 篇 sakama chiaki
  • 4 篇 jânio monteiro
  • 4 篇 frangopoulos chr...
  • 4 篇 barnes tiffany
  • 4 篇 pedro j. s. card...
  • 4 篇 michael h. lees
  • 4 篇 l.g. votta
  • 4 篇 jack j. dongarra
  • 4 篇 leonard barolli
  • 4 篇 dimopoulos georg...
  • 4 篇 roberto lam
  • 4 篇 valeria v. krzhi...
  • 4 篇 duan zhenhua

语言

  • 2,573 篇 英文
  • 37 篇 其他
  • 18 篇 中文
  • 2 篇 德文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 俄文
检索条件"任意字段=19th International Conference on Logic Programming"
2634 条 记 录,以下是41-50 订阅
排序:
FPL 09: 19th international conference on Field Programmable logic and Applications
FPL 09: 19th International Conference on Field Programmable ...
收藏 引用
FPL 09: 19th international conference on Field Programmable logic and Applications
the proceedings contain 131 papers. the topics discussed include: customizable domain-specific computing;in search of agile hardware;the evolution of architecture exploration of programmable devices;MUCCRA-cube: a 3D ...
来源: 评论
Tackling the α-Domination Problem Heuristically
Tackling the α-Domination Problem Heuristically
收藏 引用
19th international conference on Computer Aided Systems theory, EUROCAST 2024
作者: Iurlano, Enrico Varga, Johannes Raidl, Günther R. Algorithms and Complexity Group TU Wien Favoritenstraße 9-11/192-01 Vienna1040 Austria
We focus on the α-domination problem, which is capable of modeling influence phenomena in social networks. It formally asks for a minimum cardinality subset of vertices of a given graph such that any vertex is either... 详细信息
来源: 评论
Learning to Select Promising Initial Solutions for Large Neighborhood Search-Based Multi-Agent Path Finding
Learning to Select Promising Initial Solutions for Large N...
收藏 引用
19th international conference on Computer Aided Systems theory, EUROCAST 2024
作者: Huber, Marc Raidl, Günther R. Blum, Christian Institute of Logic and Computation TU Wien Vienna Austria Campus of UAB Spain
Anytime Multi-Agent Path Finding (MAPF) is a promising paradigm for finding fast and (near-)optimal solutions to large-scale multi-agent systems within a fixed time budget. the currently leading approach builds on Lar... 详细信息
来源: 评论
A Learning Twolevel Optimization Approach for the Demand Maximizing Battery Swapping Station Location Problem
A Learning Twolevel Optimization Approach for the Demand M...
收藏 引用
19th international conference on Computer Aided Systems theory, EUROCAST 2024
作者: Tomandl, Laurenz Jatschka, thomas Raidl, Günther Rodemann, Tobias Institute of Logic and Computation TU Wien Austria Honda Research Institute Europe Offenbach Germany
the multilevel optimization approach, a strategy for solving large combinatorial optimization problems, involves a process of coarsening a large problem instance into a smaller, more manageable version, solving this s... 详细信息
来源: 评论
19th international conference on logic and Engineering of Natural Language Semantics, LENLS 2022
19th International Conference on Logic and Engineering of Na...
收藏 引用
19th international conference on logic and Engineering of Natural Language Semantics, LENLS 2022
the proceedings contain 13 papers. the special focus in this conference is on logic and Engineering of Natural Language Semantics. the topics include: logic Operators and Quantifiers in Type-theory of A...
来源: 评论
Design and Implementation of Industrial Gateway for AUTBUS and 5G Protocol Conversion
Design and Implementation of Industrial Gateway for AUTBUS a...
收藏 引用
international conference on Ubiquitous Information Management and Communication (IMCOM)
作者: Shiyu Wang Min Wei Seungho Hong China-Korea Belt and Road Joint Laboratory on Industrial Internet of Things Chongqing University of Posts and Telecommunications Chongqing China Research and Development Center Nestfield Company Ltd Ansan South Korea Department of Electronic Engineering Hanyang University Ansan South Korea
With the rapid development of industrial automation, the demand for preserving the original priority, flow identification, and latency stability of industrial data is continuously increasing. the new generation bus te... 详细信息
来源: 评论
Computer Science logic - 24th international Workshop, CSL 2010, and 19th Annual conference of the EACSL, Proceedings
Computer Science Logic - 24th International Workshop, CSL 20...
收藏 引用
24th international Workshop on Computer Science logic, CSL 2010, and 19th Annual conference of the EACSL
the proceedings contain 39 papers. the topics discussed include: graded computation tree logic with binary coding;exact exploration and hanging algorithms;embedding deduction modulo into a prover;exponentials with inf...
来源: 评论
ASPLOS 2014 - 19th international conference on Architectural Support for programming Languages and Operating Systems
ASPLOS 2014 - 19th International Conference on Architectural...
收藏 引用
19th international conference on Architectural Support for programming Languages and Operating Systems, ASPLOS 2014
the proceedings contain 49 papers. the topics discussed include: Rhythm: harnessing data parallel hardware for server workloads;Paraprox: pattern-based approximation for data parallel applications;virtual ghost: prote... 详细信息
来源: 评论
Principles and Practice of Constraint programming - 19th international conference, CP 2013, Proceedings
Principles and Practice of Constraint Programming - 19th Int...
收藏 引用
19th international conference on Principles and Practice of Constraint programming, CP 2013
the proceedings contain 63 papers. the topics discussed include: a parametric approach for smaller and better encodings of cardinality constraints;automated symmetry breaking and model selection in conjure;MinSAT vers...
来源: 评论
A Comparison of Recent Algorithms for Symbolic Regression to Genetic programming
A Comparison of Recent Algorithms for Symbolic Regression ...
收藏 引用
19th international conference on Computer Aided Systems theory, EUROCAST 2024
作者: Radwan, Yousef A. Kronberger, Gabriel Winkler, Stephan University of Applied Sciences Upper Austria Heuristic and Evolutionary Algorithms Laboratory Softwarepark 11 Hagenberg4232 Austria
Symbolic regression is a machine learning method with the goal to produce interpretable results. Unlike other machine learning methods such as, e.g. random forests or neural networks, which are opaque, symbolic regres... 详细信息
来源: 评论