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 17/18

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 17/18, 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
A model-based approach for vulnerability detection on industrial control systems
Laurent Mounier (VER...
1
1
End-to-end architectures for large-scale video recognition
Cordelia Schmid (INR...
0
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
Accurately predicting software cache attacks
Christian Ene (VERIM...
1
1
Adaptation de l'interaction située dans l'habitat intelligent : le rôle du contexte
Sybille Caffiau (LIG...
1
1
Adapting the Combined Diffraction-MicroFacet Model for designers
Nicolas Holzschuch (...
1
1
Adaptive Compensation of Non-Linearity in Human’s Judgment for Robust Dimensional Emotion Recognition
Fabien Ringeval (LIG...
1
1
Ageing and Reverse-Ageing for Cultural Artifacts
Nicolas Holzschuch (...
1
1
An Optimization Framework for Text Summarization
Sihem Amer-Yahia (LI...
1
1
Analyse prédictive de données industrielles
Jean-Philippe Vigne...
0
1
Analysis of traces of computer-assisted surgery
Roland Groz (LIG-VAS...
1
1
Apache Flink for High Performance Computing: Parallel Stream Analytics
Bruno Raffin (LIG-IN...
0
1
Assessing the trustworthiness of online identities
Oana Goga (LIG - SLI...
1
1
Attaque éclipse sur Ethereum
Jean-Guillaume Dumas...
1
1
Audit the transparency mechanisms provided by social media advertising platforms
Oana Goga (LIG - SLI...
1
1
Automated Porting of Device Drivers
Nicolas Palix (LIG -...
1
1
Automated Refactoring and Optimisation of Cascading Style Sheets
Pierre Geneves (LIG)...
1
1
Automatic captioning of lecture for students with hearing impairment using deep models
François Portet (LIG...
1
1
Avoiding cluster overload with a control-based approach
Olivier Richard (LIG...
1
1
Build a platform for increasing the transparency of social media advertising
Oana Goga (LIG - SLI...
0
1
Cache Analysis for Security
Laurent Mounier (VER...
1
1
Cell morphing on data structures
David Monniaux (VERI...
1
1
Certification of Distributed Self-Stabilizing Algorithms Using Coq
Karine Altisen (VERI...
1
1
Combining Path and Cache Analyses
Catherine Parent-Vig...
1
1
Comment vérifier les réponses de son SAT-solveur sans trop se fatiguer ?
Sylvain Boulme (VERI...
1
1
Compilation de Programmes C en Formules Logiques
Michaël Périn (VERIM...
1
1
Composition d'ordonnancements parallèles
Matthieu Moy (Lab. L...
1
1
Computational Design of Freeform Structures
Stefanie Hahmann (LJ...
1
1
Connecting Chemical / Physical Properties and Material Appearance
Nicolas Holzschuch (...
1
1
Container Placement for Many-core Architectures
Bruno Raffin (LIG-IN...
1
1
content-based image and video analysis
Shin'ichi Satoh (Nat...
0
1
Control and Verification of a Bi-Wheeled Robot
goran frehse (VERIMA...
1
1
Control-Flow Integrity and Attacker Models
Laurent Mounier (VER...
1
1
Crowd Curation in Crowdsourcing
Sihem Amer-Yahia (LI...
1
1
CrowdFair: A Tool to Support Non-Discrimination in Crowdsourcing
Sihem Amer-Yahia (LI...
1
1
Data interlinking using link keys and rules
Manuel Atencia (INRI...
1
1
Data Management on hybrid Big Data infrastructures: using blockchain technology to compute everywhere.
Denis Trystram (LIG-...
1
1
Data mining results Textually summarized: european parliament votes.
Cyril Labbe (LIG-SIG...
1
1
Data Pipelines for Large-Scale User Data Analytics
Sihem Amer-Yahia (LI...
0
1
Data Privacy management on Hybrid Big Data inftrastructures
Denis Trystram (LIG-...
1
1
Data structures design for emerging Storage-Class Memory
Thomas Ropars (LIG -...
0
1
Deep learning & HPC data management
Pham Trong Ton (ATO...
0
1
Deep Learning for 3D Human Motion
Jean-Sébastien Franc...
1
1
Deep Learning for Fallen person detection using RGB-D sensor on a mobile robot
Dominique Vaufreydaz...
0
1
Deep learning pour la détection des lieux et géolocalisation d'images
Alexandru Ginsca (CE...
0
1
Deep Learning pour l’analyse de traces de joueurs engagés dans la résolution de problèmes d’échec
Dominique Vaufreydaz...
0
1
Deep-Learning pour la simulation numérique
Bruno Raffin (LIG-IN...
1
1
Define and validate a Software Architecture to apply Deep learning technology within Bosch Rexroth AG
Benjamin Menz (Bosch...
0
1
Delivering VoD services to vehicles along a highway
Thomas Begin (Lab. L...
1
1
Design numérique expressif pour l'architecture
Marie-Paule Cani (LJ...
0
1
Détection automatique des réunions dans les bâtiments intelligents
Denis Trystram (LIG-...
1
1
Development of a methodology for medical robot calibration
Celine Fouard (TIMC)...
1
1
Development of a multimodal relevance feedback system
Lorraine Goeuriot (L...
1
1
Development of adversarial classifiers using Bayesian games
Patrick Loiseau (LIG...
1
1
Développement d'une interface de consultation d'un grand corpus de textes étiquetés.
Cyril Labbe (LIG-SIG...
1
1
Développement d’un algorithme génétique pour l’optimisation d’un problème d’ordonnancement
Khadija Hadj-Salem (...
1
1
Don't Take it Too Personal! Holistic Recognition of Human Behaviours
Fabien Ringeval (LIG...
1
1
Dualité fixation-poursuite en suivi des mouvements oculaires
Francis Jambon (LIG-...
1
1
Dynamic Trip Planning
Vassilissa Lehoux (N...
1
1
Efficient Runtimes for Predictive Analytics with Big Medical Data
Pierre Geneves (LIG)...
0
1
Emergent structures of structures
Yves Demazeau (LIG-M...
1
1
End to end natural language generation from semantic description for French using deep neural network
Cyril Labbe (LIG-SIG...
0
1
End-to-end Learning of Cross-modality Inference for Pseudo-multimodal Emotion Recognition
Fabien Ringeval (LIG...
1
1
Ensuring Correctness of Data-Graph Transformations
Rachid Echahed (LIG-...
1
1
Estimation of mixtures of graphical models
Jean-Baptiste Durand...
1
1
Étude expérimentale d'outils d'analyse de code
Michaël Périn (VERIM...
1
1
Evaluation des formats de presentations multimedia pour les cours en-ligne
James Crowley (LIG-I...
0
1
Example-Based Texture Transfer Between Images
Romain Vergne (LJK)...
1
1
Explore Speech-to-translated text functionalities in the context of WIPO Meetings
Laurent Besacier (LI...
0
1
Exploring Difficult Manifolds for Light Transport
Nicolas Holzschuch (...
0
1
Expressing complex SPARQL queries in a restricted natural language controlled by a domain ontology: application to ontology-based student progress monitoring in SIDES 3.0.
Fabrice Jouanot (LIG...
1
1
Factorisation de polynômes et satisfaisabilité d'inéquations polynomiales
Michaël Périn (VERIM...
1
1
Fairness in multi-stage decision making
Patrick Loiseau (LIG...
1
1
Faster arithmetic solving
David Monniaux (VERI...
1
1
Faults in Linux
Nicolas Palix (LIG -...
1
1
Feature Selection: Exploring the Tradeoffs
Patrick Loiseau (LIG...
1
1
From diagnosis to causal analysis
Gregor Goessler (LIG...
1
1
Fun with interpolants
David Monniaux (VERI...
1
1
Fusion of 3D Occupancy Grids and Egocentric Semantic Segmentation Maps for Autonomous Driving using RGB images and deep learning approaches
Christian Laugier (L...
0
1
Génération de pictogrammes à partir de la parole pour la mise en place d’une communication médiée par la machine
Didier Schwab (LIG-G...
1
1
Gestion et analyse de données complexes
Adil Mujtaba (HP - H...
0
1
Google RPC and Google TensorFlow for the Melissa Framework
Bruno Raffin (LIG-IN...
1
1
Heuristics for Hierachical Task Netwok Planning
Damien Pellier (LIG-...
1
1
Hierachical Task Netwok Planning based on SAT techniques
Damien Pellier (LIG-...
0
1
Highjacking Rust Programming Language for On-Line High Performance Data Analytics
Bruno Raffin (LIG-IN...
1
1
How fast can you go? Reliable stream processing on a Raspberry Pi cluster
Denis Trystram (LIG-...
1
1
Impact of BigData File System on HPC Applications
Olivier Richard (LIG...
1
1
In Situ Analytics: High Performance Parallel Data Extraction
Bruno Raffin (LIG-IN...
1
1
Informatique quantique : le ZX-calcul
Francois Puitg (LIG-...
1
1
Interactive Change of Materials in Photographs
Cyril Soler (LJK Mav...
1
1
Interactive Exploration of Health Trajectories in Viz4LIFE
Sihem Amer-Yahia (LI...
1
1
Internship: Human 3D Shape Estimation from a Single Image
Jean-Sébastien Franc...
1
1
Investigating content quality on medical question-answering systems
Lorraine Goeuriot (L...
1
1
It’s all about Trees! or Tries!
Fabienne Dorson (Sal...
1
1
Justification of classification results with deep neural networks
Georges Quénot (LIG-...
1
1
Large Scale Traces Analysis : Multi-scale Patterns
Jean-Marc Vincent (L...
1
1
Learning behaviours of systems
Roland Groz (LIG-VAS...
1
1
Learning reflex for intelligent robots
Damien Pellier (LIG-...
1
1
Learning to draw like a designer
Adrien Bousseau (INR...
1
1
Learning to grasp with visual guidance
Cordelia Schmid (INR...
0
1
Link key extraction under ontological constraints
Jerome Euzenat (LIG-...
1
1
LoRa network radio ressources management
Martin Heusse (LIG-D...
0
1
Material Edition in Images
Romain Vergne (LJK)
0
1
Mining Knowledge Graphs
Vincent Leroy (LIG)
1
1
Mixed-Integer Optimization for Line Drawing Reconstruction
Adrien Bousseau (INR...
1
1
Modèles d'appplications BigData pour l'étude par simulation des gestionnaires de tâches et des ressources
Olivier Richard (LIG...
1
1
Modeling and simulation of cloud computing environments.
Stephane Mocanu (LIG...
1
1
Modeling of Graph Topologies Using Coq
Karine Altisen (VERI...
1
1
Modélisation des facteurs de résistance à la diffusion d’innovations organisationnelles
Carole Adam (LIG-MAG...
1
1
Modélisation et simulation des biais cognitifs en situation de crise
Carole Adam (LIG-MAG...
1
1
Modelling and simluating the influence of cognitive and affective bias on human reasoning and behaviour
Carole Adam (LIG-MAG...
1
1
Models of Distributed Algorithms
Karine Altisen (VERI...
1
1
Multi-class semi-supervised learning through pseudo-labelling
Massih-Reza Amini (L...
1
1
Multi-objective resource allocation in hybrid Big Data infrastructures
Denis Trystram (LIG-...
1
1
Multilingual word embeddings for low resource languages, and its application to information retrieval
Lorraine Goeuriot (L...
1
1
Multimodal merging for social robots
Jean-Charles Quinton...
1
1
Multimodal Observation of Emotions
James Crowley (LIG-I...
0
1
Natural language generation: comparison of language models
Cyril Labbe (LIG-SIG...
1
1
New Lucene Posting Format
Christophe Mourot (S...
0
1
Novelty Detection based on Deep Auto-Encoders for Holistic Semi-Supervised Learning of Human Behaviours
Fabien Ringeval (LIG...
1
1
Objets interactifs tangibles et déformables pour le contrôle de l’habitat par les habitants âgés
Sybille Caffiau (LIG...
1
1
Objets interactifs tangibles et déformables pour le contrôle de l’habitat par les habitants déficients visuels
Sybille Caffiau (LIG...
1
1
Online Verification of Automated Driving Scenarios
goran frehse (VERIMA...
1
1
Ontology and alignment coevolution through agent communication
Jerome Euzenat (LIG-...
1
1
Ontology features influencing alignment evolution
Jerome Euzenat (LIG-...
1
1
Ontology-based Query Answering: comparison between a Query Rewriting approach and a Materialization approach in SIDES 3.0 setting.
Fabrice Jouanot (LIG...
1
1
Optimization of deep learning code on GPUs
Georges Quénot (LIG-...
1
1
Optimized Resource Management for Serverless Computing
Renaud Lachaize (LIG...
1
1
Optimizing support structures for freeform architecture
Adrien Bousseau (INR...
1
1
Parallel simulation
Florence Perronnin (...
1
1
Parameterization of the Indirect Illumination Manifold
Cyril Soler (LJK Mav...
1
1
Participation au développement de nouvelles approches de détection de code QR et à ses optimisations.
Marc Viala (AMETEK)
8
8
PDDL4J: The planning Domain Description Library in Java
Damien Pellier (LIG-...
1
1
Perception automatique de voix par méthodes neuronales
Michel Vacher (LIG-G...
1
1
perception for mobile robot
Olivier Aycard (LIG-...
1
1
Pictogram Generation from Speech to Set up a Computer-Mediated Communication
Didier Schwab (LIG-G...
1
1
Planification automatique par programmation fonctionnelle
Humbert Fiorino (LIG...
1
1
Polyhedral Abstract interpretation
David Monniaux (VERI...
1
1
Portage d’un outil de recyclabilité dans Brightway 2 en Python
Damien Evrard (G-SCO...
1
1
Procedural modeling of multiscale galactic dust
Fabrice Neyret (LJK-...
1
1
program analysis for compilers - semantics - data structures
David Monniaux (VERI...
1
1
Programmation de jeux vidéos pour interface visuelle (eye-tracking)
Didier Schwab (LIG-G...
1
1
Quantifying the Difference between Nonequivalent LTSs
Gwen Salaun (LIG) Fr...
1
1
Ranked Temporal Joins on Streams
Vincent Leroy (LIG)...
1
1
Real-time Adaptive Human-Computer Interface Driven by Affective Behaviours
Fabien Ringeval (LIG...
1
1
Réalisation d'une infrastructure de gestion de la sécurité centrée sur l'utilisateur
Jean-Guillaume Dumas...
1
1
Réalisation dun outil d'annotation semi-automatique des vidéos pour nourrir un système de vision par ordinateur à base d'apprentissage automatique
Mathieu Ospici (ATOS...
0
1
Recherche de bugs et de vulnérabilités dans des systèmes distribués par exécution concolique
David Monniaux (VERI...
1
1
Rendering panorama maps in the “atelier Novat” style
Joelle Thollot (LJK)...
1
1
Rendu 3D parallèle avec garanties de performance dans un cloud-HPC
Denis Trystram (LIG-...
1
1
Reproducibility of deep learning experiments on GPU
Georges Quénot (LIG-...
1
1
Response Time Optimization of Multi-User BOINC Projects
Arnaud Legrand (LIG-...
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
Safe over-approximation of polynomial systems by convex polyhedra
David Monniaux (VERI...
1
1
Shared Memory Transport for In Situ Workflows
Bruno Raffin (LIG-IN...
1
1
Simulating ethical decision-making
Yves Demazeau (LIG-M...
0
1
Simulation des systèmes de vote et de la satisfaction des électeurs
Carole Adam (LIG-MAG...
1
1
Situation Aware Navigation for a Telepresence Robot
James Crowley (LIG-I...
0
1
Smart Compilation Techniques for Synthesizing Optimized Big Data Code
Pierre Geneves (LIG)...
1
1
Soundy Analysis Techniques for Web Development
Pierre Geneves (LIG)...
1
1
Speech Rhythm: An Affective Journey Through Time – Models of Speech Rhythm for Emotion Recognition
Fabien Ringeval (LIG...
1
1
Systèmes d’analyses automatiques de données collectées durant l’exécution d’applications HPC
Gael Goret (ATOS BU...
0
1
Taxonomy of thresholded boolean automaton networks inferred from logical constraints.
Nicolas Glade (TIMC)...
1
1
TIPS: Un systeme de prise de decision reposant sur la recherche de con gurations graphiques grace au Machine Learning
Yves-Eric Martin (So...
0
1
Towards a geovisualization tool ensuring traceability of hypotheses made by first-aid workers when trying to localize a victim lost in mountain
Marlene Villanova-Ol...
0
1
Towards Data Flow capabilities on a resource and compute management system for Big Data analytics on hybrid infrastractures
Denis Trystram (LIG-...
1
1
Traces en interactions surfaciques multi-touches
Yann Laurillau (LIG-...
1
1
Understanding salient features
Yves Demazeau (LIG-M...
1
1
Unmanned Aerial Systems Traffic Management (UTM) - Algorithms and Real-time Distributed Systems
Helmut Prendinger (N...
0
1
Uplift prediction
Massih-Reza Amini (L...
1
1
User representation methodology
Yves Demazeau (LIG-M...
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 Language Models to Check Documents "Language Quality"
Herve Blanchon (LIG-...
0
1
‘Qu’est-ce qu’il dit ?’ – Analyse de marqueurs audiovisuels de l’intelligibilité perçue
Fabien Ringeval (LIG...
1
1
Titre :
Responsables :
Contact :
Mots-clés :
Durée prevue :
Filières concernées :
Nombre max. d'étudiants :
Nombre de places disponibles :
Description :