Thèses et HDR

Intégration neuro-symbolique de l'extraction de connaissances et du raisonnement sur les graphes.

Quantitative Verification and Runtime Techniques for Industrial Automation Systems

Apprentissage multi-cibles pour la justice prédictive

Apprentissage multi-cibles pour la justice prédictive

Méthodes Contrastives pour l'amélioration de l'Apprentissage de Représentation

Personalized Federated Learning for Sensor-based Human Activity Recognition in Pervasive Heterogeneous Environments

The Domain Name System: a Tool and a Target for Internet-Wide Measurements

Garanties théoriques et amélioration de la classification multi-tâches semi-supervisée en grande dimension

Développement d’une méthodologie basé sur l’apprentissage automatique pour la classification de nanoparticules à partir de données de Diffusion de rayons-X au Petits Angles (SAXS)

Approches sensibles à l'affect pour le résumé automatique de textes : application au dialogue et à la remédiation cognitive dans un contexte à faible ressources

Efficient Message-Passing Decoding of Quantum LDPC Codes

Formal Modeling for Testing of System-on-Chip Resource Isolation

Online Distributed Learning : A Projection-Free Approach

Deep Learning for 3D Spatial Data Analysis: Methods and Applications in the Fourier Domain

Efficiency and Fairness in Matching Problems

Une méthodologie polyvalente pour évaluer la consommation électrique et l'empreinte environnementale de l'entraînement de l'apprentissage machine : des supercalculateurs aux équipements embarqués

A Theory of Distributed Reversible Systems with Failures and Recovery

Dimensions de variation de la parole spontanée pour l’étude inter-corpus des performances de systèmes de reconnaissance automatique de la parole

Découverte causale à partir de séries temporelles hétérogènes avec application aux données de surveillance informatique

Measuring, Analysing and Mitigating Malicious Activities on the Internet: A Study on DNS, Open Proxies and Domain Name Defensive Registrations

Multimodal human-robot collaboration in shared tasks

Planification de missions pour des systèmes robotiques maritimes intégrés

Ingénierie de l'instrumentation pour la vérification de l'exécution

Interaction via des matériaux mous et programmables

Mean Field Methods for Heterogeneous and Coupled Systems

Modélisation, Analyse en Temps Réel et Vérification Quantitative des Processus Métier

Specification-based Intrusion Detection for hybrid Industrial control systems

Évaluation experte d’un prototype d’aide à la traduction créative : La traduction littéraire automatique individualisée au regard de ses enjeux traductologiques, éthiques et sociétaux

Architectures et techniques d'entraînement pour la traduction parole-texte multilingue

Deep Learning for Numerical Simulation at Scale

Gestion collaborative des pannes en cascades sur les objets connectés

Navigation Sociale Adaptative du Robot en Environnement Humain dans une Ecologie Réelle d'Usages