咨询与建议

限定检索结果

文献类型

  • 1,197 篇 会议
  • 838 篇 期刊文献
  • 5 册 图书

馆藏范围

  • 2,040 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,454 篇 工学
    • 1,168 篇 计算机科学与技术...
    • 978 篇 软件工程
    • 267 篇 信息与通信工程
    • 186 篇 控制科学与工程
    • 143 篇 生物工程
    • 91 篇 电子科学与技术(可...
    • 86 篇 电气工程
    • 83 篇 机械工程
    • 75 篇 光学工程
    • 61 篇 生物医学工程(可授...
    • 50 篇 动力工程及工程热...
    • 43 篇 仪器科学与技术
    • 43 篇 化学工程与技术
    • 33 篇 建筑学
    • 31 篇 网络空间安全
    • 29 篇 土木工程
    • 29 篇 安全科学与工程
  • 638 篇 理学
    • 400 篇 数学
    • 150 篇 生物学
    • 121 篇 统计学(可授理学、...
    • 116 篇 物理学
    • 86 篇 系统科学
    • 50 篇 化学
  • 435 篇 管理学
    • 262 篇 管理科学与工程(可...
    • 189 篇 图书情报与档案管...
    • 78 篇 工商管理
  • 46 篇 法学
    • 36 篇 社会学
  • 41 篇 医学
    • 38 篇 临床医学
    • 33 篇 基础医学(可授医学...
  • 26 篇 经济学
    • 26 篇 应用经济学
  • 16 篇 教育学
  • 15 篇 农学
  • 9 篇 艺术学
  • 6 篇 文学
  • 4 篇 军事学

主题

  • 78 篇 computer science
  • 52 篇 semantics
  • 43 篇 laboratories
  • 39 篇 wireless sensor ...
  • 38 篇 feature extracti...
  • 31 篇 optimization
  • 30 篇 software
  • 28 篇 data mining
  • 28 篇 software testing
  • 27 篇 computational mo...
  • 27 篇 algorithm design...
  • 27 篇 protocols
  • 27 篇 web services
  • 24 篇 routing
  • 24 篇 image segmentati...
  • 24 篇 software enginee...
  • 24 篇 testing
  • 23 篇 monitoring
  • 23 篇 accuracy
  • 22 篇 task analysis

机构

  • 524 篇 state key labora...
  • 222 篇 department of co...
  • 130 篇 national key lab...
  • 108 篇 state key labora...
  • 75 篇 state key lab. f...
  • 55 篇 national key lab...
  • 55 篇 state key labora...
  • 51 篇 state key labora...
  • 51 篇 state key lab fo...
  • 48 篇 national key lab...
  • 39 篇 department of co...
  • 37 篇 school of artifi...
  • 31 篇 department of co...
  • 29 篇 faculty of compu...
  • 28 篇 computer vision ...
  • 27 篇 school of electr...
  • 27 篇 department of co...
  • 25 篇 department of co...
  • 21 篇 nanjing universi...
  • 21 篇 school of comput...

作者

  • 40 篇 dou wanchun
  • 37 篇 li wu-jun
  • 36 篇 guihai chen
  • 33 篇 sanglu lu
  • 30 篇 shen furao
  • 30 篇 zhao jian
  • 30 篇 zhang lijun
  • 29 篇 tong lu
  • 29 篇 lu tong
  • 28 篇 gao yang
  • 25 篇 yang tianbao
  • 25 篇 xu chang
  • 23 篇 qi lianyong
  • 22 篇 zhou zhi-hua
  • 22 篇 zhang yan
  • 22 篇 xu xiaolong
  • 22 篇 zhang xuyun
  • 22 篇 chen guihai
  • 22 篇 palaiahnakote sh...
  • 21 篇 xuandong li

语言

  • 1,919 篇 英文
  • 61 篇 中文
  • 58 篇 其他
  • 2 篇 德文
检索条件"机构=National Key Lab of Novel Software Technology and Department of Computer Science and Technology"
2040 条 记 录,以下是2031-2040 订阅
排序:
Program generic set:semantics of medium logic program described by forcing
收藏 引用
science China(Technological sciences) 1996年 第6期39卷 620-627页
作者: 朱朝晖 施庆生 朱梧槚 Institute of Computer Science Nanjing University of Aeronautics and AstronauticsNanjing 210016China Department of Basic Sciences Nanjing Architectural and Civil Engineering InstituteNanjing 210009China State Key Laboratory for Novel Software Technology at Nanjing University Nanjing 210093China Institute of Computer ScienceNanjing University of Aeronautics and AstronauticsNanjing 210016China
The technique of forcing created by Cohen is adopted to discuss the semantics of medium logic program without closed-world assumption (CWA).The fixed point and complete-meet semilattice property ofprogram generic set ... 详细信息
来源: 评论
Cost-Efficient Deep Neural Network Placement in Edge Intelligence-Enabled Internet of Things
收藏 引用
ACM Transactions on Sensor Networks 1000年
作者: Hao Tian Xiaolong Xu Hongyue Wu Qingzhan Zhao Jianguo Dai Maqbool Khan State Key Laboratory for Novel Software Technology Nanjing University Nanjing Jiangsu China Nanjing China School of Software Nanjing University of Information Science and Technology Nanjing Jiangsu China Nanjing China College of Intelligence and Computing Tianjin University Tianjin China Tianjin China Geospatial Information Engineering Research Center College of Information Science and Technology Shihezi University Shihezi Xinjiang China Shihezi China Department of IT and Computer Science Pak-Austria Fachhochschule Institute of Applied Sciences and Technology Haripur Pakistan Haripur Pakistan
Edge intelligence (EI) integrates edge computing and artificial intelligence empowering service providers to deploy deep neural networks (DNNs) on edge servers in proximity to users to provision intelligent applicatio... 详细信息
来源: 评论
An Empirical Study of Code Simplification Methods in Code Intelligence Tasks
收藏 引用
ACM Transactions on software Engineering and Methodology 1000年
作者: Zongwen Shen Yuning Li Jidong Ge Xiang Chen Chuanyi Li Liguo Huang Bin Luo National Key Laboratory for Novel Software Technology Nanjing University China School of Artificial Intelligence and Computer Science Nantong University China Department of Computer Science Southern Methodist University USA National Key Laboratory for Novel Software Technology at Nanjing University China
In recent years, pre-trained language models have seen significant success in natural language processing and have been increasingly applied to code-related tasks. Code intelligence tasks have shown promising performa... 详细信息
来源: 评论
software Engineering and Methodology for Emerging Domains  1
收藏 引用
丛书名: Communications in computer and Information science
1000年
作者: Lu Zhang Chang Xu
来源: 评论
Advances in Artificial Reality and Tele-Existence  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Zhigeng Pan Adrian Cheok Michael Haller Rynson W. H. Lau Hideo Saito Ronghua Liang
ICAT is the oldest international conference on virtual reality and tele-existence. ICAT 2006 not only looked for innovations in the technology itself, but also explored novel ways to transfer and express information a... 详细信息
来源: 评论
Intelligent science and Intelligent Data Engineering  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Yanning Zhang Ying Li Zhi-Hua Zhou Changshui Zhang
This book constitutes the proceedings of the Sino-foreign-interchange Workshop on Intelligence science and Intelligent Data Engineering, IScIDE 2011, held in Xi'an, China, in October 2011. The 97 papers presented ... 详细信息
来源: 评论
Improving Deep Assertion Generation via Fine-Tuning Retrieval-Augmented Pre-trained Language Models
收藏 引用
ACM Transactions on software Engineering and Methodology 1000年
作者: Quanjun Zhang Chunrong Fang Yi Zheng Yaxin Zhang Yuan Zhao Rubing Huang Jianyi Zhou Yun Yang Tao Zheng Zhenyu Chen Department of Computing Technologies Swinburne University of Technology Australia and State Key Laboratory for Novel Software Technology Nanjing University China State Key Laboratory for Novel Software Technology Nanjing University China School of Computer Science and Engineering Macau University of Science and Technology China Huawei Cloud Computing Technologies Co. Ltd. China Department of Computing Technologies Swinburne University of Technology Australia State Key Laboratory for Novel Software Technology Nanjing University China and Shenzhen Research Institute of Nanjing University China
Unit testing validates the correctness of the units of the software system under test and serves as the cornerstone in improving software quality and reliability. To reduce manual efforts in writing unit tests, some t... 详细信息
来源: 评论
Parallel and Distributed Processing and Applications  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Yi Pan Daoxu Chen Minyi Guo Jiannong Cao Jack Dongarra
Welcome to the proceedings of ISPA 2005 which was held in the city of Nanjing. Parallel computing has become a mainstream research area in computer science and the ISPA conference has become one of the premier forums ... 详细信息
来源: 评论
Experimental Evaluation of Parameter-Efficient Fine-Tuning for software Engineering Tasks
收藏 引用
ACM Transactions on software Engineering and Methodology 1000年
作者: Wentao Zou Zongwen Shen Qi Li Jidong Ge Chuanyi Li Xiang Chen Xiaoyu Shen LiGuo Huang Bin Luo National Key Laboratory for Novel Software Technology Nanjing University China School of Artificial Intelligence and Computer Science Nantong University China Eastern Institute for Advanced Study China Department of Computer Science Southern Methodist University USA
Pre-trained models (PTMs) have succeeded in various software engineering (SE) tasks following the “pre-train then fine-tune” paradigm. As fully fine-tuning all parameters of PTMs can be computationally expensive, a ... 详细信息
来源: 评论
Model Pruning-enabled Federated Split Learning for Resource-constrained Devices in Artificial Intelligence Empowered Edge Computing Environment
收藏 引用
ACM Transactions on Sensor Networks 1000年
作者: Yongzhe Jia Bowen Liu Xuyun Zhang Fei Dai Arif Khan Lianyong Qi Wanchun Dou State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing China Department of Computing Macquarie University Sydney Australia College of Big Data and Intelligent Engineering Southwest Forestry University Kunming China M3S Empirical Software Engineering Research Unit University of Oulu Oulu Finland College of Computer Science and Technology China University of Petroleum East China - Qingdao Campus Qingdao China
Distributed Collaborative Machine Learning (DCML) has emerged in artificial intelligence-empowered edge computing environments, such as the Industrial Internet of Things (IIoT), to process tremendous data generated by... 详细信息
来源: 评论