Sorry, JavaScript must be enabled.
Change your browser options, then try again.

Appli. pcarre version 5.0.2 stable (2016-11-15)

Bienvenue sur le site de gestion des sujets de projets proposés dans le Master MI (UJF, INPG)

Année 16/17

Responsables de projets, de filières
Identifiant :
Mot de passe :
OK
Recherche simple de projets
Ex : M2R Info, Java, Rousset
Recherche avancée de projets

Liste des sujets 16/17, toutes filières confondues

Pour chaque projet ci-dessous, cliquez sur un titre pour obtenir la fiche du sujet. Puis,
  • Pour obtenir plus de détails, clic sur description
  • Pour contacter les responsables, clic sur contacter
  • Des fonctions de recherche vous sont proposées dans le menu à votre gauche
Pour copier un sujet depuis la base de l'an dernier, cliquer sur << Mes sujets de l'année préc.>> dans le menu de gauche, puis sur l'icône

Titre
Responsables
Dispo
Total
Action
3D Finite Element mesh decimation
vincent luboz (Autre...
1
1
A Cloning Approach to Social Network Anonymization
Frederic Prost (LIG-...
1
1
A cognitive and affective architecture for social Interaction with companion robots
Sylvie Pesty (LIG-MA...
1
1
A data to text generator
Cyril Labbe (LIG-SIG...
1
1
A new procedural primitive for fractal galactic dust
Fabrice Neyret (LJK-...
1
1
Abstraction methods for compilation using discrete controller synthesis
Gwenaël Delaval (LIG...
1
1
Algorithm for the alignment of 3D molecular graphs
Sergei Grudinin (INR...
1
1
An end user language for the (smart) Home
Alexandre Demeure (L...
1
1
Analyse de données post fabrication additive par EBM
Nicolas Beraud (DP R...
1
1
Analyse et Evaluation d'implémentations sécurisées robustes à l'injection de fautes.
Laurent Mounier (VER...
1
1
Analysis of human cognition through interaction traces
Jean-Charles Quinton...
0
1
Analysis of traces of computer-assisted surgery
Roland Groz (LIG-VAS...
1
1
Animating Dancing Couples
Remi Ronfard (INRIA)...
1
1
Annotation et publication de cartes linguistiques sur le Web des données
Philippe Genoud (LIG...
1
1
Asynchronous distributed algorithms for large-scale learning
Massih-Reza Amini (L...
1
1
Authorship verification and attribution
Didier Schwab (LIG-G...
1
1
Automatated Translation of Specifications for Research of Attack Scenarios
Maxime Puys (VERIMAG...
1
1
Automated Porting of Device Drivers
Nicolas Palix (LIG)
0
1
Automated Refactoring of Cascading Style Sheets
Pierre Geneves (LIG)...
1
1
Automated verification of unbalanced workflows via process algebra encodings
Gwen Salaun (LIG)
1
1
Automatic segmentation of foot bones in CT images for personalized Finite Element biomechanical modeling
vincent luboz (Autre...
1
1
Automatically solving chess variants
Frederic Prost (LIG-...
1
1
Big Data Challenge : Stream-Oriented Trace Analysis
Vania Marangozova-Ma...
1
1
Building an Online Tool to Evaluate Document Relevance to a Specific Topic
Lorraine Goeuriot (L...
1
1
Certification of Distributed Self-Stabilizing Algorithms Using Coq
Karine Altisen (VERI...
1
1
Co-création d’une smart sculpture transitionnelle pour le spectacle vivant APORIA
Ambre Davat (LIG-GET...
1
1
Combining fuzzind and dynamic-symbolic execution for software vulnerability detection.
Laurent Mounier (VER...
1
1
Comparing the motion of a biomechanical foot model with its motion capture
vincent luboz (Autre...
1
1
Compilation and diagnosis for discrete controller synthesis
Gwenaël Delaval (LIG...
1
1
Coupling a Parallel Simulation with an iso-surface Image Generator
Bruno Raffin (LIG-IN...
1
1
Debugging Cyber-Physical Systems
goran frehse (VERIMA...
1
1
Deep Learning for 3D Human Motion
Jean-Sébastien Franc...
1
1
Deep Learning for Instance Search or Identification.
Georges Quénot (LIG-...
1
1
développement d’un système de gestion de lexiques pour plate-formes d’apprentissage en ligne
Mathieu Mangeot (LIG...
1
1
Dialoguer avec un habitat intelligent pour le programmer
Sybille Caffiau (LIG...
1
1
Distributed Approach for Cross-Layer Resource Allocation in Wireless Sensor Networks
Karine Altisen (VERI...
1
1
Drone security
Cédric Lauradoux (IN...
1
1
Edition, transformation mutuelle et coédition de graphes UNL et d'arbres UNL sous Ariane-Y
Christian Boitet (LI...
1
1
Efficient multi-layered cloth animation using implicit surfaces
Damien Rohmer (INRIA...
1
1
Efficient Runtimes for Predictive Analytics with Big Medical Data
Pierre Geneves (LIG)...
1
1
Étude d'outils et méthodes pour la TAO via le projet MACAU
Ruslan Kalitvianski...
0
1
Étude de variantes d'un algorithme de désambiguïsation lexicale
Didier Schwab (LIG-G...
1
1
Example-Based Material Transfer Between Images
Romain Vergne (LJK)
1
1
Expressive Interactive Figurines for narrative design: evaluation of the 3D path reconstruction algorithm.
Dominique Vaufreydaz...
1
1
Extracting and analyzing line drawing construction sequences from videos
Adrien Bousseau (INR...
1
1
Extracting RDF link keys with Formal Context Analysis
Jerome Euzenat (LIG-...
1
1
Fallen person detection using RGB-D sensor on a mobile robot
Dominique Vaufreydaz...
1
1
Fast evaluation of SPARQL queries on distributed systems
Pierre Geneves (LIG)...
1
1
Formal validation of Security Policies in Service oriented architectures
Akram Idani (LIG-VAS...
1
1
Formalising and analysing protocols in computer-assisted medical interventions - Formalisation et analyse de protocoles d'applications GMCAO
Nicolas Halbwachs (V...
1
1
Fun with interpolants
David Monniaux (VERI...
1
1
Génération de gestes coverbaux pour un robot humanoïde
Gerard Bailly (GIPSA...
1
1
Graphe sémantique multilingue dans DBnary
Gilles Serasset (LIG...
1
1
Heuristics for Hierachical Task Netwok Planning
Damien Pellier (LIG-...
1
1
Hierachical Task Netwok Planning based on SAT techniques
Damien Pellier (LIG-...
1
1
Hijacking Google TensorFlow
Bruno Raffin (LIG-IN...
1
1
Horny solving in all directions
David Monniaux (VERI...
1
1
Impact of social elements on information retrieval personalization
Philippe Mulhem (LIG...
1
1
Implementaion and Experimentation of Advances Probabilistic Models for Predicting defaults in corporate Portfolio
Massih-Reza Amini (L...
1
1
Improving the response time of the Internet
Baptiste Jonglez (LI...
1
1
In Situ Data Analysis for Large Parallel Simulations: Transparent Data extraction for In Situ Analysis
Bruno Raffin (LIG-IN...
1
1
Indexation sémantique par apprentissage d'un espace latent
Jean-Pierre Chevalle...
1
1
Interactive physics simulation for education - nanostructures and proteins
Stephane Redon (INRI...
1
1
Interactive physics simulation for education - temperature and crystals
Stephane Redon (INRI...
1
1
Interface de visualisation pour l’exploration interactive de géotweets.
Paule-annick Davoine...
1
1
Interface Web pour l’exploration d’un jeu de cartes linguistiques.
Paule-annick Davoine...
1
1
Inverse Dynamic Modeling of Cloth
Jean-Sébastien Franc...
1
1
Joint models for Text Clarification
Didier Schwab (LIG-G...
1
1
Large vocabulary voice command recognition for automation of the home using deep learning and word embedding
Michel Vacher (LIG-G...
1
1
Learning behaviours of systems
Roland Groz (LIG-VAS...
1
1
Learning cinematographic styles from examples
Remi Ronfard (INRIA)...
1
1
Learning reflex for intelligent robots
Damien Pellier (LIG-...
1
1
Learning representations from Spatio Temporal Data
Ahlame Douzal (LIG-A...
1
1
Leveraging modern multi-core processors features to efficiently deal with silent errors
Jean-Francois Mehaut...
2
2
Leveraging Monitoring in Interactive Debugging of Functional and Performance Properties
Ylies Falcone (LIG)...
1
1
Linking DBnary to the Lexical Linked Open Data Cloud
Gilles Serasset (LIG...
1
1
Measuring the coverage of trace properties
Yves Ledru (LIG-VASC...
1
1
Mixed-Integer Optimization for Line Drawing Reconstruction
Adrien Bousseau (INR...
1
1
Model-based design for reconfiguration controllers of DPR FPGA
Eric Rutten (LIG)
1
1
Modélisation biomécanique de la contraction musculaire : application à la chirurgie oro-faciale assistée par ordinateur
Yohan Payan (TIMC-GM...
1
1
Modélisation des normes et simulation de leur influence en situation de crise
Carole Adam (LIG-MAG...
1
1
Motion tracking of a plant during its growth
Franck Hetroy (LJK)...
1
1
Multi-surface interaction: 2D and 3D map
Yann Laurillau (LIG-...
1
1
Multimodal Observation of Emotions
James Crowley (LIG-I...
1
1
New Asynchronous Programming Models for Large Scale Simulations
Jean-Francois Mehaut...
1
1
Novel protein-ligand docking algorithms
Sergei Grudinin (INR...
1
1
Ontology-based data integration and analytics on top of an e-learning platform in Medecine
Fabrice Jouanot (LIG...
1
1
Opinion Summarisation of Reviews over the web
Cyril Labbe (LIG-SIG...
1
1
PDDL4J: The planning Domain Description Library in Java
Damien Pellier (LIG-...
1
1
Performance Analysis of Stochastic Descent Algorithms
victor magron (VERIM...
1
1
Persuasive Collaborative Interaction
Yann Laurillau (LIG-...
1
1
Persuasive Physical Objects
Yann Laurillau (LIG-...
1
1
Planification automatique par programmation fonctionnelle
Humbert Fiorino (LIG...
1
1
PRIVACY of IOT
Cédric Lauradoux (IN...
1
1
Programmation de jeux vidéos pour interface visuelle (eye-tracking)
Didier Schwab (LIG-G...
1
1
Programmation d’un robot par son utilisateur
Alexandre Demeure (L...
1
1
Proof generalization
Thierry Boy de la To...
1
1
Réalisation de post processeur pour les machine de fabrication additive
Nicolas Beraud (DP R...
1
1
Reasoning on Dynamic Attributed Graphs
Rachid Echahed (LIG-...
1
1
Reconfigurable device for GALS system based FPGA
Franck Rousseau (LIG...
1
1
Reinforcement and Deep Learning Applied to Human-robot Dialog
Radu Horaud (INRIA-P...
1
1
Reverse-engineering from binary analysis and grey box inference
Roland Groz (LIG-VAS...
1
1
Robots Among People, a Bio-Inspired Visual Navigation Approach
Thierry Fraichard (L...
1
1
Robots Among People, an Attention-Based Navigation Approach
Thierry Fraichard (L...
1
1
Safe Navigation for Robots Among People
Thierry Fraichard (L...
1
1
Simulation de système de fichiers parallèles pour l'étude des grandes infrastructures de calcul
Olivier Richard (LIG...
1
1
Sketching stories from images of antique artworks
Remi Ronfard (INRIA)...
1
1
Soundy Analyses Techniques for Web Development
Pierre Geneves (LIG)...
1
1
Sous-titrage automatique de parole dans une "smart class" pour l'accessibilité des personnes sourdes
François Portet (LIG...
1
1
Story generation from photos
Remi Ronfard (INRIA)...
1
1
Studying and solving the strange visual artifacts occuring when procedural texturing with paradoxical requirements
Fabrice Neyret (LJK-...
1
1
Symmetry detection in electron densities and molecular structures
Sergei Grudinin (INR...
1
1
Taxonomie et héritage de réseaux d'automates booléens à seuil inférés à partir de contraintes
Nicolas Glade (TIMC)...
1
1
Téléopération immersive de robots de téléprésence Impact du découplage corps/tête
Gerard Bailly (GIPSA...
1
1
Test suite reduction : scaling up
Yves Ledru (LIG-VASC...
2
2
Text and time series alignment via Representation Learning on Heterogeneous Data
Eric Gaussier (LIG-A...
1
1
Top-down texture painting
Fabrice Neyret (LJK-...
1
1
Towards a geovisualisation interface for collecting localized data (in space and time) about life trajectories
Marlene Villanova-Ol...
1
1
Traduction automatique de spécifications pour la recherche de scénarios d’attaques
Maxime Puys (VERIMAG...
1
1
User-defined scheduler for multicore systems
Nicolas Palix (LIG)
1
1
Using Game Engines for Formal Verification
goran frehse (VERIMA...
1
1
Using symbolic allocators to analyse heap memory vulnerabilities
Laurent Mounier (VER...
1
1
Utilisation de technologies du Web sémantique (RDF et SPARQL) pour l’intégration et la préparation de l’analyse de données de e-learning en Médecine.
Fabrice Jouanot (LIG...
1
1
Utilisation et édition de graphes UNL pour les exigences en génie logiciel
Valerie Bellynck (LI...
0
1
Verifying C Cryptographic Protocol Implementations by Symbolic Execution
Christian Ene (VERIM...
1
1
Verifying Constant Time Implementations
Christian Ene (VERIM...
1
1
Visual multi-speaker recognition for human-robot interaction
Radu Horaud (INRIA-P...
1
1
Weakly Supervised Deep Learning for Object Localization.
Georges Quénot (LIG-...
1
1
What's happening during a music festival? Microblog retrieval for cultural events
Lorraine Goeuriot (L...
0
1
XML data Binding for medical simulation
vincent luboz (Autre...
1
1
Titre :
Responsables :
Contact :
Mots-clés :
Durée prevue :
Filières concernées :
Nombre max. d'étudiants :
Nombre de places disponibles :
Description :