Axe : SciLex Sujet : Scilex-3 From high-level to low-level certification Directrice de thèse: Catherine Dubois Co-encadrant : Valentin Blot Doctorante : Amélie Ledein Laboratoire gestionnaire : Inria SIF Autres…
Axe : SciLex Sujet : Scilex-1 Security of systems, Scilex-2 Continuous versus discrete systems Directeurs de thèse : Stefan Haar Laboratoire gestionnaire : Inria SIF Autres partenaires : LSV, IBISC…
Axe : SciLex - Software Reliability and Security Sujet : Algorithmic properties of rotor walks in graphs, and related decision models Directeurs de thèse : Pierre Coucheney, DAVID et David…
Axe : Scilex Sujet : Scilex-1 Security of systems Directrice de thèse : Lirida Naviner Encadrants : Florian Brandner, Mihail Asavoae Laboratoire gestionnaire : LTCI (Télécom Paris) Autres partenaires : SATI…
Axe : Scilex / Comex Directeurs de thèse : Matthieu RambaudLaboratoire gestionnaire : LTCIAutres partenaires : Inria SaclayDoctorant : Angelo SaadehDébut : 2019
Axe :DataSense - Making Sense of Complex and heterogeneous dataSujet : Algorithmique de graphes pour l’aide à la décision dans la constructionmoléculaireDirecteurs de thèse :Dominique Barth, PRISM et Marc Antoine…
compositional controller synthesis for hybrid systems Axe : DataSense Sujet : Interface sensorimotrice pour environnements virtuels collaboratifs basés sur des dispositifs interactifs hétérogènes : application au design industriel Directeurs de thèse…
Axe : DataSense, tâche 4Sujet : Opérateurs monotones aléatoires et applications à l’optimisation stochastiqueDirecteurs : Walid HACHEM, Pascal BIANCHI, Jérémie JAKUBOWICZInstitutions : LTCI, SAMOVARLaboratoire gestionnaire : LTCIDoctorant : Adil SALIMDébut…
Coréférence événementielle cross-document dans les dossiers électroniques patient Axe : DataSense, tâche 2 Sujet : Coréférence événementielle cross-document dans les dossiers électroniques patient Directeurs : Aurélie NÉVÉOL, LIMSI, Xavier TANNIER,…
BIPolarité de l'Information Multimédia pour l'Annotation sémantique d'images dans un contexte de médias sociaux Début : 2014 Axe : DataSense 1,2,3 Sujet : Analyse de données multimédia et gestion des connaissances…