Le Séminaire des Doctorants

Ce séminaire permet aux doctorants de présenter leurs travaux de recherche devant les autres thésards du département informatique du LIRMM. Ce moment convivial est aussi un moyen de se tenir au courant des problématiques abordées dans les différentes équipes du département, qui représentent divers domaines de l'informatique.

Ce séminaire a lieu en moyenne une semaine sur deux le mercredi de 11h précises (ouverture de la salle et café à 10h45) à midi en salle 2.57 (sauf mention du contraire). Un courriel sera envoyé au moins 24h à l'avance à l'alias [di-thes] afin de prévenir tous les doctorants en informatique de l'orateur et du sujet présenté.

Les orateurs sont principalement des doctorants en informatique du LIRMM, occasionnellement des doctorants invités d'autres laboratoires. Les exposés concernent les travaux de l'orateur ou bien peuvent être des états de l'art sur un sujet donné.

Aucun prérequis n'est nécessaire pour assister à ces exposés, les notions abordées sont définies en début de présentation.

Exposés passés

16/05/2012 - Hajer Saada: Génération des règles de transformation opérationnelles à partir des exemples
Les transformations de modèles sont au c½ur de l?ingénierie dirigée par les modèles. Elles occupent une place de plus en plus importante dans le cycle de développement. Ces transformations sont habituellement développées par des programmeurs spécialisés et leur code doit être mis à jour à chaque variation des besoins. Pour faciliter cette tâche, une approche consiste à générer des règles de transformation à partir d?exemples de transformation. Dans ce séminaire, nous présenterons une méthode basée sur l?analyse relationnelle de concepts pour générer des patterns de transformation à partir des exemples. Ces patterns sont après transformés en règles opérationnelles exécutées avec le moteur de règles Jess.
02/05/2012 - Nicolas Carlesi: Coopération entre Véhicules Sous-Marins Autonomes : Une approche organisationnelle réactive multi-agent
Les AUVs (Autonomous Underwater Vehicles) ont des capacités de perception et de communication limitées. La conception de flottilles d?AUVs est par conséquent un véritable challenge pour la réalisation de missions en environnement sous-marin. Les solutions existantes sont souvent étroitement liées (1) à un type spécifique de mission et (2) aux caractéristiques des AUVs considérés. Il est donc difficile de réutiliser ces approches en cas de changement de contexte de mission. Cet article propose une architecture multi-agent générique en trois couches pour la conception et la spécification de flottilles d?AUVs à un niveau d?abstraction élevé, indépendamment des caractéristiques et des compétences des AUVs. Le modèle organisationnel AGR (agent/groupe/rôle) est utilisé pour faciliter et réguler les interactions entre les AUVs hétérogènes. L?architecture proposée utilise par ailleurs une approche comportementale réactive inspirée du modèle satisfaction-altruisme pour limiter fortement les communications nécessaires.
18/04/2012 - Nicolas Bousquet: Coloration de graphes: Algorithmes et structures.
Les graphes sont des objets naturels pour représenter des ensembles finis. La coloration de graphes consiste à colorer les sommets du graphe de manière à ce que deux sommets reliés par une arête aient une couleur différente. Lorsque les sommets correspondent à des régions du plan, cela consiste à colorer les différents régions de manière à ce que deux régions ayant une frontière commune aient une couleur différente. On parlera d'abord rapidement des principaux résultats algorithmiques pour la coloration de graphe avant de s'intéresser plus particulièrement aux propriétés structurelles des graphes. Appel et Haken ont montré que les graphes planaires étaient 4 colorable. Depuis de nombreux résultats de coloration sur les graphes possédant une certaine structure ont été établis: graphes parfaits, graphes sans longs chemins, ou restent ouverts: graphe sans long cycles, graphes sans cycles impairs... Enfin, je parlerai de la structure des k-colorations d'un graphe. En particulier, on se demandera si il est toujours possible de passer d'une k-coloration d'un graphe à une autre en maintenant une coloration propre pour le graphe.
04/04/2012 - Azhar Hadmi: Hachage Perceptuel des Images
Avec une croissance considérable dans le domaine de la technologie multimédia et de la forte disponibilité des logiciels de traitement d'image, il est désormais facile de manipuler les images numériques. Cela présente un grave problème, en particulier, si l'authenticité de l'image numérique est exigée. Par conséquent, il devrait y avoir un mécanisme pour prouver l'authenticité de l'image en question. Les fonctions de hachage cryptographiques peuvent être utilisées pour authentifier une image numérique. Le principal inconvénient de ces techniques cryptographiques est que même le changement d'un seul bit dans l'image en raison d'une opération de compression ou de filtrage va complètement changer la valeur de la signature numérique. L'authentification des images numériques devrait tolérer quelques manipulations que pourrait subir une image (comme la compression) qui préserve l'aspect visuel de l'image similaire l'image originale et en même temps très suffisamment fragile pour détecter les manipulations malveillantes (comme le changement visuel du contenu de l'image). Pour ces raisons, un tel identificateur d'image est nommé fonction de hachage perceptuel. Dans ce séminaire,nous présentons le schéma générale d'un système de hachage perceptuel et les propriétés fondamentales que les signatures perceptuelles doivent vérifier. Ensuite, nous présentons quelques approches que nous avons développées.
21/03/2012 - Loïs Vanhée: Les parasites de l'esprit
Il existe des entités qui nécessitent sur les êtres vivants pour pour perdurer. Ces entités parasites sont nombreuses, qu'elles soient vivantes (insectes parasites) ou non (gènes). Nous nous intéresserons ici à ces entités non vivantes, en particulier, celles construites sur l'intelligence et la mémoire des humains, que nous définirons de manière générale sous le terme de "culture". Illustrons : une société, est un système qui existe (en temps) au delà des humains qui la composent mais ne perdure que grâce à eux ! On remarque aussi des mécanismes de pensées qui se ressemblent, modulo leur contenu. Un template social bien connu, est le suivant : "Je suis membre de X. X me donne un ensemble de principes et règles à respecter pour le bien de tous. Etre non-X est dommage, et il serait mieux si tout le monde était X. Quelqu'un fortement dévoué pour X pourrait sacrifier sa vie pour sauver X". X pouvant se remplacer par nombre de nations et de religions. Il existe d'autres "templates sociaux" qui ont (modulo renommage) des valeurs similaires, aussi bien au niveau individuel que collectif. Une des particularité de ces templates, est qu'ils apparaissent et disparaissent en fonction de critères environnementaux. Cette représentation (venant de socio) est cette fois suffisamment précise pour en faire un modèle relativement précis et le faire tourner sur une simulation. Dans cette présentation, nous parlerons : -Des systèmes d'idée et de leur fonctionnement -Du système des templates -De la simulation en utilisant des systèmes multi-agents
07/03/2012 - Thibaut Possompès: Application d'une approche par ligne de produits logicielle au contexte des bâtiments intelligents
Le projet RIDER consiste à créer un système permettant d'améliorer l'efficacité énergétique de bâtiments en utilisant différentes méthodes d'optimisation. Cependant, chaque bâtiment présente des caractéristiques différentes et sa gestion doit répondre à des contraintes spécifiques. Notre problématique consiste à générer un système RIDER en prenant en compte les contraintes liées à l'infrastructure du bâtiment et des besoins utilisateur. Nous utilisons une approche par ligne de produits logicielle dont le but est de permettre la création d'une collection de systèmes logiciels. Cela ce fait à l'aide d'un modèle dit de features décrivant l'ensemble des fonctionnalités potentiellement utilisables. Durant ce séminaire, nous allons décrire comment sont liés logiciel et environnement réel. Ainsi qu'une approche par ingénierie des modèles permettant de déterminer comment adapter un modèle de features aux données de l'environnement réel.
22/02/2012 - Amine Balafrej: Proporiétés de cohérence locale
Les propriétés de cohérence locale représentent un des points forts de la programmation par contraintes(PPC). En effet, l'exploitation de ces propriétés au cours de la résolution d'un problème de satisfaction de contraintes (CSP), ou dans une phase de prétraitement, permet de supprimer des valeurs qui ne peuvent appartenir à aucune solution, évitant ainsi l'exploration inutile de sous-arbres de recherche qui ne contiennent pas de solutions. Plusieurs propriétés de cohérence locale ont été proposées par la communauté de PPC, mais jusqu'à présent la cohérence d'arc (AC) est la seule ou presque de ces propriétés à être utiliser dans les solveurs de CSP. Dans ce séminaire, nous présenterons quelques unes de ces propriétés et nous expliquerons pourquoi elles ne sont pas utilisées dans les solveurs tout en présentant notre approche pour les exploiter.
08/02/2012 - Benoit Lange: Visualisation interactive des données
Dans cet exposé, nous allons découvrir le projet RIDER. Ce projet a pour but de créer un système de gestion de bâtiment intelligent, l'architecture générale est basée sur des composants. Un de ces composants est basé sur le paradigme VA (Visualization Analytics). Nous allons dans un premier temps nous intéresser à une modélisation de la donnée économe en énergie. RIDER est un projet dit "Green", il est donc nécessaire de proposer une solution écologique à la gestion de la donnée. Ensuite, nous étudions différentes méthodes de représentation de cette donnée pour en faciliter la fouille. Et enfin, nous verrons comment produire un contenu, à partir de cette donnée, pour le système global. Nous nous appuierons sur un jeu de données réelles issues de bâtiment.
25/01/2012 - Fabien Givors: Sous-calculabilités
La calculabilité est un univers très riche, on y trouve plein d'objets plus ou moins simples aux propriétés plus ou moins claires, et surtout, plus ou moins faciles à prouver. Les sous-calculabilités tentent de regrouper des sous-classes de fonctions récursives suivant la difficulté qu'il y a à les définir proprement, et donc à prouver des propriétés sur celles-ci. Cela, tout en conservant pour partie les jolies propriétés algébriques présentent en calculabilité classique et une structure proche de cette dernière.
11/01/2012 - Bruno Paiva Lima Da Silva: Where is Brian? (Ontological Conjunctive Query Answering over large, semi-structured knowledge bases)
Le problème consistant à répondre à des requêtes conjonctives en présence d'une ontologie connaît aujourd'hui un regain d'intérêt autour des systèmes de connaissances avec des mécanismes d'inférence. C'est particulièrement visible dans le domaine du Web Sémantique, où ce problème est aussi connu en tant que Ontology-Based Data Access. Étant données une base de connaissances factuelles (très souvent une base de données relationnelle) et des connaissances universelles sur les individus (ontologies) données, le problème consiste à vérifier si il existe une réponse à une requête conjonctive dans la base de connaissances. Ce problème a été très largement étudié par le passé, mais l'émergence de grandes bases de connaissances semi-structurées et le regain d'intérêt général autour des bases de données non-relationnelles ont sensiblement changé la nature du problème. Dans un premier temps, nous décrirons le problème ainsi que la façon dont nous avons choisi de le traiter. Nous évoquerons aussi comment la taille de la base de connaissances interfère dans notre approche. Ensuite, nous introduirons ALASKA, une plateforme multi-couches pour la réalisation d'opérations de représentation de connaissances et de raisonnement sur des donnés stockées de façon hétérogène. Puis pour conclure, nous présenterons les résultats préliminaires obtenus par la comparaison de l'efficacité de plusieurs systèmes de stockage existants lors du stockage de bases de connaissances de différentes tailles en disque, ainsi que l'impact de ces résultats sur la suite de nos travaux.
14/12/2011 - Romain Richard: Validation formelle paramétrée
... ou comment apprendre à jongler avec le phénomène d'explosion combinatoire ? La validation formelle se veut être une méthode complémentaire aux célèbres "test" et "simulation", aujourd'hui largement employés pour valider un cahier des charges précis. En effet, durant la phase de conception d'un système, il arrive que l'ensemble des variables ne soit pas connu. C'est pourquoi on insère dans un modèle de ce système un ou plusieurs paramètres permettant entre autre de dimensionner une architecture. De plus, dans les systèmes critiques que nous étudions, nous devons garantir la sûreté du système. C'est pourquoi nous employons des méthodes de validation formelle exhaustives, qui entraîne un phénomène d'explosion combinatoire. Les modèles étudiés sont exprimés à l'aide des réseaux de Petri et nous verrons comment endiguer l'explosion combinatoire.
1/12/2011 - Johan Segura: Contribution de l'analyse syntaxique à la traduction automatique
Ma thèse intitulée "Contribution de l'analyse syntaxique à la traduction automatique" s'inscrit dans le domaine du TALN (Traitement Automatique des Langues Naturelles), au sein de l'équipe TAL (Traitement Algorithmique du Langage) sous la direction de Violaine Prince au LIRMM (Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier). Mes travaux s'axent essentiellement sur l'alignement de constituants sous-phrastiques bilingues en situation de corpus multilingues parallèles. Un corpus multilingue parallèle est un ensemble de textes traduit en plusieurs langues phrase à phrase. L'alignement automatique sous-phrastique est une discipline fille de la traduction automatique qui vise à proposer automatiquement des liens de traductions entre constituants d'une granularité plus fine que celle de la phrase située entre le mot et le syntagme. L'utilité de l'alignement sous-phrastique n'est plus à prouver et trouve ses motivations dans l'enrichissement de ressources pour la traduction automatique.
16/11/2011 - Adrien Baranes: Contraintes développementales et apprentissage actif pour l'apprentissage sensorimoteur
Est-il possible de créer un robot capable d'apprendre comme un enfant? D'apprendre de nouveaux savoir-faire et connaissances dans des environnements changeant et inconnus? Cette présentation s'intéresse aux défis de l'apprentissage apparaissant lorsque les robots sont mis en oeuvre dans des environnement réels. Pour cela, nous nous intéresserons particulièrement aux contraintes développementales présentes chez l'enfant, et qui lui permettent d'apprendre progressivement dans des espaces sensorimoteurs redondants de grande dimensionalité et volume, où différents niveaux de complexité peuvent exister. Nous présenterons différentes familles de telles contraintes, introduites dans les littératures de psychologie et biologie, que sont les motivations intrinsèques, le calcul morphologiques et les contraintes maturationnelles, et présentons des cadres computationnels et architectures algorithmiques reposant sur de tels principes.
Année 2010/2011
Année 2009/2010
Année 2008/2009
Année 2005/2006
Année 2004/2005
Année 2003/2004

Modalités

Pour faire une présentation à ce séminaire :

envoie aux organisateurs, au moins 72h à l'avance, un titre, un résumé, ainsi qu'une estimation de la durée de l'exposé.
l'exposé concernera ton thème de recherche, mais devra être compréhensible par tous les auditeurs. En particulier, un petit état de l'art sur le domaine sera apprécié, des liens avec les autres domaines de l'informatique étudié dans les diverses équipes du département également.
prépare un transparent pour te présenter et te situer dans le laboratoire (équipe, thèmes de recherche, encadrant de thèse, enseignements...).
l'exposé devra durer entre 25 et 45 minutes et sera suivi de questions de l'auditoire.

Pour proposer l'invitation à ce séminaire d'un doctorant extérieur au LIRMM :

envoie dès que possible aux organisateurs le nom de ce doctorant ainsi que son thème de recherche.
précise quelle équipe du LIRMM serait principalement intéressée par son exposé, et quelles autres équipes travaillent sur des thèmes reliés ou proches.
le choix des invités parmi cette liste de propositions sera faite de manière à représenter de façon équilibrée les thèmes des équipes du LIRMM.

Contactez-nous pour compléter ou corriger cette liste de conférences destinées aux jeunes chercheurs, en précisant les équipes potentiellement concernées.

Contact

Pour toute suggestion, remarque, demande, les organisateurs peuvent être contactés à semindoc-AT-lirmm.fr.

Aux manettes cette année :