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 |
|
Comparaison des approches Systèmes Multi Agent et jumeaux numériques pour le test et la sécurité des systèmes cyber physique |
Oum-El-Kheir Aktouf... |
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 |
|
Deep generative learning for next-generation drugs |
Sergei Grudinin (INR... |
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 |
|
Extracting and representing patients’ trajectories to improve medical care |
Antoine RICHARD (CHU... |
1 |
1 |
|
Faults in Linux |
Nicolas Palix (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 |
|
Language Design for FreeRTOS scheduling |
Nicolas Palix (LIG -... |
1 |
1 |
|
Leveraging prior information of image textual description for anomaly segmentation in semantic scene understanding |
Kai Wang (GIPSA-lab)... |
1 |
1 |
|
Matching, reconstruction and learning 3D shapes using high-order polynomials and rotation-invariant descriptors |
Sergei Grudinin (INR... |
1 |
1 |
|
Matrices quasiséparables : génération aléatoires pour le test d'une bibliothèque de calcul |
Clément Pernet (LJK)... |
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 |
Antoine RICHARD (CHU... |
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 |
|
Système de reconnaissance vocale pour la parole d’enseignants |
François Portet (LIG... |
1 |
1 |
|
tous sujets VERIMAG |
David Monniaux (VERI... |
1 |
1 |
|
Towards a suite of CPS-AI benchmarks for CyphAI |
Thao Dang (VERIMAG) |
1 |
1 |
|
Traductions et sens des mots / Translations and word meanings |
Gilles Serasset (LIG... |
1 |
1 |
|
Using generated images in order to improve CNN performances? |
Alice Caplier (GIPSA... |
1 |
1 |
|
Validation of I/O-Avoiding Scheduling Policies |
Raphaël Bleuse (INRI... |
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 |
|
Visualisation interactive sur architecture HPC |
Renaud Blanch (LIG-I... |
1 |
1 |
|
Contacts
Sujets année courante
Mes sujets année courante
Gestion de plannings
Utilisateurs
Filières
Etudiants
Laboratoires
Effacer
Contacter
Description HTML