咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是141-150 订阅
排序:
IEEE Joint 22nd international Symposium on Computational Intelligence and Informatics and 8th international conference on Recent Achievements in Mechatronics, Automation, Computer Science and Robotics, CINTI-MACRo 2022 - Proceedings
IEEE Joint 22nd International Symposium on Computational Int...
收藏 引用
Joint 22nd IEEE international Symposium on Computational Intelligence and Informatics and 8th IEEE international conference on Recent Achievements in Mechatronics, Automation, Computer Science and Robotics, CINTI-MACRo 2022
The proceedings contain 64 papers. The topics discussed include: noise-based logic versus quantum supremacy;modeling cerebro-vascular autoregulation after postural change perturbations;a review on emotion based harmfu...
来源: 评论
On Optimal QUBO Encoding of Boolean logic, (Max-)3-SAT and (Max-)k-SAT with Integer programming  7
On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (...
收藏 引用
7th international conference on Algorithms, Computing and Systems, ICACS 2023
作者: Morse, Gregory Kozsik, Tamás ELTE Eötvös Loránd University Budapest Hungary
We present an asymptotic improvement in the number of variables (n + m⌊log2(k − 1)⌋) required for state-of-the-art formulation of (max-)k-SAT problems when encoded as a quadratic unconstrained binary optimization (QUB... 详细信息
来源: 评论
Gate modulation effect in nano-scale epitaxial aluminum films on sapphire substrate grown by molecular beam epitaxy  22
Gate modulation effect in nano-scale epitaxial aluminum film...
收藏 引用
IEEE 22nd international conference on Nanotechnology (NANO)
作者: Gao, Yu-Yao Wu, Jenq-Shinn Liu, Cheng-Cheng Su, Kuan-Jung Wu, Pei-Tzu Lo, Shun-Tsung Wu, Chu-Chun Do, Thi Hien Lin, Sheng-Di Natl Yang Ming Chiao Tung Univ Inst Elect 1001 Univ Rd Hsinchu 30010 Taiwan Natl Changhwa Univ Educ Dept Elect Engn Changhua Taiwan Natl Yang Ming Chiao Tung Univ Dept Elect Phys Hsinchu Taiwan
Electrical gating for modulating a wide variety of physical properties has enormous applications in semiconductor industry. The strong screening effect in metallic materials, in contrast, hinders them from being affec... 详细信息
来源: 评论
Aspects of Ranking Algorithms in Multi-Criteria Decision Support Systems  22
Aspects of Ranking Algorithms in Multi-Criteria Decision Sup...
收藏 引用
22nd international conference on New Trends in Intelligent Software Methodologies, Tools and Techniques, SoMeT 2023
作者: Lakmayer, Sebastian Danielson, Mats Ekenberg, Love Dept. of Computer and Systems Sciences Stockholm University PO Box 7003 KistaSE-164 07 Sweden International Institute for Applied Systems Analysis IIASA Schlossplatz 1 LaxenburgAT-2361 Austria
There are well-known issues in eliciting probabilities, utilities, and criteria weights in real-life decision analysis. In this paper, we examine automatic multi-criteria weight-generating algorithms which are seen as... 详细信息
来源: 评论
Integer Models for the Total Weighted Tardiness Problem on a Single Machine  22nd
Integer Models for the Total Weighted Tardiness Problem on...
收藏 引用
22nd international conference on Mathematical Optimization Theory and Operations Research , MOTOR 2023
作者: Simanchev, R. Yu. Urazova, I.V. Omsk State University Omsk Russia Omsk Scientific Center of SB RAS Omsk Russia
The paper deals with the following scheduling problem. Jobs are served by a single machine. Each job is characterized by a positive weight, a release date, a due date. Servicing times are the same for all jobs. Preemp... 详细信息
来源: 评论
22nd international conference on Artificial Intelligence and Soft Computing, ICAISC 2023
22nd International Conference on Artificial Intelligence and...
收藏 引用
22nd international conference on Artificial Intelligence and Soft Computing, ICAISC 2023
The proceedings contain 48 papers. The special focus in this conference is on international conference on Artificial Intelligence and Soft Computing. The topics include: Transfer of Knowledge Among Instruments in...
来源: 评论
22nd international conference on Artificial Intelligence and Soft Computing, ICAISC 2023
22nd International Conference on Artificial Intelligence and...
收藏 引用
22nd international conference on Artificial Intelligence and Soft Computing, ICAISC 2023
The proceedings contain 48 papers. The special focus in this conference is on international conference on Artificial Intelligence and Soft Computing. The topics include: Transfer of Knowledge Among Instruments in...
来源: 评论
Kids can code-An interdisciplinary approach to programming for pre-service teachers  22
Kids can code-An interdisciplinary approach to programming f...
收藏 引用
22nd Koli Calling international conference on Computing Education Research, Koli Calling 2022
作者: Dittert, Nadine Diethelm, Ira University of Potsdam Potsdam Germany University of Oldenburg Oldenburg Germany
In this paper we present an approach on how to design teaching practices for pre-service teachers that allow for learning, experimenting, reflecting, and designing own future lessons that include programming in divers... 详细信息
来源: 评论
Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs
Exploring LLM Support for Generating IEC 61131-3 Graphic Lan...
收藏 引用
IEEE international conference on Industrial Informatics (IndIN)
作者: Yimin Zhang Mario de Sousa CISTER / Faculty of Engineering University of Porto Porto Portugal Faculty of Engineering University of Porto Porto Portugal
The capabilities demonstrated by Large Language Models (LLMs) inspire researchers to integrate them into industrial production and automation. In the field of Programmable logic Controller (PLC) programming, previous ... 详细信息
来源: 评论
IndIN24-000103
INDIN24-000103
收藏 引用
IEEE international conference on Industrial Informatics (IndIN)
来源: 评论