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.
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 en 2009/2010
-
20/07/2010 : Alexandre Monnin : Quelques linéaments pour une philosophie du Web. Des philosophes ingénieurs aux "ingénieurs philosophiques".
Qui, en dehors de la communauté de ses architectes, sait à quel point le
Web (sémantique ou non) tire profit de très nombreux concepts, débats et
figures philosophiques ? Tant et si bien que ses fondements eux-mêmes en
sont l'expression la plus achevée. Expression d'autant plus remarquable,
compte tenu de la transformation que subissent les concepts philosophiques
dès lors qu'ils acquièrent une existence technologique. Bien sûr, l'on
pourra dire de tout objet technique qu'il renferme à soi seul une
philosophie en puissance. Pour autant, subtilement, le Web déplace ces
enjeux à deux égards au moins. Tout d'abord, un tel processus est
conscient et les exemples abondent de frictions ouvertes entre vérités
logiques ou philosophiques, dont le statut reste toujours à éclaircir, et
l'augmentation de concepts traditionnels par la technologie qui, en leur
ajoutant de nouvelles capacités (de nouvelles fonctionnalités) en modifie
considérablement la teneur et le fonctionnement, déplaçant du même coup la
question du statut des vérité intangibles, quelles que soient leurs
sources, vers la médiation qu'exerce la technique à leur contact. Qui plus
est, et c'est là la seconde raison, ce changement s'opère à une échelle
encore jamais observée dans l'histoire de l'humanité.
Nous appelons artefactualisation le devenir-artefacts de la
philosophie. La technique, pensons-nous, n'affecte pas les seuls êtres
humains avec, comme horizon, le transhumanisme, les cyborgs et toutes les
inventions de la science fiction qui servent de guide à certaines
réflexions actuelles (on songe ici aux travaux de Gilbert Hottois ou de
Donna Haraway). Quel doit donc être, dans ce contexte, le positionnement
d'une philosophie du Web ?
En plus d'interroger la philosophie en son coeur même,
l'artefactualisation appelle des réflexions sur deux figures de praticiens,
l'ingénieur et le philosophe. Nous nous appuierons pour cela sur un constat
dressé il y a quelques années au sujet d'une supposée volonté exprimée par
une partie des seconds de se muer en ingénieurs. A rebours de toute idée de
renoncement, ce sont en fait les problèmes que rencontrent les ingénieurs
eux-mêmes, à l'heure du Web, qui apparaissent en grande partie comme des
questions philosophiques - posées de manière inédite. D'où, peut-être, la
nécessité que surgisse un nouvelle catégorie, les ingénieurs
philosophiques, ainsi (dé)nommés par Tim Berners-Lee lui-même.
-
02/06/2010 : Guillaume Artignan : STOOG : Style-Sheet-TOOlkit for Graph Visualization .
The information visualization process can be described as a set of transformations applied to raw data to produce interactive graphical representations of information for end-users. A challenge in information visualization is to provide flexible and powerful ways of describing and controlling this process. Most work in this domain address the problem at either application level or toolkit level. Approaches at the toolkit level are devoted to developers while approaches at the application level are devoted to end-users. Our approach build on previous work but goes one step beyond by proposing a unifying view of this process that can be used by both developers and end-users. Our contribution is a system named STOOG with a three-fold contribution: (1) a style-sheets based language for the explicit description of the transformation process at stake in information visualization, (2) an application that automatically builds interactive and graphical visualization of data based on style-sheet descriptions, (3) a user interface devoted to the conception of style sheets.
-
26/05/2010 : Florian Sikora : La recherche de motifs dans les réseaux d'interactions.
Un réseau d'interaction peut-être représenté par un graphe coloré. Une grande partie de la littérature est dédiée à la recherche de motifs dans ces graphes, avec une topologie donnée sur le motif (chemin, arbre, graphe,...).
Récemment, Lacroix et al. ont établi un nouveau problème où le motif n'a pas de topologie mais est simplement un (multi) ensemble de couleurs. On cherche alors une composante connexe dans le graphe contenant cet ensemble de couleurs. On présentera lors de cet exposé différentes variantes de ce problème, des résultats de complexité paramétrée et d'approximation, ainsi qu'un plugin pour Cytoscape.
-
19/05/2010 : Nicolas Tournier : Insertion de données cachées : la synchronisation.
L'échange et le partage de données numériques est devenu familier depuis l'arrivée d'Internet. Par la diffusion d'offres légales de téléchargement, la dématérialisation est en marche. Seulement comment peut-on sécuriser ces données pour les ayant-droits ? Plusieurs solutions sont possibles, comme par exemple les DRM (Digital Rights Management), le cryptage des données, mais aussi l'insertion de données cachées, souvent ces méthodes sont combinées. Dans cet exposé, nous nous intéresserons à l'insertion de données cachées (tatouage, fingerprinting, stéganographie) et aux méthodes qui permettent de retrouver les informations qui ont été dissimulées.
-
06/05/2010 : Hassan Saneifar : Est-ce que Google sait répondre à mes questions ?
La recherche d'information a pour objectif de trouver les documents relatifs à un sujet spécifié par un utilisateur. Cependant lorsque l'objectif est de trouver des réponses précises, les systèmes de Recherche d'Information ne sont pas pertinents en raison du nombre considérable de documents retrouvés. En outre, toutes les informations se trouvant dans les documents ne sont pas toujours en corrélation avec la requête de l'utilisateur. C'est la raison pour laquelle les systèmes de Question Réponse (QR) représentent un enjeu important aujourd'hui. Les systèmes de Question Réponse (QR) ont pour objectif de retrouver un fragment pertinent d'un document qui pourrait être considéré comme la meilleure réponse concise possible à une question de l'utilisateur.
Dans cette présentation, nous introduisons les principes et les méthodes de RI. Ensuite, nous développons les système QR en présentant les approches et les applications de tels systèmes.
-
07/04/2010 : Roseline Bénière : Décomposition d'un maillage triangulaire 3D en carreaux quadrangulés.
Dans le but de reconstruire des modèles surfaciques à partir de
maillages triangulaires 3D, nous proposons une méthode permettant de
décomposer
un maillage triangulaire en un ensemble de carreaux quadrangulés. Elle
se base sur la construction de quadrangles par fusion de triangles. Les
quadrangles
sont ensuite regroupés afin de composer des zones quadrangulées qui sont
redécoupées en carreaux. Cette méthode a la particularité de ne pas modifier
les points du maillage triangulaire d'origine contrairement à de
nombreuses méthodes de remaillage ou d'ajustement de surface.
-
10/02/2010 : Kevin Sol : Une approche combinatoire novatrice fondée sur les matroïdes orientés pour la caractérisation de la morphologie 3D des structures anatomiques.
L'analyse de formes 3D de structures anatomiques se fonde essentiellement
sur des paramètres métriques tels que des distances ou des angles relatifs
entre des points de repère. Or, les différences significatives entre des
structures anatomiques ne sont pas fondamentalement métriques mais se
caractérisent plutôt par des propriétés géométriques globales qui se
déduisent de relations algébriques (tels que la convexité, l'incidence,
etc.). Les matroïdes orientés sont des outils mathématiques permettant
entre autre de décrire les propriétés combinatoires de configurations
géométriques. Ces outils ont déjà été étudiés du point de vue théorique et
certaines interactions avec des domaines plus appliqués existent, mais on
ne peut pas vraiment parler d'applications. On propose donc d'utiliser les
matroïdes orientés pour caractériser la forme de structures anatomiques
3D.
-
26/01/2010 : Benoît Lange : Exploring the use of Reeb graphs in LOD generation.
Level of detail was one of the fundamental solutions of
simplification 3D scene. But some issues with this solution are present.
For example the topology of the mesh is not kept. In this paper we
introduce the Reeb graph in level of detail. Reeb graph is a topological
extractor for graph. We extract the most important point of a mesh and use
them as LOD. These points are representing by a skeleton call Reeb Graph.
We make a related work on LOD, skeleton extraction and extraction of Reeb
graph. After, we introduce our work. We define augmented LOD or LOD+. We
present the results of the different solutions that we implement like: LOD
0, LOD +, and measure between LOD. LOD 0 is the lowest LOD in a scene. LOD
+ consist by applying a skeleton on a 3D mesh at low resolution. And
measure different between two match allow to compare different solutions
of simplification.
-
12/01/2010 : Thomas Izard :
Introduction au GPGPU : des cartes graphiques pour le calcul haute performance.
Les cartes graphiques, aujourd'hui présentes dans la plupart des ordinateurs, emploient des unités /multithreadées /massivement parallèles, nommées GPU (Graphics Processing Units), pour réaliser les traitements graphiques en utilisant une architecture SIMD (Simple Instruction-Multiple Data). Grâce à leurs centaines de coeurs, les GPU offrent également des capacités de calcul à hautes performances (jusqu'à 2,5TFlops pour les nouvelles architectures !) tant pour des applications scientifiques qu'industrielles ; attirant ainsi l'attention de nombreuses communautés telles que la bioinformatique, la physique des particules, la chimie ou l'imagerie médicale...
Les langages /C-like/ dédiés, comme le CUDA de nvidia, facilitent l'écriture de codes hétérogènes où la partie séquentielle du calcul est réalisée par le processeur et la partie parallèle par le GPU. Nous présenterons l'architecture des GPU nvidia et le langage associé CUDA, ainsi que les meilleures pratiques pour s'attaquer à la difficulté majeure de la programmation GPU qui est la gestion de la mémoire. Les propos seront illustrés par deux de nos travaux : les requêtes par fredonnement et l'arithmétique modulaire sur GPU.
-
27/11/2009 : Freddy Limpens (INRIA Sophia Antipolis) :
Web social et web sémantique : tagging et ontologies.
L'essor du tagging et des folksonomies pour l'organisation des ressources partagées au sein du Web social et collaboratif constitue une opportunité pour l'acquisition des connaissances par ceux-là même qui les manipulent. Cependant l'absence de liens sémantiques entre les tags, ou la variabilité d'écriture de certains tags appauvrissent les potentiels de navigation et de recherche d'information. Pour remédier à ces limitations, nous proposons d'exploiter l'interaction entre les utilisateurs et les systèmes à base de folksonomies pour valider ou invalider des traitements automatiques effectués sur les tags. Ces opérations se basent sur notre modèle pour l'assistance à la structuration des folksonomies qui autorise des vues conflictuelles portant sur les liens entre les tags, tout en permettant aux concepteurs des systèmes d'exploiter la diversité de ces descriptions sémantiques afin d'offrir des fonctionnalités de navigation enrichies.
-
25/11/2009 : Frédéric Rieux :
Diffusion digitale et estimation de Courbure.
Les processus de diffusion sont des cheminements aléatoires qui se propagent à l'intérieur d'un objet. On propose d'utiliser ces processus pour extraire des paramètres géométriques d'une courbe discrète. Même si dans le cadre d'une courbe réelle la courbure est clairement définie, il s'agit de faire une estimation de cette caractéristique pour une courbe discrète. Il existe plusieurs méthodes basées sur la reconnaissance de segments discrets ou sur l'estimation de cercles osculateurs qui donnent de très bons résultats. Néanmoins ces méthodes sont sensibles aux bruits, et on propose une alternative pour calculer la courbure. On utilise pour cela le produit de convolution traditionnellement appliqué en analyse d'image pour limiter l'impact du bruit et on l'adapte à l'étude d'une fonction discrète. On construit ainsi des masques basées sur les processus de diffusion qui permettent d'extraire la courbure d'une courbe et dont l'estimation résiste aux bruits.
-
04/11/2009 : Yuan Lin :
Autour des chaînes de traitements dédiées aux applications environnementales.
Les chercheurs des domaines environnementaux (biologie, information
géographique, etc.) ont besoin de capitaliser, diffuser et valider les
expérimentations plus ou moins complexes qu'ils réalisent. Pour répondre à
cette demande, le concept de workflow scientifique est de plus en plus
présent dans les réflexions menées. Après un bref état de l'art autour des
travaux existants et une introduction relative à l'architecture d'un
environnement de workflow à trois niveaux : statique / intermédiaire /
dynamique, il sera présenté le niveau "statique", qui concerne la première
phase de construction d'une chaîne de traitements métier ; puis le niveau
"intermédiaire", qui traite à la fois de l'instanciation d'une chaîne de
traitements métier, et de la validation (en terme de conformité) de cette
chaîne générée.
-
23/10/2009 : Journée OSIDMESH (Outils Statistiques et Informatiques pour Doctorants Montpelliérains En Sciences Humaines)
-
21/10/2009 : Guillaume Artignan :
GCSS, Feuille de Style pour la Visualisation de Graphes.
Nous nous intéresserons à la génération de vues à partir de graphes multi-valués. L'objectif est de rendre ce processus complètement paramétrable par un utilisateur final tout en rendant possible un large choix de représentations graphiques. L'approche s'inspire du principe des CSS qui consacre la séparation entre fond (document HTML) et forme (CSS) pour les documents. Il est proposé ainsi GCSS, un langage dédié à la conception de feuilles de styles pour les graphes. Celles-ci adaptent, généralisent et étendent les concepts existants de codage graphique, d'héritage de propriétés ou encore de sélection. Elles introduisent entre autre de nouvelles notions comme les ''Structures graphiques'' permettant d'atteindre un niveau d'expression plus général que celui des CSS.
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.
Les conférences pour jeunes chercheurs
Les équipes du département informatique du LIRMM potentiellements intéressées
par la conférence sont indiquées entre parenthèses.