1.4k citations
- Université Paris-SudFR237 papers
- Centre National de la Recherche ScientifiqueFR177 papers
- Institut national de recherche en sciences et technologies du numériqueFR105 papers
- Université Paris-SaclayFR70 papers
- Centre Inria de SaclayFR53 papers
- University of California, BerkeleyUS34 papers
- Institut d'Astrophysique SpatialeFR30 papers
- Université Paris DiderotFR30 papers
- Sapienza University of RomeIT27 papers
- Université Toulouse III - Paul SabatierFR27 papers
- University of California, DavisUS27 papers
- California Institute of TechnologyUS26 papers
32 papers · 1 filter
Deeply Integrating C11 Code Support into Isabelle/PIDE
Frédéric Tuong, Burkhart Wolff
We present a framework for C code in C11 syntax deeply integrated into the Isabelle/PIDE development environment. Our framework provides an abstract interface for verification back…
Robust Multi-Output Learning with Highly Incomplete Data via Restricted Boltzmann Machines
Giancarlo Fissore, Aurélien Decelle, Cyril Furtlehner +1
In a standard multi-output classification scenario, both features and labels of training data are partially observed. This challenging issue is widely witnessed due to sensor or da…
Synthetic topology in Homotopy Type Theory for probabilistic programming
Martin E. Bidlingmaier, Florian Faissole, Bas Spitters
The ALEA Coq library formalizes measure theory based on a variant of the Giry monad on the category of sets. This enables the interpretation of a probabilistic programming language…
T-ReX: a graph-based filament detection method
T. Bonnaire, N. Aghanim, A. Decelle +1
Numerical simulations and observations show that galaxies are not uniformly distributed in the universe but, rather, they are spread across a filamentary structure. In this large-s…
Gaussian-Spherical Restricted Boltzmann Machines
Aurélien Decelle, Cyril Furtlehner
We consider a special type of Restricted Boltzmann machine (RBM), namely a Gaussian-spherical RBM where the visible units have Gaussian priors while the vector of hidden variables…
Blind Robust 3-D Mesh Watermarking based on Mesh Saliency and QIM quantization for Copyright Protection
Mohamed Hamidi, Aladine Chetouani, Mohamed El Haziti +2
Due to the recent demand of 3-D models in several applications like medical imaging, video games, among others, the necessity of implementing 3-D mesh watermarking schemes aiming t…