Langues : français English
Accueil > Manifestations > Thèses et HDR > Thèses

Thèses 2014

Date nom équipe sujet encadrants
12-1919 décembre 2014Elizaveta Clouet (Loginova) TALN

Traitement automatique des termes composés : segmentation, traduction et variation

Béatrice Daille

12-088 décembre 2014Ophélie Lacroix TALN

De l’étiquetage syntaxique pour les grammaires catégorielles de dépendance à l’analyse par transition dans le domaine de l’analyse en dépendances non-projective

Colin de la Higuera
Denis Béchet

12-011er décembre 2014James Scicluna TALN

Inférence grammaticale de grammaires incontextuelles probabilistes

Colin de la Higuera

11-2727 novembre 2014Bruno Belin TASC

Conception interactive d’environnements urbains durables à base de résolution de contraintes

Frédéric Benhamou
Charlote Truchet
Marc Christie

11-1313 novembre 2014Ahmad El Kheir AeLoS

MoVAL : Modélisation multi-points de vue/multi-granularités d’architectures logicielles

Mourad Oussalah
Kifah Tout
Hala Naja

10-3131 octobre 2014Mayleen Lacouture ASCOLA

Un langage de Programmation Chimique pour l’Orchestration des Services.

Mario Südholt
Hervé Grall

10-2323 octobre 2014Jean-Guillaume Fages TASC

Exploitation de structures de graphe en programmation par contraintes

Nicolas Beldiceanu
Xavier Lorca

10-2222 octobre 2014Benjamin Martin OPTI

Algorithmes rigoureux pour l’optimisation nonlinéaire biobjectif

Laurent Granvilliers
Alexandre Goldsztjen
Christophe Jermann

10-099 octobre 2014Carlos Gonzales AtlanMod

Vérification Pragmatique de Modèles

Jordi Cabot

10-033 octobre 2014Diego Torres GDD

Co-évolution entre le Web sémantique et le Web social.

Pascal Molli
Hala Skaf

07-1111 juillet 2014Guilhem Jaber ASCOLA

Une étude logique de l’équivalence de programmes

Alexandre Miquel
Nicolas Tabareau

07-1010 juillet 2014Diana Allam ASCOLA

Couplage faible et principe de substitution dans les environnements à objets pour les services web

Jean-Claude Royer
Hervé Grall

06-3030 juin 2014Salvador Martínez AtlanMod

Analyse et reconstruction automatique de politiques de sécurité de composants de sécurité déployés

Frédéric Cuppens
Jordi Cabot

06-2020 juin 2014Nagham Alhadad GDD

Combler le fossé entre les mondes sociaux et numériques : modélisation de systèmes et évaluation de la confiance

Philippe Lamarre
Yann Busnel
Patricia Seranno

06-1818 juin 2014Riad Belkhatir AeLoS

Contribution à l’automatisation et l’évaluation des architectures logicielles ouvertes

Mourad Oussalah

05-1212 mai 2014Guillaume Le Louët ASCOLA

Maîtrise énergétique des centres de données virtualisés d’un scenario de charge à l’optimisation du placement des calculs

Jean-Marc Menaud

04-2222 avril 2014Ismael Figueroa ASCOLA

Effective Aspects : Un modèle typé monadique pour contrôler et raison propos aspect interférences

Mario Südholt
Eric Tanter
Nicolas Tabareau

02-2828 février 2014Charles Prud’Homme TASC/ASCOLA

Contrôle de la propagation et de la recherche dans un solveur de contraintes

Narendra Jussien
Xavier Lorca
Rémi Douence

02-1010 février 2014Rima Harastani TALN

Analyse morphologique et alignement multilingue en corpus comparables

M. Emmanuel Morin
Mme. Béatrice Daille

02-033 février 2014Olivier Finot AeLoS

Oracles du test de transformations de modèles

Christian Attiogbé
Jean-Marie Mottu
Gerson Sunyé

01-2020 janvier 2014Mohamed Hatmi TALN

Reconnaissance des entités nommées dans des documents multimodaux

Emmanuel Morin
Christine Jacquin
Sylvain Meignier

Dernière modification : vendredi 25 novembre 2016