855 citations
- Michigan State UniversityUS715 papers
- Iowa State UniversityUS713 papers
- University of CambridgeGB713 papers
- University of EdinburghGB713 papers
- University of GenevaCH713 papers
- Boğaziçi UniversityTR712 papers
- Brandeis UniversityUS712 papers
- Brookhaven National LaboratoryUS712 papers
- European Organization for Nuclear ResearchCH712 papers
- Gaziantep UniversityTR712 papers
- Lawrence Berkeley National LaboratoryUS712 papers
- Ludwig-Maximilians-Universität MünchenDE712 papers
1,138 papers
Certification of Bilateral Patience Sort in Theorema and Rocq
Isabela Drǎmnesc, Tudor Jebelean, Sorin Stratulat
This is a case study on a specific version of the Patience Sort algorithm in which we illustrate the evolution of it from an intuitive but inefficient nested recursion into a more…
Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
Ioana Silaş, Adrian Crăciun
In distributed systems, model checking is usually used at design time for specifying an abstract model of the system and then exhaustively checking all possible behaviors. TLA+ is…
Hydrodynamics without a relaxation gap: memory effects, nonlocality, and superdiffusion
Lorenzo Gavassino, Sukanya Mitra, Rajeev Singh
By studying a simple model of relativistic particles propagating through a background medium with an energy-dependent relaxation time that is unbounded from above, we investigate h…
Challenges in Explaining Pretrained Clinical Text Classifiers
Kristian Miok, Matej Klemen, Blaz Škrlj +1
Explaining the predictions of neural models in clinical NLP remains a significant challenge, especially for complex tasks involving long, unstructured medical texts. While post-hoc…
Ytterbium charge state and stabilization in the Ba(Ca)F host by electron paramagnetic resonance and infrared photoluminescence
David John, Shelja Sharma, Marius Stef +18
Lanthanide-doped fluorides are promising materials for advanced photonic and quantum applications due to their wide bandgap, low phonon energy, and chemical stability. In this work…
Study of Particle Fluence Effects on Collected Charge and Depletion Voltage of the ATLAS IBL Planar Pixel Sensors
ATLAS Collaboration
After ten years of operation at the LHC, the planar pixel sensors of the innermost barrel layer of the ATLAS Pixel detector have accumulated an average bulk damage fluence in exces…