| Équipe Magnet (CRIStAL / Inria) |
Apprentissage Fédéré sous contraintes d’Equité avec la librairie DecLearn |
Cette démonstration vise à présenter l’apprentissage fédéré et le logiciel libre DecLearn développé par l’équipe MAGNET de Inria Lille permettant de le mettre en œuvre, notamment à des fins de recherche académique. Elle illustre ce vaste champ de recherche par un travail récent sur les algorithmes d’apprentissage sous contraintes d’équité en contexte fédéré, dont la partie expérimentale a été réalisée à l’aide de DecLearn. |
| Équipe Magnet (CRIStAL / Inria) |
Trustworthy Machine Learning and Natural Language Processing |
Les travaux de l’équipe MAGNET, principalement organisés autour de l’apprentissage automatique, sont centrés autour de deux grandes thématiques : l’apprentissage digne de confiance (optimisation de l’apprentissage et confidentialité des données privées, équité des modèles face à différents groupes sensibles) et apprentissage automatique appliqué au traitement automatique des langues (parallèles avec la modélisation en sciences cognitives et en linguistique historique, anonymisation de textes, applications à la musique). |
| Équipe MINT (CRIStAL / IRCICA) |
MagneTip : boucle d’interaction physique pour le dessin 3D musical en réalité étendue |
La démonstration permettra de tester un nouveau dispositif d’interaction à destination des artistes et permettant d’enrichir les outils de dessin 3D musical qui s’appuient normalement sur des manettes simples avec des boutons. Le dispositif ajoute une boucle d’interaction physique à l’aide d’un système aimant / bobine / membrane. Les participants porteront un casque de réalité mixte Quest 3. |
| Équipe Sigma (CRIStAL) |
Signaux, Modèles et Applications |
|
| Équipe NOCE (CRIStAL) |
Analyse des traces d’apprentissage de la programmation |
Présentation des travaux de l’équipe sur l’apprentissage de la programmation et les outils développés pour l’IDE Thonny ainsi que l’analyse des traces. |
| MINT (CRIStAL, IRCICA) |
Collaboration en réalité mixte colocalisée |
Application collaborative (musique / jeu) en réalité mixte avec des casques Meta Quest 2, démontrant les problématiques de co-présence et agentivité partagée |
| SYCOMORES (CRIStAL, Inria) |
Analysis and verification of Embedded Programs |
We will present the research activities of the SYCOMORES team. |
| 2XS (CRIStAL, IRCICA) |
Safe Post-issuance Deployment on IoT |
Nous montrerons comment déployer efficacement des logiciels sur des micro-contrôleurs aux capacités limitées, tout en garantissant leur fonctionnement sécurisé, sans faire aucun compromis sur la protection des systèmes concernés. |
| Spirals (CRIStAL, Inria) |
Impact environnemental du numérique: savoir mesurer et agir en conséquence |
On s’intéresse en particulier à l’impact carbone des infrastructures cloud/edge, mais aussi à l’impact minéral, bien moins étudié. Pour chaque impact, il faut construire des métriques, qui servent ensuite à mettre en place des stratégies de réduction de l’empreinte du numérique. |
| 2XS (CRIStAL, IRCICA) |
Attaques side-channel de microprocesseur |
Présentation d’un système d’attaque de microprocesseur qui utilise la consommation énergétique pour caractériser les taches qui sont exécutées par le système. Le domaine de cette démonstration est à la frontière entre analyse de programme pour la sécurité, machine learning et électronique. |
| FOX (CRIStAL, IRCICA) |
Pas bêtes les pixels |
Démonstration d’analyse d’un flux vidéo en provenance d’une webcam pour reconnaître des objets. Découverte des réseaux impulsionnels et leur usage pour la vision par ordinateur |
| DEFROST (Inria) |
Robots souples |
Dans notre équipe nous développons des robots qui bougent en se déformant, comme les invertébrés. Pour pouvoir les concevoir et les contrôler, nous cherchons à les modéliser et à produire des simulations de leur comportement. |
| PIRVI (CRIStAL, IRCICA) |
RoVR “Application de collaboration en réalité virtuelle |
Une personne contrôle un humanoïde en utilisant de la motion capture (mains, taille, pieds et tête) et l’autre contrôle un robot type rover. Les deux personnes doivent collaborer pour compléter une tâche : récupération et empilement de caisses. Cette application démontre la motion capture, la cinématique inverse, différent types de réalité virtuelle et leurs limites. |
| BioComputing (CRIStAL) |
Modélisation des systèmes vivants |
Nous exposerons quelques exemples de problèmes de biologie que nous traitons au sein de biocomputing. En particulier, nous montrerons comment des méthodes formelles développées à l’origine pour l’analyse des programmes informatiques peuvent être utilisées et adaptées à l’analyse de systèmes vivants. |
| CFHP (CRIStAL) |
Validated Numerics Algorithms For Singular Algebraic Curves |
Nous présenterons un poster au sujet de l’utilisation du calcul numérique validé pour le calcul des branches de courbes algébriques en des points singuliers, ainsi que les applications que nous visons. |
| 2XS (CRIStAL) |
Event Processing Using Neuromorphic Hardware |
Nous présenterons un pipeline d’application dans lequel les événements d’entrée d’une caméra à événements sont traités via une connexion à du matériel neuromorphique (SpiNNaker-5). L’objectif de cette présentation est de démontrer comment cette configuration à faible consommation d’énergie peut traiter efficacement des événements dans des applications en temps réel. |
| DEFROST (CRIStAL, Inria) |
Soft Robotics |
Nous présentons différentes démonstrations autour de nos travaux qui vont du développement de logiciels d’aide à la conception robotique à la conception et fabrication de prototypes. |
| 2XS (CRIStAL, IRCICA) |
Inférence de réseau de neuronnes impulsionnels sur FPGA |
La démonstration a pour objectif de montrer aux étudiants le fonctionnement des réseaux de neurones impulsionnels et de présenter l’architecture FPGA que nous développons pour exécuter des réseaux de neurones impulsionnels sur une architecture rapide et peu consommatrice d’énergie. |
| EVREF (CRIStAL, Inria) |
Compréhension statique et dynamique de programme |
Nous présentons différentes démonstrations autour d’outils d’aide à la compréhension de programme statiques et dynamiques. Comment comprendre un gros logiciel sans passer 3 mois à juste lire son code ? Comment construire des débuggeurs efficaces ? |
| PIRVI (CRIStAL, IRCICA) |
Le monde souterrain des carrières |
Déambulation virtuelle dans un univers de craie |