IRL-archive-2021

De Ensiwiki
Aller à : navigation, rechercher

Pages de présentation des résultats

Auvray Pierre : Trouver des instances difficiles pour des problèmes de recherche opérationnelle

Baiocchi de Sant’Anna Gabriel : Simulation and Formal Verification of Self-stabilizing Algorithms

Barbier Wilhem : Real-time global illumination using a Latent Variable Model

Bon Nicolas : Simulation multi-agents interactive des élections législatives françaises

Cathelineau Benjamin : Support de l'extension 128 bits de RISCV dans QEMU

Colinet Hugo : Deep Learning en Imagerie SPECT 3D Cardiaque

Cousin Marie : Formalisation du théorème de décomposition de Hahn avec le démonstrateur interactif Isabelle

Dauvilliers Clément : Synthèse GAN d'images ultrasons en neurochirurgie

El Alem Dy : Application de techniques de l'IA pour une exécution intelligente de DSLs

Girod Lisa : Extension d’un modèle computationnel de la mémoire de travail

Hétier Marc : Early stopping strategy for variational data assimilation with application to ocean modeling

Hoogveld Karmijn : Conditions de frontière ouverte pour un modèle shallow water linéarisé 2-D

Koska Océane : Simulation de circuits quantiques avec superposition d’ordre de portes

Lhomme Antoine : Méthodes de points intérieurs pour la mécanique

Mounsit Halima : Déboggage de modèles

Pocreau Pierre : Optimisation du Quantum Social Welfare

Raffin Guillaume : SASA : un simulateur d'algorithmes distribués auto-stables

Ravenel Pierre : Parallélisation d'un réseau neuronal sur architecture spécialisée