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 21/22

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 21/22, 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
Local Reasoning about Reconfigurable Component-based Systems
Radu Iosif (VERIMAG-...
1
1
Verifying Concurrent Systems with Automata over Infinite Alphabets
Radu Iosif (VERIMAG-...
1
1
Detecting Tortured Phrases in Scientific Literature
Cyril Labbe (LIG-SIG...
1
1
Natural Language Understanding to Fact Checking Nucleotide Sequences in Life Science Publications.
Cyril Labbe (LIG-SIG...
1
1
3D Sketching in Virtual Reality
Stefanie Hahmann (IN...
1
1
A low-code approach to support method engineering
Raquel Oliveira (LIG...
1
1
Ad-hoc Bases for Global Illumination
Cyril Soler (LJK Mav...
1
1
Adaptation and selection of knowledge adaptation operators
Jérôme Euzenat (LIG-...
1
1
An optimal placement strategy for data center energy efficiency
Noel De-Palma (LIG-I...
1
1
Analysis and identification of reaction mechanisms for self-protection in cybersecurity
Eric Rutten (LIG) St...
1
1
Analysis of multidimensional life trajectory data
Jerome Gensel (LIG-S...
1
1
Application of automated planning to industrial production management
Damien Pellier (LIG-...
1
1
Applying Symbolic Model-Checking Techniques to Circuit Electric Verification
Pascal Raymond (VERI...
1
1
Asynchronous folding
Frederic Wagner (LIG...
1
1
Augmented and tangible interactive cards desk for UML-based design activities
Yann Laurillau (LIG-...
1
1
Augmented Reality: Multiple Views with Different Physicalities
Laurence Nigay (LIG-...
1
1
Automatic generation of communication grids for people with motor and intellectual disabilities using artificial intelligence methods
Didier Schwab (LIG-G...
1
1
Bandit Algorithms for Feature Selection
Massih-Reza Amini (L...
1
1
Brace for bytecode
Ylies Falcone (LIG)
1
1
Citation classification for the assessment of scientific claims
Cyril Labbe (LIG-SIG...
1
1
Collecting data to Understand how idea spreads in scientific information systems
Cyril Labbe (LIG-SIG...
1
1
Combining link keys and similarity-based approaches to data interlinking
Jérôme Euzenat (LIG-...
1
1
Comparison of Controller Synthesis and Scheduling Techniques for Dynamically Reconfigurable Allocation of Tasks on Computing
Raphaël Bleuse (INRI...
1
1
Data augmentation for speech recognition of under-resourced languages
Eric Castelli (LIG)...
1
1
Debugging of Behavioural Models via Counterexample Analysis and Graph Visualization
Gwen Salaun (LIG)
1
1
Decision Procedures for Separation Logic Modulo Theories of Data
Radu Iosif (VERIMAG-...
1
1
Design and implementation of an optimal minimization algorithm for sharp bisimilarities
Frederic Lang (LIG-I...
1
1
Detection and analysis of human reactions for the adaptation of cobot behaviour in an industrial environment
Humbert Fiorino (LIG...
1
1
Development of a query cost model for recursive queries
Pierre Geneves (LIG-...
1
1
Dynamic compression rate over TCP connections
etienne duble (LIG)
1
1
Eco-responsible Microservice Scheduling
Vania Marangozova-Ma...
1
1
Energy and performance aware data center resource management system
Noel De-Palma (LIG-I...
1
1
Engineering Safe AI Models with Dependently Typed Languages
Humbert Fiorino (LIG...
1
1
Étude de phénomènes linguistiques dans les représentations sémantiques
Valérie Bellynck (LI...
1
1
Explainable AI: Improving local model explanations in visual recognition tasks
Georges Quénot (LIG-...
1
1
Extending Query Processing with Machine Learning Pipelines
Pierre Geneves (LIG-...
3
3
External projection to add display capabilities to shape-changing interactive objects
Céline Coutrix (LIG-...
1
1
ExTra, Explaining neural machine Translation
Caroline Rossi (LIG-...
1
1
formally verified compilation
David Monniaux (VERI...
1
1
Génération Automatique de grilles de communication destinées aux personnes en situation de handicap moteur et de déficience intellectuelle par des méthodes d’intelligence artificielles
Didier Schwab (LIG-G...
1
1
geometric construction of metamaterials
Stefanie Hahmann (IN...
1
1
Geovisualization to show and explore life trajectories
Jerome Gensel (LIG-S...
1
1
Heuristics for Hierachical Task Netwok Planning
Humbert Fiorino (LIG...
1
1
Implémentation d’un algorithme de deep-learning pour la localisation automatique de la vertèbre L3 en imagerie Scanner
Svetlana Artemova (C...
1
1
Information Visualisation
Renaud Blanch (LIG-I...
1
1
Integration of RJMS Knowledge into Cigri Control Loop
Raphaël Bleuse (INRI...
1
1
Interface homme-machine pour la visualisation et l’assistance à la navigation des biopsies prostatiques
Sandrine Voros (TIMC...
1
1
Interpretable Natural Language Processing for Court Decisions Prediction.
Didier Schwab (LIG-G...
1
1
Jeux vidéos pour interface visuelle (eye-tracking)
Didier Schwab (LIG-G...
1
1
Knowledge graph evolution
Jérôme Euzenat (LIG-...
1
1
Leveraging prior information of image textual description for anomaly segmentation in semantic scene understanding
Kai Wang (GIPSA-lab)...
1
1
Modelling and Verification of a Cloud Management Protocol
Gwen Salaun (LIG)
1
1
Multi-View Learning for Troll Detection in Information Operations on Social Media
Massih-Reza Amini (L...
1
1
NLP solutions for homograph disambiguation for TTS systems
Gerard Bailly (GIPSA...
1
1
Optimization of BPMN Processes
Gwen Salaun (LIG)
1
1
Optimization of recursive queries with antiprojections for extracting information from very large graphs
Pierre Geneves (LIG-...
1
1
Parallel Iterator under Time Constraints
Raphaël Bleuse (INRI...
1
1
Percolating a priori Linguistic Data to Enhance Transformer Based Models
Gilles Serasset (LIG...
1
1
Phases detection in high performance parallel applications
Guillaume Huard (LIG...
1
1
Playing with Fourier spectrum for real-time ocean explorer and texture generation
Fabrice Neyret (LJK-...
1
1
Prise en compte des différences d’expression d’un programme domotique
Sybille Caffiau (LIG...
1
1
Profiling Asynchronous Codes
Frederic Wagner (LIG...
1
1
Real-time walk-through the Milky-Way: continuum to points, on-the-fly generation, and mixing with catalog
Fabrice Neyret (LJK-...
1
1
Real-World Evaluation of Batsim Probes
Olivier Richard (LIG...
1
1
Relational concept analysis through constraint satisfaction
Jérôme Euzenat (LIG-...
1
1
Rendering of stylized panorama maps
Romain Vergne (LJK)...
1
1
Rolling instabilities of elastic ribbons
Florence Bertails-De...
1
1
Sculpting procedural noise
Fabrice Neyret (LJK-...
1
1
Secure Bandit Algorithms for Recommendations
Massih-Reza Amini (L...
1
1
Segmentation et recalage d’images médicales par apprentissage profond pour la navigation des biopsies prostatiques
Sandrine Voros (TIMC...
1
1
Simulation parallèles de systèmes discrets et continus
Frédéric Petrot (TIM...
1
1
Smart Scaling for Microservices
Vania Marangozova-Ma...
1
1
Supervision of autonomous robotic systems based on SAT and SMT solvers
Damien Pellier (LIG-...
1
1
tous sujets VERIMAG
David Monniaux (VERI...
1
1
Using generated images in order to improve CNN performances?
Alice Caplier (GIPSA...
1
1
Value-sensitive knowledge evolution
Jérôme Euzenat (LIG-...
1
1
Vers l’adaptation dynamique de jeux sérieux pour le handicap grâce à la récolte des données de jeux videos par oculomètres (eye-trackers)
Didier Schwab (LIG-G...
2
2
Video games for visual interface (eye-tracking)
Didier Schwab (LIG-G...
1
1
Visualisation du comportement domotique
Sybille Caffiau (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 :