Axe: SciLex Sujet : hybrid systems, compositional methods, contracts, verification and synthesis Coordinateur : Antoine Girard Equipe: Laurent Fribourg, Luca Greco, Adnane Saoud (PhD student), Alina Eqtami (Postdoc), Daniele Zonetti…
Linking Focusing and Automated Theorem Proving Axe & tâche scientifique DigiCosme : SciLexCoordinateurs :Guillaume Burel, SAMOVAR - Kaustuv Chaudhuri, LIX - Dale Miller, LIXNom & Prénom du Candidat : en…
Domain Approximations for Programs with Uncertain Probabilities Axe & tâche scientifique DigiCosme : SciLex - Tâche 2Coordinateurs :Jean Goubault-LarrecqNom & Prénom du Candidat : Jia, XiaodongLaboratoires : Paris Saclay :LSVLIX…
Full Abstraction for Languages with Demonic and Probabilistic Choice Axe & tâche scientifique DigiCosme : SciLex -Coordinateurs :Jean-Goubault Larrecq, LSV - Evelyne Contejean, LRINom & Prénom du Candidat : Zhenchao…
Learning framawork for Radio Resource Allocation in LoRaWANnd Big Data Axe & tâche scientifique DigiCosme : ComExCoordinateurs : Kinda Khawam, Li-PARAD - Steven Martin, LRI - Odalric-Ombrym Maillard, InriaChercheur postdoctoral…
Dynamics of RNA Axe & tâche scientifique DigiCosme : SciLex - IIDCoordinateurs :Loïc Paulevé - Yann PontyNom & Prénom du Candidat : Christelle RovettaAdresse mail :christelle.rovetta à inria.frLaboratoire(s) : LRI/LIXAdossé à…
Parsimonious multi-resolution representations for modeling,visualizing and statistically analyzing brain tractograms Action line: Axe DataSense Researcher : Pierre Roussillon Leading Researchers : Pietro Gori (Project coordinator), Jean-Marc Thiery, Damien Rohmer Supporting…
Axe & tâche scientifique DigiCosme : DataSense & Tâche 2 Coordinateurs : Fatiha Saïs & Juliette Dibie Nom & Prénom du Candidat : Joana Esther Gonzales Malaverri Institutions : Paris…
Approximate Message Passing for HIgh-dimensional data analysis Axe & tâche scientifique DigiCosme : DataSence -Coordinateurs :Bertrand THIRION - Lenka Zdeborová - Lenka ZDEBOROVA.Nom & Prénom du Candidat : Andre ManoelAdresse…
Axe & tâche scientifique DigiCosme : SciLex - IID Coordinateurs : Matthias Függer et Thomas Nowak Nom & Prénom du Candidat : Da-Jung Cho Laboratoires : Paris Saclay : LSV,…