2017 | LFAT

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…

Continue Reading 2017 | LFAT

2018 | DafPUP

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…

Continue Reading 2018 | DafPUP

2018 | FAC

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…

Continue Reading 2018 | FAC

2018 |Meta Tracts: Parsimonious multi-resolution representations for modeling,visualizing and statistically analyzing brain tractograms

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…

Continue Reading 2018 |Meta Tracts: Parsimonious multi-resolution representations for modeling,visualizing and statistically analyzing brain tractograms

2018 | DynaRNA

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é à…

Continue Reading 2018 | DynaRNA

2018 | MAEL

MultimediA Entity Linking.  Axe : DataSenseCoordinateurs : Hervé Le BorgneNom & Prénom du Candidat : Omar AdlaliInstitutions : CEA list, LIMSILaboratoire gestionnaire : CEA listAdossé à l'action DigiCosme : GT…

Continue Reading 2018 | MAEL