咨询与建议

限定检索结果

文献类型

  • 318,507 篇 会议
  • 155,073 篇 期刊文献
  • 2,789 篇 学位论文
  • 535 册 图书
  • 514 篇 专利
  • 141 篇 科技报告

馆藏范围

  • 477,554 篇 电子文献
  • 29 种 纸本馆藏

日期分布

学科分类号

  • 308,113 篇 工学
    • 222,147 篇 计算机科学与技术...
    • 148,583 篇 软件工程
    • 51,927 篇 电气工程
    • 44,477 篇 信息与通信工程
    • 31,691 篇 控制科学与工程
    • 27,443 篇 电子科学与技术(可...
    • 20,323 篇 机械工程
    • 16,211 篇 材料科学与工程(可...
    • 15,020 篇 化学工程与技术
    • 14,367 篇 生物工程
    • 12,393 篇 动力工程及工程热...
    • 12,026 篇 仪器科学与技术
    • 11,067 篇 生物医学工程(可授...
    • 10,678 篇 光学工程
    • 10,304 篇 力学(可授工学、理...
    • 9,934 篇 土木工程
    • 7,951 篇 建筑学
    • 6,574 篇 交通运输工程
    • 6,466 篇 安全科学与工程
  • 130,635 篇 理学
    • 65,231 篇 数学
    • 41,423 篇 物理学
    • 20,313 篇 生物学
    • 16,786 篇 化学
    • 14,199 篇 统计学(可授理学、...
    • 11,051 篇 系统科学
  • 59,167 篇 管理学
    • 40,282 篇 管理科学与工程(可...
    • 20,890 篇 图书情报与档案管...
    • 17,028 篇 工商管理
  • 16,588 篇 医学
    • 12,088 篇 临床医学
    • 8,202 篇 基础医学(可授医学...
  • 7,461 篇 法学
  • 6,840 篇 教育学
  • 6,326 篇 经济学
  • 5,714 篇 农学
  • 1,693 篇 文学
  • 884 篇 军事学
  • 642 篇 艺术学
  • 148 篇 哲学
  • 93 篇 历史学

主题

  • 27,526 篇 computer science
  • 19,620 篇 application soft...
  • 14,830 篇 software
  • 10,721 篇 computational mo...
  • 10,128 篇 computer archite...
  • 9,641 篇 hardware
  • 8,637 篇 software enginee...
  • 6,387 篇 costs
  • 6,371 篇 parallel process...
  • 6,165 篇 feature extracti...
  • 5,699 篇 testing
  • 5,658 篇 data mining
  • 5,558 篇 deep learning
  • 5,397 篇 educational inst...
  • 5,306 篇 algorithm design...
  • 5,203 篇 training
  • 5,115 篇 protocols
  • 5,099 篇 semantics
  • 4,902 篇 machine learning
  • 4,713 篇 concurrent compu...

机构

  • 3,537 篇 nanjing univ sta...
  • 2,515 篇 shenzhen univ co...
  • 1,599 篇 state key labora...
  • 1,566 篇 university of ch...
  • 1,357 篇 nanjing univ inf...
  • 1,173 篇 tsinghua univ sc...
  • 1,152 篇 college of compu...
  • 1,071 篇 univ chinese aca...
  • 1,060 篇 department of co...
  • 993 篇 chinese acad sci...
  • 970 篇 dalian univ tech...
  • 958 篇 norwegian univer...
  • 903 篇 chinese acad sci...
  • 858 篇 univ elect sci &...
  • 744 篇 shandong univ sc...
  • 713 篇 school of softwa...
  • 711 篇 beihang univ sta...
  • 689 篇 school of inform...
  • 663 篇 university of sc...
  • 629 篇 school of comput...

作者

  • 661 篇 wang wei
  • 465 篇 wang lei
  • 407 篇 liu yang
  • 381 篇 zhang lei
  • 319 篇 li li
  • 313 篇 yang yang
  • 279 篇 liu wei
  • 278 篇 liu jie
  • 275 篇 wang hao
  • 244 篇 zhang wei
  • 212 篇 chen chen
  • 210 篇 li bo
  • 207 篇 wang jian
  • 204 篇 gao yang
  • 199 篇 yin baocai
  • 197 篇 shen linlin
  • 191 篇 wang tao
  • 182 篇 wang qing
  • 177 篇 leung victor c. ...
  • 175 篇 li yang

语言

  • 458,829 篇 英文
  • 10,670 篇 其他
  • 6,691 篇 中文
  • 854 篇 日文
  • 349 篇 德文
  • 151 篇 法文
  • 61 篇 俄文
  • 56 篇 朝鲜文
  • 43 篇 西班牙文
  • 26 篇 意大利文
  • 20 篇 葡萄牙文
  • 12 篇 荷兰文
  • 10 篇 土耳其文
  • 7 篇 斯洛文尼亚文
  • 6 篇 波兰文
  • 6 篇 乌克兰文
  • 4 篇 阿拉伯文
  • 1 篇 拉托维亚文(列托)
检索条件"机构=(Laboratory of Parallel Software and Computational Science)"
477559 条 记 录,以下是281-290 订阅
排序:
Decision Tree Prediction Based on Preceding Feature Engineering
Decision Tree Prediction Based on Preceding Feature Engineer...
收藏 引用
2024 International Conference on Optical Communication and Optoelectronic Technology, OCOT 2024
作者: Xie, Guoli Yang, Lei Li, Sijin Lai, Jiacheng Guangdong University of Science and Technology Dongguan China Dongguan Key Laboratory of Industrial Software for Intelligent Manufacturing China
This research employed feature engineering techniques to preprocess an original stock dataset, followed by the introduction of a decision tree prediction model for forecasting the dataset. Experimental results demonst... 详细信息
来源: 评论
V-AUTOSAR: Graphical Modeling Language for AUTOSAR Architecture and Resource Modeling  22
V-AUTOSAR: Graphical Modeling Language for AUTOSAR Architect...
收藏 引用
22nd IEEE International Conference on Industrial Informatics, INDIN 2024
作者: Yang, Yilong Zhang, Yang Niu, Hongliang Yuan, Cangzhou 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
AUTOSAR enhances the management of complex automotive electrical and electronic architectures by improving the reusability and interchangeability of software modules between OEMs and suppliers. However, existing AUTOS... 详细信息
来源: 评论
An in-depth Exploration of LAMOST Unknown Spectra Based on Density Clustering
收藏 引用
Research in Astronomy and Astrophysics 2023年 第5期23卷 52-65页
作者: Hai-Feng Yang Xiao-Na Yin Jiang-Hui Cai Yu-Qing Yang A-Li Luo Zhong-Rui Bai Li-Chan Zhou Xu-Jun Zhao Ya-Ling Xun Shanxi Key Laboratory of Big Data Analysis and Parallel Computing Taiyuan University of Science and TechnologyTaiyuan 030024China School of Computer Science and Technology Taiyuan University of Science and TechnologyTaiyuan 030024China School of Computer Science and Technology North University of ChinaTaiyuan 030051China National Astronomical Observatories Chinese Academy of SciencesBeijing 100101China
Large sky Area Multi-Object fiber Spectroscopic Telescope(LAMOST) has completed the observation of nearly 20 million celestial objects,including a class of spectra labeled “Unknown.” Besides low signal-to-noise rati... 详细信息
来源: 评论
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... 详细信息
来源: 评论