2016 | ModestBrood
MODEling and STeering BRain Oscillations based on in vivo Optogenetics Data Axe :Axe SciLex:Continuous and discrete systems: models and verificationSujet : MODEling and STeering BRain Oscillations based on in vivo Optogenetics…
2016 | TheoBioR
Méthodes informatiques pour la modélisation et l’analyse des réseaux biologiques Axe:SciLexCoordinateur :Stefan Haar (Inria Saclay-Île-de-France/LSV) , Sabine Peres, LRI, Loïc Paulevé (CNRS/LRI)Objectif : Séminaires réguliers et travail collaboratif sur le…
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…
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:…
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 :…
2014 | VERICONISS
Verification of Concurrent Infinite State Systems Axe :SciLexSujet : reachability, model checking and equivalence checking of concurrent infinite state systemsCoordinateur : Stefan GöllerEquipe: P1: Laboratoire Spécification et Vérification in Cachan…
2016 | PHONO
Modélisation des régularités phonologiques dans la parole par réseaux de neurones Axe & tâche scientifique DigiCosme : DataSenseCoordinateurs :Ioana Vasilescu, LIMSI - Alexandre Allauzen, LIMSI - Lori Lamel, LIMSI -…
2016 | AlCoMol
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…
2016 | SSSL
Séquential Structured Statistical Learning | Apprentissage Statistique Séquentiel et Structuré Axe :DataSenseCoordinateur :Odalric-Ambrym MAILLARDObjet du groupe de travail : Apprentissage Statistique Séquentiel et StructuréProductions Scientifiques :En attente de CRFinancement Labex en…
2016 | IoTA
Action line:DataSense:Subject : IOTA will provide the next generation of models and algorithms to advance our understanding of IoT analytics.Project Coordinators : Albert Bifet, Silviu ManiuProject Members :Nikolaos Tziortziotis (PostDoc)…