10.9k citations
- University of PittsburghUS293 papers
- University of OxfordGB286 papers
- Argonne National LaboratoryUS280 papers
- Fermi National Accelerator LaboratoryUS279 papers
- Yale UniversityUS279 papers
- University College LondonGB278 papers
- University of MichiganUS272 papers
- University of Wisconsin–MadisonUS271 papers
- University of GenevaCH270 papers
- Michigan State UniversityUS268 papers
- National and Kapodistrian University of AthensGR267 papers
- The Ohio State UniversityUS265 papers
13 papers · 1 filter
DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
Aleksandr Fedchin, Antero Mejr, Hari Sundar +1
The Message Passing Interface (MPI) is widely used in parallel, high-performance programming, yet writing bug-free software that uses MPI remains difficult. We introduce DafnyMPI,…
Search for Light Sterile Neutrinos With Two Neutrino Beams at MicroBooNE
MicroBooNE collaboration, P. Abratenko, D. Andrade Aldana +176
The existence of three distinct neutrino flavours, , , and , is a central tenet of the Standard Model of particle physics. Quantum-mechanical interference can allo…
Achieving Safe Control Online through Integration of Harmonic Control Lyapunov-Barrier Functions with Unsafe Object-Centric Action Policies
Marlow Fawn, Matthias Scheutz
We propose a method for combining Harmonic Control Lyapunov-Barrier Functions (HCLBFs) derived from Signal Temporal Logic (STL) specifications with any given robot policy to turn a…
The role of environment in triggering AGN -- evidence for a change at 1
Jason Reeves, Anna Sajina, Henry Adair +2
What triggers AGN in some galaxies and what role does this brief period of activity play in the overall evolution of galaxies are still open questions. This paper explores whether…
NeuroBridge: Using Generative AI to Bridge Cross-neurotype Communication Differences through Neurotypical Perspective-taking
Rukhshan Haroon, Kyle Wigdor, Katie Yang +3
Communication challenges between autistic and neurotypical individuals stem from a mutual lack of understanding of each other's distinct, and often contrasting, communication style…
Spatial and Temporal Evaluations of the Liquid Argon Purity in ProtoDUNE-SP
DUNE Collaboration, S. Abbaslu, A. Abed Abud +1320
Liquid argon time projection chambers (LArTPCs) rely on highly pure argon to ensure that ionization electrons produced by charged particles reach readout arrays. ProtoDUNE Single-P…