咨询与建议

限定检索结果

文献类型

  • 1,148 篇 期刊文献
  • 213 篇 会议
  • 6 册 图书

馆藏范围

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

日期分布

学科分类号

  • 1,008 篇 理学
    • 657 篇 物理学
    • 306 篇 数学
    • 110 篇 统计学(可授理学、...
    • 72 篇 生物学
    • 65 篇 系统科学
    • 57 篇 化学
    • 49 篇 地球物理学
    • 23 篇 天文学
  • 650 篇 工学
    • 256 篇 计算机科学与技术...
    • 187 篇 软件工程
    • 135 篇 核科学与技术
    • 77 篇 电子科学与技术(可...
    • 74 篇 电气工程
    • 73 篇 控制科学与工程
    • 63 篇 光学工程
    • 61 篇 信息与通信工程
    • 53 篇 生物医学工程(可授...
    • 50 篇 生物工程
    • 34 篇 材料科学与工程(可...
    • 33 篇 化学工程与技术
    • 32 篇 力学(可授工学、理...
    • 30 篇 动力工程及工程热...
    • 26 篇 仪器科学与技术
  • 86 篇 管理学
    • 50 篇 管理科学与工程(可...
    • 30 篇 工商管理
    • 29 篇 图书情报与档案管...
  • 66 篇 医学
    • 53 篇 临床医学
    • 47 篇 基础医学(可授医学...
    • 27 篇 药学(可授医学、理...
  • 21 篇 法学
    • 21 篇 社会学
  • 13 篇 经济学
  • 13 篇 农学
  • 9 篇 教育学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学
  • 1 篇 历史学
  • 1 篇 军事学

主题

  • 70 篇 hadron colliders
  • 62 篇 higgs bosons
  • 47 篇 proton-proton in...
  • 36 篇 standard model (...
  • 35 篇 large hadron col...
  • 29 篇 collisions (nucl...
  • 29 篇 nuclear counters
  • 28 篇 relativistic hea...
  • 27 篇 machine learning
  • 26 篇 supersymmetric m...
  • 24 篇 computer science
  • 24 篇 mathematics
  • 24 篇 top quark
  • 24 篇 quarks
  • 23 篇 hadron-hadron sc...
  • 22 篇 w & z bosons
  • 22 篇 particle product...
  • 22 篇 extensions of hi...
  • 21 篇 quark & gluon je...
  • 20 篇 cross sections (...

机构

  • 410 篇 faculty of scien...
  • 410 篇 department for p...
  • 404 篇 kirchhoff-instit...
  • 395 篇 department of ph...
  • 395 篇 institute of phy...
  • 389 篇 department of ph...
  • 384 篇 department of ph...
  • 376 篇 institute of phy...
  • 371 篇 fakultät für phy...
  • 368 篇 instituto de fís...
  • 324 篇 nikhef national ...
  • 322 篇 department of ph...
  • 319 篇 dipartimento di ...
  • 307 篇 department of ph...
  • 306 篇 department of ph...
  • 291 篇 department of ph...
  • 287 篇 graduate school ...
  • 279 篇 department of ph...
  • 275 篇 high energy phys...
  • 274 篇 school of physic...

作者

  • 338 篇 c. alexa
  • 338 篇 g. bella
  • 338 篇 d. calvet
  • 338 篇 c. amelung
  • 337 篇 g. spigo
  • 336 篇 j. m. izen
  • 336 篇 j. strandberg
  • 336 篇 f. siegert
  • 327 篇 r. ströhmer
  • 327 篇 m. rijssenbeek
  • 327 篇 s. jin
  • 327 篇 g. gaudio
  • 326 篇 s. mohapatra
  • 321 篇 s. guindon
  • 319 篇 a. kaczmarska
  • 317 篇 j. schaarschmidt
  • 309 篇 y. tayalati
  • 308 篇 a. d. pilkington
  • 306 篇 l. chevalier
  • 299 篇 m. kocian

语言

  • 1,325 篇 英文
  • 42 篇 其他
检索条件"机构=Applied Computer Studies Division Department of Mathematics and Computer Science"
1367 条 记 录,以下是111-120 订阅
排序:
Teaching Intuitionistic and Classical Propositional Logic Using Isabelle
arXiv
收藏 引用
arXiv 2022年
作者: Villadsen, Jørgen From, Asta Halkjær Blackburn, Patrick DTU Compute Department of Applied Mathematics and Computer Science Technical University of Denmark Denmark Section of Philosophy and Science Studies IKH Roskilde University Denmark
We describe a natural deduction formalization of intuitionistic and classical propositional logic in the Isabelle/Pure framework. In contrast to earlier work, where we explored the pedagogical benefits of using a deep... 详细信息
来源: 评论
A Trusted Reputation Management Scheme for Cross-Chain Transactions
收藏 引用
Sensors 2023年 第13期23卷 6033页
作者: Chen, Kuongho Lee, Lin-Fa Chiu, Wayne Su, Chunhua Yeh, Kuo-Hui Chao, Han-Chieh ezPay Co. Ltd Taipei11578 Taiwan Department of Information Management National Dong Hwa University Hualien97401 Taiwan Department of Applied Mathematics and Computer Science Technical University of Denmark Lyngby2800 Denmark Division of Computer Science University of Aizu Fukushima965-0006 Japan Department of Computer Science and Engineering National Sun Yat-sen University Kaohsiung80424 Taiwan Institute of Computer Science and Innovation UCSI University Kuala Lumpur5600 Malaysia
Blockchain has become a well-known, secured, decentralized datastore in many domains, including medical, industrial, and especially the financial field. However, to meet the requirements of different fields, platforms... 详细信息
来源: 评论
Bias-Variance Trade-off in Physics-Informed Neural Networks with Randomized Smoothing for High-Dimensional PDEs
arXiv
收藏 引用
arXiv 2023年
作者: Hu, Zheyuan Yang, Zhouhao Wang, Yezhen Karniadakis, George Em Kawaguchi, Kenji Division of Applied Mathematics Brown University ProvidenceRI02912 United States Department of Computer Science National University of Singapore Singapore119077 Singapore Advanced Computing Mathematics and Data Division Pacific Northwest National Laboratory RichlandWA United States
Physics-Informed Neural Networks (PINNs) have triggered a paradigm shift in scientific computing, leveraging mesh-free properties and robust approximation capabilities. While proving effective for low-dimensional part... 详细信息
来源: 评论
Hutchinson Trace Estimation for High-Dimensional and High-Order Physics-Informed Neural Networks
arXiv
收藏 引用
arXiv 2023年
作者: Hu, Zheyuan Shi, Zekun Karniadakis, George Em Kawaguchi, Kenji Department of Computer Science National University of Singapore Singapore119077 Singapore Division of Applied Mathematics Brown University ProvidenceRI02912 United States Advanced Computing Mathematics and Data Division Pacific Northwest National Laboratory RichlandWA United States
Physics-Informed Neural Networks (PINNs) have proven effective in solving partial differential equations (PDEs), especially when some data are available by seamlessly blending data and physics. However, extending PINN... 详细信息
来源: 评论
GLOBAL WELL-POSEDNESS OF THE 3D PRIMITIVE EQUATIONS WITH HORIZONTAL VISCOSITY AND VERTICAL DIFFUSIVITY II: CLOSE TO H1 INITIAL DATA
arXiv
收藏 引用
arXiv 2024年
作者: Cao, Chongsheng Li, Jinkai Titi, Edriss S. Wang, Dong Department of Mathematics Florida International University University Park MiamiFL33199 United States South China Research Center for Applied Mathematics and Interdisciplinary Studies School of Mathematical Sciences South China Normal University Guangzhou510631 China Department of Mathematics Texas A&M University College StationTX77843 United States Department of Applied Mathematics and Theoretical Physics University of Cambridge CambridgeCB3 0WA United Kingdom Department of Computer Science and Applied Mathematics Weizmann Institute of Science Rehovot76100 Israel
MSC Codes 26D10, 35Q35, 35Q86, 76D03, 76D05, 86A05, 86A10In this paper, we consider the initial-boundary value problem to the three-dimensional primitive equations for the oceanic and atmospheric dynamics with only ho... 详细信息
来源: 评论
A Cautionary Note on Poli's Stability Condition for Particle Swarm Optimization
A Cautionary Note on Poli's Stability Condition for Particle...
收藏 引用
IEEE Symposium Series on Computational Intelligence (SSCI)
作者: Daniel H. Von Eschwege Andries P. Engelbrecht Department of Industrial Engineering Stellenbosch University Stellenbosch South Africa Department of Industrial Engineering and Computer Science Division Stellenbosch University Stellenbosch South Africa Center for Applied Mathematics and Bioinformatics Gulf University for Science and Technology Kuwait Kuwait
Particle swarm optimization (PSO) is a swarm intelligence algorithm that finds candidate solutions by iteratively updating the positions of particles in a swarm. PSO performance depends on the use of a suitable contro...
来源: 评论
Detecting Bone Lesions in X-Ray Under Diverse Acquisition Conditions
arXiv
收藏 引用
arXiv 2022年
作者: Zimbalist, Tal Rosen, Ronnie Peri-Hanania, Keren Caspi, Yaron Rinott, Bar Zeltser-Dekel, Carmel Bercovich, Eyal Eldar, Yonina C. Bagon, Shai Department of Computer Science & Applied Mathematics Weizmann Institute of Science Rehovot Israel Medical Imaging Division Rambam Health Care Campus Haifa Israel
The diagnosis of primary bone tumors is challenging, as the initial complaints are often non-specific. Early detection of bone cancer is crucial for a favorable prognosis. Incidentally, lesions may be found on radiogr... 详细信息
来源: 评论
EAIRA: Establishing a Methodology for Evaluating AI Models as Scientific Research Assistants
arXiv
收藏 引用
arXiv 2025年
作者: Cappello, Franck Madireddy, Sandeep Underwood, Robert Getty, Neil Chia, Nicholas Lee-Ping Ramachandra, Nesar Nguyen, Josh Keçeli, Murat Mallick, Tanwi Li, Zilinghan Ngom, Marieme Zhang, Chenhui Yanguas-Gil, Angel Antoniuk, Evan Kailkhura, Bhavya Tian, Minyang Du, Yufeng Ting, Yuan-Sen Wells, Azton Nicolae, Bogdan Maurya, Avinash Mustafa Rafique, M. Huerta, Eliu Li, Bo Foster, Ian Stevens, Rick Mathematics and Computer Science Division Argonne National Laboratory United States Data Science and Learning Division Argonne National Laboratory United States Computational Science Division Argonne National Laboratory United States Applied Materials Division Argonne National Laboratory United States Department of Computer Science The University of Chicago United States University of Pennsylvania United States Lawrence Livermore National Laboratory United States The Ohio State University United States Rochester Institute of Technology United States Massachusetts Institute of Technology United States
Recent advancements have positioned AI, and particularly Large Language Models (LLMs) as transformative tools for scientific research, capable of addressing complex tasks that require reasoning, problem-solving, and d... 详细信息
来源: 评论
Automated Ensemble Multimodal Machine Learning for Healthcare
收藏 引用
IEEE Journal of Biomedical and Health Informatics 2025年 第6期PP卷 PP页
作者: Imrie, Fergus Denner, Stefan Brunschwig, Lucas S. Maier-Hein, Klaus Van Der Schaar, Mihaela University of Oxford Department of Statistics Oxford United Kingdom Heidelberg University Faculty of Mathematics and Computer Science Germany École Polytechnique Fédérale de Lausanne Switzerland Division of Medical Image Computing Germany Heidelberg University Hospital Pattern Analysis and Learning Group Department of Radiation Oncology Germany Heidelberg Germany University of Cambridge Department of Applied Mathematics and Theoretical Physics United Kingdom
The application of machine learning in medicine and healthcare has led to the creation of numerous diagnostic and prognostic models. However, despite their success, current approaches generally issue predictions using... 详细信息
来源: 评论
Score-fPINN: Fractional Score-Based Physics-Informed Neural Networks for High-Dimensional Fokker-Planck-Lévy Equations
arXiv
收藏 引用
arXiv 2024年
作者: Hu, Zheyuan Zhang, Zhongqiang Karniadakis, George Em Kawaguchi, Kenji Department of Computer Science National University of Singapore Singapore119077 Singapore Department of Mathematical Sciences Worcester Polytechnic Institute WorcesterMA01609 United States Division of Applied Mathematics Brown University ProvidenceRI02912 United States Advanced Computing Mathematics and Data Division Pacific Northwest National Laboratory RichlandWA United States
We introduce an innovative approach for solving high-dimensional Fokker-Planck-Lévy (FPL) equations in modeling non-Brownian processes across disciplines such as physics, finance, and ecology. We utilize a fracti... 详细信息
来源: 评论