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

Appli PCARRE, V 4.0.1 stable (9/12/09 16:32)

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

Année 11/12

Responsables de projets, de filières
Identifiant :
Mot de passe :
Entrer
Recherche simple de projets
Ex : M2R Info, Java, Rousset
Recherche avancée de projets
Voir planning des soutenances

Liste des sujets 11/12, 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
2.5D Rotoscoping
Remi Ronfard (INRIA)...
0
1
3D detection and tracking of road markings
Mathias Perrollaz (L...
0
1
3D High-resolution Depth Maps from a Time-of-flight Sensor and a Stereo Camera Pair
Radu Horaud (INRIA-P...
1
1
3D interaction: Implementation of a 3dSMax plug-in
Michael Ortega (LIG-...
1
1
3D mapping using clustering techniques
Olivier Aycard (LIG-...
1
1
3D movie post-production toolkit
Frederic Devernay (L...
1
1
3D Reconstruction by Combining Depth Cameras and High-Resolution Color Cameras
Radu Horaud (INRIA-P...
1
1
3D Surface Refinement from Multiple Views
Jean-Sébastien Franc...
0
1
700 ways to benchmark cloud services
Sara Bouchenak (LIG-...
2
2
A Benchmark Suite for MapReduce Model
Sara Bouchenak (LIG-...
1
1
A virtual cinematography system that learns from examples
Remi Ronfard (INRIA)...
1
1
Abstraction methods for compilation using discrete controller synthesis/Méthodes d'abstraction pour la compilation et la synthèse de contrôleurs discrets
Gwenaël Delaval (LIG...
1
1
Accélération sur GPU du calcul de projection pour la reconstruction tomographique sur grille adaptative
Dominique Houzet (GI...
1
1
Access Control Policies for XML: Analysis and Verification for Security
Pierre Geneves (LIG-...
0
1
Adaptation d’un jeu de conception collaborative pour surfaces interactives
Yann Laurillau (LIG-...
1
1
Adaptive Algorithms: Trade-off between Quality and Performances
Denis Trystram (LIG-...
1
1
Adaptive articulated-body dynamics on a GPU
Stephane Redon (LIG-...
1
1
Agents normatifs pour la collaboration en univers tangibles
Catherine Garbay (LI...
1
1
Aggregation and multiresolution representation of applications trace informations in the context of embedded system
Guillaume Huard (LIG...
1
1
Aggregation and multiresolution representation of applications trace informations in the context of embedded systems
Guillaume Huard (LIG...
1
1
Agreement and disagreement between ontologies as an ontology matching tool
Jerome Euzenat (LIG-...
1
1
AI Planning
Humbert Fiorino (LIG...
1
1
Algorithmes à colonies de fourmis pour l'analyse sémantique de textes
Didier Schwab (LIG-G...
0
1
Algorithmes de routage probabilistes auto-adaptatifs pour réseaux de capteurs sans fil
Antoine Gerbaud (VER...
1
1
Algorithmes et techniques d'implémentation pour les automates de messages
Christian Boitet (LI...
1
1
Analyse de programme par interprétation Abstraite
Matthieu Moy (VERIMA...
1
1
Analyse Dimensionnelle de l'Eclairage
Cyril Soler (LJK) Ni...
1
1
Analyse multimodale de communication non-verbale
Dominique Vaufreydaz...
0
1
Analyse statique par itération de politiques sur les chemins
David Monniaux (VERI...
1
1
Analyse statique par optimisation sous contraintes
David Monniaux (VERI...
1
1
analyseurs statiques certifiés
David Monniaux (VERI...
2
2
Analysis of robustness properties for a secure system
Laurence Pierre (TIM...
1
1
Analysis under same type of XQuery programs
Nabil Layaida (LIG-I...
1
1
Anisotropic scoring function
Stephane Redon (LIG-...
1
1
Annotation et Recherche d'images+texte par modèles de langues sur des graphes
Jean-Pierre Chevalle...
1
1
Applying the Inevitable Collision States Concept for Safe Humanoid Robot Motion
Thierry Fraichard (L...
1
1
Apprentissage a partir d'images: le cas des pietons dans des videos
Augustin Lux (LIG-IN...
0
1
Approche formelle pour une validation systématique de politiques de sécurité en SI
Akram Idani (LIG-VAS...
0
1
Approche méthodologique pour l'aide à la conception d'environnement de géovisualisation
Paule-annick Davoine...
0
1
Approches hybrides pour la traduction automatique (TA) Application à la TA de Parole Arabe/Français
Laurent Besacier (LI...
1
1
Articuler des logiques de résolution hétérogènes pour le traitement d’images - Application à la détection par IRM d’anormalités cérébrales
Catherine Garbay (LI...
1
1
Artificial vision parallel algorithms on GPU
Dominique Houzet (GI...
1
1
Assertion-Based Verification of hardware systems: generation of proper test sequences
Laurence Pierre (TIM...
1
1
Assessing the “quality” of a surgical procedure
Sandrine Voros (TIMC...
1
1
Au-delà de la 2D pour les interfaces cerveau-machine
Christian Jutten (GI...
0
1
Auto-explication de systèmes interactifs
Sophie Dupuy-Chessa...
1
1
Automated Diagnosis of C Programs
Shin Nakajima (Natio...
0
1
Automatic certification of 3D movies
Frederic Devernay (L...
0
1
Automatic classification of ambiguities produced by a natural language parser
Herve Blanchon (LIG-...
1
1
Automatic extraction of ontological statements from YAGO
Marie-Christine Rous...
1
1
Automatic Gallery
Alexandre Demeure (L...
0
1
Automatic mathematical competencies classification using OWL2 - Classification automatique de compétences en mathématiques avec le langage OWL2
Cyrille Desmoulins (...
1
1
Brain-Computer Interface et multimodalité : application au Eye-Tracking
Franck Tarpin-Bernar...
0
1
Brush Abstraction and Authoring for Fast Proxy-Based 3D Painting
Marie-Paule Cani (LJ...
0
1
Carefree public key cryptographic system
Frederic Prost (LIG-...
1
1
Classification automatique des ambiguïtés produites par un analyseur de la langue naturelle
Herve Blanchon (LIG-...
1
1
Classification d’événements par fusion de modalités audio et vidéo
Zaid Harchaoui (INRI...
0
1
Clustering de tubes spatio-temporels pour la reconnaissance d'actions
Zaid Harchaoui (INRI...
0
1
Coarse to fine, knowledge-based motion synthesis
Remi Ronfard (INRIA)...
1
1
Coarse-grained potential for proteins
Stephane Redon (LIG-...
1
1
Collision risk estimation for Advanced Driving Assistance Systems
Mathias Perrollaz (L...
0
1
Comparaison entre contrôle et monitoring pour les systèmes autonomiques
Ylies Falcone (LIG-V...
1
1
Compilation and diagnosis for discrete controller synthesis/Compilation et diagnostic pour la synthèse de contrôleurs discrets
Gwenaël Delaval (LIG...
1
1
Comportement de système de gestion de fichiers sur architecture Cloud
Yves Denneulin (LIG-...
0
1
Conception des modèles de rétroaction centrés connaissances pour des systèmes d’apprentissage en formation professionnelle, le cas de la chirurgie
Vanda Luengo (LIG-Me...
1
1
Confidence Measures for Statistical Machine Translation
Laurent Besacier (LI...
1
1
Conformance Testing for Home Automation System / Test de conformité pour les services domotiques
Ylies Falcone (LIG-V...
1
1
Correspondances entre espaces conceptuels monolingues
Gilles Serasset (LIG...
1
1
Coverage Analysis of LNT Models
Gwen Salaun (LIG-INR...
1
1
Data analysis and information retrieval algorithms for energy efficient buildings
Ahlame Douzal (LIG-A...
1
1
Débogueur multiprocesseur sur plateforme multicœur embarquée
Vania Marangozova-Ma...
1
1
Découverte du modèle des tâches d'un utilisateur
Francis Jambon (LIG-...
1
1
Definition and implementation of a Spatial-OLAP model for the management of missing values
Jerome Gensel (LIG-S...
1
1
Design of high-tech devices: assessment of a High-Level Synthesis tool
Laurence Pierre (TIM...
1
1
Detail preserving deformations of 3D shapes
Stefanie Hahmann (LJ...
0
1
Detection and tracking of a surgical instrument in laparoscopic images
Sandrine Voros (TIMC...
1
1
Detection de vulnerabilites de type debordement arithmetique / Detection of arithmetic overflow vulnerabilities
Laurent Mounier (VER...
1
1
Developable surfaces: capture and reconstruction
Stefanie Hahmann (LJ...
1
1
Distributed pervasive component model
Philippe Lalanda (LI...
0
1
Documentation de LSPL (langages spécialisés pour la programmation linguistique) pour la TAO et développement du moniteur bipartite uMONIT/pMONIT d'Ariane-Y
Christian Boitet (LI...
1
1
Dynamic non-interference
Frederic Prost (LIG-...
1
1
Edition, transformation mutuelle et coédition de graphes UNL et d'arbres UNL sous Ariane-Y
Christian Boitet (LI...
1
1
Elderly and Fragile people Interacting with a wheelchair
Anne Spalanzani (LIG...
1
1
Élimination de quantificateurs
David Monniaux (VERI...
1
1
Enrichment and reasoning on automatically built ontology in ambient computing.
Fabrice Jouanot (LIG...
0
1
Enrichment of a reference ontology for debugging of embedded application on SoC
Fabrice Jouanot (LIG...
1
1
Environnement de programmation parallele dataflow sur cluster de GPU
Dominique Houzet (GI...
0
1
Estimation of local surface rigidity parameters of tracked 3D shapes
Jean-Sébastien Franc...
1
1
Étude analytique du parallélisme utilisant des composants matériels reconfigurables
Olivier Muller (TIMA...
1
1
Etude de mécanismes avancés pour les "batch schedulers"
Denis Trystram (LIG-...
0
1
Etude et mise en oeuvre de techniques de surveillance et d'imposition à l'exécution / Study and implementation of runtime verification and enforcement techniques
Laurent Mounier (VER...
0
1
Études et implantations de variantes d’un algorithme de désambiguïsation lexicale
Didier Schwab (LIG-G...
1
1
Evaluation and Validation of Clock-Synchronization Protocols in Sensor Networks
Florence Maraninchi...
1
1
Evaluation de la consommation énergétique d'un noeud de réseau de capteurs par prototypage virtuel
Laurent Mounier (VER...
0
1
Évaluation de performances de codes réactifs sur des architectures de cache simplifiées
David Monniaux (VERI...
1
1
Évaluation de performances pour les systèmes embarqués : machines d’état et exploration d’espace d’état
Matthieu Moy (VERIMA...
1
1
Experimenting Semantic-Preserving Implementations on a Hard Real-Time Operating System
Florence Maraninchi...
0
1
Exploration of computational models for visual cues.
Victor Ostromoukhov...
0
1
Extending multilingual wiktionary extraction
Gilles Serasset (LIG...
1
1
Extraction of minimal and robust modules in DL-Lite
Marie-Christine Rous...
1
1
Fair Response Time Optimization of Multi-User BOINC Projects
Arnaud Legrand (LIG-...
1
1
Fast Parallel Discrete Event Simulation of Network on Chip based Systems
Frédéric Petrot (TIM...
0
1
Fast simulation of Systems-on-Chip; Acceleration techniques for SystemC
Matthieu Moy (VERIMA...
1
1
Finger tracking for large multi-touch surfaces
François Bérard (LIG...
1
1
Force control of a humanoid robot
Pierre-Brice Wieber...
0
1
Formal Verifcation of SystemC Programs
Matthieu Moy (VERIMA...
1
1
Frequent itemset mining through decomposition of the transaction matrix
Eric Gaussier (LIG-A...
0
1
From face detection to video indexing
Franck Thollard (LIG...
2
2
Fusion of Ultrasound and endoscopic images for laparoscopy
Sandrine Voros (TIMC...
1
1
Génération automatique de programmes parallèles "adaptatifs"
Thierry Gautier (LIG...
0
1
Génération de témoins de preuve en arithmétique non linéaire
David Monniaux (VERI...
1
1
Géométrie discrète et combinatoire des mots
Srecko Brlek (Autre)...
0
1
Gestion de traces pour MPSoC
Vania Marangozova-Ma...
1
1
Gesture Controlers from Movies
Remi Ronfard (INRIA)...
1
1
Hardware-accelerated Crescando through programmable processing units
Jeremy Meyer (Amadeu...
0
1
How to deal with space and time embedded in Linked Data?
Jerome Gensel (LIG-S...
1
1
Human Robot Interaction Using the Kinect
Anne Spalanzani (LIG...
1
1
Humanoid Navigation
Anne Spalanzani (LIG...
1
1
Humanoid Navigation
Anne Spalanzani (LIG...
1
1
Identification Structurelle
Emmanuel Mazer (INRI...
0
1
Implementation of a marker-based motion capture system to detect attitude, velocity and position of a quadcopter
Agostino Martinelli...
1
1
Improved interfaces for 3D target acquisition using the CubTile
Jeremy Cooperstock (...
0
1
Improving semantic models for the word association task
Gilles Bisson (LIG-A...
1
1
Infrastructure logicielle pour les systèmes embarqués
Vania Marangozova-Ma...
1
1
Ingénierie de documents ou blogs multilingues offrant plusieurs niveaux d'appropriation, application à des domaines d'informatique théorique
Christian Boitet (LI...
0
1
Instruction modelling for Dynamic Binary Translation generation
Frédéric Petrot (TIM...
1
1
Intelligent moving furniture
Anne Spalanzani (LIG...
1
1
Interactive deformations of large molecular systems
Stephane Redon (LIG-...
1
1
Interactive visualization of decentralized version control systems (DVCS)
Renaud Blanch (LIG-I...
0
1
Interoperabilité multilingue de bases lexicales hétérogènes
Gilles Serasset (LIG...
1
1
Joint estimation of primary brain functional territories from functional MRI and Arterial Spin Labelling
Augustin Lux (LIG-IN...
1
1
L-system and non-uniform subdivision schemes for surfaces
Cedric Gerot (GIPSA-...
0
1
Langage de modélisation haut niveau pour la plateforme Android / High Level Modeling Language for the Android Platform
Ylies Falcone (LIG-V...
1
1
Linux Kernel Virtual Machine Performance Analysis on Embedded Systems
Daniel Raho (Open Vi...
0
1
Lithographie électronique
Jean-Francois Mehaut...
1
1
Logiciel intégratif pour le pilotage d'un dispositif de mesures d'élasticité in vivo
Celine Fouard (TIMC)...
1
1
Machine Learning for sustaining User Interfaces Plasticity
Gilles Bisson (LIG-A...
1
1
Machine Learning Methods and Adaptation of Real-Time Planning to Dynamic Environments
Humbert Fiorino (LIG...
1
1
Machine Learning Methods to Speed-up Real-Time Adaptive Planning
Humbert Fiorino (LIG...
1
1
Mesures de confiance pour la traduction automatique (TA)
Laurent Besacier (LI...
1
1
Méta-modélisation de scénarios d'apprentissage en relation avec l’organisation des connaissances mobilisées
Viviane Gueraud (LIG...
0
1
Méthodes multi-objectif pour le problème de l’acheteur-voyageur avec contraintes
Nadia Brauner (G-SCO...
1
1
Mining distributed and multimodal streams
Alexandre Termier (L...
0
1
Mobile contextual interaction
Laurence Nigay (LIG-...
1
1
Modal Logic and Graph Rewriting
Rachid Echahed (LIG-...
1
1
Model Transformation/Transformation de modèles
Rachid Echahed (LIG-...
1
1
Modèles statistiques de forme et d’apparence 3D non-linéaires
Gerard Bailly (GIPSA...
0
1
Modeling and Simulation of Exascale Computing Platforms
Arnaud Legrand (LIG-...
0
1
Modélisation de mémoire cache pour le calcul de temps d'exécution pire-cas (WCET)
David Monniaux (VERI...
1
1
Modélisation de plateforme parallèle pour le HPC
Vania Marangozova-Ma...
1
1
Modélisation du processus d’analyse des traces temporelles afin de comprendre l’évolution de l’apprenant quand il interagit avec un environnement informatique d’apprentissage
Vanda Luengo (LIG-Me...
1
1
Motion Hull
Jean-Sébastien Franc...
0
1
New approaches to visualize and to explore hierarchical data
Gilles Bisson (LIG-A...
1
1
New methods to analyze and debug Autonomous Energy Harvesting Nodes of Wireless Sensors Networks
Roberto Guizzetti (S...
0
1
Obfuscation de code et analyse de binaire / Obfuscation and binary code analysis
Laurent Mounier (VER...
1
1
Ontologies for qualitative spatio/temporal reasoning and querying
Jerome Gensel (LIG-S...
1
1
Optimisation sous contraintes disjonctives
David Monniaux (VERI...
1
1
Optimizing a multiple service substitution algorithm
Noha Ibrahim (LIG-HA...
1
1
Ordonnancement centré sur les utilisateurs
Denis Trystram (LIG-...
1
1
Ordonnancement de communications et vol de travail.
Frederic Wagner (LIG...
1
1
Ordonnancement de périodes de maintenance dans différents environnements
Marie-Laure Espinous...
0
1
Ordonnancement pour les nouvelles plates-formes de calcul
Denis Trystram (LIG-...
1
1
Ordonnancement robuste et flexible
Marie-Laure Espinous...
1
1
ordonnancement sous contraintes
Frederic Wagner (LIG...
0
1
Parallélisation adaptative de boucle indépendante sur architecture à mémoire distribuée
Thierry Gautier (LIG...
0
1
Patient specific modeling of the foot
Marek Bucki (TIMC-GM...
0
1
Perception visuelle : approche bayésienne versus approche crédibiliste
Michèle Rombaut (GIP...
1
1
Performance Evaluation for Embedded Systems: State Machines and State-Space Exploration
Matthieu Moy (VERIMA...
1
1
Performance measurement and simulation
Jean-Francois Mehaut...
0
1
Pervasive environment: Autonomic management of multimodal interaction
Laurence Nigay (LIG-...
1
1
Pointer Analysis and Verification
Pierre Geneves (LIG-...
1
1
Power consumption in embedded systems: model and analysis
Catherine Parent (VE...
1
1
Preference representation over spatial information: application to mobile sensor control
Sylvain Bouveret (LI...
1
1
Privacy Analysis and Verification in Social Networks
Pierre Geneves (LIG-...
1
1
Problème de localisation
Nadia Brauner (G-SCO...
1
1
Problèmes SMT et raisonnement par abduction
Nicolas Peltier (LIG...
0
1
Programmation parallèle des algorithmes adaptatifs et contrôle du grain
Thierry Gautier (LIG...
1
1
Protocoles pair-à-pair de diffusions de streams vidéo tolérant les comportements rationnels
Vivien Quema (LIG-IN...
0
1
Quadratic Optimization for Computational Drug Discovery
Sergei Grudinin (INR...
1
1
Qualité et énergie dans l'interrogation de capteurs hétérogènes
Cyril Labbe (LIG-SIG...
1
1
Query generation from expressive ontology alignments
Jerome Euzenat (LIG-...
1
1
Reactive coordination of component-based autonomic administration loops
Eric Rutten (LIG-INR...
1
1
Reactive robot trajectories
Pierre-Brice Wieber...
0
1
Réalité augmentée mobile : techniques de sélection
Thomas Vincent (LIG-...
1
1
Recherche de vulnérabilités logicielles / Software vulnerability detection
Laurent Mounier (VER...
1
1
Réduction et visualisation de l'espace de recherche en traduction automatique par analogie
Christian Boitet (LI...
1
1
Relations d'équivalences entre tests pour la minimisation des suites de test
Yves Ledru (LIG-VASC...
1
1
Routing Protocols for Dynamic Wireless Sensor Networks
Stéphane Devismes (V...
1
1
Scalable descriptors for multimedia indexing and retrieval
Georges Quénot (LIG-...
1
1
Schema and Query Evolution
Pierre Geneves (LIG-...
0
1
Segmentation multi-images sur GPU
Dominique Houzet (GI...
1
1
Semantic structuring of specialized queries to enhance precision of an Information retrieval System applied to a technical domain.
Jean-Pierre Chevalle...
0
1
Shape simplification through heat diffusion
Dominique Attali (GI...
1
1
Shape symmetry analysis and simplifications under mechanical simulation requirements
Jean-Claude Leon (LJ...
1
1
Simplification of 3D and 4D simplicial complexes for topological analysis and singularity classification
Jean-Claude Leon (LJ...
1
1
Simulation / Optimisation d’une chaîne logistique par Système Multi-Agents (Supply chain simulation/optimization by Multi-Agent System)
Maxime Ogier (G-SCOP...
2
2
Specification and synthesis of fault-tolerant circuits
Pascal Fradet (LIG-I...
1
1
Spécification et développement d’une API pour l’interfaçage de périphériques d’interaction multimodale.
Philippe Marin (G-SC...
1
1
Static Analysis for JSON
Pierre Geneves (LIG-...
0
1
Statistical Shape Grammars
Remi Ronfard (INRIA)...
1
1
Steering a Virtual Actor by its Head
Remi Ronfard (INRIA)...
1
1
Stereoscopic Video Cut and Paste
Frederic Devernay (L...
0
1
Stratégies de déploiement de composants matériels reconfigurables dans un système d’exploitation embarqué : comparaison et expérimentations
Olivier Muller (TIMA...
1
1
Structuration de base de plans vidéo par apprentissage actif crédibiliste
Michèle Rombaut (GIP...
1
1
Studies and implementations of Word Sense Disambiguation algorithms
Didier Schwab (LIG-G...
1
1
Stylized synthesis of vectorial patterns for the automatic drawing of mountains in topographic maps
Joelle Thollot (LJK)...
0
1
Suivi personnalisé du combattant
Catherine Garbay (LI...
1
1
Synchronous Programming for Low-Level Software on Sensor Nodes
Florence Maraninchi...
1
1
Synthèse de systèmes numériques à partir de propriétés
Dominique Borrione (...
1
1
TCP : étude et mécanisme de contrôle de congestion basé sur la taille
Martin Heusse (LIG-D...
0
1
Test en ligne contraint par l'énergie dans les systèmes de capteurs hétérogènes
Oum-El-Kheir Aktouf...
1
1
Test fonctionnel de logiciel appliqué aux Interfaces Homme Machine
Francis Jambon (LIG-...
1
1
Textual Summarization of Scientific Articles and Phone Usage Patterns
Marie-Christine Rous...
0
1
Topic extraction and bundling of related scientific articles
Marie-Christine Rous...
0
1
Topology driven smoothing of functions for Computer Graphics and Visualization
Georges-Pierre Bonne...
1
1
Towards the decentralized development of dynamic, loosely coupled distributed applications
Philippe Lalanda (LI...
0
1
Traitements et caractéristiques visuelles dédiées à la recherche de peintures artistiques. Application à un guide mobile dans un musée.
Jean-Pierre Chevalle...
1
1
Travelling Purchaser Problem avec fonction de préférence sur les produits
Bernard Penz (G-SCOP...
0
1
Travelling Purchaser Problem multi-acteurs avec partage de tournées
Bernard Penz (G-SCOP...
1
1
Un serious game pour la gestion des processus métier des organisations virtuelles
Agnes Front (LIG-SIG...
0
1
Une approche sémantique pour la détection d’incohérences entre informations provenant du Web
Marie-Christine Rous...
1
1
Use of auxiliary translation for improving decoding in statistical machine translation.
Laurent Besacier (LI...
1
1
Using Linked Data as a Resource for Natural Language Processing
Nikolaos Lagos (XERO...
0
1
Using Natural Language to structure terms from a meta-thesaurus. Application to a conceptual graph based and logical based matching on a technical domain.
Jean-Pierre Chevalle...
1
1
Validation automatique de classification utilisateur sur des corpus d’intelligence économique
Jean-Pierre Chevalle...
1
1
Validation dynamique des applications de vente aux enchères / Dynamic validation of auction applications
Ylies Falcone (LIG-V...
1
1
Veille d'information par les tweets : vers un ajustement automatique des flux à suivre (Information watch with tweets: towards an automatic adaptation of feeds to follow)
Nathalie Denos (LIG-...
0
1
Vérification automatique de validité de contraintes dans un logiciel de voyageur de commerce
Denis Naddef (G-SCOP...
1
1
Vérification de comportement de programmes parallèle à partir de traces d'exécution
Frédéric Petrot (TIM...
1
1
Vérification de systèmes interactifs
Sophie Dupuy-Chessa...
1
1
Visual asset replacement based on aesthetic preference
Luca Marchesotti (XE...
0
1
Visualisation et traitement de grandes images
Celine Fouard (TIMC)...
1
1
Titre :
Responsables :
Contact :
Mots-clés :
Durée prevue :
Filières concernées :
Nombre max. d'étudiants :
Nombre de places disponibles :
Description :