636 citations · 3.7k across the 99 of their papers we have counts for
102 papers
Machine-learning test of the single-ion model for excitations in cuprates
Maryia Zinouyeva, Leonardo Martinelli, Riccardo Arpaia +12
We investigate excitations in Resonant Inelastic X-ray Scattering spectra of YBaCuO and LaCuO using the local single-ion model. The data are analyzed by co…
Radiation tolerance tests on key components of the ePIC-dRICH readout card
S. Geminiani, B. R. Achari, N. Agrawal +60
The dual-radiator RICH (dRICH) detector of the ePIC experiment will employ over 300000 SiPM pixels as photosensors, organized into more than 1000 Photon Detection Units. Each PDU i…
ATHENA Detector Proposal -- A Totally Hermetic Electron Nucleus Apparatus proposed for IP6 at the Electron-Ion Collider
ATHENA Collaboration, J. Adam, L. Adamczyk +433
ATHENA has been designed as a general purpose detector capable of delivering the full scientific scope of the Electron-Ion Collider. Careful technology choices provide fine trackin…
Reliably Reproducing Machine-Checked Proofs with the Coq Platform
Karl Palmskog, Enrico Tassi, Théo Zimmermann
The Coq Platform is a continuously developed distribution of the Coq proof assistant together with commonly used libraries, plugins, and external tools useful in Coq-based formal v…
Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Elaine Pimentel, Enrico Tassi
Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and comput…
Study of proton parton distribution functions at high x
Ritu Aggarwal
At large values of the parton distribution functions (PDFs) of the proton are poorly constrained and there are considerable variations between different global fits. Data at su…