Privacy‐guaranteed fast content delivery for hybrid VANETs Axe : ComEx & [https://digicosme.lri.fr/tiki-Coordinateurs :Véronique Veque, Houda LabiodNom & Prénom du Candidat : Sara BerriInstitutions: L2S/LTCILaboratoire gestionnaire: LTCIAdossé à l'action DigiCosme :GT…
Sparse Wars. Episode II : Parsimony battles Axe & tâche scientifique DigiCosme : ComExCoordinateurs :Leo Liberti, LIX - Matthieu Kowalski, L2SNom & Prénom du Candidat :DELLE DONNE DiegoAdresse mail :diegodd@gmail.comLaboratoire…
Resource Allocation at the Network Edge Axe : ComEx - Intelligent Network Structures Sujet : Resource Allocation at the Network Edge Directeurs de thèse : Mohamad Assaad, L2S et Andrea Araldo,…
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…
Début : Automne 2015 Axe : SciLex Sujet : conception d’outils d’analyse, optimisations et structures de données efficaces pour OCaml Directors : Sylvain CONCHON, Fabrice LE FESSANT, Michel MAUNY Institution…
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 : Safely using external provers in proof assistantsDirecteurs : Frédéric BLANQUI, INRIA et Guillaume BUREL, SAMOVARInstitutions : Inria, LSVDoctorant : Mohamed Yacine El HaddadDébut : 01/01/2018Productions scientifiques…
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…
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 :…