咨询与建议

限定检索结果

文献类型

  • 2,042 篇 会议
  • 51 册 图书
  • 45 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,271 篇 工学
    • 1,024 篇 计算机科学与技术...
    • 582 篇 软件工程
    • 251 篇 电气工程
    • 157 篇 控制科学与工程
    • 68 篇 信息与通信工程
    • 50 篇 机械工程
    • 42 篇 材料科学与工程(可...
    • 36 篇 电子科学与技术(可...
    • 18 篇 安全科学与工程
    • 15 篇 交通运输工程
    • 12 篇 仪器科学与技术
    • 12 篇 土木工程
    • 12 篇 化学工程与技术
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 冶金工程
    • 10 篇 动力工程及工程热...
    • 10 篇 建筑学
  • 294 篇 理学
    • 226 篇 数学
    • 39 篇 统计学(可授理学、...
    • 38 篇 物理学
    • 34 篇 系统科学
    • 22 篇 生物学
    • 16 篇 化学
  • 119 篇 管理学
    • 84 篇 管理科学与工程(可...
    • 37 篇 工商管理
    • 32 篇 图书情报与档案管...
  • 47 篇 教育学
    • 46 篇 教育学
  • 25 篇 医学
    • 24 篇 临床医学
  • 10 篇 法学
    • 10 篇 社会学
  • 9 篇 经济学
  • 5 篇 农学
  • 4 篇 文学

主题

  • 172 篇 logic gates
  • 137 篇 fuzzy logic
  • 123 篇 programming
  • 118 篇 linear programmi...
  • 94 篇 logic programmin...
  • 64 篇 probabilistic lo...
  • 59 篇 dynamic programm...
  • 57 篇 optimization
  • 50 篇 semantics
  • 49 篇 computer science
  • 49 篇 training
  • 46 篇 logic
  • 44 篇 object oriented ...
  • 42 篇 computer archite...
  • 40 篇 computational mo...
  • 38 篇 hardware
  • 38 篇 artificial intel...
  • 37 篇 java
  • 35 篇 computer program...
  • 34 篇 integer programm...

机构

  • 6 篇 laboratory of co...
  • 5 篇 stevens inst tec...
  • 5 篇 institute of log...
  • 5 篇 university of to...
  • 5 篇 institute for lo...
  • 5 篇 chinese univ hon...
  • 4 篇 univ oxford oxfo...
  • 4 篇 school of electr...
  • 4 篇 ibm corp thomas ...
  • 3 篇 north carolina s...
  • 3 篇 creighton univ o...
  • 3 篇 univ politecn ca...
  • 3 篇 ecole polytech f...
  • 3 篇 tu wien austria
  • 3 篇 department of el...
  • 3 篇 rhein westfal th...
  • 3 篇 school of comput...
  • 3 篇 univ tokyo
  • 3 篇 school of mathem...
  • 3 篇 lancaster univer...

作者

  • 7 篇 inoue katsumi
  • 5 篇 sakama chiaki
  • 5 篇 gupta gopal
  • 4 篇 wang liang
  • 4 篇 iosif radu
  • 4 篇 pontelli enrico
  • 4 篇 liang wang
  • 4 篇 tompits hans
  • 4 篇 beck j. christop...
  • 3 篇 kumar amruth n.
  • 3 篇 chopra amit k.
  • 3 篇 proietti maurizi...
  • 3 篇 il han park
  • 3 篇 m.-r. akbarzadeh...
  • 3 篇 wei li
  • 3 篇 riguzzi fabrizio
  • 3 篇 schaub torsten
  • 3 篇 melin p
  • 3 篇 leonidas deligia...
  • 3 篇 mcdirmid sean

语言

  • 2,099 篇 英文
  • 25 篇 其他
  • 15 篇 中文
  • 2 篇 葡萄牙文
  • 1 篇 西班牙文
  • 1 篇 法文
检索条件"任意字段=22nd International Conference on Logic Programming"
2138 条 记 录,以下是151-160 订阅
排序:
Integrated Control of Yaw and Roll Stability for Autonomous Vehicles Using Interval Type-2 Fuzzy logic  22
Integrated Control of Yaw and Roll Stability for Autonomous ...
收藏 引用
22nd IEEE international conference on Industrial Informatics, IndIN 2024
作者: Ning, Yigao Zhao, Xuan Ning, Jianyi Liu, Rui Wang, Yanru The School of Automobile Chang’an University Xi’an710018 China The China Academy of Transportation Sciences Beijing100029 China
An integrated control framework for the yaw and roll stability of autonomous vehicles based on interval type-2 fuzzy logic (IT2 FL) is presented in this research. Firstly, to describe the lateral, yaw and roll motion ... 详细信息
来源: 评论
A Mixed-Integer Charging Schedule for Electric Vehicles with Request-Dependent Pricing
A Mixed-Integer Charging Schedule for Electric Vehicles with...
收藏 引用
2024 IEEE international conference on Electrical Systems for Aircraft, Railway, Ship Propulsion and Road Vehicles and international Transportation Electrification conference, ESARS-ITEC 2024
作者: Ghavami, Mahsa Liuzza, Davide Mostacciuolo, Elisa Iannelli, Luigi Vasca, Francesco Politecnico di Bari Dept. of El. and Inf. Engineering Bari Italy University of Sannio Dept. of Engineering Benevento Italy
A pricing mechanism for the charging schedule problem of Electric Vehicles (EVs) that takes into account the requests of EVs is proposed. Conventional price schemes adopted in the literature are typically affected by ... 详细信息
来源: 评论
22nd international conference on Mathematical Optimization Theory and Operations Research, MOTOR 2023
22nd International Conference on Mathematical Optimization T...
收藏 引用
22nd international conference on Mathematical Optimization Theory and Operations Research, MOTOR 2023
The proceedings contain 29 papers. The special focus in this conference is on Mathematical Optimization Theory and Operations Research. The topics include: On the Resource Allocation Problem to Increase Reli...
来源: 评论
Towards an Effective Tool Wear Monitoring System with an AI Model Management Platform  22
Towards an Effective Tool Wear Monitoring System with an AI ...
收藏 引用
22nd IEEE international conference on Industrial Informatics, IndIN 2024
作者: Chen, Jian Wen Tsai, Meng Shiun Hung, Che Lun Department of Computer Science National Tsing Hua University Hsinchu Taiwan Department of Mechanical Engineering National Taiwan University Taipei Taiwan Institute of Biomedical Informatics National Yang Ming Chiao Tung University Taipei Taiwan
Automated monitoring of tool wear is crucial for maintaining product quality. Furthermore, implementing AI techniques for real-time tool monitoring involves not only developing models but also managing their versions,... 详细信息
来源: 评论
Polaris for the Lost in Quantitative Investment  22
Polaris for the Lost in Quantitative Investment
收藏 引用
22nd IEEE/ACIS international conference on Computer and Information Science, ICIS 2022
作者: Shao, Jiahong Yu, Qijia Communication University of China China North China University of Technology China
Along with the development of the times, bitcoin and gold obtained more and more people's hot pursuit. However, the frequent price changes, especially for the rapid price changes of bitcoin, cause great suffering ... 详细信息
来源: 评论
IndIN24-000084
INDIN24-000084
收藏 引用
IEEE international conference on Industrial Informatics (IndIN)
来源: 评论
IndIN24-000143
INDIN24-000143
收藏 引用
IEEE international conference on Industrial Informatics (IndIN)
来源: 评论
Fuzzy logic Visual Network (FLVN): A Neuro-Symbolic Approach for Visual Features Matching  22nd
Fuzzy Logic Visual Network (FLVN): A Neuro-Symbolic Approach...
收藏 引用
22nd international conference on Image Analysis and Processing (ICIAP)
作者: Manigrasso, Francesco Morra, Lia Lamberti, Fabrizio Politecn Torino Dipartimento Automat & Informat Turin Italy
Neuro-symbolic integration aims at harnessing the power of symbolic knowledge representation combined with the learning capabilities of deep neural networks. In particular, logic Tensor Networks (LTNs) allowto incorpo... 详细信息
来源: 评论
Playing to Learn, or to Keep Secret: Alternating-Time logic Meets Information Theory  22
Playing to Learn, or to Keep Secret: Alternating-Time Logic ...
收藏 引用
22nd international conference on Autonomous Agents and Multiagent Systems, AAMAS 2023
作者: Tabatabaei, Masoud Jamroga, Wojciech Interdisciplinary Centre for Security and Trust SnT University of Luxembourg Luxembourg Institute of Computer Science Polish Academy of Sciences Poland SnT University of Luxembourg Luxembourg
Many important properties of multi-agent systems refer to the participants' ability to achieve a given goal, or to prevent the system from an undesirable event. Among intelligent agents, the goals are often of epi... 详细信息
来源: 评论
IndIN24-000118
INDIN24-000118
收藏 引用
IEEE international conference on Industrial Informatics (IndIN)
来源: 评论