咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是51-60 订阅
排序:
Modelling the Risk of Overweight and Obesity Based on the GenObiA Dataset Using Genetic programming
Modelling the Risk of Overweight and Obesity Based on th...
收藏 引用
19th international conference on Computer Aided Systems theory, EUROCAST 2024
作者: Hidalgo, J. Ignacio Mayrhuber, Elisabeth Winkler, Stephan M. Parra, Daniel Velasco, J. Manuel Zamorano-León, José J. Garnica, Oscar Facultad de Informática Universidad Complutense Madrid Madrid Spain Instituto de Tecnología del Conocimiento Madrid Spain Bioinformatics Research Group University of Applied Sciences Upper Austria Hagenberg Austria Faculty of Medicine Universidad Complutense Madrid Madrid Spain
Obesity, a condition influenced by genetic, environmental, and behavioral factors, poses significant health risks. this study leverages the GenObIA dataset, collected from January 2018 to June 2022, which includes ext... 详细信息
来源: 评论
A Probabilistic Reasoning Framework to Detect Fake News on Social Media
A Probabilistic Reasoning Framework to Detect Fake News on S...
收藏 引用
international conference on Ubiquitous Information Management and Communication (IMCOM)
作者: Mehreen Rashid Fabliha Anber Md Samiullah Chowdhury Farhan Ahmed Carson K. Leung Adam G.M. Pazdor Department of Computer Science and Engineering University of Dhaka Dhaka Bangladesh Department of Computer Science University of Manitoba Winnipeg MB Canada
the rapid growth of social media has made the Internet a critical platform for spreading misinformation, which shapes public opinion and harms society. Despite significant research in fake news detection, most probabi... 详细信息
来源: 评论
Improvements in Large Neighborhood Search for the Electric Autonomous Dial-A-Ride Problem
Improvements in Large Neighborhood Search for the Electri...
收藏 引用
19th international conference on Computer Aided Systems theory, EUROCAST 2024
作者: Bresich, Maria G.R., Raidl S., Limmer Institute of Logic and Computation TU Wien Vienna Austria Honda Research Institute Europe GmbH Offenbach/Main63073 Germany
We consider a practical extension of the classical dial-a-ride problem (DARP) called the electric autonomous DARP where electric and autonomous vehicles provide service for transportation requests with time windows. T... 详细信息
来源: 评论
Proceedings - 19th international conference on Quantum Physics and logic, QPL 2022
Proceedings - 19th International Conference on Quantum Physi...
收藏 引用
19th international conference on Quantum Physics and logic, QPL 2022
the proceedings contain 21 papers. the topics discussed include: logical characterization of contextual hidden-variable theories based on quantum set theory;generators and relations for 2-Qubit Clifford+T operators;re...
来源: 评论
Concurrent Evolution of Dynamic Single and Dual-Crane Scheduling Scenarios
Concurrent Evolution of Dynamic Single and Dual-Crane Sche...
收藏 引用
19th international conference on Computer Aided Systems theory, EUROCAST 2024
作者: Karder, Johannes Werth, Bernhard Wagner, Stefan Affenzeller, Michael Josef Ressel Center for Adaptive Optimization in Dynamic Environments Heuristic and Evolutionary Algorithms Laboratory University of Applied Sciences Upper Austria Hagenberg4232 Austria Institute for Symbolic Artificial Intelligence Johannes Kepler University Linz4040 Austria
Various approaches can be used to solve dynamic optimization problems. For example, on the one hand, optimization algorithms can be restarted every time the problem changes. As this results in a loss of optimization p... 详细信息
来源: 评论
Proceedings of the 19th international conference on on Unity of logic and Computation, CiE 2023
Proceedings of the 19th International Conference on on Unity...
收藏 引用
Proceedings of the 19th international conference on on Unity of logic and Computation, CiE 2023
the proceedings contain 23 papers. the special focus in this conference is on Computability in Europe. the topics include: Elementarily Traceable Irrational Numbers;logic vs Topology on Regular ω -languages;subr...
来源: 评论
19th international conference on Integer programming and Combinatorial Optimization, IPCO 2017
19th International Conference on Integer Programming and Com...
收藏 引用
19th international conference on Integer programming and Combinatorial Optimization, IPCO 2017
the proceedings contain 36 papers. the special focus in this conference is on Integer programming and Combinatorial Optimization. the topics include: On scheduling coflows;integrality gaps of integer knapsack problems...
来源: 评论
Vectorial Genetic programming—Optimizing Segments for Feature Extraction
Vectorial Genetic Programming—Optimizing Segments for Feat...
收藏 引用
19th international conference on Computer Aided Systems theory, EUROCAST 2024
作者: Fleck, Philipp Winkler, Stephan Kommenda, Michael Affenzeller, Michael University of Applied Sciences Upper Austria Softwarepark 11 Hagenberg4232 Austria Institute for Symbolic Artificial Intelligence Johannes Kepler University Altenberger Straße 69 Linz4040 Austria Josef Ressel Center for Symbolic Regression University of Applied Sciences Upper Austria Softwarepark 11 Hagenberg4232 Austria
Vectorial Genetic programming (Vec-GP) extends GP by allowing vectors as input features along regular, scalar features, using them by applying arithmetic operations component-wise or aggregating vectors into scalars b... 详细信息
来源: 评论
Agile Processes in Software Engineering and Extreme programming: 19th international conference, XP 2018, Porto, Portugal, May 2125, 2018, Proceedings
收藏 引用
2018年
作者: Juan Garbajosa Xiaofeng Wang Ademar Aguiar
this open access book constitutes the proceedings of the 19th international conference on Agile Software Development, XP 2018, held in Porto, Portugal, in May 2018. XP is the premier agile software development confere...
来源: 评论
19th international conference on the Integration of Constraint programming, Artificial Intelligence, and Operations Research, CPAIOR 2022
19th International Conference on the Integration of Constrai...
收藏 引用
19th international conference on the Integration of Constraint programming, Artificial Intelligence, and Operations Research, CPAIOR 2022
the proceedings contain 28 papers. the special focus in this conference is on Integration of Constraint programming, Artificial Intelligence, and Operations Research. the topics include: Solving the Extended Job ...
来源: 评论