Axe :ScilexSujet : compositional controller synthesis for hybrid systemsDirecteurs de thèse : Antoine GIRARD (L2S), Laurent FRIBOURG (LSV).Institution :Laboratoire des signaux et systèmes (L2S), Laboratoire de spécification et vérification (LSV).Doctorant…
Modèles et algorithmes pour la prédiction de stratégies de reprogrammation cellulaire Axe :SciLexSujet : Modèles et algorithmes pour la prédiction de stratégies de reprogrammation cellulaireDirecteurs :Stefan Haar,LSV & Loic Paulevé, LRIDébut:…
Axe : SciLexSujet : Stabilité(s): liens entre l'arithmétique flottante et l'analyse numériqueDirecteurs : Sylvie Boldo, Inria et Alexandre Chapoutot, ENSTA ParisTechInstitutions : Inria et ENSTA ParisTechLaboratoire Gestionnaire : InriaDoctorant :…
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…
MODEling and STeering BRain Oscillations based on in vivo Optogenetics Data Axe : Axe SciLex: Continuous and discrete systems: models and verification Sujet : MODEling and STeering BRain Oscillations based on…
Evaluation de performances pour réseaux économes en énergie Axe : ComEx Début financement : : 1/11/2016 Institutions : Université Versailles Saint Quentin en Yvelines (Laboratoire DAVID) , Institut Mines Télécom/Télécom Sud…
Optimal Content Management and Dimensioning in Wireless Networks Axe : ComEx, tâche 2Sujet : Optimal Content Management and Dimensioning in Wireless NetworksDirecteurs : Marco DI RENZO, Anastasios GIOVANIDISInstitutions : L2S,…
A novel online functional testing methodology Début : 2015Axe :SciLex 1Sujet : A novel online functional testing methodology based on a fully distributedcontinuous monitoring approach applied to communicating systems.Directeurs :Stéphane…
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…
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…