咨询与建议

限定检索结果

文献类型

  • 1,492 篇 会议
  • 1,201 篇 期刊文献
  • 7 册 图书

馆藏范围

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

日期分布

学科分类号

  • 1,895 篇 工学
    • 1,456 篇 计算机科学与技术...
    • 1,168 篇 软件工程
    • 313 篇 信息与通信工程
    • 273 篇 控制科学与工程
    • 154 篇 生物工程
    • 134 篇 机械工程
    • 130 篇 电气工程
    • 124 篇 电子科学与技术(可...
    • 92 篇 光学工程
    • 88 篇 生物医学工程(可授...
    • 71 篇 仪器科学与技术
    • 66 篇 动力工程及工程热...
    • 59 篇 化学工程与技术
    • 41 篇 建筑学
    • 39 篇 安全科学与工程
    • 39 篇 网络空间安全
  • 878 篇 理学
    • 541 篇 数学
    • 183 篇 物理学
    • 172 篇 生物学
    • 147 篇 统计学(可授理学、...
    • 137 篇 系统科学
    • 70 篇 化学
  • 540 篇 管理学
    • 335 篇 管理科学与工程(可...
    • 219 篇 图书情报与档案管...
    • 111 篇 工商管理
  • 75 篇 医学
    • 65 篇 临床医学
    • 56 篇 基础医学(可授医学...
    • 40 篇 药学(可授医学、理...
  • 62 篇 法学
    • 42 篇 社会学
  • 37 篇 经济学
    • 37 篇 应用经济学
  • 17 篇 农学
  • 16 篇 教育学
  • 10 篇 文学
  • 8 篇 艺术学
  • 6 篇 军事学

主题

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

机构

  • 493 篇 state key labora...
  • 189 篇 department of co...
  • 150 篇 department of co...
  • 117 篇 national key lab...
  • 109 篇 state key labora...
  • 85 篇 state key labora...
  • 66 篇 department of co...
  • 63 篇 shanghai key lab...
  • 61 篇 school of softwa...
  • 60 篇 state key labora...
  • 52 篇 state key labora...
  • 50 篇 university of ch...
  • 45 篇 national key lab...
  • 37 篇 tsinghua nationa...
  • 36 篇 school of artifi...
  • 31 篇 state key labora...
  • 31 篇 department of co...
  • 30 篇 college of compu...
  • 30 篇 beijing key labo...
  • 29 篇 department of co...

作者

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

语言

  • 2,402 篇 英文
  • 231 篇 其他
  • 67 篇 中文
  • 2 篇 德文
检索条件"机构=State Key Laboratory for Novell Software Technology Department of Computer Science and Technology"
2700 条 记 录,以下是1161-1170 订阅
排序:
Budget-Aware Dynamic Incentive Mechanism in SpatialCrowdsourcing
收藏 引用
Journal of computer science & technology 2017年 第5期32卷 890-904页
作者: Jia-Xu Liu Yu-Dian Ji Wei-Feng Lv Ke Xu State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China School of Software Liaoning Technical University Huludao 125105 China Department of Computer Science and Engineering Hong Kong University of Science and Technology Hong Kong China State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China
The ubiquitous deployment of GPS-equipped devices and mobile networks has spurred the popularity of spatial crowdsourcing. Many spatial crowdsourcing tasks require crowd workers to collect data from different location... 详细信息
来源: 评论
Stochastic primal-dual algorithms with faster convergence than O(1/√t) for problems without bilinear structure
arXiv
收藏 引用
arXiv 2019年
作者: Yan, Yan Xu, Yi Lin, Qihang Zhang, Lijun Yang, Tianbao Department of Computer Science University of Iowa Iowa CityIA52242 United States Department of Management Sciences University of Iowa Iowa CityIA52242 United States National Key Laboratory for Novel Software Technology Nanjing University Nanjing210023 China
Previous studies on stochastic primal-dual algorithms for solving min-max problems with faster convergence heavily rely on the bilinear structure of the problem, which restricts their applicability to a narrowed range... 详细信息
来源: 评论
Design and Characterization of Hydroxyapatite Scaffolds Fabricated by Stereolithography for Bone Tissue Engineering Application
收藏 引用
Procedia CIRP 2020年 89卷 170-175页
作者: Zhen Wang Chuanzhen Huang Jun Wang Bin Zou Ch Asad Abbas Xiaodan Wang Centre for Advanced Jet Engineering Technology (CaJET) Key Laboratory of High-efficiency and Clean Mechanical Manufacture (Ministry of Education) School of Mechanical Engineering Shandong University Jinan 250061 P.R. China National Demonstration Centre for Experimental Mechanical Engineering Education (Shandong University) School of Mechanical Engineering Shandong University Jinan 250061 P.R. China School of Mechanical and Manufacturing Engineering The University of New South Wales (UNSW) Sydney NSW 2052 Australia Department of Computer Science and Software Engineering Xi’an Jiaotong-Liverpool University Suzhou 215123 China
In this study, a novel method to design hydroxyapatite scaffold based on gradient porosity was proposed. Additionally, after a tailor-made ceramic suspension was cured by stereolithography (SLA), a minimal pore with a... 详细信息
来源: 评论
MFPR: A Personalized Ranking Recommendation with Multiple Feedback
收藏 引用
ACM Transactions on Social Computing 2018年 第2期1卷 1–22页
作者: Shi, Chuan Liu, Jian Zhang, Yiding Hu, Binbin Liu, Shenghua Yu, Philip S. Beijing Key Lab of Intelligent Telecommunication Software and Multimedia Beijing University of Posts and Telecommunications No. 10 Xi Tu Cheng Road Beijing China Cas Key Laboratory of Network Data Science and Technology Institute of Computing Technology Chinese Academy of Sciences No.6 Kexueyuan South Road Zhongguancun Beijing China Department of Computer Science University of Illinois at Chicago 851 South Morgan Street Chicago United States
Recently, recommender systems have played an important role in improving web user experiences and increasing profits. Recommender systems exploit users' behavioral history (i.e., feedback on items) to build models... 详细信息
来源: 评论
Model Checking Quantum Systems-A Survey
arXiv
收藏 引用
arXiv 2018年
作者: Ying, Mingsheng Feng, Yuan Centre for Quantum Software and Information University of Technology Sydney Australia State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China Department of Computer Science and Technology Tsinghua University China
This article discusses the essential difficulties in developing model-checking techniques for quantum systems that are never present in model checking classical systems. It further reviews some early researches on che... 详细信息
来源: 评论
Preface
收藏 引用
Journal of computer science & technology 2020年 第6期35卷 1231-1233页
作者: Xie, Tao Jin, Zhi Li, Xuan-Dong Huang, Gang Muller, Hausi A. Pang, Jun Zhang, Li-Jun Key Laboratory of High Confidence Software Technologies (Ministry of Education) Peking University Beijing China Department of Computer Science and Technology Nanjing University Nanjing China Department of Computer Science University of Victoria Victoria Canada Faculty of Science Technology and Medicine & Interdisciplinary Centre for Security Reliability and Trust University of Luxembourg Luxembourg Luxembourg Institute of Software Chinese Academy of Sciences Beijing China
As a continuation of the last five years’special section on software systems,this special section encourages and promotes research to address challenges from the perspective of software *** goal of this special secti... 详细信息
来源: 评论
Toward automatic verification of quantum programs
arXiv
收藏 引用
arXiv 2018年
作者: Ying, Mingsheng Centre for Quantum Software and Information University of Technology Sydney Australia State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China Department of Computer Science and Technology Tsinghua University China
This paper summarises the results obtained by the author and his collaborators in a program logic approach to the verification of quantum programs, including quantum Hoare logic, invariant generation and termination a...
来源: 评论
A Hybrid Replacement Strategy for MOEA/D  13th
A Hybrid Replacement Strategy for MOEA/D
收藏 引用
13th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2018
作者: Chen, Xiaoji Shi, Chuan Zhou, Aimin Xu, Siyong Wu, Bin Beijing Key Lab of Intelligent Telecommunications Software and Multimedia Beijing University of Posts and Telecommunications Beijing100876 China Shanghai Key Laboratory of Multidimensional Information Processing Department of Computer Science and Technology East China Normal University Shanghai200062 China
In MOEA/D, the replacement strategy plays a key role in balancing diversity and convergence. However, existing adaptive replacement strategies either focus on neighborhood or global replacement strategy, which may hav... 详细信息
来源: 评论
A Comparison of CPU and GPU Implementations for the LHCb Experiment Run 3 Trigger
收藏 引用
Computing and software for Big science 2022年 第1期6卷 1-20页
作者: Aaij, R. Adinolfi, M. Aiola, S. Akar, S. Albrecht, J. Alexander, M. Amato, S. Amhis, Y. Archilli, F. Bala, M. Bassi, G. Bian, L. Blago, M.P. Boettcher, T. Boldyrev, A. Borghi, S. Rodriguez, A. Brea Calefice, L. Gomez, M. Calvo Pérez, D. H. Cámpora Cardini, A. Cattaneo, M. Chobanova, V. Ciezarek, G. Vidal, X. Cid Cobbledick, J.L. Coelho, J.A.B. Colombo, T. Contu, A. Couturier, B. Craik, D.C. Currie, R. d’Argent, P. De Cian, M. Derkach, D. Dordei, F. Dorigo, M. Dufour, L. Durante, P. Dziurda, A. Dzyuba, A. Easo, S. Esen, S. Declara, P. Fernandez Filippov, S. Fitzpatrick, C. Frank, M. Gandini, P. Gligorov, V.V. Golobardes, E. Graziani, G. Grillo, L. Günther, P.A. Hansmann-Menzemer, S. Hennequin, A.M. Henry, L. Hill, D. Hollitt, S.E. Hu, J. Hulsbergen, W. Hunter, R.J. Hushchyn, M. Jashal, B.K. Jones, C.R. Klaver, S. Klimaszewski, K. Kopecna, R. Krzemien, W. Kucharczyk, M. Lane, R. Lazzari, F. Gac, R. Le Li, P. Lopes, J.H. Martinez, M. Lucio Lupato, A. Lupton, O. Lyu, X. Machefert, F. Madejczyk, O. Malde, S. Marchand, J.F. Mariani, S. Benito, C. Marin Santos, D. Martinez Vidal, F. Martinez Matev, R. Mazurek, M. Mitreska, B. Mitzel, D.S. Morello, M.J. Mu, H. Muzzetto, P. Naik, P. Needham, M. Neri, N. Neufeld, N. Nolte, N.S. O’Hanlon, D. Oyanguren, A. Altarelli, M. Pepe Petrucci, S. Petruzzo, M. Pica, L. Pisani, F. Piucci, A. Polci, F. Poluektov, A. Polycarpo, E. Prouve, C. Punzi, G. Quagliani, R. Trejo, R. I. Rabadan Pernas, M. Ramos Rangel, M.S. Ratnikov, F. Raven, G. Reiss, F. Renaudin, V. Robbe, P. Ryzhikov, A. Santimaria, M. Saur, M. Schiller, M. Schwemmer, R. Sciascia, B. Solomin, A. Suljik, F. Skidmore, N. Sokoloff, M.D. Spradlin, P. Stahl, M. Stahl, S. Stevens, H. Sun, L. Szabelski, A. Szumlak, T. Szymanski, M. Tou, D.Y. Tuci, G. Usachov, A. Canudas, N. Valls Gomez, R. Vazquez Vecchi, S. Vesterinen, M. Vilasis-Cardona, X. Bruch, D. Vom Wang, Z. Wojton, T. Whitehead, M. Williams, M. Witek, M. Xie, Y. Xu, A. Yin, H. Zdybal, M. Zenaiev, O. Zhang, D. Zhang, L. Zhu, X. Universidade Federal do Rio de Janeiro (UFRJ) Rio de Janeiro Brazil Center for High Energy Physics Tsinghua University Beijing China School of Physics State Key Laboratory of Nuclear Physics and Technology Peking University Beijing China University of Chinese Academy of Sciences Beijing China Institute of Particle Physics Central China Normal University Hubei Wuhan China Univ. Grenoble Alpes Univ. Savoie Mont Blanc CNRS IN2P3-LAPP Annecy France Aix Marseille Univ CNRS/IN2P3 CPPM Marseille France Université Paris-Saclay CNRS/IN2P3 IJCLab Orsay France LPNHE Sorbonne Université Paris Diderot Sorbonne Paris Cité CNRS/IN2P3 Paris France Fakultät Physik Technische Universität Dortmund Dortmund Germany Physikalisches Institut Ruprecht-Karls-Universität Heidelberg Heidelberg Germany INFN Sezione di Ferrara Ferrara Italy INFN Sezione di Firenze Florence Italy INFN Laboratori Nazionali di Frascati Frascati Italy INFN Sezione di Milano Milan Italy INFN Sezione di Cagliari Monserrato Italy INFN Sezione di Pisa Pisa Italy Nikhef National Institute for Subatomic Physics Amsterdam Netherlands Nikhef National Institute for Subatomic Physics and VU University Amsterdam Amsterdam Netherlands Faculty of Physics and Applied Computer Science AGH University of Science and Technology Kraków Poland Henryk Niewodniczanski Institute of Nuclear Physics Polish Academy of Sciences Kraków Poland National Center for Nuclear Research (NCBJ) Warsaw Poland Petersburg Nuclear Physics Institute NRC Kurchatov Institute (PNPI NRC KI) Gatchina Russian Federation Institute for Nuclear Research of the Russian Academy of Sciences (INR RAS) Moscow Russian Federation ICCUB Universitat de Barcelona Barcelona Spain Instituto Galego de Física de Altas Enerxías (IGFAE) Universidade de Santiago de Compostela Santiago Spain Instituto de Fisica Corpuscular Centro Mixto Universidad de Valencia CSIC Valencia Spain European Organization for Nuclear Research (CERN) Geneva Switzerland Instit
The Large Hadron Collider beauty (LHCb) experiment at CERN is undergoing an upgrade in preparation for the Run 3 data collection period at the Large Hadron Collider (LHC). As part of this upgrade, the trigger is movin... 详细信息
来源: 评论
MobiCrowd: Mobile Crowdsourcing on Location-based Social Networks
MobiCrowd: Mobile Crowdsourcing on Location-based Social Net...
收藏 引用
IEEE Annual Joint Conference: INFOCOM, IEEE computer and Communications Societies
作者: Yulong Tian Wei Wei Qun Li Fengyuan Xu Sheng Zhong State Key Laboratory for Novel Software Technology Nanjing University China Department of Computer Science College of William and Mary USA
The great potential of mobile crowdsourcing has started to attract attention of both industries and the research community. However, current commercial mobile crowdsourcing marketplaces are unsatisfactory because of t... 详细信息
来源: 评论