numéro
|
titre
|
encadrant
|
laboratoire
|
prérequis
|
parcours
|
affectation
|
mémoire
|
1
| Modélisation des problèmes de recouvrement sous contraintes sur le degré des noeuds
|
Miklos Molnar
Sylvain Durand
|
LIRMM/APR
|
PRE-REQUIS : Bonnes connaissances en théorie des graphes et en programmation linéaire
|
CASAR
|
M. Merabet
|
|
2
|
Tatouage de séquences d'images en vu d'application pour le traçage de vidéos pour le cinéma numérique
|
Marc CHAUMONT
|
LIRMM/ICAR
|
Pré-requis : cours compression-tatouage
|
Parcours : I2A, CASAR, Math-Info
|
|
|
3
|
Stégananalyse d?algorithmes +-1 embedding par classificatio
|
Marc CHAUMONT
|
LIRMM/ICAR
|
Pré-requis : Traitement de l'image et/ou cours compression-tatouage
|
Parcours : I2A, CASAR, Math-Info
|
|
|
4
| {Ad-hoc mesh networks: energy saving solutions in urban deployment
|
Baert Anne-Elisabeth
|
LIRMM/APR
|
PRE-REQUIS : Routage dans les réseaux, Algorithmiques, Graphes
|
CASAR et M.I
|
|
|
5
| Adapter le niveau de consistance locale pendant la recherche
|
Christian Bessiere
Frederic Koriche
|
LIRMM/COCONUT
|
programmation par contraintes, analyse combinatoire (conseillé), complexité avancée (conseillé)
|
I2A
|
|
|
6
| Virtualisation et Sécurité : protection des Smartphones sous Androïd
|
Clément SAAD
Laurent IMBERT
|
PRADEO - Cap Omega - Rond Point Benjamin Franklin - 34960 MONTPELLIER
|
Systèmes, Réseau, Sécurité, Algorithmique
|
CASAR
|
D. Martinez
|
|
7
| Interpolation polynomiale et recherche de racines de polynôme certifiées sur GPU
|
David Defour
|
Perpignan / DALI
|
Programmation C++, Calcul flottant, Architecture des processeurs, Analyse numérique
|
CASAR
|
|
|
8
| Etude de l'implémentation du contrôle d'admission dans les réseaux de distribution électrique et exploration des possibilités offertes par les nouvelles architectures de processeurs de calcul
|
David Defour
|
Perpignan / DALI
|
Programmation C++, Calcul flottant, Architecture des processeurs, Analyse numérique
|
CASAR
|
|
|
9
| Comment réduire les transferts de donnée flottante sans impacter la qualité des calculs
|
David Defour
|
Perpignan / DALI
|
Programmation C++, Statistique, Probabilité, Calcul flottant
|
CASAR
|
|
|
10
| Creation d?une base terminologique adaptee a la recherche d?information et a l?aide a la decision pour un moteur de recherche musical
|
Violaine Prince
|
SOCIETE TWIAM/EQUIPE TAL
|
PRE-REQUIS : module(s)de TALN
|
I2A
|
G. Pouliquen
|
|
11
|
Etude préliminaire d'une machine virtuelle en héritage multiple
|
Roland Ducournau
|
LIRMM/DOC
|
programmation objet, langages JAVA, PRM, SCALA, héritage
multiple, analyse statique, implémentation, compilation
|
de préférence GL
|
|
|
12
| Exploration aléatoire guidée d?un espace de recherche en Contraintes
|
Eric BOURREAU
|
LIRMM/COCONUT
|
FMIN308 Contraintes
|
I2A ; CASAR
|
|
|
13
| Refactoring de modèles de cas d'utilisation et de scénarios
|
Huchard Marianne
Nebut Clémentine
|
LIRMM/DOC
|
de préférence : ingénierie des modèles
|
GL, DIWEB, (I2A)
|
|
|
14
| Méthode graphique d'argumentation
|
Rallou Thomopoulos
Madalina Croitoru
|
LIRMM/RCR-GraphIK
|
Représentation de connaissances, bases de logiques
|
I2A
|
|
|
15
|
Interrogation de bases de connaissances avec des règles
|
Marie-Laure Mugnier
Michel Leclère
et/ou
Jean-François Baget
|
LIRMM/RCR-GraphIK
|
Représentation de connaissances, logique du premier ordre
|
I2A;CASAR
|
M. König
|
|
16
| Appariement dynamique entre des ontologies métiers et des métadonnées spatio-temporelles : Application au domaine environnemental.
|
Encadrants :
Thérèse Libourel (UM2)
Jean Christophe Desconnets (IRD)
Christelle Pierkot (IRD)
|
Lieu du stage : Maison de la télédetection / Equipe de recherche : Espace-Dev
|
Mots clés : Genie ontologique, web semantique, métadonnées, information géographique, appariement
|
Parcours : I2A,GL, DIWEB
|
|
|
17,18,19,20
| Identifications d'individus à partir de leurs descriptions sémantiques (4 sujets)
|
Michel Leclère
|
LIRMM/GraphIK(
|
méta-données, ontologies, sémantique, préférences
|
I2A, DIWEB
|
L. Guizol
|
|
21
|
Mots
2-équilibrés
|
Thierry Monteil
Gwénaël Richomme
|
LIRMM/ARITH
|
Un certain gôut pour la géométrie et la combinatoire des mots
|
CASAR ou Math-Info ou Mathématiques fondamentales
|
|
|
22
| Petit logarithme discret
|
Laurent Imbert
|
LIRMM/Dept. Informatique
|
Base d'algèbre, programmation C/C++
|
CASAR, Math-Info, Maths fondamentales
|
|
|
23
| Traitement de masses de donnÈes 3D (image 3D, maillage 3D) pour l'anthropologie
|
GÈrard Subsol
|
LIRMM, Èquipe-projet ICAR
|
programmation C/C++ ; si possible connaissances en traitement d'images/maillages 3D et/ou gÈomÈtrie algorithmique (structures de donnÈes) ; intÈrÍt pour les applications pluridisciplinaires
|
Tous parcours
|
|
|
24
| Réalisation d'un système d'extraction de relations sémantiques à partir de gloses des textes écrits numérisés
|
Mathieu Roche
Augusta Mela
|
LIRMM/TAL
|
Traitement Automatique du Langage Naturel, Fouille de Textes
|
DIWEB,I2A
|
|
|
25
| Classification de motifs spatio-temporels pour la surveillance des épidémies de dengue en Nouvelle Calédonie
|
Sandra Bringay
Pascal Poncelet
Maguelonne Teisseire
|
LIRMM/TATOO
|
Aucun pré-requis
|
DIWEB mais ouverture aux autres parcours
|
|
|
26
| Multiplication de matrices à coefficient polynomiaux de degrés déséquilibrés
|
Pascal Giorgi
|
LIRMM/ ARITH-ECO
|
complexité, algorithme, algèbre linéaire, calcul formel
|
CASAR, Math-Info
|
T. Gimenez
|
|
27
| LU factorization of matrices over Fp: Efficient computation on GPUs
|
Pascal Giorgi
|
LIRMM/ ARITH-ECO
|
Programmation C++, calcul parallèle haute-performances, notion de calcul algébrique
|
CASAR, Math-Info
|
|
|
28
| Parallel FFLAS
|
Pascal Giorgi
|
LIRMM/ ARITH-ECO
|
Programmation C++/CUDA, calcul parallèle haute-performances, notion de calcul algébrique
|
CASAR, Math-Info
|
|
|
29
| Decentralized Recommendation Protocols for File Sharing
|
Esther Pacitti
Patrick Valduriez
|
LIRMM/SAPHIR
|
Java, Information Retrieval, Peer-to-Peer Systems
|
DIWEB
|
W. Ndongo
|
|
30
|
Défauts
dans les cercles discrets
|
Thierry Monteil
Gwénaël Richomme
|
LIRMM/ARITH
|
Un certain gôut pour la géométrie et la combinatoire des mots
|
CASAR ou Math-Info ou Mathématiques fondamentales
|
|
|
31
| évolution et évaluation d'une IA hybride pour le jeu de Go
|
Eric Bourreau
Pierre Pompidor
|
LIRMM / Projet Go
|
IA + expertise suffisante au Go (4ième dan)
|
I2A
|
G. Tisserand
|
|
32
| : Consolidation de grands
réseaux lexicaux par triangulation et découverte de couple de termes
évocateurs
|
Mathieu Lafourcade
|
LIRMM/TAL
|
Aucun
|
DIWEB
|
|
|
33
| Étude et mise en oeuvre d'une architecture
décentralisée pour l'ordonnancement de workflows scientifiques
|
Hinde Bouziane
Esther Pacitti
|
LIRMM/Saphir
|
Programmation distribuée et langage C++ ou Java, systèmes pair-à-pair
|
DIWEB
|
|
|
34
| complexité standard/paramétrique et approximation pour le problème d'acquisition de données pour un torpille en immersion
|
Rodolphe Giroudeau
S. Bessy
|
LIRMM/APR/ALGECO
|
Théorie de l'approximation et théorie de l'ordonnancement
|
CASAR
|
|
|
35
| Complexité et optimisation pour une utilisation de la validation formelle sur des cas d'application réels
|
Rodolphe Giroudeau
K. Godary-Dejean
R. Richard
|
LIRMM/APR/DEMAR
|
Réseau de Petri, complexité, théorie des graphes
|
CASAR
|
J. Girault
|
|
| 36 | Optimisation de solutions architecturales émargentes
|
Rodolphe Giroudeau
M.L. Flottes
|
LIRMM/APR/SYSMIC
|
Recherche opérationnelle,algorihtmique
|
CASAR
|
|
|
37
| Détection de coévolution de gènes
|
Sèverine Bérard (UM2, AMAP, LIRMM)
Éric Tannier (INRIA, LBBE, Lyon)
|
AMAP ou LIRMM/MAB
|
Algorithmique et intérêt pour la bioinformatique
|
CASAR
|
C. Gallien
|
|
38
| Quid du Quorum dans Qod ? ou Calcul d'Intervalles Communs Maximaux avec Quorum
|
Eric Rivals
Annie Chateau
Alban Mancheron
|
LIRMM/MAB
|
algorithmique, implémentation
|
CASAR
|
S. Sini
|
|
39
| Agents fiabilisés
|
Chouki Tibermacine
|
LIRMM/DOC
|
Mécanisme de gestion des exceptions, réplication active/passive, agents logiciels, communications asynchrones.
|
GL ou DIWEB ou IA
|
|
|
40
| Utilisation des traces d'interaction pour une approche de conception évolutive des dispositifs de formation à distance
|
Karim Sehaba
Stéphanie Metz
|
EQUIPE : SILEX du Laboratoire LIRIS - Lyon 2
|
|
GL/DIWEB
|
|
|
41
| Cartes combinatoires pour la modélisation des tissus végétaux
|
Christophe Fiorio
Frédéric Boudon
|
LIRMM/Arith
|
Mathématiques (topologie, géométrie), Programmation objet (python souhaité;)
|
CASAR ou GL
|
|
|
42
| Propriétés structurelles de graphes via des méthodes de déchargement global
|
Benjamin Lévêque
Alexandre Pinlou
|
LIRMM / Équipe AlGCo
|
Quelques connaissances en théorie des graphes
|
CASAR
|
|
|
43
| Extraction d'hypergraphes dynamiques de réseaux sociaux pour automatiser la diffusion de ressources (multimédia, information et connaissances)
|
Michel Plantié
Michel Crampes>
|
LGI2P Nîmes/KID
|
Visualisation, graphes et hypergraphes, analyse formelle de concepts (treillis de Gallois), technologies XML, réseaux sociaux
|
DIWEB ou GL
|
|
|
44
| Analyse Relationnelle de Concepts pour l'Extraction d'Architecture à base de Composants : l'Identification des Interfaces
|
Marianne Huchard
Abdelhak Seriai
|
LIRMM/DOC
|
programmation orientée objets et le langage JAVA
|
GL ou DIWEB
|
|
|
45
| Identification de Composants Logiciels Réutilisables à partir d'un Système Orienté Objet
|
Abdelhak Seriai
Chouki Tibermacine
|
LIRMM/DOC
|
programmation orientée objets et le langage JAVA
|
GL ou DIWEB
|
|
|
46
| Migration d'un système orienté objet vers un système à base de composant
|
Abdelhak Seriai
Chouki Tibremacine
|
LIRMM/DOC
|
programmation orientée objets et le langage JAVA
|
GL ou DIWEB
|
|
|
47
| Extraction de lignes de produits logiciels à partir de système existants
|
Abdelhak Seriai
Chouki Tibremacine
|
LIRMM/DOC
|
programmation orientée objets et le langage JAVA
|
GL ou DIWEB
|
|
|
48
| Recherche et études d'heuristique pour le problème du multicast dans les réseaux tout-optiques hétérogènes
|
Jérôme Palaysi
|
LIRMM / APR
|
connaissances en optimisation combinatoire et niveau de programmation suffisant pour mener des simulations
|
CASAR
|
|
|
49
| Étude d'un nouveau algorithme de routage pour améliorer la durée de vie des réseaux de capteurs
|
Jérôme Palaysi
|
LIRMM / APR
|
connaissances en optimisation combinatoire et niveau de programmation suffisant pour mener des simulations
|
CASAR
|
|
|
50
| Extraction de connaissances à partir de données floristiques
|
Maguelonne Teisseire
|
LIRMM/DOC
|
Fouille de données spatiales, Motifs, Biodiversité
|
GL, IA2 ou DIWEB
|
|
|
51
| Bornes inférieures pour la kernelization (méthodes et outils)
|
Christophe Paul
|
LIRMM / ALGCO
|
Algorithmes combinatoires, Complexité avancée, Approximation
|
CASAR
|
R. Watrigant
|
|
52
| Exploration de dictionnaire de vecteurs conceptuels
|
Violaine Prince
Marianne Huchard
|
LIRMM/DOC
|
modules incluant des enseignements sur le traitement du langage naturel et sur les treillis de Galois (Analyse Formelle de Concepts)
|
I2A
|
|
|
53
| Méta-heuristique pour le problème de recherche de plus court chemin élémentaire contraint en ressource à coût dépendant du temps
|
Florent Hernandez
Rodolphe Giroudeau
|
LIRMM équipe APR
|
C++, algorithmique
|
CASAR
|
|
|
54
| Généralisation d'une méthode de génération de colonnes permettant de résoudre le problème de routage de véhicule avec fenêtre de temps et routes multiples et une de ses variantes
|
Florent Hernandez
Rodolphe Giroudeau
|
LIRMM équipe APR
|
C++, programmation linéaire
|
CASAR
|
|
|
55
| Sais-tu écrire le Tweet ?
|
Mathieu Roche
Sandra Bringay
Pascal Poncelet
|
LIRMM/TAL, LIRMM/TATOO
|
Traitement Automatique du Langage Naturel, Fouille de Textes, Fouille de Données
|
DIWEB,I2A
|
J. Dorado
|
|
56
| Classification de données textuelles complexes issues d'OCR
|
Mathieu Roche
Pascal Poncelet
|
LIRMM/TAL, LIRMM/TATOO
|
Traitement Automatique du Langage Naturel, Fouille de Textes, Fouille de Données
|
DIWEB,I2A
|
|
|
57
| Complexes Cellulaires sans Entrelacs
|
Daniel Gonçalves
|
LIRMM/AlGCo
|
|
CASAR ou Maths-Info
|
Y. Kaddour
|
|
58
| Réaliseurs et Partition des Sommets
|
Daniel Gonçalves
|
LIRMM/AlGCo
|
|
CASAR ou Maths-Info
|
|
|
59
| Instantiation de métamodèles : une approche basée sur les graphes aléatoires
|
Anne-Elisabeth Baert
Clémentine Nebut
|
LIRMM/APR,DOC
|
programmation et modélisation objet, bases en probabilités
|
CASAR, GL
|
|
|
60
| Formalisation d'outils de traitement d'images ; Mise en oeuvre sur l'analyse de tuiles de terre cuite
|
Olivier Strauss
Frederic Comby
|
LIRMM/DOC
|
programmation en langage C, connaissance en traitement du signal et des images, connaissances en statistiques élémentaires
|
TOUS
|
|
|
61
| Unicité des fenêtres d'un génome par recherche de mots
|
Eric Rivals
Annie Chateau
|
LIRMM/MAB
|
algorithmique, implémentation
|
tous
|
|
|
62
|
FlaCel :
Détection de flammes cellulaires dans des feuillus - Application au charbon
de bois archéologique
|
Philippe Borianne (UMR AMAP,
CIRAD), Alexa Dufraisse (UMR 7209 CNRS)
Gérard Subsol
|
LIRMM/ICAR
|
programmation orientée Objet (en particulier Java), connaissances
en traitement d'images, intérêt ou sensibilisation à la biologie végétale
(et éventuellement à l'étude du passé).
|
|
|
|
63
|
VistiR :
Vision stéréo appliquée aux images Rx de bois
|
Philippe Borianne (UMR AMAP,
CIRAD)
Gérard Subsol
|
LIRMM/ICAR
|
programmation orientée Objet (en particulier Java), connaissances en
traitement d'images.
|
|
|
|
64
|
Etude de la
nervation à partir images numériques de feuilles - Application au Viorne
Tin
|
Philippe Borianne, Yves Caraglio
(UMR AMAP, CIRAD)
Gérard Subsol
|
LIRMM/ICAR
|
programmation orientée Objet (en particulier Java) ; des connaissances
théoriques et pratiques en traitement d'images seraient un plus. Le candidat
devra être sensibilisé à la biologie végétale.
|
|
|
|
65
|
Cerix :
Détection des Cernes dans des images Rx -
Application au Frêne et au Hêtre
|
Philippe Borianne (UMR AMAP,
CIRAD), Fleur Longuetaud (UMR LERFOB, INRA)
Gérard Subsol
|
LIRMM/ICAR
|
programmation orientée Objet (en particulier Java), connaissances en
traitement d'images.
|
|
|
|
66
| Algorithmes d'optimisation pour la remodularisation de logiciels
|
Rodolphe Giroudeau
D. Seriai
M. Huchard
|
LIRMM/APR/DOC
|
|
CASAR/I2A
|
|
|
57
|
57
|
|
|
|
|
|
|
|
76
|
|
|
|
|
|
|
|
77
|
|
|
|
|
|
|
|
78
|
|
|
|
|
|
|
|
79
|
|
|
|
|
|
|
|
80
|
|
|
|
|
|
|
|
81
|
|
|
|
|
|
|
|
82
|
|
|
|
|
|
|
|
83
|
|
|
|
|
|
|
|
84
|
|
|
|
|
|
|
|
85
|
|
|
|
|
|
|
|
86
|
|
|
|
|
|
|
|
87
|
|
|
|
|
|
|
|
88
|
|
|
|
|
|
|
|