咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是511-520 订阅
A Review on the Effects of Chanting and Solfeggio Frequencies on Well-Being  25th
A Review on the Effects of Chanting and Solfeggio Frequencie...
收藏 引用
25th International Conference on Human-computer Interaction (HCI International)
作者: Yang, Xuyu Nah, Fiona Fui-Hoon Lin, Fen City Univ Hong Kong Kowloon Hong Kong Peoples R China
This paper presents our literature review on how chanting and solfeggio frequencies affect brain activity, enhance well-being, and inform the design of sound therapy. We call for more scientific research to investigat... 详细信息
来源: 评论
Verification of the Busy-Forbidden Protocol: (using an Extension of the Cones and Foci Proof Framework)  1
收藏 引用
10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023
作者: van Spaendonck, P.H.M. Department of Mathematics and Computer Science Eindhoven University of Technology Eindhoven Netherlands
The busy-forbidden protocol is a new readers-writer lock with no resource contention between readers, which allows it to outperform other locks. For its verification, specifications of its implementation and its less ... 详细信息
来源: 评论
Research on Cross-Domain Heterogeneous Information Interaction System in Complex Environment Based on Blockchain Technology  1
收藏 引用
7th International Conference on Smart Computing and Communication, SmartCom 2022
作者: Ma, BaoQuan Cheng, YeJian Zhang, Ni Wang, Peng Lei, XuHua Huai, XiaoYong Li, JiaXin Jia, ShuJuan Wang, ChunXia National Computer System Engineering Research Institute of China Beijing102200 China School of Computer Science and Technology Xidian University Xi’an710071 China
In the field of information interaction, when a project involves a large amount of cross-domain heterogeneous information, it is difficult to transmit and update the required information in a timely, accurate, reliabl... 详细信息
来源: 评论
An Extension of Random Forest-Clustering Schemes Which Works with Partition-Level Constraints  27th
An Extension of Random Forest-Clustering Schemes Which Works...
收藏 引用
27th International Conference on Pattern Recognition, ICPR 2024
作者: Bicego, Manuele Hassan, Hafiz Ahmad Computer Science Department University of Verona Strada le Grazie 15 Verona37135 Italy
Many classical clustering algorithms, like K-Means, spectral clustering, or hierarchical approaches, have been adapted to work with constraints;surprisingly, the literature completely lacks constrained versions of Ran... 详细信息
来源: 评论
Exploit Reversible Gates to Implement Fast Quantum Sorting Algorithm  1
收藏 引用
5th International Conference on computer and Communication Technologies, IC3T 2023
作者: Bhattacharjee, Subhasree Das, Kunal Sadhu, Arindam Sarkar, Soumyadip Sarkar, Bikramjit Department of Computer Application Narula Institute of Technology West Bengal Kolkata India Department of Computer Science Acharya Prafulla Chandra College West Bengal Kolkata India Department of Electronics and Communication Engineering Greater Kolkata College of Engineering and Management West Bengal Kolkata India Department of Computer Science and Engineering JIS College of Engineering West Bengal Kalyani India
This paper proposes an algorithm of divide-compare-swap-based (DCS) sorting that reduces time complexity by utilizing quantum parallelism. A new cost optimized comparator circuit has been designed and simulated using ... 详细信息
来源: 评论
A Method for the Collaborative and Semi-automated Generation of Conceptual Models from Legal Regulations in Public Organizations  1
收藏 引用
16th International Conference on Electronic Participation (ePart)
作者: Nguyen, Binh An Patrick Scholta, Hendrik Univ Munster D-48149 Munster Germany German Univ Adm Sci Speyer D-67346 Speyer Germany
Legal regulations and conceptual models are important for public organizations. Conceptual models are means for complexity reduction in the design and customization of information systems. Legal regulations are import... 详细信息
来源: 评论
Using an HCI Perspective to Encourage Young Students to Pursue computer science and Engineering Careers: The "Envisioning the Digital City" Workshop  19th
Using an HCI Perspective to Encourage Young Students to Purs...
收藏 引用
19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International Conference on Human-computer Interaction (INTERACT)
作者: Diaz, Paloma Onorati, Teresa Montero, Alvaro Univ Carlos III Madrid Comp Sci Dept Madrid Spain
In recent decades, the demand for STEM professionals has increased, and consequently, the effort of educational institutions to sponsor their STEM degrees. In the context of a university program promoting STEM careers... 详细信息
来源: 评论
Saliency-Based Neural Representation for Videos  27th
Saliency-Based Neural Representation for Videos
收藏 引用
27th International Conference on Pattern Recognition, ICPR 2024
作者: Cao, Qian Zhang, Dongdong Zhang, Xiaolei Department of Computer Science and Technology Tongji University Shanghai China Department of Geotechnical Engineering Tongji University Shanghai China
Neural representation for videos (NeRV) has emerged as a promising method for video representation and compression. However, existing NeRV methods primarily focus on objective quality and overlook subjective quality. ... 详细信息
来源: 评论
NP-Completeness and Physical Zero-Knowledge Proofs for Zeiger  19th
NP-Completeness and Physical Zero-Knowledge Proofs for Zei...
收藏 引用
19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025
作者: Ruangwises, Suthee Department of Computer Engineering Chulalongkorn University Bangkok Thailand
Zeiger is a pencil puzzle consisting of a rectangular grid, with each cell having an arrow pointing in horizontal or vertical direction. Some cells also contain a positive integer. The objective of this puzzle is to f... 详细信息
来源: 评论
Bridging Distinct Spaces in Graph-Based Machine Learning  1
收藏 引用
7th Asian Conference on Pattern Recognition, ACPR 2023
作者: Jia, Linlin Ning, Xiao Gaüzère, Benoit Honeine, Paul Riesen, Kaspar Institute of Computer Science University of Bern Bern3012 Switzerland State Key Laboratory of Bioelectronics School of Biological Science and Medical Engineering Southeast University 2 Sipailou Nanjing210096 China The LITIS Lab INSA Rouen Normandie Rouen France The LITIS Lab Université de Rouen Normandie Rouen France
Graph-based machine learning, encompassing Graph Edit Distances (GEDs), Graph Kernels, and Graph Neural Networks (GNNs), offers extensive capabilities and exciting potential. While each model possesses unique strength... 详细信息
来源: 评论