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

Continuer la lecture 2016 | AlgoReCell

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

Continuer la lecture 2016 | ELEFFAN

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…

Continuer la lecture 2014 | VERICONISS

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

Continuer la lecture 2016 | PHONO

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…

Continuer la lecture 2016 | AlCoMol

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…

Continuer la lecture 2016 | SSSL

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

Continuer la lecture 2016 | IoTA

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…

Continuer la lecture 2016 | ModestBrood 

2016 | PERFECO 

Evaluation de performances pour réseaux économes en énergie Axe : ComEx Début financement : : 1/11/2016 Institutions : Université Versailles Saint Quentin en Yvelines (Laboratoire DAVID) , Institut Mines Télécom/Télécom Sud…

Continuer la lecture 2016 | PERFECO 

2016 | James Lipton

Le professeur James Lipton est "full professor" à Wesleyan University, Middletown, CT, USA depuis 1993 http://jlipton.web.wesleyan.edu/. Il a obtenu son diplôme de Docteur en 1990 de Cornell University, sous la…

Continuer la lecture 2016 | James Lipton