9.8k citations
- William & MaryUS456 papers
- Thomas Jefferson National Accelerator FacilityUS172 papers
- Argonne National LaboratoryUS88 papers
- University of GlasgowGB86 papers
- University of VirginiaUS86 papers
- Massachusetts Institute of TechnologyUS84 papers
- Centre National de la Recherche ScientifiqueFR78 papers
- Old Dominion UniversityUS75 papers
- A. Alikhanyan National LaboratoryAM74 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR74 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di GenovaIT69 papers
- Florida International UniversityUS68 papers
9 papers · 1 filter
Measurement of the Multi-Neutron Charged Current Differential Cross Section at Low Available Energy on Hydrocarbon
A. Olivier, T. Cai, S. Akhter +58
Neutron production in antineutrino interactions can lead to bias in energy reconstruction in neutrino oscillation experiments, but these interactions have rarely been studied. MINE…
On the Relationship between Code Verifiability and Understandability
Kobi Feldman, Martin Kellogg, Oscar Chaparro
Proponents of software verification have argued that simpler code is easier to verify: that is, that verification tools issue fewer false positives and require less human intervent…
Helion: Enabling Natural Testing of Smart Homes
Prianka Mandal, Sunil Manandhar, Kaushal Kafle +3
Prior work has developed numerous systems that test the security and safety of smart homes. For these systems to be applicable in practice, it is necessary to test them with realis…
MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors
Amit Seal Ami, Syed Yusuf Ahmed, Radowan Mahmud Redoy +5
While software engineers are optimistically adopting crypto-API misuse detectors (or crypto-detectors) in their software development cycles, this momentum must be accompanied by a…
One-loop matching of the -odd three-gluon operator to the gradient flow
Òscar L. Crosas, Christopher J. Monahan, Matthew D. Rizik +2
The calculation of the neutron electric dipole moment within effective field theories for physics beyond the Standard Model requires non-perturbative hadronic matrix elements of ef…
Algorithm for branching and population control in correlated sampling
Siyuan Chen, Yiqi Yang, Miguel Morales +1
Correlated sampling has wide-ranging applications in Monte Carlo calculations. When branching random walks are involved, as commonly found in many algorithms in quantum physics and…