99 citations · 115 across the 7 of their papers we have counts for
5 papers · 1 filter
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg +1
We study discrete probabilistic programs with potentially unbounded looping behaviors over an infinite state space. We present, to the best of our knowledge, the first decidability…
Development of an Organic Plastic Scintillator based Muon Veto Operating at Sub-Kelvin Temperatures for the NUCLEUS Experiment
Andreas Erhart, Victoria Wagner, Ludwig Klinkenberg +6
The NUCLEUS experiment aims at measuring the coherent elastic scattering of nuclear reactor antineutrinos off nuclei using cryogenic calorimeters. Operating at an overburden of 3m.…
Coherent elastic neutrino-nucleus scattering: Terrestrial and astrophysical applications
M. Abdullah, H. Abele, D. Akimov +272
Coherent elastic neutrino-nucleus scattering (CENS) is a process in which neutrinos scatter on a nucleus which acts as a single particle. Though the total cross section is large…
EXCESS workshop: Descriptions of rising low-energy spectra
P. Adari, A. Aguilar-Arevalo, D. Amidei +303
Many low-threshold experiments observe sharply rising event rates of yet unknown origins below a few hundred eV, and larger than expected from known backgrounds. Due to the signifi…
Development of a compact muon veto for the NUCLEUS experiment
V. Wagner, R. Rogly, A. Erhart +52
The NUCLEUS experiment aims to measure coherent elastic neutrino nucleus scattering of reactor anti-neutrinos using cryogenic calorimeters. Operating at an overburden of 3 m.w.e.,…