咨询与建议

限定检索结果

文献类型

  • 2,053 篇 会议
  • 51 册 图书
  • 46 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

  • 172 篇 logic gates
  • 137 篇 fuzzy logic
  • 129 篇 programming
  • 118 篇 linear programmi...
  • 94 篇 logic programmin...
  • 65 篇 probabilistic lo...
  • 59 篇 dynamic programm...
  • 57 篇 optimization
  • 52 篇 semantics
  • 50 篇 training
  • 49 篇 computer science
  • 48 篇 logic
  • 44 篇 object oriented ...
  • 42 篇 computer archite...
  • 41 篇 computational mo...
  • 38 篇 hardware
  • 38 篇 artificial intel...
  • 37 篇 java
  • 36 篇 computer program...
  • 35 篇 software

机构

  • 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 co...
  • 3 篇 department of el...
  • 3 篇 rhein westfal th...
  • 3 篇 school of comput...
  • 3 篇 univ tokyo
  • 3 篇 school of mathem...

作者

  • 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,101 篇 英文
  • 35 篇 其他
  • 15 篇 中文
  • 2 篇 葡萄牙文
  • 1 篇 西班牙文
  • 1 篇 法文
检索条件"任意字段=22nd International Conference on Logic Programming"
2150 条 记 录,以下是571-580 订阅
排序:
14th international conference on Universal Access in Human-Computer Interaction, UAHCI 2020, held as part of the 22nd international conference on Human-Computer Interaction, HCII 2020
14th International Conference on Universal Access in Human-C...
收藏 引用
14th international conference on Universal Access in Human-Computer Interaction, UAHCI 2020, held as part of the 22nd international conference on Human-Computer Interaction, HCII 2020
The proceedings contain 80 papers. The special focus in this conference is on Universal Access in Human-Computer Interaction. The topics include: Effect of background element difference on regional cerebral blood flow...
来源: 评论
22nd international conference on Network-Based Information Systems, NBiS 2019
22nd International Conference on Network-Based Information S...
收藏 引用
22nd international conference on Network-Based Information Systems, NBiS 2019
The proceedings contain 73 papers. The special focus in this conference is on Network-Based Information Systems. The topics include: Application of perceptual features for user authentication in distributed systems;us...
来源: 评论
Linear formulation for the design of elastic optical networks with squeezing protection and shared risk link group: Invited Paper  22
Linear formulation for the design of elastic optical network...
收藏 引用
22nd international conference on Transparent Optical Networks, ICTON 2020
作者: Assis, K.D.R. Almeida, Jr. Waldman, H. Reed, M.J. Jaumard, B. Simeonidou, D. Universidade Federal da Bahia UFBA Electrical Engineering Department Brazil Universidade Federal de Pernambuco UFPE Electronic Engineering Department Brazil Universidade Estadual de Campinas UNICAMP Communications Department Brazil School of Computer Science and Electronic Engineering University of Essex United Kingdom Concordia University Computer Science and Software Engineering Department CA United States High Performance Networks Group and Smart Internet Lab University of Bristol United Kingdom
Survivability is an important component in the requirements in elastic optical networks (EONs). We examine here the significance of network survivability design against multiple-link failures under dedicated protectio... 详细信息
来源: 评论
Towards model-based Generation and Optimization of AUTOSAR Runnable-to-Task Mapping  22
Towards model-based Generation and Optimization of AUTOSAR R...
收藏 引用
ACM/IEEE 22nd international conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
作者: Wilhelm, Thomas Weber, Raphael Vector Informat GmbH D-93053 Regensburg Germany
In this paper we present work towards automating two process steps supporting the optimization of the runnable-to-task mapping in automotive multi-core control units. We describe these steps in close relation to the A... 详细信息
来源: 评论
Meta-Analysis of Children’s Learning Outcomes in Block-Based programming Courses  22nd
Meta-Analysis of Children’s Learning Outcomes in Block-Base...
收藏 引用
22nd international conference on Human-Computer Interaction, HCI international 2020
作者: Chiu, Jen-I Tsuei, Mengping Graduate School of Curriculum and Instructional Communication Technology National Taipei University of Education Taipei Taiwan
In the last two decades, the importance of research on block-based programming education has grown. The use of block-based programming tools is receiving attention not only in computer science courses, but also in rob... 详细信息
来源: 评论
PLANTY GO: A Smart Planter System to Relieve Stress and Anxiety of Urban Youngsters  9th
PLANTY GO: A Smart Planter System to Relieve Stress and Anxi...
收藏 引用
9th international conference on Design, User Experience, and Usability, DUXU 2020, held as part of the 22nd international conference on Human-Computer Interaction, HCII 2020
作者: Huang, Weilun Qian, Zhenyu Cheryl Sohn, Jung Joo Ju, Yunran Purdue University West LafayetteIN47906 United States
This paper introduces an application design named Planty Go which encourages young people to exchange their planting harvests in big cities to relieve anxiety. To achieve this target Planty Go offer youngsters a place... 详细信息
来源: 评论
Validating industrial requirements with a contract-based approach  19
Validating industrial requirements with a contract-based app...
收藏 引用
Proceedings of the 22nd international conference on Model Driven Engineering Languages and Systems
作者: Matthias Bernaerts Bentley James Oakes Ken Vanherpen Bjorn Aelvoet Hans Vangheluwe Joachim Denil University of Antwerp and Flanders Make Belgium Dana Belgium NV Belgium
This paper presents our contract-based design technique for formalizing requirements during the design phase of a complicated and safety-critical automotive component. In our approach, contracts are created using prop... 详细信息
来源: 评论
A COVID-19 conference at AIDS 2020: Virtual
收藏 引用
LANCET 2020年 第10237期395卷 1598-1599页
作者: Pozniak, Anton Bekker, Linda-Gail Kamarulzaman, Adeeba Gandhi, Monica Horton, Richard Das, Pamela Beyrer, Chris Chelsea & Westminster Hosp London England Int AIDS Soc Geneva Switzerland Univ Cape Town Desmond Tutu HIV Res Fdn Cape Town South Africa Univ Malaya Kuala Lumpur Malaysia Univ Calif San Francisco Dept Med San Francisco CA 94143 USA The Lancet London England Johns Hopkins Bloomberg Sch Publ Hlth Ctr Publ Hlth & Human Rights Baltimore MD 21205 USA
In 2018, at the 22nd international AIDS conference (AIDS 2018), the international AIDS Society (IAS)–Lancet Commission “Advancing global health and strengthening the HIV response in the era of the Sustainable Develo...
来源: 评论
Using emoji as image resources in educational programming tools  22nd
Using emoji as image resources in educational programming to...
收藏 引用
22nd international conference on Human-Computer Interaction, HCII 2020
作者: Suzuki, Ryo Choh, Ikuro Waseda University Lambdax Bldg 3F 2-4-12 Okubo Shinjuku Tokyo169-0072 Japan
In this paper, we describe techniques and considerations for using emoji effectively in educational programming tools. Introducing emoji gives users access to more than 3,000 different image assets for game and other ... 详细信息
来源: 评论
Thematic Area on Human Computer Interaction, HCI 2020, held as part of the 22nd international conference on Human-Computer Interaction, HCII 2020
Thematic Area on Human Computer Interaction, HCI 2020, held ...
收藏 引用
Thematic Area on Human Computer Interaction, HCI 2020, held as part of the 22nd international conference on Human-Computer Interaction, HCII 2020
The proceedings contain 145 papers. The special focus in this conference is on Human Computer Interaction. The topics include: Enhancing Drone Pilots’ Engagement Through a Brain-Computer Interface;human-Drone Interac...
来源: 评论