On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem

por Barthe, Gilles, Crubillé, Raphaëlle, Lago, Ugo Dal, Gavazzo, Francesco
Publicado 2020

Listening to bluetooth beacons for epidemic risk mitigation

por Barthe, Gilles, Viti, Roberta De, Druschel, Peter, Garg, Deepak, Gomez-Rodriguez, Manuel, Ingo, Pierfrancesco, Kremer, Heiner, Lentz, Matthew, Lorch, Lars, Mehta, Aastha, Schölkopf, Bernhard
Publicado 2022