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