[RDI] LT du 3 mai 2023

Bonjour à tous, les horaires de passages sont les mêmes que la dernière fois (voir plus bas). Vous devez uploader vos slides sur moodle avant le LT. Le premier de la session qui présente est "maitre de cérémonie" et se charge donc de la projection des slides et du setup Teams (j'apporte un Jabra). Pour ceux en distanciel, le lien Teams est : https://teams.microsoft.com/l/meetup-join/19%3a_uRPsmNak8EM_VU4QckmcERotbx0… Horaire Equipe Etudiant Site Encadrant 09:00 AA rostan.tabet KB Philipp Schlehubert Synthèse réactive sur un sous-ensemble de LTL nommé GR(1) et motion planning 09:10 AA simon.scatton KB Adrien Pommellet SAT-based Learning of CTL Formulas 09:20 IMAGE vlad.argatu KB Nicolas Boutry Compression d'images IRM de cerveaux via l'utilisation de méthodes de diffusion stable. 09:30 IMAGE celian.raimbault KB Nicolas Boutry Comptage de foule avec réseaux sur graphe 09:40 IMAGE celien.aubry KB Laurent Beaudoin, Loïca Avanthey Implémentation de capacités de perception basées vision de l'environnement proche en frugalité embarquée. 09:50 IA noe.audemard KB Reda Dehak Robust Deep Learning countermeasures to various voice spoofing attacks 10:00 IA victor.miara KB Reda Dehak Contrastive predictive learning for robust speaker recognition 10:10 IA elouan.vincent Lyon Marc Plantevit Improving GNN explainability with a generalization of activation rules and optimal transport 10:20 Sécu-Systèmes younes.benreguieg Lyon Pierre Parrend Incremental graph processing for detection of network attacks A demain Edwin