咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 107,595 篇 工学
    • 93,050 篇 计算机科学与技术...
    • 66,618 篇 软件工程
    • 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,648 篇 理学
    • 41,046 篇 数学
    • 9,539 篇 生物学
    • 8,447 篇 物理学
    • 7,806 篇 统计学(可授理学、...
    • 4,825 篇 系统科学
    • 3,126 篇 化学
  • 22,324 篇 管理学
    • 13,183 篇 图书情报与档案管...
    • 10,139 篇 管理科学与工程(可...
    • 6,929 篇 工商管理
  • 5,722 篇 医学
    • 5,266 篇 临床医学
    • 4,540 篇 基础医学(可授医学...
    • 3,132 篇 药学(可授医学、理...
  • 3,695 篇 法学
    • 3,129 篇 社会学
  • 2,457 篇 教育学
    • 2,415 篇 教育学
  • 2,158 篇 经济学
    • 2,152 篇 应用经济学
  • 1,824 篇 农学
  • 171 篇 军事学
  • 106 篇 文学
  • 74 篇 艺术学
  • 17 篇 哲学
  • 2 篇 历史学

主题

  • 8,037 篇 artificial intel...
  • 4,826 篇 computer communi...
  • 3,509 篇 information syst...
  • 2,774 篇 algorithm analys...
  • 2,427 篇 software enginee...
  • 2,002 篇 image processing...
  • 1,984 篇 user interfaces ...
  • 1,975 篇 semantics
  • 1,947 篇 computers
  • 1,915 篇 information stor...
  • 1,656 篇 computer applica...
  • 1,524 篇 pattern recognit...
  • 1,466 篇 data mining and ...
  • 1,442 篇 computer vision
  • 1,422 篇 software enginee...
  • 1,369 篇 database managem...
  • 1,246 篇 distributed comp...
  • 1,227 篇 computer circuit...
  • 1,224 篇 theory of comput...
  • 1,182 篇 computer systems...

机构

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

作者

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

语言

  • 127,567 篇 英文
  • 5,876 篇 其他
  • 1,486 篇 中文
  • 284 篇 德文
  • 4 篇 法文
  • 1 篇 加泰罗尼亚文
  • 1 篇 俄文
检索条件"任意字段=Lecture Notes in Computer Science"
135219 条 记 录,以下是1331-1340 订阅
排序:
Boosting Similar Compounds Searches via Correlated Subgraph Analysis  1
收藏 引用
25th International Conference on Information Integration and Web Intelligence, iiWAS 2023
作者: Naoi, Yuma Shiokawa, Hiroaki Department of Computer Science University of Tsukuba Tsukuba Japan Center for Computational Sciences University of Tsukuba Tsukuba Japan
Graph similarity search (GSS) models chemical compounds as a graph database. GSS is an essential tool for drug discovery because they can find similar graphs (compounds) for a query. Existing GSS methods have two crit... 详细信息
来源: 评论
A Real-Time Support with Haptic Feedback for Safer Driving Using Monocular Camera  23rd
A Real-Time Support with Haptic Feedback for Safer Driving...
收藏 引用
23rd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024
作者: De Magistris, Giorgio Guercio, Lorenzo Starna, Francesco Russo, Samuele Kryvinska, Natalia Napoli, Christian Department of Computer Control and Management Engineering Sapienza University of Rome via Ariosto 25 Rome00185 Italy Department of Psychology Sapienza University of Rome via Dei Marsi 78 Roma00185 Italy Faculty of Management Comenius University in Bratislava Bratislava Slovakia
Each year, car accidents impact billions of people, resulting in numerous casualties. Consequently, road safety remains a top priority for nations worldwide. This project aims to enhance driver safety through a feedba... 详细信息
来源: 评论
ABODE-Net: An Attention-based Deep Learning Model for Non-intrusive Building Occupancy Detection Using Smart Meter Data  1
收藏 引用
7th International Conference on Smart Computing and Communication, SmartCom 2022
作者: Luo, Zhirui Qi, Ruobin Li, Qingqing Zheng, Jun Shao, Sihua Department of Computer Science and Engineering New Mexico Institute of Mining and Technology SocorroNM87801 United States Department of Electrical Engineering New Mexico Institute of Mining and Technology SocorroNM87801 United States
Occupancy information is useful for efficient energy management in the building sector. The massive high-resolution electrical power consumption data collected by smart meters in the advanced metering infrastructure (... 详细信息
来源: 评论
PCB Defect Detection Method Based on Improved RetinaNet  1
收藏 引用
4th International Conference on Machine Learning for Cyber Security, ML4CS 2022
作者: Xu, Yusheng Cao, Xinrong Hu, Rong Keikhosrokiani, Pantea Li, Zuoyong College of Computer Science and Mathematics Fujian University of Technology Fuzhou350118 China Fujian Provincial Key Laboratory of Information Processing and Intelligent Control College of Computer and Control Engineering Minjiang University Fuzhou350121 China School of Computer Sciences Universiti Sains Malaysia Penang11800 Malaysia
In the electronic industry product quality control, PCB defect detection is a crucial part, which has the characteristics of small defect size and high similarity. The existing defect detection methods are still not g... 详细信息
来源: 评论
Joint Dynamic Resource Allocation and Trajectory Optimization for UAV-Assisted Mobile Edge Computing in Internet of Vehicles  29th
Joint Dynamic Resource Allocation and Trajectory Optimizati...
收藏 引用
29th International Conference on Cooperative Information Systems, CoopIS 2023
作者: Li, Runji Sun, Haifeng School of Computer Science and Technology Southwest University of Science and Technology Mianyang621010 China
Computation offloading in Mobile Edge Computing (MEC) represents a key technology for the future of the Internet of Vehicles (IoV), reducing the time and energy consumption of vehicles for computation tasks, while Unm... 详细信息
来源: 评论
Recovery of Trace Links Between a SOFL Formal Specification and Its Corresponding Incomplete Java Code  1st
Recovery of Trace Links Between a SOFL Formal Specification ...
收藏 引用
1st International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024
作者: Li, Jiandong Liu, Shaoying Jin, Zhi School of Computer Science Peking University Beijing China Ministry of Education Beijing China Graduate School of Advanced Science and Engineering Hiroshima University Higashihiroshima Japan
Formal specification-based inspection is a practical program verification technique for detecting requirement-related faults and can be applied at any time before or after the code is completed. A high level of automa... 详细信息
来源: 评论
CILF: Causality Inspired Learning Framework for Out-of-Distribution Vehicle Trajectory Prediction  1
收藏 引用
7th Asian Conference on Pattern Recognition, ACPR 2023
作者: Li, Shengyi Xue, Qifan Zhang, Yezhuo Li, Xuanpeng School of Instrument Science and Engineering Southeast University Nanjing211189 China
Trajectory prediction is critical for autonomous driving vehicles. Most existing methods tend to model the correlation between history trajectory (input) and future trajectory (output). Since correlation is just a sup... 详细信息
来源: 评论
Deformation Modeling of Interaction Between Puncture Needle and Soft Biological Tissues  17th
Deformation Modeling of Interaction Between Puncture Needle ...
收藏 引用
17th International Conference on Intelligent Robotics and Applications, ICIRA 2024
作者: Wang, Yuexuan Zhang, Qinjian Li, Haiyuan Song, Hongxing Mechanical Electrical Engineering School Beijing Information Science and Technology University Beijing100192 China School of Intelligent Engineering and Automation Beijing University of Posts and Telecommunications Beijing100876 China Department of Spine Surgery Beijing Shijitan Hospital Capital Medical University The Ninth Clinical Medical College of Peking University No. 10 Tieyi Road Beijing100038 China
The force acting on the needle in the biological tissue is crucial to analyzing needle deformation during robot-assisted biopsies and surgeries. In this paper, the interaction between the three-dimensional (3D) needle... 详细信息
来源: 评论
Bit-Security Preserving Hardness Amplification  22nd
Bit-Security Preserving Hardness Amplification
收藏 引用
22nd Theory of Cryptography Conference, TCC 2024
作者: Watanabe, Shun Yasunaga, Kenji Tokyo University of Agriculture and Technology Tokyo Japan Institute of Science Tokyo Tokyo Japan
Hardness amplification is one of the important reduction techniques in cryptography, and it has been extensively studied in the literature. The standard XOR lemma known in the literature evaluates the hardness in... 详细信息
来源: 评论
Inclusiveness of Citizen science. How People with Disabilities Can Participate in Citizen science Approaches  17th
Inclusiveness of Citizen Science. How People with Disabiliti...
收藏 引用
17th International Conference on Universal Access in Human-computer Interaction (UAHCI) part of the 25th International Conference on Human-computer Interaction (HCI)
作者: Krueger, Daniel Kruempelmann, Sarah Pelka, Bastian Schulz, Ann Christin TU Dortmund Univ Dept Social Sci Sozialforsch Stelle Dortmund Dortmund Germany Sozialheld Innen eV Berlin Germany
The article starts by stating that "citizen science" holds great potential for the participation of people with disabilities in research and development, but also for research on disability-relevant topics. ... 详细信息
来源: 评论