Projets d'Etudes et de Recherche (PER 2013 - 2014) - Master 2 Informatique
- Sujets :
- An O(k2n2) Algorithm to Find a k-Partition in a k-Connected Graph
Article
Encadrant(s) : Olivier Baudon, Julien Bensmail
Étudiants : Ludovic Hofer, Thibaud Lambert et Mohamed Ayoub GHARSALLI
- Dessin de graphes : suppression de la superposition des sommets avec PRISM
Article
Encadrant(s) : Bruno Pinaud
Étudiants : Claire Pennarun et Tatiana Rocher
- Parametric Higher-Order Abstract Syntax for Mechanized
Semantics
Article
Encadrant(s) : Pierre Castéran
Étudiants :
- Inpainting d'images
Article
Encadrant(s) : Aurélie Bugeau
Étudiants : Olivier Braik, Alexandre Delesse, Guillaume Guerin, Alexandre Mourany
- Inpainting rapide de vidéos
Article
Encadrant(s) : Aurélie Bugeau
Étudiants : Laetitia Wong Kam Che, Marie Brout
- Fast Exact Nearest Patch Matching for Patch-based Image Editing and Processing
Article
Encadrant(s) : Vinh-Thong Ta
Étudiants :
- Coherency Sensitive Hashing
Article
Encadrant(s) : Vinh-Thong Ta
Étudiants :
- PatchMatchGraph : Building a Graph of Dense Patch Correspondences for Label Transfer
Article
Encadrant(s) : Vinh-Thong Ta
Étudiants : Mathieu Douris, Jim Karpinski, Nicolas Jouanlanne, Jérôme Port
- Self-stabilizing (k,r)-clustering in Clock Rate-limited Systems
Article
Encadrant(s) : Colette Johnen
Étudiants :
- Tweening d'animations 2D
Article
Encadrant(s) : Pierre Bénard
Étudiants : Valentina Pestova, Maxime Solaire, Joris Valette, Samuel Pitoiset
- Navigation 3D sur surface tactile
Article
Encadrant(s) : Martin Hachet
Étudiants : Jérémy Hitier, Romain Farau, Gabriel Cadeillan, Thomas Legoahec, Pacien Boisson
- Compression d'informations de qualité dans les données de séquençage (NGS)
Article
Encadrant(s) : Raluca Uricaru
Étudiants :
- Problèmes extrémaux pour le domination game
Article
Encadrant(s) : Paul Dorbec
Étudiants : Thomas Bellitto et Thibault Godin
- Squelettisation 3D d'organes tubulaires
Article
Encadrant(s) : Anne Vialard, Pascal Desbarats
Étudiants :
- Recouvrement des calculs et des communications MPI
Article
Encadrant(s) : Alexandre Denis
Étudiants :
- Programmation par tuilage pour la programmation musicale
Article
Encadrant(s) : David Janin, Pierre Castéran
Étudiants :
- Connectivité arc-en-ciel
Article
Encadrant(s) : Paul Dorbec
Étudiants :
- Partition des arêtes d'une graphe planaire en 2 graphes planaires extérieurs
Article
Encadrant(s) : Nicolas Bonichon
Étudiants : Vincent Prouvot
- Classification supervisée de chaînes de caractères : Identification de séquences ADN inconnues
Article
Encadrant(s) : Louise-Amélie Schmitt, Macha Nikolski
Étudiants : Lisa Djerbi, Thibaut Thomas, Adrien Laborderie, Anthony Gueguenou, Julio Matarranz
- Sujets plutôt orientés GL
Encadrant(s) : Philippe Narbel
Étudiants :
Sujet 1 : Christophe Bouygues et Baptiste Guiomar
Sujet 4 : Ibtihel Chermiti, Nawel Haouala, Ruiz Diaz Rodrigo
Sujet 5 : Gaëtan Lussagnet, Aliou Diallo, Sarah Parent, Arthur Magne
- Segmentation de maillages
Encadrant(s) : Jérôme Charton, Pascal Desbarats
Étudiants :
- Delaunay Deformable Models
Encadrant(s) : Jérôme Charton, Pascal Desbarats
Étudiants :
- Segmentation d'organes tubulaires
Article
Encadrant(s) : Fabien Baldacci
Étudiants :
- Analyse et comparatif de benchmarks d'ordonnanceurs de tâches à l'heure du multi-coeur
Encadrant(s) : Xavier de Rochefort
Étudiants : Brahim Bahri, Kamal Mallouky
- Étude de l'évolution des clones
Encadrant(s) : Xavier Blanc
Étudiants : David Fernandez, Quentin Poussier, Raphael Mora, Christopher Cacciatore
- Extraction et Visualisation de Réseaux de Contributions dans les Dépôts de Code Source
Encadrant(s) : Matthieu Foucault
Étudiants : Paul Maribon-Ferret, Ryan Herbert, Rémi Delassus et Elyas Ben Hadj Yahia.
- Associer Bugs et Commits
Encadrant(s) : Matthieu Foucault
Étudiants : Julien Jalageas, Guillaume Méral, Moran Girot et Pierre Chanson
- Conception efficace d'un framework de gestion efficaces des I/O pour une JVM
Encadrant(s) : David Bromberg, Floréal Morandat
Étudiants :
- Routage dans les réseaux de radio cognitive
Article
Encadrant(s) : Toufik Ahmed, Abbas Bradai
Étudiants : Christelle Al Hasrouty, Akouele Maud Talon, Stefan Mijatovic, Omar Saddaoui
- Couverture de barrière dans les réseaux de capteurs sans fil
Article
Encadrant(s) : Toufik Ahmed, Boudali Mohammed
Étudiants : Florian Castandet, Igor Descayrac, Audat Mathieu, Elmoubarik Hamza, Dufau Bastien
- Modèles de mobilité dédiés aux drones aériens
Encadrant(s) : Vincent Autefage, Serge Chaumette
Étudiants : Alexis Tessier, Hayley Paziewski, Mickael Testa, Jeremy Etcheverry, Florian Castagnet
- Modèles de mobilité dédiés aux drones aériens
Encadrant(s) : Vincent Autefage, Serge Chaumette
Étudiants : David PINEDA, Thierno DIALLO, Romain CROZON, Robert GICHERE, Jérémy Branlat, Alexandre Kopec
- Modèles de mobilité dédiés aux drones aériens
Encadrant(s) : Vincent Autefage, Serge Chaumette
Étudiants : Damien Rosmorduc, Erik Marie, Gelibert Fabien, Cedric Bescos
- Instrument de musique 3D
Article
Encadrant(s) : Myriam Desainte-Catherine, Joseph Larralde, Florent Berthaut
Étudiants : Jean Bui-Quang, Marie Immacula Omiscar, Mohamed Bourara, Omar Ourhi, Damien Clergeaud, Jean-Michaël Celerier
- Programmation OpenCL sur architectures hybrides
Article 1, Article 2
Encadrant(s) : Raymond Namyst
Étudiants : Terry Cojean, Enguerrand Petit
- Étude de la parallélisation des SAT Solveurs
Encadrant(s) : Laurent Simon
Étudiants : Guillaume Baud-Berthier et Victor Lefebvre
SUJETS MASTER EMSV/ESSV
- Decidable Topologies for Communicating Systems
Article
Supervisor(s) : Frédéric Herbreteau, Grégoire Sutre
Students :
- Parametric Higher-Order Abstract Syntax for Mechanized
Semantics
Article
Supervisor(s) : Pierre Castéran
Students : Thomas Geffroy, Arvid Jakobsson, Nicolas Legrand
- Solving Partial-Information Stochastic Parity Games
Article
Encadrant(s) : Hugo Gimbert
Étudiants :
Groupes de TD :
Avec Aurélie Bugeau : 34, 11, 08, 10
Avec Philippe Narbel : 02, 18, 26, 27
Avec Serge Chaumette : 15,19, 30
Avec Igor Walukiewicz : 38, 20-4
Avec Pascal Desbarats : pour le moment, tous les autres ...
(Rappel pour les contacter : prénom.nom @ labri . fr)
Semaines de TD :
- 46 et/ou 47 (la semaine prochaine et/ou celle du 18/11, certains chargés de TD vont couper ce premier TD en 2)
- 49 (semaine du 02/12
- 51 (semaine du 16/12)
- 3 (semaine du 13/01)
Soutenance finale/remise de rapport : semaine 4 (à titre indicatif)