咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是181-190 订阅
Extendable Essay as a Web Resource for Supporting lecture Courses
收藏 引用
Journal of Mathematical sciences (United States) 2024年 第4期284卷 411-416页
作者: Abramov, S.A. Ryabenko, A.A. Khmelnov, D.E. Federal Research Center “Computer Science and Control” of the Russian Academy of Sciences ul. Vavilova 40 Moscow 119333 Russian Federation
An extendable essay as extendable lecture notes is a web resource that makes it easier for the user mastery of the material of a particular lecture course. For example, we consider such a course on a chapter of comput...
来源: 评论
Non-Local Spatial-Wise and Global Channel-Wise Transformer for Efficient Image Super-Resolution  1
收藏 引用
30th International Conference on MultiMedia Modeling, MMM 2024
作者: Gao, Xiang Wu, Sining Wang, Fan Hu, Xiaopeng School of Computer Science and Technology Dalian University of Technology Dalian116024 China
Transformer-based methods have made favorable breakthroughs in image super-resolution (SR) due to the strong ability of capturing long-range dependencies in images. However, these methods mainly concentrate on capturi... 详细信息
来源: 评论
DualViT: A Hierarchical Vision Transformer for Broad and Fine Class Embeddings  27th
DualViT: A Hierarchical Vision Transformer for Broad and F...
收藏 引用
27th International Conference on Pattern Recognition, ICPR 2024
作者: Chatterjee, Ankita Dutta, Sandip Mukhopadhyay, Jayanta Das, Partha Pratim Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Kharagpur India Department of Computer Science Ashoka University Haryana Sonipat India
Human brains are natural learning systems which inherently recognise image objects in a hierarchical pattern. Similar association exists among different categories of images which interact while training a deep learni... 详细信息
来源: 评论
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms  26th
Combining Classical and Probabilistic Independence Reasoning...
收藏 引用
26th International Symposium on Formal Methods (FM)
作者: Yan, Pengbo Murray, Toby Ohrimenko, Olga Van-Thuan Pham Sison, Robert Univ Melbourne Melbourne Vic Australia UNSW Sydney Sydney NSW Australia
We consider the problem of how to verify the security of probabilistic oblivious algorithms formally and systematically. Unfortunately, prior program logics fail to support a number of complexities that feature in the... 详细信息
来源: 评论
Computing Random r-Orthogonal Latin Squares  16th
Computing Random r-Orthogonal Latin Squares
收藏 引用
16th Annual International Conference on Combinatorial Optimization and Applications, COCOA 2023
作者: Bereg, Sergey Department of Computer Science Erik Jonsson School of Engineering and Computer Science University of Texas at Dallas Richardson United States
Two Latin squares of order n are r-orthogonal if, when superimposed, there are exactly r distinct ordered pairs. The spectrum of all values of r for Latin squares of order n is known. A Latin square A of order n is r-... 详细信息
来源: 评论
SNOBERT: A Benchmark for Clinical notes Entity Linking in the SNOMED CT Clinical Terminology  27th
SNOBERT: A Benchmark for Clinical Notes Entity Linking in ...
收藏 引用
27th International Conference on Pattern Recognition, ICPR 2024
作者: Kulyabin, Mikhail Sokolov, Gleb Galaida, Aleksandr Maier, Andreas Arias-Vergara, Tomas Pattern Recognition Lab Department of Computer Science Friedrich-Alexander-Universität Erlangen-Nürnberg Erlangen Germany Moscow Russia
The extraction and analysis of insights from medical data, primarily stored in free-text formats by healthcare workers, presents significant challenges due to its unstructured nature. Medical coding, a crucial process... 详细信息
来源: 评论
An Optimised Complete Strategy for Testing Symbolic Finite State Machines  1
收藏 引用
10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023
作者: Huang, Wen-ling Krafczyk, Niklas Peleska, Jan Department of Mathematics and Computer Science University of Bremen Bremen Germany
In this paper, we specialise a more general theory for testing symbolic finite state machines (SFSM) to an important sub-class of SFSMs. This specialisation allows for a significant reduction of test cases needed for ... 详细信息
来源: 评论
ASF-Conformer: Audio Scoring Conformer with FFC for Speaker Verification in Noisy Environments  1
收藏 引用
30th International Conference on MultiMedia Modeling, MMM 2024
作者: Zhang, Xiran Liu, Haiyan Liu, Caixia Zhang, Haiyang Huo, Zhiwei School of Computer Science Inner Mongolia University Hohhot010021 China
Background noise significantly impacts speech intelligibility, reducing the accuracy and reliability of the speaker verification system. Most existing noise reduction algorithms are specific to certain types of noise ... 详细信息
来源: 评论
FGENet: Fine-Grained Extraction Network for Congested Crowd Counting  1
收藏 引用
30th International Conference on MultiMedia Modeling, MMM 2024
作者: Ma, Hao-Yuan Zhang, Li Wei, Xiang-Yi School of Computer Science and Technology Soochow University Suzhou215006 China
Crowd counting has gained significant popularity due to its practical applications. However, mainstream counting methods ignore precise individual localization and suffer from annotation noise because of counting from... 详细信息
来源: 评论
An Architecture for Repeatable, Large-Scale Educational Game Data Analysis: Building on Open Game Data  10th
An Architecture for Repeatable, Large-Scale Educational Game...
收藏 引用
10th Joint International Conference on Serious Games
作者: Swanson, Luke Gagnon, David J. Univ Wisconsin Madison Madison WI 53706 USA
Given the incredible popularity of video games in contexts from entertainment to education, and the capacity of internet-connected games to record fine-grained telemetry data, there exists an unprecedented opportunity... 详细信息
来源: 评论