A high-energy neutrino event detected by IceCube on 22 September 2017 was coincident in
direction and time with a gamma-ray flare from the blazar TXS 0506+056. Prompted by this …

INTRODUCTION Neutrinos are tracers of cosmic-ray acceleration: electrically neutral and
traveling at nearly the speed of light, they can escape the densest environments and may be …

Astrophysical neutrinos are excellent probes of astroparticle physics and high-energy physics.
With energies far beyond solar, supernovae, atmospheric, and accelerator neutrinos, high-…

Recently the IceCube collaboration confirmed the astrophysical neutrino flux in the muon
neutrino channel with high significance using six years of data. This analysis used a likelihood …

The IceCube Neutrino Observatory instruments about 1 km 3 of deep, glacial ice at the
geographic South Pole. It uses 5160 photomultipliers to detect Cherenkov light emitted by …

Previous methods have generally identified the location of a type error as a particular
program point or the program subtree rooted at that point. We present a new approach that …

Contact tracing is one of several strategies employed in many countries to curb the spread
of SARS-CoV-2. Digital contact tracing (DCT) uses tools such as cell-phone applications to …

This paper presents a program logic for reasoning about multithreaded Java-like programs
with dynamic thread creation, thread joining and reentrant object monitors. The logic is based …

Previous methods have generally identified the location of a type error as a particular
program point or the program subtree rooted at that point. We present a new approach that …

This paper presents a verification technique for a concurrent Java-like language with reentrant
locks. The verification technique is based on permissionaccounting separation logic. As …