咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是161-170 订阅
排序:
Combinators as Observable Presheaves: A Characterization in the Grossone Framework  4th
Combinators as Observable Presheaves: A Characterization in ...
收藏 引用
4th International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2023
作者: Gangle, Rocco Tohmé, Fernando Caterina, Gianluca Endicott College BeverlyMA01915 United States Universidad Nacional del Sur and Conicet Blanca Bahía Argentina
Combinators, as defined originally by Moses Schönfinkel, give rise to a Turing-complete model of computation. This paper presents a diagrammatic representation of combinators as presheaves defined over a category... 详细信息
来源: 评论
Tool for Game Plot Line Visualization for Designers, Testers and Players  1
收藏 引用
20th International Conference on Cooperative Design, Visualization and Engineering, CDVE 2023
作者: Nowak, Leszek Grabska-Gradzińska, Iwona Palacz, Wojciech Grabska, Ewa Guzik, Maria Department of Information Technologies Faculty of Physics Astronomy and Applied Computer Science Jagiellonian University Krakow Poland Department of Games Technology Faculty of Physics Astronomy and Applied Computer Science Jagiellonian University Krakow Poland Department of Design and Computer Graphics Faculty of Physics Astronomy and Applied Computer Science Jagiellonian University Krakow Poland Faculty of Physics Astronomy and Applied Computer Science Jagiellonian University Krakow Poland
This paper presents a tool for automatic and interactive visualization of game plots, which can be used to check whether the designers’ work meets the constraints of the world, to help testers control played game sto... 详细信息
来源: 评论
DigitalPlantMan: A Multi Process Manufacturing Task Management System for Digital Plant  1
收藏 引用
8th International Conference on Internet on Things, ICIOT 2023, held as part of Services Conference Federation SCF 2023
作者: Tian, Hongyu Wang, Yuan Ye, Kejiang Shenzhen Institute of Advanced Technology Chinese Academy of Sciences Shenzhen518055 China University of Chinese Academy of Sciences Beijing100049 China College of Mathematics and Information Science Hebei University Baoding071002 China
In recent years, with the rapid development of the new generation of information technology and the acceleration of economic globalization, all industries and enterprises are facing the urgent need of digital transfor... 详细信息
来源: 评论
Indicative Conditionals in Awareness Framework  1
收藏 引用
9th International Conference on Logic, Rationality, and Interaction, LORI-IX 2023
作者: Chu, Tianyi ILLC University of Amsterdam Amsterdam Netherlands
We propose a novel approach to capturing the acceptability conditions of indicative conditionals using awareness logic. Specifically, we posit that the relevance between the antecedent and consequent of a conditional ... 详细信息
来源: 评论
Cross-Modal Semantic Alignment Learning for Text-Based Person Search  1
收藏 引用
30th International Conference on MultiMedia Modeling, MMM 2024
作者: Gan, Wenjun Liu, Jiawei Zhu, Yangchun Wu, Yong Zhao, Guozhi Zha, Zheng-Jun University of Science and Technology of China Hefei230027 China China Merchants Bank Shenzhen518040 China
Text-based person search aims to retrieve pedestrian images corresponding to a specific identity based on a textual description. Existing methods primarily focus on either the alignment of global features through well... 详细信息
来源: 评论
Submodular Participatory Budgeting  1
收藏 引用
18th International Conference on Algorithmic Aspects in Information and Management, AAIM 2024
作者: Yuan, Jing Tang, Shaojie Department of Computer Science and Engineering University of North Texas Denton United States Department of Management Science and Systems School of Management University at Buffalo Buffalo United States
Participatory budgeting refers to the practice of allocating public resources by collecting and aggregating individual preferences. Most existing studies in this field often assume an additive utility function, where ... 详细信息
来源: 评论
A Function Fitting System Based on Genetic Algorithm  1
收藏 引用
18th International Conference on Green, Pervasive, and Cloud Computing, GPC 2023
作者: Sun, Qiuhong Wang, Jiaqi Zhou, Xiaokang School of Information Science and Engineering Hebei University of Science and Technology Shijiazhuang050018 China The Faculty of Data Science Shiga University Hikone522-8522 Japan Department of Computer Science North China Electric Power University Baoding071003 China The RIKEN Center for Advanced Intelligence Project RIKEN Tokyo103-0027 Japan
With the development of science and technology, function fitting has penetrated into various fields of scientific research, scientific and technological innovation. For the function of fitting analysis of a given func... 详细信息
来源: 评论
Selected Combinatorial Problems Through the Prism of Random Intersection Graphs Models  1
收藏 引用
13th International Symposium on Algorithms and Complexity, CIAC 2023
作者: Spirakis, Paul G. Nikoletseas, Sotiris Raptopoulos, Christoforos Department of Computer Science University of Liverpool Liverpool United Kingdom Computer Technology Institute Patras Greece Computer Engineering and Informatics Department University of Patras Patras Greece
We discuss a simple, yet general family of models, namely Random Intersection Graphs (RIGs), initially introduced by Karoński et al. [4] and Singer-Cohen [10]. In such models there is a universe of labels and each on... 详细信息
来源: 评论
Enhancing Youth Creativity Through computer-Supported Collaborative Learning: A Preliminary Investigation in Rural Chinese Elementary School  17th
Enhancing Youth Creativity Through Computer-Supported Collab...
收藏 引用
17th International Conference on Blended Learning. Intelligent Computing in Education (ICBL)
作者: Zhang, Xiaohong Shi, Yinghui Li, Xin Iwasaki, Chiaki Amano, Kei Kubota, Kenichi Kansai Univ Promot Educ Dev Suita Osaka Japan Cent China Normal Univ Natl Engn Res Ctr E Learning Wuhan Hubei Peoples R China Hunan Normal Univ Rural Educ Res Ctr Changsha Hunan Peoples R China Kumamoto Univ Grad Sch Instruct Syst Kumamoto Kumamoto Japan Kansai Univ Suita Osaka Japan
This study identified the potential impacts and challenges of initiating an educational program aimed at cultivating students' creativity through computer-Supported Collaborative Learning and Integrated Practical ... 详细信息
来源: 评论
The Essential Competencies of Data Scientists: A Framework for Hiring and Training
The Essential Competencies of Data Scientists: A Framework f...
收藏 引用
Conference on Human Interface and the Management of Information Thematic Area (HIMI) Held as Part of the 26th International Conference on Human-computer Interaction (HCII)
作者: Zarefard, Motahareh Marsden, Nicola Heilbronn Univ Heilbronn Germany
Data science has emerged as a critical field for organizations seeking to harness the power of big data to inform strategic decisions and gain a competitive edge. However, the demand for data scientists far exceeds th... 详细信息
来源: 评论