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 à venir

• 13/02/13 - Léa Guizol (équipe GraphIK) : Validation de liens dans une base de connaissances.
  Nous nous intéresserons à pourquoi et comment remettre en cause les liens entre entités dans une base de connaissance. Ce problème sera illustré sur le Sudoc, base de connaissances bibliographiques rassemblant les catalogues des bibliothèques universitaires.
• 06/03/13 - Sarra Kouider : Titre à venir.
  Résumé à venir.

Exposés passés

• 30/01/13 - Mohamet François Sy (LGI2P, Ecole des Mines d'Alès) : Utilisation d'ontologies comme support à la recherche et à la navigation dans une collection de documents.
  Les ontologies offrent une modélisation des connaissances d'un domaine basée sur une hiérarchie des concepts clefs de ce domaine. Leur utilisation dans le cadre des Systèmes de Recherche d'Information (SRI), tant pour indexer les documents que pour exprimer une requête, permet notamment d'éviter les ambiguïtés du langage naturel qui pénalisent les SRI classiques. Les travaux de cette thèse portent essentiellement sur l'utilisation d'ontologies lors du processus d'appariement durant lequel les SRI ordonnent les documents d'une collection en fonction de leur pertinence par rapport à une requête utilisateur. Nous proposons de calculer cette pertinence à l'aide d'une stratégie d'agrégation de scores élémentaires entre chaque document et chaque concept de la requête. Cette agrégation, simple et intuitive, intègre un modèle de préférences dépendant de l'utilisateur et une mesure de similarité sémantique associée à l'ontologie. L'intérêt majeur de cette approche est qu'elle permet d'expliquer à l'utilisateur pourquoi notre SRI, OBIRS, estime que les documents qu'il a sélectionnés sont pertinents. Nous proposons de renforcer cette justification grâce à une visualisation originale où les résultats sont représentés par des pictogrammes, résumant leurs pertinences élémentaires, puis disposés sur une carte sémantique en fonction de leur pertinence globale. La Recherche d'Information étant un processus itératif, il est nécessaire de permettre à l'utilisateur d'interagir avec le SRI, de comprendre et d'évaluer les résultats et de le guider dans sa reformulation de requête. Nous proposons une stratégie de reformulation de requêtes conceptuelles basée sur la transposition d'une méthode éprouvée dans le cadre de SRI vectoriels. La reformulation devient alors un problème d'optimisation utilisant les retours faits par l'utilisateur sur les premiers résultats proposés comme base d'apprentissage. Nous avons développé une heuristique permettant de s'approcher d'une requête optimale en ne testant qu'un sous-espace des requêtes conceptuelles possibles. Nous montrons que l'identification efficace des concepts de ce sous-espace découle de deux propriétés qu'une grande partie des mesures de similarité sémantique vérifient, et qui suffisent à garantir la connexité du voisinage sémantique d'un concept. Les modèles que nous proposons sont validés tant sur la base de performances obtenues sur des jeux de tests standards, que sur la base de cas d'études impliquant des experts biologistes.
• 23/01/13 - Marthe Bonamy (équipe AlGCo) : Prouver le théorème des 4 couleurs : Méthodes de déchargement
  Il suffit de quatre couleurs pour colorier n'importe quelle carte géographique sans que deux pays frontaliers ne soient de la même couleur. C'est le théorème des quatre couleurs, un résultat fondamental de théorie des graphes, conjecturé dès 1880 et prouvé seulement en 1976.
  Pour attaquer ce problème, une technique de preuve, appelée méthode de déchargement, fut introduite à partir de 1905, avec succès ; toutes les preuves connues à ce jour y font appel.
  Des variations ont ensuite été mises au point pour rendre la technique plus puissante. Les méthodes de déchargement ont depuis prouvé leur intérêt pour obtenir, plus généralement, des résultats structurels sur les graphes. Ces résultats peuvent alors être utilisés pour résoudre des problèmes d'optimisation ; coloration, partition en forêts, etc. De plus, c'est une technique de preuve qui se prête bien à la vérification assistée par ordinateur, et, dans certains cas, à la preuve assistée par ordinateur. Pour finir, elle conduit de fait à des preuves constructivistes de complexité quadratique (cubique dans certaines variations).
  Dans cet exposé, nous discuterons de ces méthodes de preuve et de leur utilité, et nous donnerons une intuition de la preuve du Théorème des 4 couleurs.
  
• 19/12/12 - Boris Albar (équipe AlGCo) : Découpage, collage et coloriage. Théorie des Graphes et Mineurs.
  Dans cet exposé, nous nous intéresserons à la théorie des mineurs de graphes. Après avoir introduit les notions de base en théorie des graphes (arbres, connexité, séparateurs ...), nous aborderons les propriétés structurelles des classes de graphes excluant un certain mineur (théorème de Robertson-Seymour, conjecture d'Hadwiger, ...) ainsi que les relations avec la topologie (graphes planaires et leurs généralisations).
• 05/12/12 - Farès Graba (équipe ICAR) : Super-résolution d'image [
  La super-résolution d'image est l'art de reconstruire une image hautement résolue d'une scène à partir d'un ensemble d'images faiblement résolues de la même scène mais légèrement décalées (translations, rotations...). Le problème a été abordé pour la première fois en 1984 et le terme "super-résolution" a été introduit en 1989. Quelques dizaines d'articles ont été publiés sur ce sujet durant les année 90 et quelques centaines d'autres pendant les années 2000. Le problème de la super-résolution est un problème de restauration d'image, il est donc souvent formulé comme un problème inverse: Inversion d'un modèle de dégradation pour le cas de la super-résolution.
  Quelques domaines d'application :
  -Sécurité: Reconnaissance de visage, de numéros d'immatriculation de véhicules etc, par la vidéo-surveillance.
  -Imagerie médicale: Amélioration du rendu des images médicales pour l'aide au diagnostique.
  -Mosaïque d'images: Exemple: Numérisation haute résolution de grandes oeuvres.
  -Etc.
• 28/11/12 - Guillaume Tisserant (équipe TEXTE): l'apprentissage automatique sur des données textuelles : Détection de relations sémantiques à partir de textes.
  Les données textuelles sont difficile à appréhender pour les algorithmes d'apprentissage automatique. Il est donc nécessaire d'adapter ces données, en utilisant des connaissances directement liés à la langue. Dans ce Semidoc, nous verrons des pistes pour classifier des relations sémantiques entre des mots à partir de textes.
• Année 2011/2012
• 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 :

• Nicolas Bousquet
• Rémi Watrigant