咨询与建议

限定检索结果

文献类型

  • 1,192 篇 会议
  • 828 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,448 篇 工学
    • 1,163 篇 计算机科学与技术...
    • 978 篇 软件工程
    • 267 篇 信息与通信工程
    • 186 篇 控制科学与工程
    • 143 篇 生物工程
    • 91 篇 电子科学与技术(可...
    • 85 篇 电气工程
    • 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
  • 51 篇 semantics
  • 43 篇 laboratories
  • 39 篇 wireless sensor ...
  • 37 篇 feature extracti...
  • 30 篇 optimization
  • 30 篇 software
  • 28 篇 data mining
  • 28 篇 software testing
  • 27 篇 computational mo...
  • 27 篇 algorithm design...
  • 27 篇 protocols
  • 27 篇 web services
  • 24 篇 routing
  • 24 篇 testing
  • 23 篇 image segmentati...
  • 23 篇 monitoring
  • 23 篇 accuracy
  • 22 篇 task analysis
  • 22 篇 software enginee...

机构

  • 519 篇 state key labora...
  • 221 篇 department of co...
  • 126 篇 national key lab...
  • 106 篇 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...
  • 36 篇 school of artifi...
  • 31 篇 department of co...
  • 29 篇 faculty of compu...
  • 28 篇 computer vision ...
  • 27 篇 department of co...
  • 26 篇 school of electr...
  • 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,899 篇 英文
  • 61 篇 中文
  • 58 篇 其他
  • 2 篇 德文
检索条件"机构=National Key Lab of Novel Software Technology and Department of Computer Science and Technology"
2020 条 记 录,以下是71-80 订阅
排序:
Research on Microkernel Integrity Semantics Model and Formal Verification
收藏 引用
Chinese Journal of Electronics 2025年 第1期23卷 43-48页
作者: Zhenjiang Qian Wei Liu Hao Huang State Key Laboratory for Novel Software Technology Nanjing University Nanjing China Department of Computer Science and Technology Nanjing University Nanjing China
Microkernel integrity is an important aspect of security for the whole microkernel system. Many of the research works on microkernel integrity focus on analysis and safeguards against the existing kernel attacks, and ... 详细信息
来源: 评论
DapperFL: Domain Adaptive Federated Learning with Model Fusion Pruning for Edge Devices  38
DapperFL: Domain Adaptive Federated Learning with Model Fusi...
收藏 引用
38th Conference on Neural Information Processing Systems, NeurIPS 2024
作者: Jia, Yongzhe Zhang, Xuyun Hu, Hongsheng Choo, Kim-Kwang Raymond Qi, Lianyong Xu, Xiaolong Beheshti, Amin Dou, Wanchun State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University China School of Computing Macquarie University Australia School of Information and Physical Sciences University of Newcastle Australia Department of Information Systems and Cyber Security University of Texas San Antonio United States College of Computer Science and Technology China University of Petroleum [East China China School of Computer and Software Nanjing University of Information Science and Technology China
Federated learning (FL) has emerged as a prominent machine learning paradigm in edge computing environments, enabling edge devices to collaboratively optimize a global model without sharing their private data. However...
来源: 评论
Hashing based Contrastive Learning for Virtual Screening
arXiv
收藏 引用
arXiv 2024年
作者: Han, Jin Hong, Yun Li, Wu-Jun National Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing210023 China
Virtual screening (VS) is a critical step in computer-aided drug discovery, aiming to identify molecules that bind to a specific target receptor like protein. Traditional VS methods, such as docking, are often too tim... 详细信息
来源: 评论
Hashing for Protein Structure Similarity Search
arXiv
收藏 引用
arXiv 2024年
作者: Han, Jin Li, Wu-Jun National Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing210023 China
Protein structure similarity search (PSSS), which tries to search proteins with similar structures, plays a crucial role across diverse domains from drug design to protein function prediction and molecular evolution. ... 详细信息
来源: 评论
AoI-aware Incentive Mechanism for Mobile Crowdsensing using Stackelberg Game  42
AoI-aware Incentive Mechanism for Mobile Crowdsensing using ...
收藏 引用
42nd IEEE International Conference on computer Communications, INFOCOM 2023
作者: Xiao, Mingjun Xu, Yin Zhou, Jinrui Wu, Jie Zhang, Sheng Zheng, Jun University of Science and Technology of China School of Computer Science and Technology China Suzhou Institute for Advanced Research University of Science and Technology of China China Temple Universityy Department of Computer and Information Sciences United States Nanjing University State Key Laboratory for Novel Software Technology China
Mobile CrowdSensing (MCS) is a mobile computing paradigm, through which a platform can coordinate a crowd of workers to accomplish large-scale data collection tasks using their mobile devices. Information freshness ha... 详细信息
来源: 评论
NumLLM: Numeric-Sensitive Large Language Model for Chinese Finance
arXiv
收藏 引用
arXiv 2024年
作者: Su, Huan-Yi Wu, Ke Huang, Yu-Hao Li, Wu-Jun National Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing210023 China
Recently, many works have proposed various financial large language models (FinLLMs) by pre-training from scratch or fine-tuning open-sourced LLMs on financial corpora. However, existing FinLLMs exhibit unsatisfactory... 详细信息
来源: 评论
On interleaving space exploration of multi-threaded programs
收藏 引用
Frontiers of computer science 2021年 第4期15卷 17-28页
作者: Dongjie CHEN Yanyan JIANG Chang XU Xiaoxing MA State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China Department of Computer Science and Technology Nanjing UniversityNanjing 210023China
Exploring the interleaving space of a multithreaded program to efficiently detect concurrency bugs is important but also difficult because of the astronomically many thread *** paper presents a novel framework to deco... 详细信息
来源: 评论
Hallu-PI: Evaluating Hallucination in Multi-modal Large Language Models within Perturbed Inputs  24
Hallu-PI: Evaluating Hallucination in Multi-modal Large Lang...
收藏 引用
32nd ACM International Conference on Multimedia, MM 2024
作者: Ding, Peng Wu, Jingyu Kuang, Jun Ma, Dan Cao, Xuezhi Cai, Xunliang Chen, Shi Chen, Jiajun Huang, Shujian National Key Laboratory for Novel Software Technology Nanjing University Nanjing China College of Computer Science and Technology Zhejiang University Hangzhou China Meituan Shanghai China Meituan Beijing China Zhejiang-Singapore Innovation and AI Joint Research Lab Zhejiang University Hangzhou China
Multi-modal Large Language Models (MLLMs) have demonstrated remarkable performance on various visual-language understanding and generation tasks. However, MLLMs occasionally generate content inconsistent with the give... 详细信息
来源: 评论
Evolution of Web API Cooperation Network via Exploring Community Structure and Popularity
IEEE Transactions on Artificial Intelligence
收藏 引用
IEEE Transactions on Artificial Intelligence 2024年 第12期5卷 6659-6671页
作者: Kang, Guosheng Wang, Yang Liu, Jianxun Cao, Buqing Xiao, Yong Xu, Yu Hunan University of Science and Technology Hunan Provincial Key Laboratory for Services Computing and Novel Software Technology School of Computer Science and Engineering Xiangtan411201 China University of Cambridge Cambridge Baker Systems Genomics Initiative British Heart Foundation Cardiovascular Epidemiology Unit Department of Public Health and Primary Care CambridgeCB1 8RN United Kingdom
With the growing popularity of the Internet, Web applications have become increasingly essential in our daily lives. Web application programming interfaces (Web APIs) play a crucial role in facilitating interaction be... 详细信息
来源: 评论
Verifying Contextual Refinement with Ownership Transfer
收藏 引用
Journal of computer science & technology 2021年 第6期36卷 1342-1366页
作者: 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
Contextual refinement is a compositional approach to compositional verification of concurrent *** has been much work designing program logics to prove the contextual refinement between the object implementation and it... 详细信息
来源: 评论