咨询与建议

限定检索结果

文献类型

  • 108,400 篇 会议
  • 15,727 册 图书
  • 11,121 篇 期刊文献
  • 3 篇 学位论文

馆藏范围

  • 135,109 篇 电子文献
  • 170 种 纸本馆藏

日期分布

学科分类号

  • 107,605 篇 工学
    • 93,057 篇 计算机科学与技术...
    • 66,619 篇 软件工程
    • 23,096 篇 信息与通信工程
    • 12,539 篇 电气工程
    • 8,337 篇 控制科学与工程
    • 8,184 篇 生物工程
    • 8,077 篇 生物医学工程(可授...
    • 6,286 篇 光学工程
    • 4,393 篇 电子科学与技术(可...
    • 3,853 篇 机械工程
    • 3,609 篇 化学工程与技术
    • 2,781 篇 建筑学
    • 2,343 篇 动力工程及工程热...
    • 2,310 篇 土木工程
    • 2,012 篇 安全科学与工程
  • 55,651 篇 理学
    • 41,048 篇 数学
    • 9,539 篇 生物学
    • 8,447 篇 物理学
    • 7,806 篇 统计学(可授理学、...
    • 4,825 篇 系统科学
    • 3,126 篇 化学
  • 22,326 篇 管理学
    • 13,183 篇 图书情报与档案管...
    • 10,141 篇 管理科学与工程(可...
    • 6,929 篇 工商管理
  • 5,722 篇 医学
    • 5,266 篇 临床医学
    • 4,540 篇 基础医学(可授医学...
    • 3,132 篇 药学(可授医学、理...
  • 3,695 篇 法学
    • 3,129 篇 社会学
  • 2,458 篇 教育学
    • 2,416 篇 教育学
  • 2,158 篇 经济学
    • 2,152 篇 应用经济学
  • 1,824 篇 农学
  • 171 篇 军事学
  • 107 篇 文学
  • 74 篇 艺术学
  • 17 篇 哲学
  • 2 篇 历史学

主题

  • 8,057 篇 artificial intel...
  • 4,840 篇 computer communi...
  • 3,516 篇 information syst...
  • 2,779 篇 algorithm analys...
  • 2,432 篇 software enginee...
  • 2,006 篇 image processing...
  • 1,992 篇 user interfaces ...
  • 1,973 篇 semantics
  • 1,939 篇 computers
  • 1,925 篇 information stor...
  • 1,665 篇 computer applica...
  • 1,526 篇 pattern recognit...
  • 1,469 篇 data mining and ...
  • 1,433 篇 computer vision
  • 1,426 篇 software enginee...
  • 1,371 篇 database managem...
  • 1,251 篇 distributed comp...
  • 1,225 篇 theory of comput...
  • 1,216 篇 computer circuit...
  • 1,181 篇 computer systems...

机构

  • 202 篇 university of sc...
  • 152 篇 huazhong univers...
  • 151 篇 department of co...
  • 145 篇 institute of inf...
  • 121 篇 department of co...
  • 120 篇 tsinghua univers...
  • 116 篇 shanghai jiao to...
  • 112 篇 national institu...
  • 96 篇 school of comput...
  • 93 篇 chinese academy ...
  • 85 篇 école des ponts ...
  • 83 篇 department of co...
  • 81 篇 university of el...
  • 73 篇 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
  • 37 篇 jiang xiaoyi
  • 37 篇 li yang
  • 36 篇 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

语言

  • 127,590 篇 英文
  • 5,876 篇 其他
  • 1,495 篇 中文
  • 284 篇 德文
  • 4 篇 法文
  • 1 篇 加泰罗尼亚文
  • 1 篇 俄文
检索条件"任意字段=Lecture Notes in Computer Science"
135251 条 记 录,以下是371-380 订阅
排序:
A Note on the Ontology of Mathematics  1
收藏 引用
10th Indian Conference on Logic and Its Applications, ICLA 2023
作者: Chakraborty, Mihir Kumar School of Cognitive Science Jadavpur University Kolkata700032 India Indraprastha Institute of Information Technology Delhi Delhi110020 India
Provocation behind writing this paper has come from celebrated French philosopher Alain Badiou’s slogan "Mathematics is ontology" and subsequent reading of his book [2]. However, this is not a critique of t... 详细信息
来源: 评论
Influence of Access Points’ Height and High Signal Relation in WLAN Fingerprinting-Based Indoor Positioning Systems’ Accuracy  1
收藏 引用
26th International Conference on Distributed computer and Communication Networks: Control, Computation, Communications, DCCN 2023
作者: Nicholaus, Mrindoko R. Ruambo, Francis A. Masanga, Elijah E. Muthanna, Mohammed Saleh Ali Lashchev, Andrei Computer Science and Engineering Department College of Information and Communication Technology Mbeya University of Science and Technology 131 Mbeya Tanzania United Republic of Information Systems and Technology Department College of Information and Communication Technology Mbeya University of Science and Technology 131 Mbeya Tanzania United Republic of School of Cyber Science and Engineering Huazhong University of Science and Technology Wuhan430074 China Research and Development Department Aifrruis Laboratories Mbeya Tanzania United Republic of Institute of Computer Technologies and Information Security Southern Federal University Taganrog347922 Russia
Wireless Local Area Network (WLAN) Fingerprinting-based Indoor Positioning Systems (IPS) offer several key advantages over other indoor positioning technologies, including cost-effectiveness with high accuracy and pas... 详细信息
来源: 评论
The Influencing Factors of Learning Motivation in the computer-Aided Speaking Course: An Empirical Approach  8th
The Influencing Factors of Learning Motivation in the Comput...
收藏 引用
8th International Conference on Emerging Technologies for Education (SETE)
作者: Lin, Beibei Zhejiang Univ Technol Coll Foreign Languages Hangzhou Peoples R China
With the development of technology, online teaching systems are resorted to in the purpose of improving the teaching efficiency, which is closely related to students' participation in the aiding online systems. Wh... 详细信息
来源: 评论
Stockfish or Leela Chess Zero? A Comparison Against Endgame Tablebases  18th
Stockfish or Leela Chess Zero? A Comparison Against Endgame ...
收藏 引用
18th International Conference on Advances in computer Games (ACG)
作者: Sadmine, Quazi Asif Husna, Asmaul Mueller, Martin Univ Alberta Edmonton AB Canada
The game of chess has long been used as a benchmark for testing human creativity and intelligence. With the advent of powerful chess engines, such as Stockfish and Leela Chess Zero (Lc0), endgame studies have also bec... 详细信息
来源: 评论
ATA: Attentive Text Augmentation for Typo-Robust Language Models  4th
ATA: Attentive Text Augmentation for Typo-Robust Language M...
收藏 引用
4th International Conference on Pattern Recognition and Artificial Intelligence, ICPRAI 2024
作者: Han, Jihye Lee, Sang Keun Department of Computer Science and Engineering Korea University Seoul Korea Republic of Department of Artificial Intelligence Korea University Seoul Korea Republic of
Text data generated by humans in real-world scenarios often contains a substantial amount of noise, including misspellings, typographical errors, and abbreviations. Pre-trained language models (PLMs) often struggle to... 详细信息
来源: 评论
Localized Attractor Computations for Infinite-State Games  36th
Localized Attractor Computations for Infinite-State Games
收藏 引用
36th International Conference on computer-Aided Verification (CAV)
作者: Schmuck, Anne-Kathrin Heim, Philippe Dimitrova, Rayna Nayak, Satya Prakash Max Planck Inst Software Syst MPI SWS Kaiserslautern Germany CISPA Helmholtz Ctr Informat Secur Saarbrucken Germany
Infinite-state games are a commonly used model for the synthesis of reactive systems with unbounded data domains. Symbolic methods for solving such games need to be able to construct intricate arguments to establish t... 详细信息
来源: 评论
Redesigns in Enterprise Resource Planning Modules Using User-Centered Design Methods: A Systematic Literature Review  1
收藏 引用
13th International Conference on Design, User Experience and Usability (DUXU)
作者: Cruzalegui, Fatima Cueva, Rony Paz, Freddy Pontificia Univ Catolica Peru Lima 15088 Peru
Nowadays, usability is a fairly important attribute within all types of systems. However, there is a type of system in which the lack of this stands out. These types of systems are ERP systems. Taking this into accoun... 详细信息
来源: 评论
Outlier Detection for Visual Odometry in Vegetated Scenes Using Local Flow Consistency  1
收藏 引用
37th International Conference on Image and Vision Computing New Zealand, IVCNZ 2022
作者: Schofield, Sam Bainbridge-Smith, Andrew Green, Richard Computer Science and Software Engineering University of Canterbury Christchurch New Zealand
We present a novel outlier detector for visual odometry algorithms operating in dynamic vegetated environments. The outlier detector utilises the difference in optical flow patterns caused by camera motion and plants ... 详细信息
来源: 评论
A Bayesian Optimization Algorithm for Constrained Simulation Optimization Problems with Heteroscedastic Noise  1
收藏 引用
17th International Conference on Learning and Intelligent Optimization, LION-17 2023
作者: Amini, Sasan Van Nieuwenhuyse, Inneke Flanders Make@UHasselt Data Science Institute Hasselt University Hasselt Belgium
In this research, we develop a Bayesian optimization algorithm to solve expensive, constrained problems. We consider the presence of heteroscedastic noise in the evaluations and thus propose a new acquisition function... 详细信息
来源: 评论
Framework for a Project Methodology in Design - Interactions in Speculation and Fictional Futures  13th
Framework for a Project Methodology in Design - Interactions...
收藏 引用
13th International Conference on Design, User Experience and Usability (DUXU)
作者: Leonor, Susana Palma, David ISMAT Rua Dr Estevao de Vasconcelos 33 P-8500656 Portimao Portugal FAUL Rua Sa Nogueira P-1349063 Lisbon Portugal
Exploring concepts such as speculation, fiction, and critical design in disciplines where creativity overcomes is an approach to identifying potential development, innovation, and future possibilities in contemporary ... 详细信息
来源: 评论