17 citations
- Centre Inria d'Université Côte d'AzurFR3 papers
- Centre de Mathématiques Appliquées de l'École polytechniqueFR1 paper
- École PolytechniqueFR1 paper
- EDF Energy (United Kingdom)GB1 paper
- Électricité de France (France)FR1 paper
- Maroc Numeric ClusterMA1 paper
- McGill UniversityCA1 paper
- Ospedale di ParmaIT1 paper
- Universidade Federal do Rio Grande do NorteBR1 paper
- Urawa UniversityJP1 paper
5 papers
Bures-Wasserstein minimizing geodesics between covariance matrices of different ranks
Yann Thanwerdas, Xavier Pennec
The set of covariance matrices equipped with the Bures-Wasserstein distance is the orbit space of the smooth, proper and isometric action of the orthogonal group on the Euclidean s…
Benchmarking missing-values approaches for predictive models on health databases
Alexandre Perez-Lebel, Gaël Varoquaux, Marine Le Morvan +2
BACKGROUND: As databases grow larger, it becomes harder to fully control their collection, and they frequently come with missing values: incomplete observations. These large databa…
Adaptive Conformal Predictions for Time Series
Margaux Zaffran, Aymeric Dieuleveut, Olivier Féron +2
Uncertainty quantification of predictive models is crucial in decision-making problems. Conformal prediction is a general and theoretically sound answer. However, it requires excha…
Computational Logic for Biomedicine and Neurosciences
Elisabetta de Maria, Joelle Despeyroux, Amy Felty +3
We advocate here the use of computational logic for systems biology, as a \emph{unified and safe} framework well suited for both modeling the dynamic behaviour of biological system…
Hybrid and Subexponential Linear Logics Technical Report
Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
HyLL (Hybrid Linear Logic) and SELL (Subexponential Linear Logic) are logical frameworks that have been extensively used for specifying systems that exhibit modalities such as temp…