2017 | NFDM

Nonlinear Frequency-Division Multiplexing in Realistic Systems  Axe : ComExCoordinateurs :Mansoor Yousefi, LTCI - Yann Frignac,SAMOVARNom & Prénom du Candidat : En attente de candidat (03/09/2018)Institutions: LTCI & SAMOVARLaboratoire gestionnaire :…

Continue Reading 2017 | NFDM

2019 | SW2SB

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…

Continue Reading 2019 | SW2SB

2019 | RANE 

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,…

Continue Reading 2019 | RANE 

2015 | DisMonTest

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…

Continue Reading 2015 | DisMonTest

2016 | Compositional controller synthesis for hybrid systems

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…

Continue Reading 2016 | Compositional controller synthesis for hybrid systems

2016 | AlgoReCell

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:…

Continue Reading 2016 | AlgoReCell

2018 | EPiPA

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…

Continue Reading 2018 | EPiPA

2016 | ModestBrood 

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…

Continue Reading 2016 | ModestBrood 

2016 | ELEFFAN

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 :…

Continue Reading 2016 | ELEFFAN