咨询与建议

限定检索结果

文献类型

  • 2,454 篇 会议
  • 99 册 图书
  • 86 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,652 篇 工学
    • 1,295 篇 计算机科学与技术...
    • 658 篇 软件工程
    • 368 篇 电气工程
    • 252 篇 控制科学与工程
    • 110 篇 信息与通信工程
    • 106 篇 机械工程
    • 61 篇 电子科学与技术(可...
    • 40 篇 动力工程及工程热...
    • 36 篇 交通运输工程
    • 34 篇 仪器科学与技术
    • 24 篇 建筑学
    • 24 篇 石油与天然气工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 生物工程
    • 22 篇 公安技术
    • 21 篇 安全科学与工程
    • 20 篇 土木工程
  • 405 篇 理学
    • 302 篇 数学
    • 60 篇 系统科学
    • 54 篇 物理学
    • 47 篇 统计学(可授理学、...
    • 28 篇 生物学
    • 25 篇 化学
  • 238 篇 管理学
    • 178 篇 管理科学与工程(可...
    • 75 篇 图书情报与档案管...
    • 60 篇 工商管理
  • 71 篇 教育学
    • 71 篇 教育学
  • 33 篇 经济学
    • 26 篇 应用经济学
  • 28 篇 医学
    • 19 篇 基础医学(可授医学...
  • 26 篇 法学
    • 18 篇 社会学
  • 9 篇 农学
  • 9 篇 艺术学
  • 4 篇 文学
  • 1 篇 哲学

主题

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

机构

  • 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
  • 5 篇 raidl günther r.
  • 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...

语言

  • 2,575 篇 英文
  • 39 篇 其他
  • 19 篇 中文
  • 2 篇 德文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 俄文
检索条件"任意字段=19th International Conference on Logic Programming"
2639 条 记 录,以下是41-50 订阅
排序:
Functional and Constraint logic programming - 19th international Workshop, WFLP 2010, Revised Selected Papers
Functional and Constraint Logic Programming - 19th Internati...
收藏 引用
19th international Workshop on Functional and Constraint logic programming, WFLP 2010
the proceedings contain 9 papers. the topics discussed include: transforming functional logic programs into monadic functional programs;mixed-level embedding and JIT compilation for an iteratively staged DSL;an access...
来源: 评论
MPLR 2022 - Proceedings of the 19th international conference on Managed programming Languages and Runtimes
MPLR 2022 - Proceedings of the 19th International Conference...
收藏 引用
19th international conference on Managed programming Languages and Runtimes, MPLR 2022
the proceedings contain 17 papers. the topics discussed include: analyzing and predicting energy consumption of garbage collectors in OpenJDK;automatic array transformation to columnar storage at run time;better under...
来源: 评论
A Hybrid Cooperative Approach for Symbolic Regression  19thth
A Hybrid Cooperative Approach for Symbolic Regression
收藏 引用
19th international conference on Computer Aided Systems theory, EUROCAST 2024
作者: Etaati, Bahareh Wagner, Stefan Affenzeller, Michael Heuristic and Evolutionary Algorithm Laboratory University of Applied Sciences Upper Austria Softwarepark 11 Hagenberg4232 Austria Institute for Computational Perception Johannes Kepler University Linz4040 Austria
In multi-objective symbolic regression, the objective is to improve the model’s accuracy while minimizing its complexity. It results in a Pareto front, including a fair compromise between accuracy and complexity. In ... 详细信息
来源: 评论
GPCE 2020 - Proceedings of the 19th ACM SIGPLAN international conference on Generative programming: Concepts and Experiences, Co-located with SPLASH 2020
GPCE 2020 - Proceedings of the 19th ACM SIGPLAN Internationa...
收藏 引用
19th ACM SIGPLAN international conference on Generative programming: Concepts and Experiences, GPCE 2020 - Co-located with SPLASH 2020
the proceedings contain 11 papers. the topics discussed include: modeling black-box components with probabilistic synthesis;automated variability injection for graphical modeling languages;correctness-by-construction ...
来源: 评论
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  19thth
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  19thth
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  19thth
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... 详细信息
来源: 评论