咨询与建议

限定检索结果

文献类型

  • 1,210 篇 会议
  • 845 篇 期刊文献
  • 5 册 图书

馆藏范围

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

日期分布

学科分类号

  • 1,471 篇 工学
    • 1,179 篇 计算机科学与技术...
    • 984 篇 软件工程
    • 270 篇 信息与通信工程
    • 192 篇 控制科学与工程
    • 143 篇 生物工程
    • 91 篇 电子科学与技术(可...
    • 87 篇 电气工程
    • 83 篇 机械工程
    • 78 篇 光学工程
    • 62 篇 生物医学工程(可授...
    • 50 篇 动力工程及工程热...
    • 43 篇 仪器科学与技术
    • 43 篇 化学工程与技术
    • 35 篇 建筑学
    • 31 篇 土木工程
    • 31 篇 网络空间安全
    • 29 篇 安全科学与工程
  • 643 篇 理学
    • 401 篇 数学
    • 150 篇 生物学
    • 121 篇 统计学(可授理学、...
    • 120 篇 物理学
    • 86 篇 系统科学
    • 50 篇 化学
  • 438 篇 管理学
    • 261 篇 管理科学与工程(可...
    • 193 篇 图书情报与档案管...
    • 78 篇 工商管理
  • 46 篇 法学
    • 36 篇 社会学
  • 42 篇 医学
    • 39 篇 临床医学
    • 34 篇 基础医学(可授医学...
  • 26 篇 经济学
    • 26 篇 应用经济学
  • 16 篇 教育学
  • 15 篇 农学
  • 9 篇 艺术学
  • 6 篇 文学
  • 4 篇 军事学

主题

  • 78 篇 computer science
  • 51 篇 semantics
  • 43 篇 laboratories
  • 39 篇 wireless sensor ...
  • 39 篇 feature extracti...
  • 31 篇 optimization
  • 30 篇 software
  • 29 篇 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
  • 24 篇 accuracy
  • 23 篇 monitoring
  • 23 篇 training

机构

  • 527 篇 state key labora...
  • 222 篇 department of co...
  • 131 篇 national key lab...
  • 108 篇 state key labora...
  • 79 篇 state key lab. f...
  • 56 篇 national key lab...
  • 55 篇 state key labora...
  • 51 篇 state key labora...
  • 51 篇 state key lab fo...
  • 48 篇 national key lab...
  • 40 篇 department of co...
  • 37 篇 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...
  • 23 篇 nanjing universi...
  • 22 篇 school of comput...

作者

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

语言

  • 1,903 篇 英文
  • 94 篇 其他
  • 62 篇 中文
  • 2 篇 德文
检索条件"机构=National Key Lab of Novel Software Technology and Department of Computer Science and Technology"
2060 条 记 录,以下是801-810 订阅
排序:
Efficient software product-line model checking using induction and a SAT solver
收藏 引用
Frontiers of computer science 2018年 第2期12卷 264-279页
作者: Fei HE Yuan GAO Liangze YIN Tsinghua National Laboratory for Information Science and Technology (TNList) Tsinghua University Beijing 100084 China Key Laboratory for Information System Security Ministry of Education Beijing 100084 China School of Software Tsinghua University Beijing 100084 China Department of Computer Science and Technology National University of Defense Technology Changsha 410073 China
software product line (SPL) engineering is increasingly being adopted in safety-critical systems. It is highly desirable to rigorously show that these systems are designed correctly. However, formal analysis for SPL... 详细信息
来源: 评论
End-to-End AI-Based Point-of-Care Diagnosis System for Classifying Respiratory Illnesses and Early Detection of COVID-19
arXiv
收藏 引用
arXiv 2020年
作者: Belkacem, Abdelkader Nasreddine Ouhbi, Sofia Lakas, Abderrahmane Benkhelifa, Elhadj Chen, Chao Department of Computer and Network Engineering CIT UAEU UAE Department of Computer Science and Software Engineering CIT UAEU UAE Cloud Computing and Applications Reseach Lab Staffordshire University United Kingdom Key Laboratory of Complex System Control Theory and Application Tianjin University of Technology China
Respiratory symptoms can be a caused by different underlying conditions, and are often caused by viral infections, such as Influenza-like illnesses or other emerging viruses like the Coronavirus. These respiratory vir... 详细信息
来源: 评论
Hyperspectral Image Classification-Traditional to Deep Models: A Survey for Future Prospects
arXiv
收藏 引用
arXiv 2021年
作者: Ahmad, Muhammad Shabbir, Sidrah Roy, Swalpa Kumar Hong, Danfeng Wu, Xin Yao, Jing Khan, Adil Mehmood Mazzara, Manuel Distefano, Salvatore Chanussot, Jocelyn Department of Computer Science National University of Computer and Emerging Sciences Islamabad Chiniot-Faisalabad Campus Chiniot35400 Pakistan Dipartimento di Matematica e Informatica-MIFT University of Messina Messina98121 Italy Pakistan The Department of Computer Science and Engineering Jalpaiguri Government Engineering College West Bengal 735102 India The Key Laboratory of Digital Earth Science Aerospace Information Research Institute Chinese Academy of Sciences Beijing100094 China The School of Information and Electronics Beijing Institute of Technology Beijing100081 China Beijing Key Laboratory of Fractional Signals and Systems Beijing100081 China The Institute of Data Science and Artificial Intelligence Innopolis University Innopolis 420500 Russia Institute of Software Development and Engineering Innopolis University Innopolis420500 Russia The Univ. Grenoble Alpes CNRS Grenoble INP GIPSA-Lab Grenoble38000 France
Hyperspectral Imaging (HSI) has been extensively utilized in many real-life applications because it benefits from the detailed spectral information contained in each pixel. Notably, the complex characteristics i.e., t... 详细信息
来源: 评论
Mutation testing for ethereum smart contract
arXiv
收藏 引用
arXiv 2019年
作者: Wu, Haoran Wang, Xingya Xu, Jiehui Zou, Weiqin Zhang, Lingming Chen, Zhenyu State Key Laboratory for Novel Software Technology Nanjing University 210093 China Department of Computer Science University of Texas Dallas United States
Smart contract is a special program that manages digital assets on blockchain. It is difficult to recover the loss if users make transactions through buggy smart contracts, which cannot be directly fixed. Hence, it is... 详细信息
来源: 评论
A dynamic level interaction method based on trusted value
收藏 引用
Journal of computers (Taiwan) 2019年 第1期30卷 142-152页
作者: Zhang, Yong-sheng Fan, Yue-qin Cui, Ran-ran Wei, Yu Department of Information Science and Engineering Shandong Normal University Shandong Provincial Key Laboratory for Novel Distributed Computer Software Technology Jinan China
With the rapid development of the cloud computing, there is a large amount of service providers with low quality in the marketplace. The mendacious service providers cause a serious loss for the users. In order to sel... 详细信息
来源: 评论
Multi-view knowledge graph embedding for entity alignment
arXiv
收藏 引用
arXiv 2019年
作者: Zhang, Qingheng Sun, Zequn Hu, Wei Chen, Muhao Guo, Lingbing Qu, Yuzhong State Key Laboratory for Novel Software Technology Nanjing University China Department of Computer Science University of California Los Angeles United States
We study the problem of embedding-based entity alignment between knowledge graphs (KGs). Previous works mainly focus on the relational structure of entities. Some further incorporate another type of features, such as ... 详细信息
来源: 评论
When Learning Joins Edge: Real-Time Proportional Computation Offloading via Deep Reinforcement Learning
When Learning Joins Edge: Real-Time Proportional Computation...
收藏 引用
International Conference on Parallel and Distributed Systems (ICPADS)
作者: Ning Chen Sheng Zhang Zhuzhong Qian Jie Wu Sanglu Lu State Key Lab. for Novel Software Technology Nanjing University CN Department of Computer and Information Sciences Temple University Philadelphia USA
Computation offloading makes sense to the interaction between users and compute-intensive applications. Current researches focused on deciding locally or remotely executing an application, but ignored the specific off... 详细信息
来源: 评论
MALP: A More Effective Meta-Paths Based Link Prediction Method in Partially Aligned Heterogeneous Social Networks
MALP: A More Effective Meta-Paths Based Link Prediction Meth...
收藏 引用
International Conference on Tools for Artificial Intelligence (ICTAI)
作者: Kai Zhu Meng Cao Heng-yang Lu National Key Laboratory for Novel Software Technology Nanjing University Nanjing China Department of Computer Science and Technology Nanjing University Nanjing China School of Internet of Things Engineering Jiangnan University Wuxi China
In general, online social networks include different types of nodes and edges, which means that online social networks are a type of heterogeneous information network. Link prediction is a very important research prob...
来源: 评论
Navy Droid: an efficient tool of energy inefficiency problem diagnosis for Android applications
收藏 引用
science China(Information sciences) 2018年 第5期61卷 35-54页
作者: Yi LIU Jue WANG Chang XU Xiaoxing MA Jian L State Key Laboratory for Novel Software Technology Nanjing University Department of Computer Science and Technology Nanjing University
Energy inefficiency is an influential non-functional issue for smartphone applications, causing increased concerns from users. Locating these problems is labor-intensive, thus automated diagnosis tools are in demand. ... 详细信息
来源: 评论
FLBench: A Benchmark suite for federated learning
arXiv
收藏 引用
arXiv 2020年
作者: Liang, Yuan Guo, Yange Gong, Yanxia Luo, Chunjie Zhan, Jianfeng Huang, Yunyou Guangxi Key Lab of Multi-Source Information Mining & Security Department of Computer Science Guangxi Normal University Guilin541004 China Institute of Computing Technology Chinese Academy of Sciences Beijing100190 China BenchCouncil R&D Lab - Guilin Guangxi Key Laboratory of Trusted Software Guilin University of Electronic Technology Guilin541004 China
Federated learning is a new machine learning paradigm. The goal is to build a machine learning model from the data sets distributed on multiple devices-so-called an isolated data island-while keeping their data secure... 详细信息
来源: 评论