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 |
|
Contacts
Sujets année courante
Mes sujets année courante
Gestion de plannings
Utilisateurs
Filières
Etudiants
Laboratoires
Effacer
Contacter
Description HTML