Quatrième Journée des Doctorants du LIFO
Mardi 13 novembre 2012, LIFO, Orléans

La quatrième Journée des Doctorants du LIFO aura lieu le mardi 13 novembre 2012 dans l'amphi Herbrand du bâtiment IIIA.
Pour marquer le rapprochement entre l'université d'Orléans et l'université de Tours, les doctorants du LIFO invitent cette année des doctorants du LI, le Laboratoire d'Informatique de Tours.
Cette journée, ouverte à tous, sera l'occasion pour les doctorants du LIFO et du LI de présenter l'avancée de leur travaux sous différentes formes (exposés, posters, etc.).

Programme

Présentations longues des doctorants en troisième année

Simon Petitjean (LIFO)
Vers des MétaGrammaires plus modulaires

Résumé : XMG (eXtensible MetaGrammar) est un compilateur de MétaGrammaires utilisé pour la conception de grammaires d'arbres adjoints (TAG) et de grammaires d'interaction (IG) à large couverture. En raison de l'hétérogénéité dans ce domaine (différents formalismes grammaticaux, langages, etc), un aspect particulièrement intéressant à explorer est la modularité. Dans cet exposé, on discutera les différentes façons de considérer cette modularité dans un développement de grammaire, et son intégration à XMG.

Haut de la page

Barthélemy Serres (LI)
Acquisition et visualisation 3D pour le suivi de dissection : application au cerveau humain

Résumé : En anatomie, le moyen d'investigation privilégié est la dissection. Les anatomistes ont d'important besoins en terme de validation, de mesures, pour effectuer des comparaisons quantitatives avec des résultats d'imagerie IRM. Nous proposons une méthode de suivi d'un processus destructif qu'est la dissection anatomique. Nous avons conçu un système depuis l'acquisition 3D jusqu'à la visualisation interactive et immersive des données. L'acquisition des données est réalisé progressivement pendant la dissection grâce à un scanner laser 3D ainsi qu'à un appareil photo haute résolution. Des surfaces 3D texturées représentant les différents instant de la dissection sont alors obtenus. Ces surfaces sont recalées entre elles dans un repère global. L'anatomiste peut alors "rejouer" la dissection et identifier sur chaque surface des structures (ROI) grâce à des outils d'étiquetage interactifs. Un objet 3D est construit à partir de ces ROI et constitue la vérité terrain recherchée. Nous démontrons enfin l'utilisation de notre méthode dans l'étude des fibres cérébrales humaines (matière blanche) par la construction d'une vérité terrain à partir de données de dissection. Cette vérité terrain permettra une comparaison de résultats issus d'une technique d'imagerie récente : l'IRM de diffusion (DTI).

Haut de la page

Octavio Razafindramanana (LI)
On the road to interactive Delaunay graphs visualization via their approximation

Résumé :
We present here a work spanning from proximity graphs construction to visual data mining. This work tends to provide a suitable framework to data visualization by the mean of constructing a graph. This graph carries the low-level topological information within one given data set: the possibly existing proximity between the points. Therefore, high-level information such as existence of clusters of points may be extracted. Then, defining the so-called proximity according to the Delaunay criterion, we propose an approximation algorithm parametrizing a Delaunay triangulation one. We call this algorithm Del-X (Delaunay eXclusion). The introduced algorithm and implementation are formulated in any d-dimensional numerical space. The efficiency of the algorithm, in terms of time gain and clusters preservation, shall be discussed in a short experiment part.

Haut de la page

Pierre Clairet (LIFO)
Compression de signatures pour PIGA IDS

Résumé :
PIGA est un outil permettant de détecter les comportements malicieux par analyse de trace système. Pour cela, il utilise des signatures représentant les comportements illicites. Celles-ci sont générées à partir d'un graphe modélisant les opérations entre les différentes entités du système et sont stockées en mémoire pendant la détection d'intrusion. Dans ce papier, nous présentons un moyen de réduire la mémoire nécessaire pour stocker les signatures tout en préservant leur qualité. La méthode présentée est basée sur la décomposition modulaire des graphes. Appliquée à une propriété de confidentialité, cette méthode divise par 20 le nombre de signatures générées.

Haut de la page

Joeffrey Légaux (LIFO)
SPEED : Système de Programmation et d'Exécution Efficace de coDe sur architectures parallèles hétérogènes

Résumé : L'objectif de ce projet est de concevoir des modèles, bibliothèques de programmation et outils permettant d'optimiser la programmation et l'exécution d'applications de calcul scientifique sur des architectures parallèles hétérogènes de type multi-coeurs.

Haut de la page

Posters des doctorants en deuxième année

Joshua Amavi (LIFO)
Weak Inclusion for Recursive XML Types

Hélène Coullon (LIFO)
SkelGIS : Hierarchical algorithmic skeleton library

Nicolas Dugué (LIFO)
Detecting social capitalists on Twitter via similarity measures

Khanh Chuong Duong (LIFO)
A Constraint Programming Approach for Clustering

Bastien Le Gloannec (LIFO)
Substitutions and 4-way deterministic tilesets

Faiza Sadi (LI)
Complexité et algorithmes d'approximiation pour les problèmes d'ordonnancements multi-agents avec une fonction objectif globale

Nhat Vo (LI)
Équivalence entre deux problèmes flowshop : l'approche max plus

Présentations courtes des doctorants en première année

Abderrahim Ait Wakrime (LIFO)
Un modèle de composants logiciels pour la visualisation scientifique interactive

Marie Arcadias (LIFO)
Sujet

Ghada Arfaoui (LIFO)
La sécurité des applications mobiles pour les services sans contact

Aline Bousquet (LIFO)
Protection de téléphones Android et des services d'un informatique en nuage

Asma Guesmi (LIFO)
Contrôle d'accès pour le Cloud Computing

Romain Letourneur (LIFO)
Algorithmes exacts exponentiels pour la résolution de problèmes de jeux et de graphes

Tianyang Liu (LI)
Visualisation de grands volumes de données en utilisant des GPU

Élection du nouveau représentant des doctorants au LIFO

Candidats

Abderrahim Ait Wakrime

Les carrières en recherche

Nicolas Ollinger

Présentation sur notre avenir en recherche privée ou publique par Nicolas OLLINGER, professeur à l'université d'Orléans dans l'équipe GAMoC