613 citations
- Leiden UniversityNL166 papers
- Max Planck Institute for AstronomyDE21 papers
- Centre National de la Recherche ScientifiqueFR18 papers
- Space Research Organisation NetherlandsNL18 papers
- European Southern ObservatoryCL17 papers
- University College LondonGB17 papers
- Université Paris CitéFR15 papers
- University of GroningenNL13 papers
- Instituto de Astrofísica de CanariasES12 papers
- Center for Astrophysics Harvard & SmithsonianUS11 papers
- Royal ObservatoryGB11 papers
- University of AmsterdamNL11 papers
24 papers · 1 filter
The Directed Van Kampen Theorem in Lean
Henning Basold, Peter Bruin, Dominique Lawson
Directed topology is an area of mathematics with applications in concurrency. It extends the concept of a topological space by adding a notion of directedness, which restricts how…
All genuinely entangled stabilizer subspaces are multipartite fully nonlocal
Owidiusz Makuta, Remigiusz Augusiak
Understanding which entangled states give rise to Bell nonlocality and thus are resourceful in the device-independent framework is a long-stanging unresolved problem. Here we estab…
The Steady State of Intermediate-Mass Black Holes Near a Supermassive Black Hole
Erwan Hochart, Simon Portegies Zwart
Aims: Investigate properties of a cluster of intermediate-mass black holes surrounding a supermassive black hole. Methods: We simulate clusters of equal-mass intermediate-mass blac…
The sulphur species in hot rocky exoplanet atmospheres
L. J. Janssen, P. Woitke, O. Herbort +4
The first JWST observations of hot Jupiters showed an unexpected detection of SO2 in their hydrogen-rich atmospheres. We investigate how much sulphur can be expected in the atmosph…
Dynamic Separation Logic
Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw
This paper introduces a dynamic logic extension of separation logic. The assertion language of separation logic is extended with modalities for the five types of the basic instruct…
Bankruptcy probabilities under non-Poisson inspection
Florine Kuipers, Michel Mandjes, Sara Morcy
This paper concerns an insurance firm's surplus process observed at renewal inspection times, with a focus on assessing the probability of the surplus level dropping below zero. Fo…