咨询与建议

限定检索结果

文献类型

  • 1,491 篇 会议
  • 1,230 篇 期刊文献
  • 8 册 图书

馆藏范围

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

日期分布

学科分类号

  • 1,921 篇 工学
    • 1,483 篇 计算机科学与技术...
    • 1,193 篇 软件工程
    • 325 篇 信息与通信工程
    • 280 篇 控制科学与工程
    • 154 篇 生物工程
    • 137 篇 电气工程
    • 136 篇 机械工程
    • 123 篇 电子科学与技术(可...
    • 94 篇 光学工程
    • 88 篇 生物医学工程(可授...
    • 72 篇 仪器科学与技术
    • 69 篇 动力工程及工程热...
    • 58 篇 化学工程与技术
    • 41 篇 建筑学
    • 40 篇 安全科学与工程
    • 40 篇 网络空间安全
    • 38 篇 交通运输工程
  • 897 篇 理学
    • 555 篇 数学
    • 185 篇 物理学
    • 172 篇 生物学
    • 151 篇 统计学(可授理学、...
    • 138 篇 系统科学
    • 69 篇 化学
  • 548 篇 管理学
    • 339 篇 管理科学与工程(可...
    • 223 篇 图书情报与档案管...
    • 112 篇 工商管理
  • 76 篇 医学
    • 66 篇 临床医学
    • 56 篇 基础医学(可授医学...
    • 40 篇 药学(可授医学、理...
  • 62 篇 法学
    • 42 篇 社会学
  • 37 篇 经济学
  • 17 篇 农学
  • 16 篇 教育学
  • 10 篇 文学
  • 9 篇 艺术学
  • 6 篇 军事学

主题

  • 132 篇 computer science
  • 101 篇 laboratories
  • 61 篇 semantics
  • 60 篇 wireless sensor ...
  • 51 篇 software enginee...
  • 46 篇 application soft...
  • 43 篇 software testing
  • 41 篇 optimization
  • 41 篇 software
  • 40 篇 algorithm design...
  • 39 篇 feature extracti...
  • 39 篇 testing
  • 38 篇 computational mo...
  • 36 篇 data mining
  • 34 篇 web services
  • 33 篇 educational inst...
  • 33 篇 monitoring
  • 32 篇 deep learning
  • 32 篇 protocols
  • 31 篇 cloud computing

机构

  • 508 篇 state key labora...
  • 202 篇 department of co...
  • 154 篇 department of co...
  • 119 篇 national key lab...
  • 108 篇 state key labora...
  • 85 篇 state key labora...
  • 65 篇 department of co...
  • 62 篇 shanghai key lab...
  • 61 篇 school of softwa...
  • 57 篇 state key labora...
  • 51 篇 state key labora...
  • 51 篇 university of ch...
  • 47 篇 national key lab...
  • 39 篇 tsinghua nationa...
  • 37 篇 school of artifi...
  • 33 篇 beijing key labo...
  • 30 篇 college of compu...
  • 30 篇 state key labora...
  • 30 篇 department of co...
  • 28 篇 department of co...

作者

  • 35 篇 junping du
  • 34 篇 yu huiqun
  • 34 篇 li wu-jun
  • 33 篇 guihai chen
  • 32 篇 dou wanchun
  • 31 篇 shen furao
  • 31 篇 fan guisheng
  • 31 篇 zhang lijun
  • 31 篇 yingmin jia
  • 30 篇 zhao jian
  • 29 篇 ying mingsheng
  • 25 篇 yang tianbao
  • 24 篇 xu baowen
  • 23 篇 xiang-yang li
  • 23 篇 sanglu lu
  • 23 篇 chen liqiong
  • 23 篇 fashan yu
  • 22 篇 gao yang
  • 22 篇 xu xiaolong
  • 22 篇 zhang xuyun

语言

  • 2,503 篇 英文
  • 139 篇 其他
  • 86 篇 中文
  • 2 篇 德文
检索条件"机构=State Key Laboratory for Novell Software Technology Department of Computer Science and Technology"
2729 条 记 录,以下是1031-1040 订阅
排序:
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... 详细信息
来源: 评论
Prognosis for patients with cognitive motor dissociation identified by brain-computer interface (vol 143, pg 1177, 2020)
收藏 引用
BRAIN 2020年 第8期143卷 1177-1189页
作者: Pan, Jiahui Xie, Qiuyou Qin, Pengmin Chen, Yan He, Yanbin Huang, Haiyun Wang, Fei Ni, Xiaoxiao Cichocki, Andrzej Yu, Ronghao Li, Yuanqing Center for Brain-Computer Interfaces and Brain Information Processing South China University of Technology Guangzhou China School of Software South China Normal University Guangzhou China Department of Rehabilitation Medicine Zhujiang Hospital Southern Medical University Guangzhou China Centre for Hyperbaric Oxygen and Neurorehabilitation Guangzhou General Hospital of Guangzhou Military Command Guangzhou China Centre for Studies of Psychological Applications Guangdong Key Laboratory of Mental Health and Cognitive Science School of Psychology South China Normal University Guangzhou China Centre for Hyperbaric Oxygen and Neurorehabilitation Guangzhou General Hospital of Guangzhou Military Command Guangzhou China Centre for Hyperbaric Oxygen and Neurorehabilitation Guangzhou General Hospital of Guangzhou Military Command Guangzhou China Department of Traumatic Brain Injury Rehabilitation and Severe Rehabilitation Guangdong Work Injury Rehabilitation Hospital Guangzhou China Center for Brain-Computer Interfaces and Brain Information Processing South China University of Technology Guangzhou China Center for Brain-Computer Interfaces and Brain Information Processing South China University of Technology Guangzhou China School of Software South China Normal University Guangzhou China Centre for Hyperbaric Oxygen and Neurorehabilitation Guangzhou General Hospital of Guangzhou Military Command Guangzhou China Skolkovo Institute of Science and Technology (Skoltech) Moscow 143026 Russia Nicolaus Copernicus University (UMK) Torun 87-100 Poland Centre for Hyperbaric Oxygen and Neurorehabilitation Guangzhou General Hospital of Guangzhou Military Command Guangzhou China Center for Brain-Computer Interfaces and Brain Information Processing South China University of Technology Guangzhou China Correspondence to: Yuanqing Li PhD Center for Brain-Computer Interfaces and Brain Information Processing South China University of Technology Guangzhou 510640 China E-mail: auyqli@scut.edu.c
Cognitive motor dissociation describes a subset of patients with disorders of consciousness who show neuroimaging evidence of consciousness but no detectable command-following behaviours. Although essential for family... 详细信息
来源: 评论
On the Robustness of Median Sampling in Noisy Evolutionary Optimization
arXiv
收藏 引用
arXiv 2019年
作者: Bian, Chao Qian, Chao Yu, Yang Tang, Ke State Key Laboratory for Novel Software Technology Nanjing University Nanjing210023 China Shenzhen Key Laboratory of Computational Intelligence Department of Computer Science and Engineering Southern University of Science and Technology Shenzhen518055 China
Evolutionary algorithms (EAs) are a sort of nature-inspired metaheuristics, which have wide applications in various practical optimization problems. In these problems, objective evaluations are usually inaccurate, bec... 详细信息
来源: 评论
Running Time Analysis of the (1+1)-EA for Robust Linear Optimization
arXiv
收藏 引用
arXiv 2019年
作者: Bian, Chao Qian, Chao Tang, Ke Yu, Yang State Key Laboratory for Novel Software Technology Nanjing University Nanjing210023 China Shenzhen Key Laboratory of Computational Intelligence Department of Computer Science and Engineering Southern University of Science and Technology Shenzhen518055 China
Evolutionary algorithms (EAs) have found many successful real-world applications, where the optimization problems are often subject to a wide range of uncertainties. To understand the practical behaviors of EAs theore... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Using CNN to Predict the Resolution Status of Bug Reports
收藏 引用
Journal of Physics: Conference Series 2021年 第1期1828卷
作者: Muhammad Ali Arshad Huang Zhiqiu Department of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing 211106 China Key Laboratory of Safety-Critical Software NUAA Ministry of Industry and Information Technology Nanjing 211106 China
Bug tracking systems (BTS) are a resource for receiving bug reports that help to improve software applications. They usually contain reports reported by the end-users or developers. Bug Reports contain some suggestion...
来源: 评论
A Lexicographic Bi-objective Scheduling Problem From Steel Production Systems
收藏 引用
IFAC-PapersOnLine 2020年 第5期53卷 158-163页
作者: Ziyan Zhao MengChu Zhou Shixin Liu Xiwang Guo Haoyue Liu State Key Laboratory of Synthetical Automation for Process Industries College of Information Science and Engineering Northeastern University Shenyang 110819 China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07102 USA College of Computer and Communication Engineering Liaoning Shihua University Fushun 113001 China
Wire rod and bar rolling is an essential process in a steel production system (SPS). This work considers a lexicographic bi-objective scheduling problem originated from it. As a medium process in SPS, both the impacts... 详细信息
来源: 评论
Portable Acceleration of CMS Computing Workflows with Coprocessors as a Service
收藏 引用
Computing and software for Big science 2024年 第1期8卷 1-36页
作者: Hayrapetyan, A. Tumasyan, A. Adam, W. Andrejkovic, J.W. Bergauer, T. Chatterjee, S. Damanakis, K. Dragicevic, M. Hussain, P.S. Jeitler, M. Krammer, N. Li, A. Liko, D. Mikulec, I. Schieck, J. Schöfbeck, R. Schwarz, D. Sonawane, M. Templ, S. Waltenberger, W. Wulz, C.-E. Darwish, M.R. Janssen, T. Mechelen, P. Van Bols, E.S. D’Hondt, J. Dansana, S. De Moor, A. Delcourt, M. Faham, H. El Lowette, S. Makarenko, I. Müller, D. Sahasransu, A.R. Tavernier, S. Tytgat, M. Onsem, G. P. Van Putte, S. Van Vannerom, D. Clerbaux, B. Das, A.K. De Lentdecker, G. Favart, L. Gianneios, P. Hohov, D. Jaramillo, J. Khalilzadeh, A. Khan, F.A. Lee, K. Mahdavikhorrami, M. Malara, A. Paredes, S. Thomas, L. Bemden, M. Vanden Velde, C. Vander Vanlaer, P. De Coen, M. Dobur, D. Hong, Y. Knolle, J. Lambrecht, L. Mestdach, G. Amarilo, K. Mota Rendón, C. Samalan, A. Skovpen, K. Bossche, N. Van Den Linden, J. van der Wezenbeek, L. Benecke, A. Bethani, A. Bruno, G. Caputo, C. Delaere, C. Donertas, I.S. Giammanco, A. Jaffel, K. Jain, Sh. Lemaitre, V. Lidrych, J. Mastrapasqua, P. Mondal, K. Tran, T.T. Wertz, S. Alves, G.A. Coelho, E. Hensel, C. De Oliveira, T. Menezes Moraes, A. Teles, P. Rebello Soeiro, M. Júnior, W. L. Aldá Pereira, M. Alves Gallo Filho, M. Barroso Ferreira Malbouisson, H. Brandao Carvalho, W. Chinellato, J. Da Costa, E.M. Da Silveira, G.G. De Jesus Damiao, D. De Souza, S. Fonseca De Souza, R. Gomes Martins, J. Herrera, C. Mora Mundim, L. Nogima, H. Pinheiro, J.P. Santoro, A. Sznajder, A. Thiel, M. Pereira, A. Vilela Bernardes, C.A. Calligaris, L. Tomei, T. R. Fernandez Perez Gregores, E.M. Mercadante, P.G. Novaes, S.F. Orzari, B. Padula, Sandra S. Aleksandrov, A. Antchev, G. Hadjiiska, R. Iaydjiev, P. Misheva, M. Shopova, M. Sultanov, G. Dimitrov, A. Litov, L. Pavlov, B. Petkov, P. Petrov, A. Shumka, E. Keshri, S. Thakur, S. Cheng, T. Javaid, T. Yuan, L. Hu, Z. Liu, J. Yi, K. Chen, G.M. Chen, H.S. Chen, M. Iemmi, F. Jiang, C.H. Kapoor, A. Liao, H. Liu, Z.-A. Sharma, R. Song, J.N. Tao, J. Wang, C. Wang, J. Wang, Z. Zhang, H. Agapitos Yerevan Physics Institute Yerevan Armenia Institut für Hochenergiephysik Vienna Austria Universiteit Antwerpen Antwerpen Belgium Vrije Universiteit Brussel Brussel Belgium Université Libre de Bruxelles Bruxelles Belgium Ghent University Ghent Belgium Université Catholique de Louvain Louvain-la-Neuve Belgium Centro Brasileiro de Pesquisas Fisicas Rio de Janeiro Brazil Universidade do Estado do Rio de Janeiro Rio de Janeiro Brazil Universidade Estadual Paulista Universidade Federal do ABC São Paulo Brazil Institute for Nuclear Research and Nuclear Energy Bulgarian Academy of Sciences Sofia Bulgaria University of Sofia Sofia Bulgaria Instituto De Alta Investigación Universidad de Tarapacá Casilla 7 D Arica Chile Beihang University Beijing China Department of Physics Tsinghua University Beijing China Institute of High Energy Physics Beijing China State Key Laboratory of Nuclear Physics and Technology Peking University Beijing China Sun Yat-sen University Guangzhou China University of Science and Technology of China Hefei China Nanjing Normal University Nanjing China Institute of Modern Physics and Key Laboratory of Nuclear Physics and Ion-beam Application (MOE) - Fudan University Shanghai China Zhejiang University Hangzhou Zhejiang China Universidad de Los Andes Bogota Colombia Universidad de Antioquia Medellin Colombia University of Split Faculty of Electrical Engineering Mechanical Engineering and Naval Architecture Split Croatia Faculty of Science University of Split Split Croatia Institute Rudjer Boskovic Zagreb Croatia University of Cyprus Nicosia Cyprus Charles University Prague Czech Republic Escuela Politecnica Nacional Quito Ecuador Universidad San Francisco de Quito Quito Ecuador Academy of Scientific Research and Technology of the Arab Republic of Egypt Egyptian Network of High Energy Physics Cairo Egypt Center for High Energy Physics (CHEP-FU) Fayoum University El-Fayoum Egypt National Institute of Chemical Physics and Biophysic
Computing demands for large scientific experiments, such as the CMS experiment at the CERN LHC, will increase dramatically in the next decades. To complement the future performance increases of software running on cen... 详细信息
来源: 评论
Neural Entity Summarization with Joint Encoding and Weak Supervision
arXiv
收藏 引用
arXiv 2020年
作者: Li, Junyou Cheng, Gong Liu, Qingxia Zhang, Wen Kharlamov, Evgeny Gunaratna, Kalpa Chen, Huajun National Key Laboratory for Novel Software Technology Nanjing University China College of Computer Science and Technology Zhejiang University China Bosch Center for Artificial Intelligence Robert Bosch GmbH Germany Department of Informatics University of Oslo Norway Samsung Research America Mountain ViewCA United States
In a large-scale knowledge graph (KG), an entity is often described by a large number of triple-structured facts. Many applications require abridged versions of entity descriptions, called entity summaries. Existing s... 详细信息
来源: 评论
Adversarial directed graph embedding
arXiv
收藏 引用
arXiv 2020年
作者: Zhu, Shijie Li, Jianxin Peng, Hao Wang, Senzhang He, Lifang Beijing Advanced Innovation Center for Big Data and Brain Computing Beihang University Beijing100191 China State Key Laboratory of Software Development Environment Beihang University Beijing100191 China College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing211106 China Department of Computer Science and Engineering Lehigh University BethlehemPA United States
Node representation learning for directed graphs is critically important to facilitate many graph mining tasks. To capture the directed edges between nodes, existing methods mostly learn two embedding vectors for each... 详细信息
来源: 评论