咨询与建议

限定检索结果

文献类型

  • 108,393 篇 会议
  • 15,710 册 图书
  • 11,132 篇 期刊文献
  • 5 篇 学位论文

馆藏范围

  • 135,098 篇 电子文献
  • 172 种 纸本馆藏

日期分布

学科分类号

  • 107,593 篇 工学
    • 93,034 篇 计算机科学与技术...
    • 66,621 篇 软件工程
    • 23,080 篇 信息与通信工程
    • 12,523 篇 电气工程
    • 8,335 篇 控制科学与工程
    • 8,186 篇 生物工程
    • 8,080 篇 生物医学工程(可授...
    • 6,298 篇 光学工程
    • 4,395 篇 电子科学与技术(可...
    • 3,849 篇 机械工程
    • 3,613 篇 化学工程与技术
    • 2,782 篇 建筑学
    • 2,344 篇 动力工程及工程热...
    • 2,310 篇 土木工程
    • 2,013 篇 安全科学与工程
  • 55,645 篇 理学
    • 41,034 篇 数学
    • 9,541 篇 生物学
    • 8,451 篇 物理学
    • 7,807 篇 统计学(可授理学、...
    • 4,824 篇 系统科学
    • 3,129 篇 化学
  • 22,327 篇 管理学
    • 13,183 篇 图书情报与档案管...
    • 10,142 篇 管理科学与工程(可...
    • 6,928 篇 工商管理
  • 5,726 篇 医学
    • 5,270 篇 临床医学
    • 4,545 篇 基础医学(可授医学...
    • 3,132 篇 药学(可授医学、理...
  • 3,692 篇 法学
    • 3,126 篇 社会学
  • 2,462 篇 教育学
    • 2,420 篇 教育学
  • 2,158 篇 经济学
    • 2,152 篇 应用经济学
  • 1,824 篇 农学
  • 171 篇 军事学
  • 107 篇 文学
  • 74 篇 艺术学
  • 17 篇 哲学
  • 2 篇 历史学

主题

  • 8,048 篇 artificial intel...
  • 4,831 篇 computer communi...
  • 3,512 篇 information syst...
  • 2,777 篇 algorithm analys...
  • 2,431 篇 software enginee...
  • 2,003 篇 image processing...
  • 1,991 篇 user interfaces ...
  • 1,974 篇 semantics
  • 1,939 篇 computers
  • 1,917 篇 information stor...
  • 1,657 篇 computer applica...
  • 1,524 篇 pattern recognit...
  • 1,468 篇 data mining and ...
  • 1,432 篇 computer vision
  • 1,424 篇 software enginee...
  • 1,375 篇 database managem...
  • 1,251 篇 distributed comp...
  • 1,227 篇 theory of comput...
  • 1,216 篇 computer circuit...
  • 1,180 篇 computer systems...

机构

  • 202 篇 university of sc...
  • 152 篇 huazhong univers...
  • 151 篇 department of co...
  • 145 篇 institute of inf...
  • 121 篇 department of co...
  • 121 篇 tsinghua univers...
  • 116 篇 shanghai jiao to...
  • 112 篇 national institu...
  • 96 篇 school of comput...
  • 91 篇 chinese academy ...
  • 85 篇 école des ponts ...
  • 83 篇 department of co...
  • 81 篇 university of el...
  • 74 篇 karnataka bangal...
  • 72 篇 department of co...
  • 71 篇 college of compu...
  • 68 篇 school of comput...
  • 67 篇 university of ch...
  • 63 篇 school of comput...
  • 63 篇 college of compu...

作者

  • 73 篇 vardi moshe y.
  • 70 篇 wang lei
  • 60 篇 zhang lei
  • 59 篇 pnueli amir
  • 47 篇 hancock edwin r.
  • 41 篇 huang yueh-min
  • 40 篇 li xin
  • 40 篇 marina l. gavril...
  • 38 篇 man ka lok
  • 38 篇 li yang
  • 37 篇 jiang xiaoyi
  • 37 篇 stuckey peter j.
  • 35 篇 zhang tao
  • 34 篇 yu yong
  • 34 篇 liu bo
  • 33 篇 panayiotis zaphi...
  • 33 篇 jianying zhou
  • 32 篇 peleg david
  • 31 篇 hsu tsan-sheng
  • 31 篇 lee dong chun

语言

  • 130,663 篇 英文
  • 2,755 篇 其他
  • 1,490 篇 中文
  • 326 篇 德文
  • 4 篇 法文
  • 1 篇 加泰罗尼亚文
  • 1 篇 俄文
检索条件"任意字段=Lecture Notes in Computer Science"
135240 条 记 录,以下是4781-4790 订阅
排序:
Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case Study  31st
Eliciting Explainability Requirements for Safety-Critical S...
收藏 引用
31st International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2025
作者: Taylor, Hazel M Luckcuck, Matt Farrell, Marie Jay, Caroline Cangelosi, Angelo Dennis, Louise A. Department of Computer Science University of Manchester Manchester United Kingdom School of Computer Science University of Nottingham Nottingham United Kingdom
[Context & Motivation] Explainable autonomous systems are increasingly essential for engendering trust, especially when they are deployed in safety-critical scenarios. [Question/Problem] Despite the robust reliabi... 详细信息
来源: 评论
RMGCN: Masked Graph Convolutional Networks for Relation-Aware Entity Alignment with Dangling Cases  12th
RMGCN: Masked Graph Convolutional Networks for Relation-Awa...
收藏 引用
12th National CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2023
作者: Liu, Xinyu Zhou, Feng Li, X.Y. Key Laboratory of Intelligent Telecommunications Software and Multimedia Beijing China School of Computer Science Beijing University of Posts and Telecommunications Beijing China School of Cyberspace Security Beijing University of Posts and Telecommunications Beijing China
Entity alignment (EA) is to match entities referring to identical real-world facts among different knowledge graphs (KGs). For simplicity, most previous work ignores the existence of dangling entities in the source KG... 详细信息
来源: 评论
A Proposal for a Computational Framework Architecture and Design for Massive Virtual World Generation and Simulation  1st
A Proposal for a Computational Framework Architecture and De...
收藏 引用
1st International Conference on Extended Reality (XR Salento)
作者: Erics, Zintis Cirulis, Arnis Vidzeme Univ Appl Sci Fac Engn Valmiera Latvia
In recent decades, computer games have become a pervasive form of entertainment leading to dramatic growth in complexity and scale in terms of content and employed technologies. However, several flaws in design method... 详细信息
来源: 评论
lecture notes in computer science (including subseries lecture notes in Artificial Intelligence and lecture notes in Bioinformatics): Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
lecture notes in computer science (including subseries lecture notes in Artificial Intelligence and lecture notes in Bioinformatics) 2014年 8507 LNCS卷 V-VI页
作者: Minato, Shin-Ichi Yamashita, Shigeru Hokkaido University Graduate School of Information Science and Technology North 14 West 9 Sapporo 060-0814 Japan Ritsumeikan University College of Information Science and Engineering 1-1-1 Noji Higashi Kusatsu Shiga 525-8577 Japan
来源: 评论
Towards Ethical Agency in the Smart Home "Living Place" : On the Conception and Development of Ethical Smart Home Systems by Elective Projects within computer science Education
Towards Ethical Agency in the Smart Home "Living Place" : On...
收藏 引用
2024 Lock-in or log out? Wie digitale Souveranitat gelingt, INFORMATIK 2024
作者: Draheim, Susanne Sudeikat, Jan Hamburg University of Applied Sciences Department Computer Science Berliner Tor 7 Hamburg20099 Germany
Smart Home applications exert immediate influence on inhabitants. While the widespread availability of supporting frameworks and technologies facilitates ad hoc application development, assessing and designing the imp... 详细信息
来源: 评论
The Second-Person Standpoint and Moral Machine  1
收藏 引用
19th International Conference on Services Computing, SCC 2022, held as part of the Services Conference Federation, SCF 2022
作者: Ma, Hanlin Suzhou University of Science and Technology Suzhou China
Given the need for Human-Machine moral Interaction, an AI system that focuses on moral theory involving intersubjectivity is worthy of attention. We will build a network knowledge representation framework based on the... 详细信息
来源: 评论
Multilingual and Cross Lingual Audio Emotion Analysis Using RNN  1
收藏 引用
International Conference on Advances in IoT, Security with AI, ICAISA 2023
作者: Bhattacharya, Sudipta Mishra, Brojo Kishore Borah, Samarjeet Department of Computer Science and Engineering GIET University Gunupur India Department of Computer Applications Sikkim Manipal Institute of Technology Sikkim Manipal University Sikkim Gangtok India
Speech and language are necessary for a person’s development of their emotional and social skills. Reading, writing, and verbal apprehensions are vital components of the overall learning process, and hence, instructi... 详细信息
来源: 评论
An Automata Theoretic Characterization of Weighted First-Order Logic  21st
An Automata Theoretic Characterization of Weighted First-Or...
收藏 引用
21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023
作者: Nevatia, Dhruv Monmege, Benjamin ETH Zurich Zurich Switzerland Aix Marseille Univ LIS CNRS Marseille France
Since the 1970s with the work of McNaughton, Papert and Schützenberger [21, 23], a regular language is known to be definable in the first-order logic if and only if its syntactic monoid is aperiodic. This algebra... 详细信息
来源: 评论
Predicting Alzheimer’s Disease: A Stroke-Based Handwriting Analysis Approach Based on Machine Learning  26th
Predicting Alzheimer’s Disease: A Stroke-Based Handwriting ...
收藏 引用
26th International Conference on Pattern Recognition, ICPR 2022
作者: Cilia, Nicole Dalia D’Alessandro, Tiziana De Stefano, Claudio Fontanella, Francesco Nardone, Emanuele Department of Computer Engineering University of Enna "Kore" Cittadella Universitaria Enna Italy University of Cassino and Southern Lazio Via G. Di Biasio 43 FR Cassino03043 Italy Institute for Computing and Information Sciences Radboud University Toernooiveld 212 EC Nijmegen6525 Netherlands
Alzheimer’s disease (AD) causes most of dementia cases. Although currently there is no cure for this disease, predicting the cognitive decline of people at the first stage of the disease allows clinicians to alleviat... 详细信息
来源: 评论
Visual Foreign Object Detection for Wireless Charging of Electric Vehicles  18th
Visual Foreign Object Detection for Wireless Charging of Ele...
收藏 引用
18th International Symposium on Visual Computing (ISVC)
作者: Nejad, Bijan Shahbaz Roch, Peter Handte, Marcus Marron, Pedro Jose Univ Duisburg Essen Essen Germany
Wireless charging of electric vehicles can be achieved by installing a transmitter coil into the ground and a receiver coil at the underbody of a vehicle. In order to charge efficiently, accurate alignment of the char... 详细信息
来源: 评论