咨询与建议

限定检索结果

文献类型

  • 1,017 篇 会议
  • 978 篇 期刊文献
  • 23 册 图书

馆藏范围

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

日期分布

学科分类号

  • 1,210 篇 工学
    • 763 篇 计算机科学与技术...
    • 560 篇 软件工程
    • 185 篇 信息与通信工程
    • 173 篇 电子科学与技术(可...
    • 149 篇 电气工程
    • 116 篇 光学工程
    • 99 篇 生物工程
    • 88 篇 材料科学与工程(可...
    • 88 篇 控制科学与工程
    • 79 篇 化学工程与技术
    • 79 篇 生物医学工程(可授...
    • 47 篇 动力工程及工程热...
    • 44 篇 机械工程
    • 42 篇 核科学与技术
    • 41 篇 仪器科学与技术
    • 37 篇 力学(可授工学、理...
    • 32 篇 环境科学与工程(可...
    • 30 篇 土木工程
  • 854 篇 理学
    • 396 篇 数学
    • 384 篇 物理学
    • 119 篇 生物学
    • 86 篇 化学
    • 78 篇 统计学(可授理学、...
    • 47 篇 系统科学
  • 270 篇 管理学
    • 185 篇 管理科学与工程(可...
    • 96 篇 工商管理
    • 90 篇 图书情报与档案管...
  • 72 篇 医学
    • 62 篇 临床医学
    • 52 篇 基础医学(可授医学...
    • 36 篇 药学(可授医学、理...
  • 29 篇 经济学
  • 21 篇 法学
  • 18 篇 教育学
  • 18 篇 农学
  • 7 篇 军事学
  • 4 篇 艺术学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 104 篇 high performance...
  • 83 篇 computer science
  • 57 篇 computational mo...
  • 47 篇 application soft...
  • 45 篇 grid computing
  • 38 篇 distributed comp...
  • 36 篇 concurrent compu...
  • 34 篇 bandwidth
  • 33 篇 computer archite...
  • 33 篇 hardware
  • 32 篇 laboratories
  • 31 篇 resource managem...
  • 29 篇 processor schedu...
  • 27 篇 internet
  • 25 篇 parallel process...
  • 25 篇 data mining
  • 25 篇 costs
  • 23 篇 quantum cryptogr...
  • 23 篇 computer network...
  • 22 篇 supercomputers

机构

  • 54 篇 institute of hig...
  • 40 篇 department of ph...
  • 40 篇 faculty of scien...
  • 40 篇 departamento de ...
  • 40 篇 department for p...
  • 40 篇 department of ph...
  • 40 篇 yerevan physics ...
  • 39 篇 department of ph...
  • 38 篇 department of ph...
  • 38 篇 department of ph...
  • 38 篇 dipartimento di ...
  • 37 篇 lehrstuhl für ex...
  • 37 篇 west university ...
  • 37 篇 institute for qu...
  • 37 篇 state key labora...
  • 36 篇 faculté des scie...
  • 36 篇 department of mo...
  • 36 篇 centre de calcul...
  • 36 篇 research center ...
  • 36 篇 kirchhoff-instit...

作者

  • 36 篇 m. klein
  • 34 篇 c. alexa
  • 34 篇 j. m. izen
  • 34 篇 s. veneziano
  • 34 篇 g. bella
  • 34 篇 j. strandberg
  • 34 篇 d. calvet
  • 34 篇 c. amelung
  • 34 篇 n. orlando
  • 34 篇 h. a. gordon
  • 34 篇 y. tayalati
  • 34 篇 g. spigo
  • 34 篇 v. chiarella
  • 34 篇 f. siegert
  • 34 篇 a. c. könig
  • 34 篇 chao-tung yang
  • 34 篇 yang chao-tung
  • 33 篇 d. di valentino
  • 33 篇 a. dimitrievska
  • 33 篇 f. deliot

语言

  • 1,829 篇 英文
  • 161 篇 其他
  • 30 篇 中文
检索条件"机构=High-Performance Computing Laboratory Department of Computer Science"
2018 条 记 录,以下是291-300 订阅
排序:
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution
Unsatisfiable Core Based Constraint Solving Cache in Symboli...
收藏 引用
Asia-Pacific Conference on Software Engineering
作者: Ziqi Shuai Zhenbang Chen Yufeng Zhang Hengbiao Yu Ji Wang College of Computer National University of Defense Technology China Key Laboratory of Software Engineering for Complex Systems National University of Defense Technology China State Key Laboratory of High Performance Computing National University of Defense Technology China College of Computer Science and Electronic Engineering Hunan University Changsha China
Constraint solving stands out as a significant bot-tleneck in symbolic execution. Caching is a commonly adopted approach to alleviate this bottleneck. However, the cutting-edge caching technique targeting unsatisfiabl...
来源: 评论
DMRIntTk: Integrating different DMR sets based on density peak clustering
arXiv
收藏 引用
arXiv 2024年
作者: Zhang, Wenjin Jie, Wenlong Cui, Wanxin Duan, Guihua Zou, You Peng, Xiaoqing Center for Medical Genetics Hunan Key Laboratory of Medical Genetics School of Life Sciences Central South University Changsha410083 China Hunan Key Laboratory of Bioinformatics School of Computer Science and Engineering Central South University Changsha410083 China High Performance Computing Center Central South University Changsha410083 China
Background: Identifying differentially methylated regions (DMRs) is a basic task in DNA methylation analysis. However, due to the different strategies adopted, different DMR sets will be predicted on the same dataset,... 详细信息
来源: 评论
HPCR: Holistic Proxy-based Contrastive Replay for Online Continual Learning
arXiv
收藏 引用
arXiv 2023年
作者: Lin, Huiwei Feng, Shanshan Zhang, Baoquan Li, Xutao Ye, Yunming Depart ment of Computer Science Harbin Institute of Technology Shenzhen518055 China Shenzhen Key Laboratory of Internet Informatio Collaboration Shenzhen518055 China Centre for Frontier AI Research Insti tute of High Performance Computing A*STAR Singapore
Online continual learning, aimed at developing a neural network that continuously learns new data from a single pass over an online data stream, generally suffers from catastrophic forgetting. Existing replay-based me... 详细信息
来源: 评论
Dynamic recrystallization-induced temperature insensitivity of yield stress in single-crystal Al1.2CrFeCoNi micropillars
收藏 引用
science China(Technological sciences) 2021年 第1期64卷 11-22页
作者: HUANG RuiRui ZHANG Qian ZHANG Xuan LI JianGuo CAO TangQing YAO JiaHao XUE YunFei GAO HuaJian LI XiaoYan Center for Advanced Mechanics and Materials Applied Mechanics LaboratoryDepartment of Engineering MechanicsTsinghua UniversityBeijing 100084China School of Materials Science and Engineering Beijing Institute of TechnologyBeijing 100081China Shenyang National Laboratory for Materials Science Institute of Metal ResearchChinese Academy of SciencesShenyang 110016China School of Mechanical and Aerospace Engineering College of EngineeringNanyang Technological UniversitySingapore 639798Singapore Institute of High Performance Computing A*STARSingapore 138632Singapore
high-entropy alloys, a new class of metallic materials, exhibit excellent mechanical properties at high temperatures. In spite of the worldwide interest, the underlying mechanisms for temperature dependence of mechani... 详细信息
来源: 评论
DESIGN AND DEVELOPMENT OF MORPHOLOGICAL ANALYZER FOR TIGRIGNA VERBS USING HYBRID APPROACH
Research Square
收藏 引用
Research Square 2023年
作者: Gebremeskel, Hagos Gebremedhin Chong, Feng Heyan, Huang Beijing Engineering Research Center of High Volume Language Information Processing Cloud Computing Applications Laboratory School of Computer Science and Technology Beijing Institute of Technology China Department of Computer Science Mekelle University Tigray Mekelle231 Ethiopia
Morphological analyzer is the base for various high-level NLP applications such as information retrieval, spell checking, grammar checking, machine translation, speech recognition, POS tagging and automatic sentence c... 详细信息
来源: 评论
Progressive Perception Learning for Distribution Modulation in Siamese Tracking
Progressive Perception Learning for Distribution Modulation ...
收藏 引用
International Conference on Acoustics, Speech, and Signal Processing (ICASSP)
作者: Kun Hu Xianchen Zhou Mingyu Cao Mengzhu Wang Guangjie Gao Wenjing Yang Huibin Tan State Key Laboratory of High Performance Computing National University of Defense Technology Changsha China College of Sciences National University of Defense Technology Changsha China College of Computer Science and Technology National University of Defense Technology Changsha China
We explore an innovative view on distribution modulation to boost Siamese trackers. Specially, we observed two cases of possible distribution inconsistency in Siamese tracking: 1) Two branches with different sizes may... 详细信息
来源: 评论
Verifying Safety of Neural Networks from Topological Perspectives
arXiv
收藏 引用
arXiv 2023年
作者: Liang, Zhen Ren, Dejin Xue, Bai Wang, Ji Yang, Wenjing Liu, Wanwei National University of Defense Technology Institute for Quantum Information State Key Laboratory of High Performance Computing Hunan Changsha410073 China Chinese Academy of Sciences State Key Lab. of Computer Science BeijingBAI XUE China
Neural networks (NNs) are increasingly applied in safety-critical systems such as autonomous vehicles. However, they are fragile and are often ill-behaved. Consequently, their behaviors should undergo rigorous guarant... 详细信息
来源: 评论
Repairing Deep Neural Networks Based on Behavior Imitation
arXiv
收藏 引用
arXiv 2023年
作者: Liang, Zhen Wu, Taoran Zhao, Changyuan Liu, Wanwei Xue, Bai Yang, Wenjing Wang, Ji Institute for Quantum Information State Key Laboratory of High Performance Computing National University of Defense Technology Changsha China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China College of Computer Science and Technology National University of Defense Technology Changsha China
The increasing use of deep neural networks (DNNs) in safety-critical systems has raised concerns about their potential for exhibiting ill-behaviors. While DNN verification and testing provide post hoc conclusions rega... 详细信息
来源: 评论
Retention Leveling: Leverage Retention Refreshing and Wear Leveling Techniques to Enhance Flash Reliability with the Awareness of Temperature
Retention Leveling: Leverage Retention Refreshing and Wear L...
收藏 引用
IEEE Non-Volatile Memory Systems and Applications Symposium (NVMSA)
作者: Wei-Chen Wang Chien-Chung Ho Yuan-Hao Chang Tei-Wei Kuo Yu-Ming Chang Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology Department of Computer Science and Information Engineering National Cheng Kung University Institute of Information Science Academia Sinica Depanment of Computer Science and Information Engineering National Taiwan University High Performance and Scientific Computing Center National Taiwan University Mohamed bin Zayed University of Artificial Intelligence Wolley Inc.
Wear leveling cannot entirely mitigate retention errors, which have recently become $a$ substantial reliability issue due to cell shrinking. This paper focuses on preserving accurate data by addressing retention err...
来源: 评论
Comparison of Multi-Phase Power Converters and Power Delivery Networks for Next-Generation Space Architectures
Comparison of Multi-Phase Power Converters and Power Deliver...
收藏 引用
IEEE Conference on Aerospace
作者: Nicholas Franconi Thomas Cook Christopher Wilson Alan D. George NASA Goddard Space Flight Center Science Data Processing Branch Code 587 Software Engineering Division Department of Electrical and Computer Engineering NSF Center for Space High-Performance and Resilient Computing (SHREC) University of Pittsburgh
Next-generation spacecraft developers are earnestly investigating the application of artificial intelligence (AI) algorithms onboard to enable new mission concepts for space exploration and science. However, the curre... 详细信息
来源: 评论