机构
*
Independent Researcher, Seattle, WA, USA（华盛顿州塞勒姆独立研究员）
；
Independent Researcher, New York City, NY, USA（纽约市纽约独立研究员）
；
King Abdullah University of Science and Technology（国王阿卜杜勒阿齐兹科学技术大学）
Advancing Mathematics Research with AI-Driven Formal Proof Search
用AI驱动的形式证明搜索推进数学研究
George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, Anja Surina, Moritz Firsching, Gergely Bérczi, Francisco J. R. Ruiz, Arun Suggala, Adam Zsolt Wagner, Eric Wieser, Lei Yu, Aja Huang, Miklós Z. Horváth, Andrew Ferraiuolo, Henryk Michalewski, Edward Lockhart, Codrut Grosu, Thomas Hubert, Matej Balog, Pushmeet Kohli, Swarat Chaudhuri
机构
*
Google DeepMind（谷歌DeepMind）
；
Aarhus University（奥胡斯大学）
机构
*
Nanjing University of Science and Technology, China（南京理工大学）
；
Shenzhen University, China（深圳大学）
；
Beihang University, China（北京航空航天大学）
；
University of Sheffield, UK（谢菲尔德大学）
；
The 58th Research Institute of China Electronics Technology Group Corporation, China（中国电子科技集团第五十八研究所）
Data-driven registration and modeling of brain deformation for image-guided neurosurgery
数据驱动的图像配准与变形建模在图像引导神经外科中的应用：系统综述
Tiago Assis, Colin P. Galvin, Joshua P. Castillo, Nazim Haouchine, Marta Kersten-Oertel, Zeyu Gao, Mireia Crispin-Ortuzar, Stephen J. Price, Thomas Santarius, Yangming Ou, Sarah Frisken, Nuno C. Garcia, Alexandra J. Golby, Reuben Dorent, Ines P. Machado
机构
*
LASIGE, Faculty of Sciences, University of Lisbon（里斯本大学科学学院LASIGE）
；
Department of Neurosurgery and Department of Radiology, Brigham and Women's Hospital, Harvard Medical School（哈佛医学院布里洛妇女医院神经外科与放射科）
；
Gina Cody School of Engineering and Computer Science, Concordia University（康科迪亚大学工程与计算机科学学院）
；
Cancer Research UK Cambridge Centre, University of Cambridge（剑桥大学癌症研究英国中心）
；
Department of Oncology, University of Cambridge（剑桥大学肿瘤科）
；
Department of Clinical Neurosciences, University of Cambridge（剑桥大学临床神经科学系）
；
Computational Health Informatics Program (CHIP) and Department of Radiology, Boston Children's Hospital, Harvard Medical School（哈佛医学院波士顿儿童医院计算健康信息学计划与放射科）
；
Sorbonne Université, Institut du Cerveau - Paris Brain Institute - ICM（索邦大学巴黎脑研究所-ICM）
Journal refAssis, T., et al. (2026). Data-driven registration and modeling of brain deformation for image-guided neurosurgery. Medical Image Analysis, 114, 104217
Examining QRMI as a Unified Interface for Quantum-HPC Integration
将量子资源管理接口（QRMI）作为量子与高性能计算集成的统一接口进行研究
Thomas Badts, Tim Boyle, Claudio Carvalho, Antonio Córcoles, Andrew Damin, Vadim Elisseev, Jonathan Frassineti, Daniel Gruber, Hiroshi Horii, Eun-Kyung Lee, James Machin, Sara Marzella, Mateusz Meller, Daniel Milroy, Matthieu Moreau, Munetaka Ohtani, Elisabeth Ortega-Carrasco, Doug Oucharek, Yoonho Park, Adarsh Patil, Emre M. Sahin, Gábor Samu, Seetharami Seelam, Amir Shehata, Vanessa Sochat, James Thorne, Oscar Wallis, Aleksander Wennersteen
MIA: A Visual Analytics System for Multimodal Spectral Imaging Data
MIA：一种用于多模态光谱成像数据的可视分析系统
Hennes Rave, Katharina Kronenberg, Hannes Gödde, Lea Tobergte, Michael Holtkamp, Julia Werner, Peter Bohrer, Fabian Lohöfer, Rickmer Braren, David Clases, Uwe Karst, Lars Linsen
