Code robustness againt fault injection |
Laurent Mounier (VER... |
1 |
1 |
|
Fact Checking Nucleotide Sequences in Life Science Publications |
Cyril Labbe (LIG-SIG... |
1 |
1 |
|
2.5D procedural stylization |
Romain Vergne (LJK)... |
1 |
1 |
|
3D design of ancient garments |
Stefanie Hahmann (LJ... |
1 |
1 |
|
3D sketching and sculpting in VR |
Stefanie Hahmann (LJ... |
1 |
1 |
|
A formal data pipelines algebra for large-scale user data mining |
Sihem Amer-Yahia (LI... |
1 |
1 |
|
Abstraction methods for compilation using discrete controller synthesis |
Gwenaël Delaval (LIG... |
1 |
1 |
|
Active and semi-supervised learning using topological data analysis |
Massih-Reza Amini (L... |
1 |
1 |
|
Analysis and identification of reaction mechanisms for self-protection in cybersecurity |
Eric Rutten (LIG) St... |
1 |
1 |
|
Apache Flink Stream Processing for Scientific Simulations |
Bruno Raffin (LIG-IN... |
1 |
1 |
|
Artificial intelligence model for medical diagnostic assistance |
Philippe Augerat (su... |
1 |
1 |
|
Audit the transparency mechanisms provided by social media advertising platforms |
Oana Goga (LIG - SLI... |
1 |
1 |
|
Automated Discovery of Nested Units in Petri Nets |
Hubert Garavel (LIG-... |
1 |
1 |
|
Automatic circuit transformations for fault-tolerance |
Pascal Fradet (LIG-I... |
1 |
1 |
|
Automatic speech recognition using independent speaker dynamic parameters |
Dominique Vaufreydaz... |
1 |
1 |
|
Build a platform for increasing the transparency of social media advertising |
Oana Goga (LIG - SLI... |
1 |
1 |
|
Classification and Selection of Execution Traces |
Yves Ledru (LIG-VASC... |
1 |
1 |
|
Combinations of cache analyses |
Claire Maiza (VERIMA... |
1 |
1 |
|
Compilation and diagnosis for discrete controller synthesis |
Gwenaël Delaval (LIG... |
1 |
1 |
|
Computational design of marionettes |
Mélina Skouras (INRI... |
1 |
1 |
|
Contextual Neural Machine Translation of User Generated Contents |
Laurent Besacier (LI... |
1 |
1 |
|
Contract-Based Verification of Cyber-Physical Systems |
Thao Dang (VERIMAG)... |
1 |
1 |
|
Coupled Audio-visual Multi-speaker Tracking |
Xavier Alameda-Pined... |
1 |
1 |
|
DATA ASSIMILATION AT LARGE SCALE |
Bruno Raffin (LIG-IN... |
1 |
1 |
|
Data interlinking using link keys and rules |
Marie-Christine Rous... |
1 |
1 |
|
Debugging of Concurrent Specifications via Counterexample Analysis and Graph Visualization. |
Gwen Salaun (LIG) |
1 |
1 |
|
Deep explanation for Multimedia Indexing and Retrieval. |
Georges Quénot (LIG-... |
1 |
1 |
|
Deep Learning for Fallen person detection using RGB-D sensor on a mobile robot |
Dominique Vaufreydaz... |
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'une interface de consultation d'un grand corpus de textes étiquetés. |
Cyril Labbe (LIG-SIG... |
1 |
1 |
|
Développement de mesures de détections de cyberattaques et contres mesures associées dans une application IoT (Internet of Things) |
Maxime Louvel (BAG-E... |
1 |
1 |
|
Dialog-Level Neural Spoken Language Understanding from Speech |
Laurent Besacier (LI... |
1 |
1 |
|
Direct and inverse modelling of laser-cut meta-materials |
Mélina Skouras (INRI... |
1 |
1 |
|
End User Development for the Smart Home. Defining and using tests. |
Sybille Caffiau (LIG... |
1 |
1 |
|
Engineering and Validation of Efficient and Safe Planning Domain Models for Cobotics |
Humbert Fiorino (LIG... |
1 |
1 |
|
Ensuring Correctness of Data-Graph Transformations |
Rachid Echahed (LIG-... |
1 |
1 |
|
Etude et preuve de convergence d'un algorithme de Machine Learning déterministe |
Roland Groz (LIG-VAS... |
1 |
1 |
|
Evaluating the impact of cache control technologies on HPC workloads |
Guillaume Huard (LIG... |
1 |
1 |
|
Explaining faults in dynamic networks |
Gregor Goessler (LIG... |
1 |
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 |
|
Fusion of 3D / 2D medical imaging data |
Philippe Augerat (su... |
1 |
1 |
|
Gazeable Objects |
Xavier Alameda-Pined... |
1 |
1 |
|
Generative Networks for Incremental Learning |
Georges Quénot (LIG-... |
1 |
1 |
|
Guided Model-checking of safety and security policies |
Yves Ledru (LIG-VASC... |
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 |
|
Integrating perception, decision and action for mobile industrial robots |
Damien Pellier (LIG-... |
1 |
1 |
|
Interference analysis for the new Kalray MPPA3 many-core |
Claire Maiza (VERIMA... |
1 |
1 |
|
Investigating convergence of a deterministic Machine Learning algorithm |
Roland Groz (LIG-VAS... |
1 |
1 |
|
Jeux vidéos pour interface visuelle (eye-tracking)/Video games for visual interface (eye-tracking) |
Didier Schwab (LIG-G... |
1 |
1 |
|
Large Scale Sensitivity Analysis with the future data from SWOT Satellite for a Hydrological Model in Africa. |
Bruno Raffin (LIG-IN... |
1 |
1 |
|
Learning by Demonstration of Action Models for Cobot Programming |
Damien Pellier (LIG-... |
2 |
2 |
|
Learning reflex for intelligent robots |
Damien Pellier (LIG-... |
1 |
1 |
|
Mean Field Optimal Control for Multi-Armed Bandit Problems |
Patrick Loiseau (LIG... |
1 |
1 |
|
Minimizing cluster underuse with a control-based approach |
Olivier Richard (LIG... |
1 |
1 |
|
Modeling of feathers |
Florence Bertails-De... |
1 |
1 |
|
Modeling with auxetic free-form structures |
Stefanie Hahmann (LJ... |
1 |
1 |
|
Moteur de recherche assisté par eye-tracking |
Francis Jambon (LIG-... |
1 |
1 |
|
Multiscale Neural Machine Translation |
Laurent Besacier (LI... |
1 |
1 |
|
Natural language generation: comparison of language models |
Cyril Labbe (LIG-SIG... |
1 |
1 |
|
On-Line Learning from Multiple Simulations with TensorFlow |
Bruno Raffin (LIG-IN... |
1 |
1 |
|
Online HPC workload data analysis for light and reactive control |
Guillaume Huard (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 |
|
Optimisation and efficient evaluation of expressive queries over big graphs |
Pierre Geneves (LIG-... |
1 |
1 |
|
Optimization-Driven Generation of data pipelines for large-scale user data mining |
Sihem Amer-Yahia (LI... |
1 |
1 |
|
PickCells: Physically Reconfigurable Cell-composed Touchscreen |
alix goguey (LIG-IIH... |
1 |
1 |
|
Predictive analytics with big medical data |
Pierre Geneves (LIG-... |
1 |
1 |
|
Proofs in AI Planning |
Humbert Fiorino (LIG... |
1 |
1 |
|
Real-Time recommendation systems in large-scale data ecosystems |
Emmanuel Lepage (Dir... |
2 |
2 |
|
Relational concept analysis through constraint satisfaction |
Jérôme Euzenat (LIG-... |
1 |
1 |
|
Replicator/interactor model for cultural knowledge evolution |
Jérôme Euzenat (LIG-... |
1 |
1 |
|
Reverse engineering of SCADA protocols |
Stéphane Mocanu (LIG... |
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 |
|
Robust voice activity detection with deep neural networks |
Xavier Alameda-Pined... |
1 |
1 |
|
Rust for Performance: Parallel Data Structure for Stream Data Storage |
Bruno Raffin (LIG-IN... |
1 |
1 |
|
Safe Navigation for Robots Among People |
Thierry Fraichard (L... |
1 |
1 |
|
Scalability of the interference analysis for a multi-core platform |
Claire Maiza (VERIMA... |
1 |
1 |
|
Scalable machine learning with massive collections of electronic health records |
Pierre Geneves (LIG-... |
1 |
1 |
|
Self-Stabilization in Time-Varying Graph |
Karine Altisen (VERI... |
1 |
1 |
|
Sequential Learning in Combinatorial Bandits under Delayed and Anonymous Feedback |
Patrick Loiseau (LIG... |
1 |
1 |
|
Speaker identity modeling with deep learning for re-identification |
Xavier Alameda-Pined... |
1 |
1 |
|
Speech enhancement with deep neural networks |
Xavier Alameda-Pined... |
1 |
1 |
|
Taming the Beast of the Preimage in Machine Learning for Temporal Data |
Ahlame Douzal (LIG-A... |
1 |
1 |
|
Temporal Data Mining: Learning from Positive Examples |
Thao Dang (VERIMAG) |
1 |
1 |
|
User-Driven Generation of data pipelines for large-scale user data mining |
Sihem Amer-Yahia (LI... |
1 |
1 |
|
Utilisation des tests pour le développement des habitats intelligents par leurs habitants : Apports et limites des outils interactifs |
Sybille Caffiau (LIG... |
1 |
1 |
|
Validation of a Probabilistic Perception System for Autonomous Vehicles by using Formal Methods and Execution traces |
Radu Mateescu (LIG-I... |
1 |
1 |
|
Visualizing Health Tweets over Time |
Sihem Amer-Yahia (LI... |
1 |
1 |
|
Vulnerability search in Industrial Control Systems: a reverse engineering approach |
Laurent Mounier (VER... |
1 |
1 |
|
Contacts
Sujets année courante
Mes sujets année courante
Gestion de plannings
Utilisateurs
Filières
Etudiants
Laboratoires
Effacer
Contacter
Description HTML