Zobrazeno 21 - 30
of 2 167
pro vyhledávání: '"Fischer, Marc"'
Autor:
Bar, Stéphane, Moussa, Mouhamed Djahoum, Descamps, Richard, El Amine, Younes, Bouhemad, Belaid, Fischer, Marc-Olivier, Lorne, Emmanuel, Dupont, Hervé, Diouf, Momar, Guinot, Pierre Grégoire
Publikováno v:
In Journal of Clinical Anesthesia May 2024 93
We present a new abstract interpretation framework for the precise over-approximation of numerical fixpoint iterators. Our key observation is that unlike in standard abstract interpretation (AI), typically used to over-approximate all reachable progr
Externí odkaz:
http://arxiv.org/abs/2110.08260
Existing neural network verifiers compute a proof that each input is handled correctly under a given perturbation by propagating a symbolic abstraction of reachable values at each layer. This process is repeated from scratch independently for each in
Externí odkaz:
http://arxiv.org/abs/2109.00542
Autor:
Fischer, Marc, Galanis, Michail, Gioutsos, Konstantinos, Lutz, Jon Andri, Figueiredo, Filipe Azenha, Dorn, Patrick
Publikováno v:
In Surgery Open Science August 2024 20:82-93
We present a new certification method for image and point cloud segmentation based on randomized smoothing. The method leverages a novel scalable algorithm for prediction and certification that correctly accounts for multiple testing, necessary for e
Externí odkaz:
http://arxiv.org/abs/2107.00228
Randomized Smoothing (RS) is a promising method for obtaining robustness certificates by evaluating a base model under noise. In this work, we: (i) theoretically motivate why ensembles are a particularly suitable choice as base models for RS, and (ii
Externí odkaz:
http://arxiv.org/abs/2106.06946
Autor:
Mallat, Jihad, Abou-Arab, Osama, Lemyze, Malcolm, Fischer, Marc-Olivier, Guinot, Pierre-Grégoire
Publikováno v:
In Anaesthesia Critical Care & Pain Medicine February 2024 43(1)
Publikováno v:
In Journal of Critical Care February 2024 79
Publikováno v:
In Medical Image Analysis January 2024 91