2 papers
gr-qc2025
The Science of the Einstein Telescope
Adrian Abac, Raul Abramo, Simone Albanesi +485
Einstein Telescope (ET) is the European project for a gravitational-wave (GW) observatory of third-generation. In this paper we present a comprehensive discussion of its science ob…
cs.AI2025
Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification
Zhen Yao, Elisabetta De Maria, Robert De Simone
Spiking Neural Networks (SNN) are models for "realistic" neuronal computation, which makes them somehow different in scope from "ordinary" deep-learning models widely used in AI pl…