咨询与建议

限定检索结果

文献类型

  • 723 篇 期刊文献
  • 335 篇 会议

馆藏范围

  • 1,058 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 626 篇 理学
    • 442 篇 物理学
    • 135 篇 数学
    • 65 篇 生物学
    • 40 篇 统计学(可授理学、...
    • 21 篇 化学
    • 19 篇 系统科学
  • 570 篇 工学
    • 327 篇 计算机科学与技术...
    • 279 篇 软件工程
    • 124 篇 核科学与技术
    • 64 篇 生物工程
    • 58 篇 信息与通信工程
    • 48 篇 控制科学与工程
    • 43 篇 生物医学工程(可授...
    • 38 篇 电气工程
    • 36 篇 机械工程
    • 36 篇 光学工程
    • 28 篇 电子科学与技术(可...
    • 20 篇 力学(可授工学、理...
    • 19 篇 交通运输工程
    • 18 篇 土木工程
    • 17 篇 化学工程与技术
    • 16 篇 仪器科学与技术
    • 16 篇 材料科学与工程(可...
    • 15 篇 动力工程及工程热...
  • 121 篇 管理学
    • 67 篇 管理科学与工程(可...
    • 55 篇 图书情报与档案管...
    • 17 篇 工商管理
  • 43 篇 医学
    • 36 篇 临床医学
    • 29 篇 基础医学(可授医学...
    • 21 篇 药学(可授医学、理...
  • 15 篇 法学
  • 11 篇 教育学
  • 7 篇 经济学
  • 7 篇 农学
  • 3 篇 军事学
  • 2 篇 文学
  • 1 篇 艺术学

主题

  • 65 篇 hadron colliders
  • 54 篇 higgs bosons
  • 30 篇 hadron-hadron sc...
  • 27 篇 relativistic hea...
  • 26 篇 supersymmetric m...
  • 24 篇 top quark
  • 22 篇 w & z bosons
  • 22 篇 particle product...
  • 22 篇 bosons
  • 22 篇 extensions of hi...
  • 21 篇 supersymmetry
  • 21 篇 quark & gluon je...
  • 20 篇 particle data an...
  • 17 篇 electroweak inte...
  • 17 篇 photons
  • 16 篇 deep learning
  • 16 篇 feature extracti...
  • 14 篇 hypothetical par...
  • 14 篇 proton-proton in...
  • 13 篇 superpartners

机构

  • 390 篇 department for p...
  • 378 篇 institute of phy...
  • 358 篇 institute of phy...
  • 328 篇 marian smoluchow...
  • 322 篇 department of ph...
  • 321 篇 faculty of scien...
  • 306 篇 department of ph...
  • 306 篇 kirchhoff-instit...
  • 300 篇 department of ph...
  • 291 篇 department of ph...
  • 289 篇 department of ph...
  • 285 篇 department of ph...
  • 284 篇 instituto de fís...
  • 281 篇 dipartimento di ...
  • 279 篇 west university ...
  • 273 篇 department of ph...
  • 272 篇 graduate school ...
  • 272 篇 universidade fed...
  • 269 篇 fakultät für phy...
  • 263 篇 departamento de ...

作者

  • 250 篇 c. alexa
  • 250 篇 c. amelung
  • 248 篇 g. bella
  • 248 篇 d. calvet
  • 246 篇 j. m. izen
  • 246 篇 j. strandberg
  • 246 篇 n. orlando
  • 246 篇 y. tayalati
  • 246 篇 g. spigo
  • 246 篇 v. chiarella
  • 246 篇 f. siegert
  • 245 篇 a. dimitrievska
  • 245 篇 f. deliot
  • 241 篇 y. abulaiti
  • 238 篇 r. ströhmer
  • 238 篇 m. rijssenbeek
  • 238 篇 s. jin
  • 238 篇 g. gaudio
  • 238 篇 s. mohapatra
  • 237 篇 i. van vulpen

语言

  • 1,012 篇 英文
  • 28 篇 其他
  • 19 篇 中文
检索条件"机构=Shanghai Development Center of Computer Software Technology"
1058 条 记 录,以下是81-90 订阅
排序:
CLGT: A Graph Transformer for Student Performance Prediction in Collaborative Learning  37
CLGT: A Graph Transformer for Student Performance Prediction...
收藏 引用
37th AAAI Conference on Artificial Intelligence, AAAI 2023
作者: Peng, Tianhao Liang, Yu Wu, Wenjun Ren, Jian Pengrui, Zhao Pu, Yanjun State Key Laboratory of Software Development Environment Beihang University China School of Computer Science and Engineering Beihang University China Beijing Engineering Research Center for IoT Software and Systems Beijing University of Technology China Institute of Artificial Intelligence Beihang University China
Modeling and predicting the performance of students in collaborative learning paradigms is an important task. Most of the research presented in literature regarding collaborative learning focuses on the discussion for... 详细信息
来源: 评论
Propagation and Dispersion Characteristics of Scholte Wave in VTI Media with the Presence of Irregular Seabed
收藏 引用
Journal of Earth Science 2024年 第2期35卷 722-725页
作者: Xiaobo Liu Yun Wang Jianlei Zhang Haifeng Chen Hua Zhang School of Ocean Sciences China University of GeosciencesBeijing 100083China Key Laboratory of Polar Geology and Marine Mineral Resources China University of GeosciencesBeijing 100083China School of Geophysics and Information Technology China University of GeosciencesBeijing 100083China Research&Development Center BGP IncCNPCZhuozhou 072751China National Engineering Research Center for Oil and Gas Exploration Computer Software Beijing 100080China
INTRODUCTION Surface waves propagating along the seafloor are general ly called Scholte waves,and were first discovered and studied in the early 1950s(Kugler et al.,2005;Buchen and Ben-Hador,1996).Scholte waves exhibi... 详细信息
来源: 评论
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks  21st
An Automata-Theoretic Approach to Synthesizing Binarized Ne...
收藏 引用
21st International Symposium on Automated technology for Verification and Analysis, ATVA 2023
作者: Tao, Ye Liu, Wanwei Song, Fu Liang, Zhen Wang, Ji Zhu, Hongxu College of Computer Science and Technology National University of Defense Technology Changsha China School of Information Science and Technology ShanghaiTech University Shanghai China Institute of Software Chinese Academy of Sciences and University of Chinese Academy of Sciences Beijing China Automotive Software Innovation Center Shanghai China Institute for Quantum Information and State Key Laboratory for High Performance Computing National University of Defense Technology Changsha China
Deep neural networks, (DNNs, a.k.a. NNs), have been widely used in various tasks and have been proven to be successful. However, the accompanied expensive computing and storage costs make the deployments in resource-c... 详细信息
来源: 评论
Test Generation for Mutation Testing by Symbolic Execution  23
Test Generation for Mutation Testing by Symbolic Execution
收藏 引用
23rd IEEE International Conference on software Quality, Reliability, and Security Companion, QRS-C 2023
作者: Su, Rui Zhang, Zhiyi Zhou, Yuqian Yao, Yongming Collage of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing China Nanjing University of Aeronautics and Astronautics Ministry Key Laboratory for Safety-Critical Software Development and Verification Nanjing China Army Engineering of PLA Nanjing China
Mutation testing is a crucial technique to assess the effectiveness of test suites, but it can be computationally expensive. Symbolic execution is a formal technique that generates high-coverage test cases, but its sc... 详细信息
来源: 评论
Research on Quality Model for Quantum Simulator software
Research on Quality Model for Quantum Simulator Software
收藏 引用
software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD-Winter), ACIS International Winter Conference on
作者: Chao Wang Jingwei Chen JianXin Ge XueZhong Wu QianQian Qu Le Luo Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology Shanghai China QUDOOR Technologies Inc. Hefei China Software Engineering of Computer and Information Engineering College Shanghai Polytechnic University Shanghai China QUDOOR Technologies Inc. School of Physics and Astronomy Sun Yat-Sen University Zhuhai China
In recent years, the demand for arithmetic power from all walks of life is growing, especially the increasing popularity of AIGC, which makes people realize that huge technological progress cannot be made without the ...
来源: 评论
Automatic Collaborative Testing of Applications Integrating Text Features and Priority Experience Replay
Automatic Collaborative Testing of Applications Integrating ...
收藏 引用
IEEE International Conference on software Quality, Reliability and Security (QRS)
作者: Lizhi Cai Jin Wang Mingang Chen Jilong Wang School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai Development Center of Computer Software Technology Shanghai China
With the popularity of deep reinforcement learning(DRL), people have great interest in using deep reinforcement learning for application automated testing. However, most automated testing methods based on reinforcemen... 详细信息
来源: 评论
Makespan and Security-Aware Workflow Scheduling for Cloud Service Cost Minimization Using Firefly Optimizer  22nd
Makespan and Security-Aware Workflow Scheduling for Cloud ...
收藏 引用
22nd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2022
作者: Zhou, Chengliang Wang, Tian Li, Liying Sun, Jin Zhou, Junlong School of Computer Science and Engineering Nanjing University of Science and Technology Nanjing210094 China State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing100190 China National Trusted Embedded Software Engineering Technology Research Center East China Normal University Shanghai200062 China
As efficient commercial information technology, cloud computing has attracted more and more users to submit their requests to the cloud platform and pay for them based on the amount and quality of services. One of the... 详细信息
来源: 评论
CRFs for Digital Signature and NIZK Proof System in Web Services  1
收藏 引用
22nd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2022
作者: Kang, Burong Zhang, Lei Yang, Yafang Meng, Xinyu Engineering Research Center of Software/Hardware Co-design Technology and Application Ministry of Education East China Normal University Shanghai200062 China Science and Technology on Communication Security Laboratory Sichuan610041 China Research Institute of China Telecom Corporation Limited Shanghai200062 China School of Computer Science Fudan University Shanghai200433 China
Web services are service-oriented computing technology which allows computers running different operating domains to access and share each other’s databases. Each web service is an application (like online business) ... 详细信息
来源: 评论
BDGSE: A Symbolic Execution Technique for High MC/DC  23
BDGSE: A Symbolic Execution Technique for High MC/DC
收藏 引用
23rd IEEE International Conference on software Quality, Reliability, and Security, QRS 2023
作者: Cai, Huangli Zhang, Zhiyi Jian, Yifan Li, Dan Huang, Zhiqiu Nanjing University of Aeronautics and Astronautics Collage of Computer Science and Technology Nanjing China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing China Nuclear Power Institute of China Science and Technology on Reactor System Design Technology Laboratory Chengdu China Nanjing University of Aeronautics and Astronautics Ministry Key Laboratory for Safety-Critical Software Development and Verification Nanjing China
Modified Condition/Decision Coverage (MC/DC) is a test coverage standard with excellent fault detection capability, which is widely used in testing safety-critical software. Symbolic execution generates test cases aut... 详细信息
来源: 评论
Blocking Flow Shop Scheduling Based on a Multi-Group Collaborative Sparrow Search Algorithm
Blocking Flow Shop Scheduling Based on a Multi-Group Collabo...
收藏 引用
Chinese Control and Decision Conference, CCDC
作者: Kai Ma Yafei Geng Kan Xu Shiliang Guo Jie Yang School of Electrical Engineering Yanshan University Hebei China Shanghai Development Center of Computer Software Technology Shanghai China
The blocking flow shop scheduling problem (BFSP) prevails widely in the process manufacturing industry. In this paper, a multi-group collaborative sparrow search algorithm (MGCSSA) is proposed for minimizing the makes... 详细信息
来源: 评论