咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是521-530 订阅
排序:
UX Data Visualization: Supporting Software Professionals in Exploring Users' Interaction Data  15th
UX Data Visualization: Supporting Software Professionals in ...
收藏 引用
15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS)
作者: Macedo, Maylon Zainn, Luciana Univ Fed Sao Carlos Sorocaba SP Brazil
The definition and understanding of UX data and its possibilities for analysis and production of insights play a key role in software teams' adoption of UX practices. Information Visualization (InfoVis) offers app... 详细信息
来源: 评论
Mathematical Modeling of the Interest Rates Formation on Consumer Loans in Russia  23rd
Mathematical Modeling of the Interest Rates Formation on ...
收藏 引用
23rd International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2024
作者: Shananin, Alexander A. Trusov, Nikolai V. Federal Research Center "Computer Science and Control" of RAS Vavilova Street 40 Moscow119333 Russia Moscow Institute of Physics and Technology National Research University 9 Institutsky pereulok Moscow Region Dolgoprudny141701 Russia
We present the model for the formation of interest rates on consumer loans based on an analysis of commercial interests and the logic of behavior of commercial banks. From the position of the commercial banks, the bor... 详细信息
来源: 评论
Multidisciplinary Review of Artificial Empathy: From Theory to Technical Implementation and Design  16th
Multidisciplinary Review of Artificial Empathy: From Theory ...
收藏 引用
16th International Conference on Cross-Cultural Design (CCD) Held as Part of the 26th International Conference on Human-computer Interaction (HCII)
作者: Chao, Chiju Fu, Zhiyong Chen, Yu Tsinghua Univ Dept Informat Art & Design Beijing 100084 Peoples R China
Collaboration between humans and intelligent agents has become an integral component of everyday life due to advancements in intelligent technologies. Emotional communication plays a particularly important role in thi... 详细信息
来源: 评论
Analysis of Outcomes from the Gamification of a Collaboration Intensive Course on computer Networking Basics  1
收藏 引用
23rd International Conference on Computational science, ICCS 2023
作者: Zieliński, Slawomir Konieczny, Marek AGH University Kraków Poland
The paper contains a comparison of the results of conducting a computer networking basics course in a gamified and non-gamified way. In the analysis we focus rather on students’ learning outcomes, measured by exam sc... 详细信息
来源: 评论
A Novel Chaining-Based Indirect Addressing Mode in a Vertical Vector Processor  24th
A Novel Chaining-Based Indirect Addressing Mode in a Vertica...
收藏 引用
24th International Conference on Embedded computer Systems: Architectures, Modeling, and Simulation
作者: Gesper, Sven Koehler, Daniel Gia Bao Thieu Homann, Jasper Meinl, Frank Blume, Holger Paya-Vaya, Guillermo Tech Univ Carolo Wilhelmina Braunschweig Chair Chip Design Embedded Comp Braunschweig Germany Leibniz Univ Hannover Inst Microelect Syst Hannover Germany Robert Bosch GmbH Leonberg Cross Domain Comp Solut Leonberg Germany
Efficient processing architectures for irregular data patterns require vector element addressing with flexible indices. Therefore, state-of-the-art SIMD vector extensions implement gather and scatter instructions for ... 详细信息
来源: 评论
Voices of Asynchronous Learning Students: Revealing Learning Characteristics Through Vocabulary Analysis of notes Tagged in Videos  10th
Voices of Asynchronous Learning Students: Revealing Learning...
收藏 引用
29th International Conference on Database Systems for Advanced Applications (DASFAA)
作者: Wang, Xiaonan Su, Yancong Sun, Yi Nishida, Takeshi Ohtsuki, Kazuhiro Kiyomitsu, Hidenari Kobe Univ Grad Sch Intercultural Studies Kobe Hyogo Japan Xiamen Univ Technol Sch Design & Art Xiamen Peoples R China Grad Sch Informat Technol Kobe Inst Comp Kobe Hyogo Japan
This paper describes a method for analyzing learning data from video courses. The data comes from an on-demand introductory programming course at a university. The study analyzes differences in note content characteri... 详细信息
来源: 评论
Staged Specification Logic for Verifying Higher-Order Imperative Programs  26th
Staged Specification Logic for Verifying Higher-Order Impera...
收藏 引用
26th International Symposium on Formal Methods (FM)
作者: Foo, Darius Song, Yahui Chin, Wei-Ngan Natl Univ Singapore Sch Comp Singapore Singapore
Higher-order functions and imperative states are language features supported by many mainstream languages. Their combination is expressive and useful, but complicates specification and reasoning, due to the use of yet... 详细信息
来源: 评论
Enhancing Adversarial Robustness in Object Detection via Multi-task Learning and Class-Aware Adversarial Training  1
收藏 引用
2nd International Conference on Artificial Intelligence Security and Privacy, AIS and P 2024
作者: Qin, Fan Ji, Nan Ye, Zeping Shi, Ning Tan, Yu-An School of Cyberspace Science and Technology Beijing Institute of Technology Beijing China Qian Xuesen Laboratory of Space Technology China Academy of Space Technology Beijing China China Southern Airlines Co. Ltd Guangdong Guangzhou510000 China College of Science Shijiazhuang University Shijiazhuang China Shandong Provincial Key Laboratory of Energy Industry Internet Big Data Technology Shandong Jinan250003 China
Object detection plays a critical role in numerous applications, including security surveillance and autonomous driving, where system reliability is crucial. However, modern object detectors, which are based on deep l... 详细信息
来源: 评论
Supporting Data Foragers in Scientific Computing Community Ecosystems for Life sciences  26th
Supporting Data Foragers in Scientific Computing Community ...
收藏 引用
26th International Conference on Information Integration and Web Intelligence, iiWAS 2024
作者: Jamil, Hasan M. Department of Computer Science University of Idaho Moscow United States
Biology today is heavily data-driven and knowledge-centric that are stored across the linked open web in numerous heterogeneous deep web databases. To improve searching, finding, accessing, and inter-operating among t... 详细信息
来源: 评论
Reachability in Temporal Graphs Under Perturbation  50th
Reachability in Temporal Graphs Under Perturbation
收藏 引用
50th International Conference on Current Trends in Theory and Practice of computer science, SOFSEM 2025
作者: Enright, Jessica Larios-Jones, Laura Meeks, Kitty Pettersson, William School of Computing Science University of Glasgow Glasgow United Kingdom
Reachability and other path-based measures on temporal graphs can be used to understand spread of infection, information, and people in modelled systems. Due to delays and errors in reporting, temporal graphs derived ... 详细信息
来源: 评论