9.8k citations
- National Institute for Subatomic PhysicsNL132 papers
- University of AmsterdamNL123 papers
- Centre National de la Recherche ScientifiqueFR104 papers
- University of GlasgowGB77 papers
- Sorbonne UniversitéFR73 papers
- Université Paris CitéFR72 papers
- University of CambridgeGB71 papers
- Massachusetts Institute of TechnologyUS69 papers
- Sapienza University of RomeIT66 papers
- University of Rome Tor VergataIT66 papers
- University of BirminghamGB65 papers
- University of Maryland, College ParkUS63 papers
48 papers · 1 filter
Language and Proofs for Higher-Order SMT (Work in Progress)
Haniel Barbosa, Jasmin Christian Blanchette, Simon Cruanes +2
Satisfiability modulo theories (SMT) solvers have throughout the years been able to cope with increasingly expressive formulas, from ground logics to full first-order logic modulo…
On the Progenitor of Binary Neutron Star Merger GW170817
The LIGO Scientific Collaboration, the Virgo Collaboration, B. P. Abbott +1095
On 2017 August 17 the merger of two compact objects with masses consistent with two neutron stars was discovered through gravitational-wave (GW170817), gamma-ray (GRB 170817A), and…
From Algorithmic Black Boxes to Adaptive White Boxes: Declarative Decision-Theoretic Ethical Programs as Codes of Ethics
Martijn van Otterlo
Ethics of algorithms is an emerging topic in various disciplines such as social science, law, and philosophy, but also artificial intelligence (AI). The value alignment problem exp…
GW170608: Observation of a 19-solar-mass Binary Black Hole Coalescence
The LIGO Scientific Collaboration, the Virgo Collaboration, B. P. Abbott +1101
On June 8, 2017 at 02:01:16.49 UTC, a gravitational-wave signal from the merger of two stellar-mass black holes was observed by the two Advanced LIGO detectors with a network signa…
Networks of infinite-server queues with multiplicative transitions
Dieter Fiems, Michel Mandjes, Brendan Patch
This paper considers a network of infinite-server queues with the special feature that, triggered by specific events, the network population vector may undergo a linear transformat…
Gravitational Waves and Gamma-rays from a Binary Neutron Star Merger: GW170817 and GRB 170817A
LIGO Scientific Collaboration, Virgo Collaboration, Fermi Gamma-Ray Burst Monitor +1
On 2017 August 17, the gravitational-wave event GW170817 was observed by the Advanced LIGO and Virgo detectors, and the gamma-ray burst (GRB) GRB 170817A was observed independently…