Adapting Hardware Platforms to a Multi-Core Response Time Analysis Framework |
Bruno Ferres (VERIMA... |
1 |
1 |
|
Analyzing fault parameters triggering timing anomalies |
Pascal Raymond (VERI... |
1 |
1 |
|
Application of automated planning to industrial production management |
Damien Pellier (LIG-... |
1 |
1 |
|
Applying Standpoint Logic to the Semantic Web |
Lucia Gomez Alvares... |
1 |
1 |
|
Automatic generation of test procedures with artificial intelligence |
Nicolas Hili (LIG) |
1 |
1 |
|
Building LLMs for the medical domain |
Lorraine Goeuriot (L... |
1 |
1 |
|
Context-Aware Neural Machine Translation Evaluation II |
Marco Dinarelli (LIG... |
2 |
2 |
|
Debugging Component-based Systems |
Akram Idani (VERIMAG... |
1 |
1 |
|
Définition et implémentation d’un outil de Réalité Augmentée dans le cadre de la formation en maïeutique (diplôme de sage-femme) |
Guillaume Thomann (G... |
1 |
1 |
|
Designing a bottom-to-top tool to teach data visualization to children |
Adrien Chaffangeon C... |
1 |
1 |
|
Detection and analysis of human reactions for the adaptation of cobot behaviour in an industrial environment |
Damien Pellier (LIG-... |
1 |
1 |
|
Développer un outil graphique de configuration d’application web 3D |
Joelle Thollot (LJK)... |
1 |
1 |
|
Développeur python pour l’extraction et l’édition de données géographiques |
Joelle Thollot (LJK)... |
1 |
1 |
|
Dynamic Analysis of Programs to Quantify the Potential of a Compiler Optimization |
Arthur Perais (TIMA)... |
1 |
1 |
|
Dynamic and probabilistic extensions of standpoint logic |
Jérôme Euzenat (LIG-... |
1 |
1 |
|
Efficient reasoning with standpoint logics |
Jérôme Euzenat (LIG-... |
1 |
1 |
|
Emergence of echo chamber through opinions-beliefs interactions |
Jérôme Euzenat (LIG-... |
1 |
1 |
|
Energy optimization of applications using very large memory spaces |
Thomas Ropars (LIG -... |
1 |
1 |
|
Energy/Performance Trade-offs for Digital Soberness |
Raphaël Bleuse (INRI... |
1 |
1 |
|
Engineering Safe AI Models with Dependently Typed Languages |
Damien Pellier (LIG-... |
1 |
1 |
|
Estimating the environmental impacts of Artificial Intelligence inference deployments |
Danilo Carastan dos... |
1 |
1 |
|
Evaluating Medical LLMs |
Lorraine Goeuriot (L... |
1 |
1 |
|
Evaluating Question/Answer Generation with LLMs |
Sihem Amer-Yahia (LI... |
1 |
1 |
|
Exploration by model-checking of timing anomaly cancellation in a processor |
Pascal Raymond (VERI... |
1 |
1 |
|
Exploring AI Solutions for Insider Threats Identification |
Akram Idani (VERIMAG... |
1 |
1 |
|
Guided Evolution of BPMN Processes |
Gwen Salaun (LIG) |
1 |
1 |
|
Human-AI collaboration for automatic classification of subjective data: application to student comments |
Christian Hoffmann (... |
1 |
1 |
|
Implémentation d'un modèle d'apprentissage profond pour de la fusion d'image. |
Christophe Cérin (IN... |
1 |
1 |
|
Implementation of critical applications on multi-core: execution mode analysis to reduce interferences |
Claire Maiza (VERIMA... |
1 |
1 |
|
Improving the carbon footprint of reliable storage in datacenters |
Thomas Ropars (LIG -... |
1 |
1 |
|
Internship 24/25. AI for Science: generative methods for online adaptive deep learning training |
Bruno Raffin (LIG-IN... |
1 |
1 |
|
Internship 24/25: Combining Transformers and Normalizing Flows for Deep Surrogate Training |
Bruno Raffin (LIG-IN... |
1 |
1 |
|
Internship 24/25: Python Data Processing on Supercomputers for Large Parallel Numerical Simulations |
Bruno Raffin (LIG-IN... |
1 |
1 |
|
LLMs4TestGen : génération de tests à base de LLMs |
Yves Ledru (LIG-VASC... |
1 |
1 |
|
making GPU Tensor cores compute texture interpolation (and more) |
Fabrice Neyret (LJK-... |
1 |
1 |
|
Manapy in the Cloud |
Christophe Cérin (IN... |
1 |
1 |
|
Minimization of Wasted Resources for Digital Soberness |
Raphaël Bleuse (INRI... |
1 |
1 |
|
Object and object features extraction from an image for data collection |
Adrien Chaffangeon C... |
1 |
1 |
|
On the environmental cost of high availability in datacenters |
Thomas Ropars (LIG -... |
1 |
1 |
|
Provenance-Aware LLMs |
Silviu Maniu (LIG -... |
1 |
1 |
|
Reinforcement Learning with Human Feedback (RLHF) for Task-Driven Dataset Discovery and Data Exploration |
Sihem Amer-Yahia (LI... |
1 |
1 |
|
RIGID : Information Retrieval by document identifier generation. |
Philippe Mulhem (LIG... |
1 |
1 |
|
Schema-based Graph Data Integration |
Rachid Echahed (LIG-... |
1 |
1 |
|
Secure Provisioning and Enrollment of IoT Devices Using DNSSEC |
Franck Rousseau (LIG... |
1 |
1 |
|
Security counter-measures in a certified optimizing compiler |
Sylvain Boulme (VERI... |
1 |
1 |
|
Sensorimotor representation learning of manipulable objects |
Jean-Charles Quinton... |
1 |
1 |
|
Supervision of autonomous robotic systems based on SAT and SMT solvers |
Damien Pellier (LIG-... |
1 |
1 |
|
Towards New Frontiers in Multi-Core Response Time Analysis? |
Bruno Ferres (VERIMA... |
1 |
1 |
|
Understanding Logics of Context and Viewpoints |
Jérôme Euzenat (LIG-... |
1 |
1 |
|
Using Generative AI to generate action plans for autonomous systems |
Damien Pellier (LIG-... |
1 |
1 |
|
Contacts
Sujets année courante
Mes sujets année courante
Gestion de plannings
Utilisateurs
Filières
Etudiants
Laboratoires
Effacer
Contacter
Description HTML