咨询与建议

限定检索结果

文献类型

  • 2,479 篇 会议
  • 2,171 篇 期刊文献

馆藏范围

  • 4,650 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3,246 篇 工学
    • 2,436 篇 计算机科学与技术...
    • 1,983 篇 软件工程
    • 595 篇 信息与通信工程
    • 428 篇 控制科学与工程
    • 287 篇 生物工程
    • 252 篇 电气工程
    • 249 篇 电子科学与技术(可...
    • 233 篇 机械工程
    • 184 篇 光学工程
    • 152 篇 生物医学工程(可授...
    • 135 篇 仪器科学与技术
    • 121 篇 化学工程与技术
    • 112 篇 动力工程及工程热...
    • 79 篇 网络空间安全
    • 70 篇 土木工程
    • 65 篇 材料科学与工程(可...
    • 65 篇 建筑学
  • 1,574 篇 理学
    • 967 篇 数学
    • 352 篇 物理学
    • 320 篇 生物学
    • 262 篇 统计学(可授理学、...
    • 187 篇 系统科学
    • 125 篇 化学
  • 908 篇 管理学
    • 560 篇 管理科学与工程(可...
    • 378 篇 图书情报与档案管...
    • 188 篇 工商管理
  • 118 篇 医学
    • 101 篇 临床医学
    • 81 篇 基础医学(可授医学...
  • 112 篇 法学
    • 87 篇 社会学
  • 66 篇 经济学
    • 66 篇 应用经济学
  • 38 篇 农学
  • 25 篇 教育学
  • 16 篇 军事学
  • 13 篇 文学
  • 12 篇 艺术学

主题

  • 169 篇 computer science
  • 124 篇 laboratories
  • 124 篇 semantics
  • 78 篇 software
  • 76 篇 feature extracti...
  • 74 篇 wireless sensor ...
  • 72 篇 software enginee...
  • 70 篇 optimization
  • 69 篇 computational mo...
  • 66 篇 algorithm design...
  • 64 篇 training
  • 61 篇 testing
  • 60 篇 deep learning
  • 56 篇 machine learning
  • 54 篇 application soft...
  • 54 篇 data mining
  • 52 篇 cloud computing
  • 52 篇 web services
  • 50 篇 clustering algor...
  • 48 篇 protocols

机构

  • 1,051 篇 state key labora...
  • 221 篇 department of co...
  • 199 篇 state key labora...
  • 146 篇 national key lab...
  • 120 篇 department of co...
  • 112 篇 state key labora...
  • 106 篇 state key labora...
  • 98 篇 university of ch...
  • 86 篇 state key labora...
  • 86 篇 college of compu...
  • 69 篇 school of comput...
  • 57 篇 state key labora...
  • 51 篇 state key labora...
  • 48 篇 state key labora...
  • 47 篇 department of co...
  • 46 篇 school of artifi...
  • 45 篇 nanjing universi...
  • 45 篇 national key lab...
  • 43 篇 department of co...
  • 41 篇 state key lab. f...

作者

  • 59 篇 gao yang
  • 42 篇 shi yinghuan
  • 42 篇 dou wanchun
  • 38 篇 guihai chen
  • 37 篇 sanglu lu
  • 35 篇 zhang lijun
  • 34 篇 xu baowen
  • 34 篇 li wu-jun
  • 33 篇 baowen xu
  • 31 篇 shen furao
  • 30 篇 zhao jian
  • 27 篇 lu sanglu
  • 27 篇 xu chang
  • 26 篇 zhou zhi-hua
  • 25 篇 yang tianbao
  • 25 篇 xu xiaolong
  • 24 篇 ying mingsheng
  • 23 篇 li xuandong
  • 23 篇 qi lianyong
  • 23 篇 zhang xuyun

语言

  • 4,334 篇 英文
  • 181 篇 其他
  • 137 篇 中文
  • 2 篇 德文
检索条件"机构=Department of Computer Science and State Key Laboratory for Novel Software Technology"
4650 条 记 录,以下是1-10 订阅
排序:
Re-quantization based binary graph neural networks
收藏 引用
science China(Information sciences) 2024年 第7期67卷 160-171页
作者: Kai-Lang YAO Wu-Jun LI National Key Laboratory for Novel Software Technology Department of Computer Science and TechnologyNanjing University
Binary neural networks have become a promising research topic due to their advantages of fast inference speed and low energy consumption. However, most existing studies focus on binary convolutional neural networks, w... 详细信息
来源: 评论
Stochastic normalized gradient descent with momentum for large-batch training
收藏 引用
science China(Information sciences) 2024年 第11期67卷 77-91页
作者: Shen-Yi ZHAO Chang-Wei SHI Yin-Peng XIE Wu-Jun LI National Key Laboratory for Novel Software Technology Department of Computer Science and TechnologyNanjing University
Stochastic gradient descent(SGD) and its variants have been the dominating optimization methods in machine learning. Compared with SGD with small-batch training, SGD with large-batch training can better utilize the co... 详细信息
来源: 评论
Understanding and Detecting Inefficient Image Displaying Issues in Android Apps
收藏 引用
Journal of computer science & technology 2024年 第2期39卷 434-459页
作者: 李文杰 马骏 蒋炎岩 许畅 马晓星 State Key Laboratory of Novel Software Technology Nanjing UniversityNanjing 210023China Department of Computer Science and Technology Nanjing UniversityNanjing 210023China
Mobile applications(apps for short)often need to display ***,inefficient image displaying(IID)issues are pervasive in mobile apps,and can severely impact app performance and user *** paper first establishes a descript... 详细信息
来源: 评论
An Intelligent Privacy Protection Scheme for Efficient Edge Computation Offloading in IoV
收藏 引用
Chinese Journal of Electronics 2024年 第4期33卷 910-919页
作者: Liang YAO Xiaolong XU Wanchun DOU Muhammad Bilal School of Software Nanjing University of Information Science and Technology State Key Laboratory for Novel Software Technology Nanjing University Department of Computer and Electronics Systems Engineering Hankuk University of Foreign Studies
As a pivotal enabler of intelligent transportation system(ITS), Internet of vehicles(Io V) has aroused extensive attention from academia and industry. The exponential growth of computation-intensive, latency-sensitive... 详细信息
来源: 评论
A program logic for obstruction-freedom
收藏 引用
Frontiers of computer science 2024年 第6期18卷 85-100页
作者: Zhao-Hui LI Xin-Yu FENG School of Computer Science and Technology University of Science and Technology of ChinaHefei 230026China Department of Computer Science and Technology Nanjing UniversityNanjing 210023China State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China
Though obstruction-free progress property is weaker than other non-blocking properties including lock-freedom and wait-freedom,it has advantages that have led to the use of obstruction-free implementations for softwar... 详细信息
来源: 评论
An Empirical Study on Automated Test Generation Tools for Java:Effectiveness and Challenges
收藏 引用
Journal of computer science & technology 2024年 第3期39卷 715-736页
作者: 刘相君 余萍 马晓星 State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China Department of Computer Science and Technology Nanjing UniversityNanjing 210023China CCF ACM IEEE
Automated test generation tools enable test automation and further alleviate the low efficiency caused by writing hand-crafted test ***,existing automated tools are not mature enough to be widely used by software test... 详细信息
来源: 评论
Hierarchical Model Checking of SystemVerilog-Specified Asynchronous Circuits for Deadlock Detection
收藏 引用
IEEE Transactions on computer-Aided Design of Integrated Circuits and Systems 2024年 第6期44卷 2424-2437页
作者: Lu, Longlong Pan, Minxue Lu, Yifei Li, Xuandong Nanjing University State Key Laboratory for Novel Software Technology and the Software Institute Jiangsu Province Nanjing210093 China Nanjing University State Key Laboratory for Novel Software Technology and School of Computer Science Jiangsu Province Nanjing210023 China
Specifying channel-based asynchronous circuits in SystemVerilog is a promising alternative design paradigm to combine the advantages of asynchronous circuits and industrial EDA supports. However, communicating through... 详细信息
来源: 评论
Clustered Reinforcement Learning
收藏 引用
Frontiers of computer science 2025年 第4期19卷 43-57页
作者: Xiao MA Shen-Yi ZHAO Zhao-Heng YIN Wu-Jun LI National Key Laboratory for Novel Software Technology Department of Computer Science and TechnologyNanjing UniversityNanjing 210023China Department of Electrical Engineering and Computer Sciences University of CaliforniaBerkeleyCA 94720-1770USA
Exploration strategy design is a challenging problem in reinforcement learning(RL),especially when the environment contains a large state space or sparse *** exploration,the agent tries to discover unexplored(novel)ar... 详细信息
来源: 评论
Machine learning automation
收藏 引用
National science Review 2024年 第8期11卷 7-8页
作者: Zongben Xu Zhi-Hua Zhou Wenwu Zhu School of Mathematics and Statistics Xi'an Jiaotong University National Key Laboratory for Novel Software Technology Nanjing University Department of Computer Science and Technology Tsinghua University
With the exponential growth of big data and advancements in large-scale foundation model techniques, the field of machine learning has embarked on an unprecedented golden era. This period is characterized by significa... 详细信息
来源: 评论
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... 详细信息
来源: 评论