咨询与建议

限定检索结果

文献类型

  • 318,868 篇 会议
  • 155,661 篇 期刊文献
  • 3,749 册 图书
  • 2,841 篇 学位论文
  • 514 篇 专利
  • 141 篇 科技报告

馆藏范围

  • 481,769 篇 电子文献
  • 29 种 纸本馆藏

日期分布

学科分类号

  • 308,521 篇 工学
    • 222,378 篇 计算机科学与技术...
    • 148,623 篇 软件工程
    • 52,012 篇 电气工程
    • 44,494 篇 信息与通信工程
    • 31,705 篇 控制科学与工程
    • 27,511 篇 电子科学与技术(可...
    • 20,348 篇 机械工程
    • 16,231 篇 材料科学与工程(可...
    • 15,055 篇 化学工程与技术
    • 14,371 篇 生物工程
    • 12,417 篇 动力工程及工程热...
    • 12,039 篇 仪器科学与技术
    • 11,071 篇 生物医学工程(可授...
    • 10,690 篇 光学工程
    • 10,314 篇 力学(可授工学、理...
    • 9,943 篇 土木工程
    • 7,958 篇 建筑学
    • 6,576 篇 交通运输工程
    • 6,467 篇 安全科学与工程
  • 130,893 篇 理学
    • 65,277 篇 数学
    • 41,493 篇 物理学
    • 20,332 篇 生物学
    • 16,822 篇 化学
    • 14,205 篇 统计学(可授理学、...
    • 11,055 篇 系统科学
  • 59,193 篇 管理学
    • 40,296 篇 管理科学与工程(可...
    • 20,894 篇 图书情报与档案管...
    • 17,032 篇 工商管理
  • 16,626 篇 医学
    • 12,109 篇 临床医学
    • 8,209 篇 基础医学(可授医学...
  • 7,466 篇 法学
  • 6,843 篇 教育学
  • 6,328 篇 经济学
  • 5,724 篇 农学
  • 1,693 篇 文学
  • 885 篇 军事学
  • 643 篇 艺术学
  • 148 篇 哲学
  • 94 篇 历史学

主题

  • 27,531 篇 computer science
  • 19,620 篇 application soft...
  • 14,863 篇 software
  • 10,741 篇 computational mo...
  • 10,134 篇 computer archite...
  • 10,092 篇 software enginee...
  • 9,645 篇 hardware
  • 6,393 篇 costs
  • 6,380 篇 parallel process...
  • 6,181 篇 feature extracti...
  • 5,707 篇 testing
  • 5,656 篇 data mining
  • 5,599 篇 deep learning
  • 5,397 篇 educational inst...
  • 5,306 篇 algorithm design...
  • 5,247 篇 training
  • 5,116 篇 protocols
  • 5,106 篇 semantics
  • 4,963 篇 machine learning
  • 4,714 篇 concurrent compu...

机构

  • 3,537 篇 nanjing univ sta...
  • 2,513 篇 shenzhen univ co...
  • 1,605 篇 state key labora...
  • 1,571 篇 university of ch...
  • 1,355 篇 nanjing univ inf...
  • 1,178 篇 college of compu...
  • 1,173 篇 tsinghua univ sc...
  • 1,075 篇 department of co...
  • 1,071 篇 univ chinese aca...
  • 987 篇 chinese acad sci...
  • 968 篇 dalian univ tech...
  • 959 篇 norwegian univer...
  • 899 篇 chinese acad sci...
  • 853 篇 univ elect sci &...
  • 744 篇 shandong univ sc...
  • 735 篇 school of softwa...
  • 711 篇 beihang univ sta...
  • 700 篇 school of inform...
  • 667 篇 university of sc...
  • 641 篇 school of comput...

作者

  • 661 篇 wang wei
  • 465 篇 wang lei
  • 407 篇 liu yang
  • 381 篇 zhang lei
  • 323 篇 li li
  • 315 篇 yang yang
  • 278 篇 liu jie
  • 275 篇 liu wei
  • 273 篇 wang hao
  • 242 篇 zhang wei
  • 214 篇 chen chen
  • 210 篇 li bo
  • 207 篇 wang jian
  • 204 篇 gao yang
  • 199 篇 yin baocai
  • 197 篇 shen linlin
  • 193 篇 wang tao
  • 182 篇 wang qing
  • 177 篇 leung victor c. ...
  • 175 篇 li yang

语言

  • 463,015 篇 英文
  • 10,670 篇 其他
  • 6,700 篇 中文
  • 854 篇 日文
  • 349 篇 德文
  • 153 篇 法文
  • 61 篇 俄文
  • 56 篇 朝鲜文
  • 43 篇 西班牙文
  • 26 篇 意大利文
  • 20 篇 葡萄牙文
  • 12 篇 荷兰文
  • 10 篇 土耳其文
  • 7 篇 斯洛文尼亚文
  • 6 篇 波兰文
  • 6 篇 乌克兰文
  • 4 篇 阿拉伯文
  • 1 篇 拉托维亚文(列托)
检索条件"机构=(Laboratory of Parallel Software and Computational Science)"
481774 条 记 录,以下是281-290 订阅
排序:
A Reliability Prediction Method for AUTOSAR Architecture Considering Unreliable Platforms  22
A Reliability Prediction Method for AUTOSAR Architecture Con...
收藏 引用
22nd IEEE International Conference on Industrial Informatics, INDIN 2024
作者: Yuan, Cangzhou Niu, Hongliang Zhang, Yang Yang, Yilong Li, Qiangwei School of Software State Key Laboratory of Complex & Critical Software Environment Beihang University Beijing China School of Transportaton Science and Engineering Beihang University Beijing China
With the trend of intelligence, automobile architecture has become more complex. It is necessary to predict and discover reliability-related issues to reduce the cost of correction in the later period. In AUTOSAR-base... 详细信息
来源: 评论
Visual Acuity Consistent Foveated Rendering towards Retinal Resolution
arXiv
收藏 引用
arXiv 2025年
作者: Zhang, Zhi Gai, Meng Li, Sheng School of Software and Microelectronics Peking University China School of Computer Science Peking University China National Key Laboratory of Intelligent Parallel Technology China
Prior foveated rendering methods often suffer from a limitation where the shading load escalates with increasing display resolution, leading to decreased efficiency, particularly when dealing with retinal-level resolu... 详细信息
来源: 评论
An Approach to Optimize Symbolic Execution in Ethereum Smart Contracts  24
An Approach to Optimize Symbolic Execution in Ethereum Smart...
收藏 引用
24th IEEE International Conference on software Quality, Reliability and Security Companion, QRS-C 2024
作者: Liu, Yi Cai, Lizhi Chai, Chenchen Ma, Yuan School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Development Center of Computer Software Technology Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai China
As the application of smart contracts in blockchain technology becomes increasingly widespread, their security issues have emerged as a focal point of both research and practice. Although symbolic execution technology... 详细信息
来源: 评论
Multimodal Interactive Network for Sequential Recommendation
收藏 引用
Journal of Computer science & Technology 2023年 第4期38卷 911-926页
作者: 韩滕跃 王鹏飞 牛少彰 Beijing Key Laboratory of Intelligent Telecommunication Software and Multimedia Beijing University of Posts and TelecommunicationsBeijing 100876China School of Computer Science Beijing University of Posts and TelecommunicationsBeijing 100876China
Building an effective sequential recommendation system is still a challenging task due to limited interactions among users and *** work has shown the effectiveness of incorporating textual or visual information into s... 详细信息
来源: 评论
An Unbiased Fuzzy Weighted Relative Error Support Vector Machine for Reverse Prediction of Concrete Components
IEEE Transactions on Artificial Intelligence
收藏 引用
IEEE Transactions on Artificial Intelligence 2024年 第9期5卷 4574-4584页
作者: Fan, Zongwen Gou, Jin Weng, Shaoyuan College of Computer Science and Technology Huaqiao University Xiamen361021 China School of Software Engineering Xiamen Institute of Software Technology Xiamen361024 China
Concrete is a vital component in modern construction, prized for its strength, durability, and versatility. Accurately determining the quantities of concrete components is crucial in civil engineering applications to ... 详细信息
来源: 评论
Suggesting variable order for cylindrical algebraic decomposition via reinforcement learning  23
Suggesting variable order for cylindrical algebraic decompos...
收藏 引用
Proceedings of the 37th International Conference on Neural Information Processing Systems
作者: Fuqi Jia Yuhang Dong Minghao Liu Pei Huang Feifei Ma Jian Zhang State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China and University of Chinese Academy of Sciences Beijing China Laboratory of Parallel Software and Computational Science Institute of Software Chinese Academy of Sciences Beijing China and University of Chinese Academy of Sciences Beijing China Stanford University Stanford
Cylindrical Algebraic Decomposition (CAD) is one of the pillar algorithms of symbolic computation, and its worst-case complexity is double exponential to the number of variables. Researchers found that variable order ...
来源: 评论
Specification and counterexample generation for cyber-physical systems
收藏 引用
Soft Computing 2024年 第17-18期28卷 9137-9155页
作者: Li, Zhen Cao, Zining Wang, Fujun Xing, Chao College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Jiangsu Nanjing211106 China Science and Technology on Electro-optic Control Laboratory Henan Luoyang471000 China Collaborative Innovation Center of Novel Software Technology and Industrializaton Nanjing University of Aeronautics and Astronautics Jiangsu Nanjing210023 China Key Laboratory of Safety-Critical Software Ministry of Industry and Information Technology Jiangsu Nanjing211106 China
Cyber-Physical Systems (CPS) are complex systems that integrate information control devices with physical resources, which can be automatically and formalized verified by model checking according to the expected requi... 详细信息
来源: 评论
Deep learning for code generation: a survey
收藏 引用
science China(Information sciences) 2024年 第9期67卷 5-40页
作者: Huangzhao ZHANG Kechi ZHANG Zhuo LI Jia LI Jia LI Yongmin LI Yunfei ZHAO Yuqi ZHU Fang LIU Ge LI Zhi JIN Key Lab of High Confidence Software Technologies (Peking University) Ministry of Education School of Computer Science Peking University School of Computer Science and Engineering Beihang University
In the past decade, thanks to the powerfulness of deep-learning techniques, we have witnessed a whole new era of automated code generation. To sort out developments, we have conducted a comprehensive review of solutio... 详细信息
来源: 评论
Model Checking for Probabilistic Multiagent Systems
收藏 引用
Journal of Computer science & Technology 2023年 第5期38卷 1162-1186页
作者: 付辰 Andrea Turrini 黄小炜 宋磊 冯元 张立军 State Key Laboratory of Computer Science Institute of SoftwareChinese Academy of SciencesBeijing 100190China University of Chinese Academy of Sciences Beijing 100049China Institute of Intelligent Software Guangzhou 511455China Department of Computer Science University of LiverpoolLiverpool L693BXU.K Microsoft Research Beijing 100190China Centre for Quantum Software and Information University of Technology SydneySydney 2007Australia
In multiagent systems,agents usually do not have complete information of the whole system,which makes the analysis of such systems *** incompleteness of information is normally modelled by means of accessibility relat... 详细信息
来源: 评论
How green screening influences risk transmission among stock-bond indices: Insight into the dependence structure
收藏 引用
FINANCE RESEARCH LETTERS 2024年 69卷
作者: Pan, Zhijie Zheng, Yanting Xu, Dandan Wang, Ting Beijing Technol & Business Univ Econ Sch Beijing Peoples R China Chinese Acad Sci Inst Software Lab Parallel Software & Comp Sci Key Lab Syst Software Beijing Peoples R China Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing Peoples R China
Green characteristics are pivotal to risk transmission. We use environmental, social and governance (ESG) monetized accounting to measure green screening of stock-bond indices, and decompose risk transmission into com... 详细信息
来源: 评论