咨询与建议

限定检索结果

文献类型

  • 108,345 篇 会议
  • 15,733 册 图书
  • 11,132 篇 期刊文献
  • 3 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 107,580 篇 工学
    • 93,014 篇 计算机科学与技术...
    • 66,513 篇 软件工程
    • 23,107 篇 信息与通信工程
    • 12,568 篇 电气工程
    • 8,352 篇 控制科学与工程
    • 8,154 篇 生物工程
    • 8,047 篇 生物医学工程(可授...
    • 6,253 篇 光学工程
    • 4,390 篇 电子科学与技术(可...
    • 3,871 篇 机械工程
    • 3,606 篇 化学工程与技术
    • 2,786 篇 建筑学
    • 2,346 篇 动力工程及工程热...
    • 2,315 篇 土木工程
    • 2,007 篇 安全科学与工程
  • 55,610 篇 理学
    • 41,044 篇 数学
    • 9,504 篇 生物学
    • 8,411 篇 物理学
    • 7,796 篇 统计学(可授理学、...
    • 4,822 篇 系统科学
    • 3,119 篇 化学
  • 22,315 篇 管理学
    • 13,168 篇 图书情报与档案管...
    • 10,148 篇 管理科学与工程(可...
    • 6,932 篇 工商管理
  • 5,716 篇 医学
    • 5,259 篇 临床医学
    • 4,533 篇 基础医学(可授医学...
    • 3,115 篇 药学(可授医学、理...
  • 3,685 篇 法学
    • 3,123 篇 社会学
  • 2,477 篇 教育学
    • 2,435 篇 教育学
  • 2,160 篇 经济学
    • 2,153 篇 应用经济学
  • 1,824 篇 农学
  • 171 篇 军事学
  • 107 篇 文学
  • 74 篇 艺术学
  • 17 篇 哲学
  • 2 篇 历史学

主题

  • 8,062 篇 artificial intel...
  • 4,842 篇 computer communi...
  • 3,516 篇 information syst...
  • 2,780 篇 algorithm analys...
  • 2,433 篇 software enginee...
  • 2,006 篇 image processing...
  • 1,992 篇 user interfaces ...
  • 1,969 篇 semantics
  • 1,940 篇 computers
  • 1,925 篇 information stor...
  • 1,669 篇 computer applica...
  • 1,526 篇 pattern recognit...
  • 1,469 篇 data mining and ...
  • 1,428 篇 software enginee...
  • 1,428 篇 computer vision
  • 1,371 篇 database managem...
  • 1,251 篇 distributed comp...
  • 1,225 篇 theory of comput...
  • 1,215 篇 computer circuit...
  • 1,188 篇 computer systems...

机构

  • 201 篇 university of sc...
  • 151 篇 department of co...
  • 145 篇 institute of inf...
  • 140 篇 huazhong univers...
  • 121 篇 department of co...
  • 121 篇 tsinghua univers...
  • 116 篇 shanghai jiao to...
  • 111 篇 national institu...
  • 96 篇 school of comput...
  • 93 篇 chinese academy ...
  • 85 篇 école des ponts ...
  • 83 篇 department of co...
  • 77 篇 university of el...
  • 72 篇 department of co...
  • 72 篇 karnataka bangal...
  • 71 篇 college of compu...
  • 70 篇 school of comput...
  • 66 篇 university of ch...
  • 63 篇 school of comput...
  • 62 篇 college of compu...

作者

  • 73 篇 vardi moshe y.
  • 72 篇 wang lei
  • 61 篇 zhang lei
  • 59 篇 pnueli amir
  • 47 篇 hancock edwin r.
  • 41 篇 huang yueh-min
  • 40 篇 marina l. gavril...
  • 38 篇 man ka lok
  • 37 篇 jiang xiaoyi
  • 37 篇 li xin
  • 36 篇 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

语言

  • 125,984 篇 英文
  • 7,448 篇 其他
  • 1,493 篇 中文
  • 283 篇 德文
  • 4 篇 法文
  • 1 篇 加泰罗尼亚文
  • 1 篇 俄文
检索条件"任意字段=Lecture Notes in Computer Science"
135213 条 记 录,以下是901-910 订阅
Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics for eBPF JIT Correctness  10th
Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics...
收藏 引用
10th International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2024
作者: Lu, Jiayi Yuan, Shenghao Sanan, David Zhao, Yongwang School of Cyber Science and Technology and College of Computer Science and Technology Zhejiang University Hangzhou China State Key Laboratory of Blockchain and Data Security Zhejiang University Hangzhou China InfoComm Technology Cluster Singapore Institute of Technology Singapore Singapore
Binary semantics forms a critical infrastructure for proving the correctness of Just-In-Time (JIT) compilation, an advanced technique to optimize runtime execution by translating the source bytecode of a program into ... 详细信息
来源: 评论
Beyond E-Commerce: A Design science Study into Crafting a Model for Customer-Centric M-Commerce  19th
Beyond E-Commerce: A Design Science Study into Crafting a Mo...
收藏 引用
19th International Conference on Design science Research in Information Systems and Technology (DESRIST) - Design science Research for a Resilient Future
作者: Tomitza, Christoph Spies, Sebastian Ibrahimli, Ulvi Zeiss, Christian Straub, Lisa Winkelmann, Axel Univ Wurzburg D-97070 Wurzburg Germany
The integration of mobile devices and applications has fueled the global growth of M-Commerce. Understanding customer needs has been critical in designing mobile information systems (IS) and remaining resilient agains... 详细信息
来源: 评论
Room Acoustic Design for Open Plan Interior in Dwelling House  16th
Room Acoustic Design for Open Plan Interior in Dwelling Hous...
收藏 引用
16th International Conference on Cross-Cultural Design (CCD) Held as Part of the 26th International Conference on Human-computer Interaction (HCII)
作者: Lin, Wei Huang, Chun-Pin Lu, Fei-Ran Lin, Qing-Feng Feng Chia Univ Sch Architecture Taichung Taiwan Yangger Interior Design Co Ltd Taipei Taiwan
Taiwanese dwelling house designs prioritize open space flexibility while also addressing the high-quality sound field requirements, which can be objectively simulated and verified post-construction. The living room, s... 详细信息
来源: 评论
Towards Explainable computer Vision Methods via Uncertainty Activation Map  1
收藏 引用
7th Asian Conference on Pattern Recognition, ACPR 2023
作者: Shin, Seungyoun Bae, Wonho Noh, Junhyug Choi, Sungjoon Korea University 13 Jongam-ro Seongbuk-gu Seoul02841 Korea Republic of University of British Columbia 2329 West Mall VancouverBCV6T 1Z4 Canada Ewha Womans University 52 Ewhayeodae-gil Seodaemun-gu Seoul03760 Korea Republic of
This paper focuses on the problem of highlighting the input image regions that result in increasing predictive uncertainty. In particular, we focus on two types of uncertainty, epistemic and aleatoric, and present an ... 详细信息
来源: 评论
CPNet: Controllable Point Cloud Generation Network Using Part-Level Information  21st
CPNet: Controllable Point Cloud Generation Network Using Par...
收藏 引用
21st Pacific Rim International Conference on Artificial Intelligence, PRICAI 2024
作者: Qin, Shun Han, WenZhuo Zhang, Jinlai Yang, Wenqi Gao, Kai Li, Jin College of Computer and Communication Engineering Changsha University of Science and Technology Changsha China College of Automotive and Mechanical Engineering Changsha University of Science and Technology Changsha China Microelectronics and SolidState Electronics Nanjing Institute of Electronic Devices Nanjing China
The generation of 3D point clouds with controllable part-level details remains a challenging task in the field of computer graphics and vision. Existing methods often produce monolithic point clouds, lacking the flexi... 详细信息
来源: 评论
TCL-Net: A Lightweight and Efficient Dehazing Network with Frequency-Domain Fusion and Multi-Angle Attention  17th
TCL-Net: A Lightweight and Efficient Dehazing Network with...
收藏 引用
17th Asian Conference on computer Vision, ACCV 2024
作者: Tang, Cheng Lou, Wenqi University of Science and Technology of China Hefei China Suzhou Institute for Advanced Research University of Science and Technology of China Suzhou China
Hazy images present a challenging ill-posed problem, suffering from information loss and color distortion. Current deep learning-based dehazing methods enhance performance by increasing network depth but incur substan... 详细信息
来源: 评论
Transformers Fusing Wavelet with High-Frequency Enhancement for SAR Ship Detection  21st
Transformers Fusing Wavelet with High-Frequency Enhancement...
收藏 引用
21st Pacific Rim International Conference on Artificial Intelligence, PRICAI 2024
作者: Wang, Ziwen Yang, Jinlong Liu, Jianjun School of Artificial Intelligence and Computer Science Jiangnan University Wuxi214000 China
In the field of computer vision, Vision Transformers (ViTs) have demonstrated superior performance across a variety of downstream tasks. However, ViTs tend to lose a significant amount of fine-grained features (e.g., ... 详细信息
来源: 评论
Solving Systems of Linear Equations Through Zero Forcing Set  29th
Solving Systems of Linear Equations Through Zero Forcing Se...
收藏 引用
29th International Computing and Combinatorics Conference, COCOON 2023
作者: Wang, Jianbo Xu, Chao Zhou, Siyun University of Electronic Science and Technology of China Chengdu China
Let F be any field, we consider solving Ax= b for a matrix A∈ Fn×n of m non-zero elements and b∈ Fn. If we are given a zero forcing set of A of size k, we can solve the linear equation in O(mk+ kω) time, where... 详细信息
来源: 评论
iPerfOPS: A Tool for Machine Learning-Based Optimization Through Protocol Selection  1
收藏 引用
5th International Conference on Machine Learning for Networking, MLN 2022
作者: Anvari, Hamidreza Lu, Paul Deptartment of Computing Science University of Alberta EdmontonAB Canada
Previous work established the importance of selecting the right network protocol for new foreground traffic, based on the current background traffic. The interactions between protocols, such as TCP-CUBIC and TCP-BBR f... 详细信息
来源: 评论
A Novel Dual Watermarking Scheme Based on K-Level For Medical Images  27th
A Novel Dual Watermarking Scheme Based on K-Level For Medica...
收藏 引用
27th International Conference on Distributed computer and Communication Networks, DCCN 2024
作者: Kahla, Mohammed ElHabib Beggas, Mounir Laouid, Abdelkader Ferik, Brahim Kara, Mostefa LIAP Laboratory University of El Oued PO Box 789 El Oued39000 Algeria Echahid Cheikh Larbi Tebessi University Tebessa12002 Algeria Information and Computer Science Department King Fahd University of Petroleum and Minerals Academic Belt Road Dhahran31261 Saudi Arabia
The security and integrity of medical images are critical due to the sensitive nature of the information they contain. Digital watermarking is a process of embedding information into images without significantly alter... 详细信息
来源: 评论