output
20022026
most citedThe Lean mathematical library

151 citations

30 papers

hep-ex2026

An improved direct limit on the muon electric dipole moment

2 Collaboration, D. P. Aguillard, T. Albahri +192

A limit on the permanent electric dipole moment (EDM) of the positive muon is presented based on data from the Fermilab Muon g-2 Experiment taken between 2019 and 2020. The trackin…

quant-ph2025★ 9 cited

Speeding up Pontus-Mpemba effects via dynamical phase transitions

Andrea Nava, Reinhold Egger, Bidyut Dey +1

We demonstrate that open quantum systems exhibiting dynamical phase transitions (DPTs) allow for efficient protocols implementing the Pontus-Mpemba effect. The relaxation speed-up…

cs.FL2025★ 1 cited

Realisability and Complementability of Multiparty Session Types

Cinzia Di Giusto, Etienne Lozes, Pascal Urso

Multiparty session types (MPST) are a type-based approach for specifying message-passing distributed systems. They rely on the notion of global type specifying the global behaviour…

cs.LG2024★ 90 cited

Foundation Models in Radiology: What, How, When, Why and Why Not

Magdalini Paschali, Zhihong Chen, Louis Blankemeier +6

Recent advances in artificial intelligence have witnessed the emergence of large-scale deep learning models capable of interpreting and generating both textual and imaging data. Su…

astro-ph.SR2024

Magnetohydrodynamic simulation of the 2012-July-12 CME Event With the Fluxrope-G3DMHD Model

Chin-Chun Wu, Kan Liou, Brian Wood +1

Coronal mass ejections (CMEs) and their driven shocks are a major source of large geomagnetic storms due to their large and long-lasting, southward component of magnetic field in t…

physics.ins-det2024

Beam test of a baseline vertex detector prototype for CEPC

Shuqi Li, Tianya Wu, Xinhui Huang +27

The Circular Electron Positron Collider (CEPC) has been proposed to enable more thorough and precise measurements of the properties of Higgs, W, and Z bosons, as well as to search…