Axe DataSense 2Coordinatrices : Claire Nédellec, MaIAGE ; Chantal Reynaud, LRIObjectif : Résolution de questions complexes suivant un point de vue guidé par la tâche, combinaison de méthodes interdisciplinaires allant…
compositional controller synthesis for hybrid systems Axe : DataSense Sujet : Interface sensorimotrice pour environnements virtuels collaboratifs basés sur des dispositifs interactifs hétérogènes : application au design industriel Directeurs de thèse…
Coréférence événementielle cross-document dans les dossiers électroniques patient Axe : DataSense, tâche 2 Sujet : Coréférence événementielle cross-document dans les dossiers électroniques patient Directeurs : Aurélie NÉVÉOL, LIMSI, Xavier TANNIER,…
Rahul Vaze est le premier chercheur à bénéficier du Programme professeurs invités. Il est accueilli au LTCI en collaboration avec le L2S pour la période de juin/juillet 2015. Rahul Vaze…
Méthodes FormellesAxe: SciLex Coordinateur : Hubert Comon Lundh, LSV, ENS Cachan Objectif : Productions Scientifiques : Financement Labex en : 2014/2015 Documents : lien vers rapport 2014 lien vers rapport 2015…
Début : Automne 2015 Axe : SciLex Sujet : conception d’outils d’analyse, optimisations et structures de données efficaces pour OCaml Directors : Sylvain CONCHON, Fabrice LE FESSANT, Michel MAUNY Institution…
Energy-aware resource allocation for Cloud Virtual Services Début : automne 2014Axe : ComEx, tâche 2Sujet :: minimisation de consommation d’énergie électrique par des services virtuels basés sur le principe Cloud Computing.Directeurs…
Novel outer bounds through sub-modular pseudo-entropic functionals and non-Shannon type inequalities Début : 2014Axe :ComExSujet : Basic storage limitations for shared link delivery networks and combination networksDirecteur :Pablo Piantanida,L2S, Daniela Tuninetti,UICLaboratoires…
Méthodes Formelles Axe:SciLexCoordinateur :Hubert Comon Lundh, LSV, ENS CachanObjectif :Productions Scientifiques :Financement Labex en : 2014/2015 Documents : lien vers rapport 2014lien vers rapport 2015 Financements adossés au GT CDD Ingénieur…
Programmes d’éléments finis formellement vérifié Axe:SciLex 2&3Coordinatrice :Sylvie Boldo, InriaObjectif : Preuve de correction de la bibliothèque FELiScE implantant la méthode des éléments finis pour la résolution numérique d'équations aux dérivées…