咨询与建议

限定检索结果

文献类型

  • 6,727 篇 期刊文献
  • 4,988 篇 会议
  • 24 册 图书

馆藏范围

  • 11,739 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 7,786 篇 工学
    • 4,924 篇 计算机科学与技术...
    • 3,992 篇 软件工程
    • 1,225 篇 信息与通信工程
    • 892 篇 电子科学与技术(可...
    • 854 篇 控制科学与工程
    • 824 篇 电气工程
    • 638 篇 光学工程
    • 589 篇 生物工程
    • 537 篇 化学工程与技术
    • 532 篇 机械工程
    • 383 篇 仪器科学与技术
    • 383 篇 材料科学与工程(可...
    • 364 篇 生物医学工程(可授...
    • 280 篇 动力工程及工程热...
    • 247 篇 核科学与技术
    • 210 篇 网络空间安全
    • 173 篇 安全科学与工程
    • 171 篇 土木工程
    • 167 篇 力学(可授工学、理...
  • 4,835 篇 理学
    • 2,099 篇 物理学
    • 2,035 篇 数学
    • 747 篇 生物学
    • 568 篇 统计学(可授理学、...
    • 538 篇 化学
    • 327 篇 系统科学
  • 1,760 篇 管理学
    • 1,145 篇 管理科学与工程(可...
    • 693 篇 图书情报与档案管...
    • 337 篇 工商管理
  • 312 篇 医学
    • 251 篇 临床医学
    • 183 篇 基础医学(可授医学...
  • 191 篇 法学
  • 119 篇 农学
  • 115 篇 经济学
  • 59 篇 军事学
  • 49 篇 教育学
  • 28 篇 艺术学
  • 26 篇 文学
  • 6 篇 哲学
  • 1 篇 历史学

主题

  • 243 篇 computer science
  • 234 篇 semantics
  • 186 篇 laboratories
  • 185 篇 hadron colliders
  • 157 篇 computational mo...
  • 154 篇 deep learning
  • 147 篇 feature extracti...
  • 132 篇 software enginee...
  • 130 篇 machine learning
  • 102 篇 optimization
  • 94 篇 software
  • 92 篇 algorithm design...
  • 88 篇 data mining
  • 85 篇 reinforcement le...
  • 84 篇 wireless sensor ...
  • 81 篇 task analysis
  • 81 篇 educational inst...
  • 75 篇 software testing
  • 73 篇 accuracy
  • 71 篇 image segmentati...

机构

  • 1,026 篇 university of ch...
  • 857 篇 state key labora...
  • 653 篇 department of ph...
  • 647 篇 cavendish labora...
  • 540 篇 state key labora...
  • 524 篇 oliver lodge lab...
  • 514 篇 infn sezione di ...
  • 507 篇 physikalisches i...
  • 489 篇 infn sezione di ...
  • 466 篇 infn sezione di ...
  • 440 篇 infn laboratori ...
  • 410 篇 infn sezione di ...
  • 364 篇 infn sezione di ...
  • 341 篇 infn sezione di ...
  • 340 篇 infn sezione di ...
  • 338 篇 iccub universita...
  • 324 篇 infn sezione di ...
  • 319 篇 department for p...
  • 300 篇 universiteit maa...
  • 289 篇 infn sezione di ...

作者

  • 187 篇 c. alexa
  • 183 篇 j. m. izen
  • 181 篇 c. amelung
  • 180 篇 g. bella
  • 180 篇 d. calvet
  • 178 篇 j. strandberg
  • 171 篇 n. orlando
  • 165 篇 y. tayalati
  • 162 篇 g. spigo
  • 162 篇 v. chiarella
  • 160 篇 f. siegert
  • 158 篇 barter w.
  • 157 篇 brundu d.
  • 155 篇 s. veneziano
  • 154 篇 a. dimitrievska
  • 151 篇 f. deliot
  • 150 篇 r. ströhmer
  • 148 篇 blake t.
  • 147 篇 m. lu
  • 147 篇 y. abulaiti

语言

  • 10,914 篇 英文
  • 444 篇 其他
  • 388 篇 中文
  • 5 篇 德文
  • 3 篇 法文
  • 1 篇 日文
  • 1 篇 荷兰文
检索条件"机构=State Key Laboratory of Computer Science Institute of Software"
11739 条 记 录,以下是1-10 订阅
排序:
AsyCo: an asymmetric dual-task co-training model for partial-label learning
收藏 引用
science China(Information sciences) 2025年 第5期68卷 332-347页
作者: Beibei LI Yiyuan ZHENG Beihong JIN Tao XIANG Haobo WANG Lei FENG College of Computer Science Chongqing University State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences University of Chinese Academy of Sciences School of Software Technology Zhejiang University School of Computer Science and Engineering Nanyang Technological University
Partial-label learning(PLL) is a typical problem of weakly supervised learning, where each training instance is annotated with a set of candidate labels. Self-training PLL models achieve state-of-the-art performance b... 详细信息
来源: 评论
Deep learning-based software engineering: progress,challenges, and opportunities
收藏 引用
science China(Information sciences) 2025年 第1期68卷 57-144页
作者: Xiangping CHEN Xing HU Yuan HUANG He JIANG Weixing JI Yanjie JIANG Yanyan JIANG Bo LIU Hui LIU Xiaochen LI Xiaoli LIAN Guozhu MENG Xin PENG Hailong SUN Lin SHI Bo WANG Chong WANG Jiayi WANG Tiantian WANG Jifeng XUAN Xin XIA Yibiao YANG Yixin YANG Li ZHANG Yuming ZHOU Lu ZHANG School of Journalism and Communication Sun Yat-sen University School of Software Technology Zhejiang University School of Software Engineering Sun Yat-sen University School of Software Dalian University of Technology School of Computer Science and Technology Beijing Institute of Technology Key Laboratory of High Confidence Software Technologies (Peking University) Ministry of EducationSchool of Computer Science Peking University State Key Laboratory for Novel Software Technology Nanjing University School of Computer Science and Engineering Beihang University Institute of Information Engineering Chinese Academy of Sciences School of Computer Science Fudan University State Key Laboratory of Complex & Critical Software Environment (CCSE) School of Software Beihang University School of Computer and Information Technology Beijing Jiaotong University School of Computer Science and Technology Harbin Institute of Technology School of Computer Science Wuhan University Huawei Technologies
Researchers have recently achieved significant advances in deep learning techniques, which in turn has substantially advanced other research disciplines, such as natural language processing, image processing, speech r... 详细信息
来源: 评论
An infrastructure software perspective toward computation offloading between executable specifications and foundation models
收藏 引用
science China(Information sciences) 2025年 第4期68卷 380-382页
作者: Dezhi RAN Mengzhou WU Yuan CAO Assaf MARRON David HAREL Tao XIE Key Laboratory of High Confidence Software Technologies (PKU) Ministry of Education School of Computer SciencePeking University School of Electronics Engineering and Computer Science Peking University Department of Computer Science and Applied Mathematics Weizmann Institute of Science
Foundation models(FMs) [1] have revolutionized software development and become the core components of large software systems. This paradigm shift, however, demands fundamental re-imagining of software engineering theo...
来源: 评论
Formalization of Android Activity-Fragment Multitasking Mechanism and Static Analysis of Mobile Apps
收藏 引用
Formal Aspects of Computing 2025年 第2期37卷 1-86页
作者: He, Jinlong Wu, Zhilin Chen, Taolue Key Laboratory of System Software Chinese Academy of Sciences Institute of Software Chinese Academy of Sciences Beijing China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China School of Computer Science and Technology University of Chinese Academy of Sciences Beijing China School of Computing and Mathematical Sciences Birkbeck University of London Northern Ireland London United Kingdom
The multitasking mechanism between activities and fragments plays a fundamental role in the Android operating system, which involves a wide range of features, including launch modes, intent flags, task affinities, and... 详细信息
来源: 评论
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
收藏 引用
ACM Transactions on Programming Languages and Systems 2025年 第1期47卷 1-35页
作者: Wu, Hao Wang, Qiuye Xue, Bai Zhan, Naijun Zhi, Lihong Yang, Zhi-Hong State Key Lab. of Computer Sciences Institute of Software Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China Fermat Labs Huawei Inc. Dongguan China Key Lab. of System Software and State Key Lab. of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Key Laboratory of High Confidence Software Technology School of Computer Science Peking University Beijing China School of Mathematics and Statistics Central South University Changsha China
Constraint-solving-based program invariant synthesis takes a parametric invariant template and encodes the (inductive) invariant conditions into constraints. The problem of characterizing the set of all valid paramete... 详细信息
来源: 评论
Block-gram:Mining knowledgeable features for efficiently smart contract vulnerability detection
收藏 引用
Digital Communications and Networks 2025年 第1期11卷 1-12页
作者: Xueshuo Xie Haolong Wang Zhaolong Jian Yaozheng Fang Zichun Wang Tao Li Tianjin Key Laboratory of Network and Data Security Technology TianjinChina College of Computer Science Nankai UniversityTianjinChina Key Laboratory of Blockchain and Cyberspace Governance of Zhejiang Province China State Key Laboratory of Computer Architecture Institute of Computing TechnologyChinese Academy of SciencesChina
Smart contracts are widely used on the blockchain to implement complex transactions,such as decentralized applications on *** vulnerability detection of large-scale smart contracts is critical,as attacks on smart cont... 详细信息
来源: 评论
Four-wave mixing Bragg scattering for small frequency shift from silicon coupled microrings
收藏 引用
Chinese Physics B 2025年 第1期34卷 351-355页
作者: Chang Zhao Chao Wu Pingyu Zhu Yuxing Du Yan Wang Miaomiao Yu Kaikai Zhang Ping Xu Institute for Quantum Information&State Key Laboratory of High Performance Computing College of Computer Science and TechnologyNational University of Defense TechnologyChangsha 410073China
Frequency conversion is pivotal in nonlinear optics and quantum optics for manipulating and translating light signals across different wavelength *** frequency conversion between two light beams with a small frequency... 详细信息
来源: 评论
Layout Decomposition via Boolean Satisfiability
收藏 引用
IEEE Transactions on computer-Aided Design of Integrated Circuits and Systems 2025年 第3期44卷 1112-1125页
作者: Liu, Hongduo Liao, Peiyu Zou, Mengchuan Pang, Bowen Li, Xijun Yuan, Mingxuan Ho, Tsung-Yi Yu, Bei The Chinese University of Hong Kong Department of Computer Science and Engineering Hong Kong Hong Kong Huawei Noah's Ark Lab Hong Kong Hong Kong Institute of Software Chinese Academy of Sciences State Key Laboratory of Computer Science Beijing100190 China
Multiple patterning lithography (MPL) has been introduced in the integrated circuits manufacturing industry to enhance feature density as the technology node advances. A crucial step of MPL is assigning layout feature... 详细信息
来源: 评论
Strain-modulated superconductivity of monolayer Tc_(2)B_(2)
收藏 引用
Chinese Physics B 2025年 第4期34卷 221-227页
作者: Zhengtao Liu Zihan Zhang Hao Song Tian Cui Defang Duan Key Laboratory of Material Simulation Methods&Software of Ministry of Education State Key Laboratory of Superhard MaterialsCollege of PhysicsJilin UniversityChangchun 130012China Institute of High Pressure Physics School of Physical Science and TechnologyNingbo UniversityNingbo 315211China
Two-dimensional(2D)superconductors have attracted significant research interest due to their promising potential applications in optoelectronic and microelectronic ***,we employ first-principles calculations to predic... 详细信息
来源: 评论
FedMPS: A Robust Differential Privacy Federated Learning based on Local Model Partition and Sparsification for Heterogeneous IIoT Data
收藏 引用
IEEE Internet of Things Journal 2025年 第10期12卷 13757-13768页
作者: Wang, Danxin Gao, Yuyang Pang, Shanchen Zhang, Chen Zhang, Xiaoman Li, Ming School of Qingdao Institute of Software College of Computer Science and Technology Shandong Key Laboratory of Intelligent Oil and Gas Industrial Software Qingdao China Shandong Inspur Database Technology Co. Ltd Jinan China
In the emerging Industrial Internet of Things (IIoT) applications, Federated Learning (FL) enables model training without the need to transmit raw data directly. Nevertheless, transmitting model parameters could still... 详细信息
来源: 评论