2020 | ATOM

Attack Tolerance using Machine learning and Big Data Axe & tâche scientifique DigiCosme : SciLex / IIDCoordinateurs : Fatiha Zaïdi, LRI - Ana Rosa Cavalli, SAMOVARChercheur postdoctoral : Felipe Lisboa…

Continuer la lecture 2020 | ATOM

2019 | PHONO

Modélisation des régularités phonologiques dans la parole par réseaux de neurones  Axe : DataSenseCoordinateurs : Ioana Vasilescu, LIMSI - Alexandre Allauzen, LIMSI - Lori Lamel, LIMSI - Chloé Clavel, Telecom…

Continuer la lecture 2019 | PHONO

2019 | PERFRESO

Performances des Réseaux multidébits intégrant de nouvelles fonctionnalités optiques Axe : ComExCoordinateurs : Mounia Lourdiane, SAMOVAR - Cédric Ware, Telecom ParisTechChercheur postdoctoral : Chaima ZidiAdresse mail : chaima.zidi@gmail.comLaboratoire gestionnaire: SAMOVARInstitution…

Continuer la lecture 2019 | PERFRESO

2019 | SW2SB

Sparse Wars. Episode II : Parsimony battles Axe & tâche scientifique DigiCosme : ComExCoordinateurs : Leo Liberti, LIX - Matthieu Kowalski, L2SChercheur postdoctoral : DELLE DONNE DiegoAdresse mail : diegodd@gmail.comLaboratoire…

Continuer la lecture 2019 | SW2SB

2019 | UPACC

Learning framawork for Radio Resource Allocation in Efficient Access and Update of Large Scale Storage Systems Axe : ComExCoordinateurs : Aslan Tchamkerten, LTCI - Sheng Yang, L2SChercheur postdoctoral : Michele…

Continuer la lecture 2019 | UPACC

2019 | TacticTHo

Tactiques de preuve pour formaliser des modèles de la théorie des types homotopiques en déduction modulo réécriture  Axe : SciLexCoordinateurs : Bruno Barras, LSV - Georges Gonthier, Inria - Samuel…

Continuer la lecture 2019 | TacticTHo

2019 | PREGARI

Commande PREdictive Garantie Robuste aux Incertitudes Axe : SciLexCoordinateurs : Julien Alexandre dit Sandretto, U2IS - Laurent Fribourg, LSVChercheur postdoctoral : Mohamed FNADIInstitution : ENS Paris-SaclayLaboratoire gestionnaire: U2ISAdossé à l'action…

Continuer la lecture 2019 | PREGARI

2019 | LFAT

Méthodes informatiques pour la modélisation et l’analyse des réseaux biologiques  Axe : SciLexCoordinateurs : Guillaume Burel, SAMOVAR - Kaustuv Chaudhuri, LIX - Dale Miller, LIXChercheur postdoctoral : Matteo AcclavioInstitution :…

Continuer la lecture 2019 | 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…

Continuer la lecture 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…

Continuer la lecture 2018 | FAC