IRL-archive-2015
Sommaire
Pages de présentation des résultats
Mehdi BAHRI (avec Olivier François) : Modélisation et inférence probabiliste du sur-diagnostic
Kevin BONKOSKI (avec Brigitte Bidegaray) : EDP pour les options asiatiques
Salome Candela (avec Fabien Gillet-Chaulet) : Validation du code de l'écoulement Elmer/Ice
Rokhaya CISSE (avec Jean-Louis Roch) : Cloud computing et sécurité
Marine Doyen-Le Boulaire (avec Zoltan Szigeti) : Recouvrement d'un graphe par des graphes partiels
Remy Delanaux (avec Gwen Salaun) : Stabilité des systèmes communicants
Julien Coutinho (avec Martin Heusse) : Réparation locale du routage dans les réseaux de capteurs
Yassine EL KHADIRI (avec Matthieu Moy) : Simulation distribuée pour les systèmes embarqués
Nicolas Grosjean (avec Michael Blum) : Détection de données aberrantes en génomique
Jacques Netzer (avec Michel Albouy) : International corporate governance and corporate Cash Holdings
Leo Nicoletti (avec Florence Forbes) : High dimension regression with applications
Pierre PETITBON (avec Frédéric Wagner) : Algorithmes d approximation pour machines outils
Erwan Le Roux (avec Emmanuel Maitre): Algorithme primal-dual et contour actifs en analyse d'image
Lucie Pansart (avec Gautier Stauffer) : Optimisation de stratégie de golf
Brice P. (avec Guillaume James) : Ondes non linéaires dans des chaînes granulaires
Rémy REY (avec Philippe Elbaz-Vincent) : Implémentation et analyse de cryptographie boîte blanche
Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle
Sujets plutôt "info" (ceux en italique ont été pris)
- un exemple de sujet IRL
- Optimisation par colonies de fourmis pour la recherche d’attaques de type « délit d’initié »
- Compilation optimisée pour la robustesse/sécurité de systèmes embarqués
- Stabilité des systèmes communicants
- Shape-changing Tangible Interaction: From a slider to a knob
- Interfaces Homme-Machine physico-numériques
- Technologies persuasives pour la santé
- Partage des caches en traduction binaire dynamique
- Sujet IRL - Simulation distribuée pour les systèmes embarqués
- Inférence d'automates de Mealy sans ré-initialisation
- Critères de classification d'attaques par injection de fautes
- Réparation locale du routage dans les réseaux de capteurs
- Dénombrement de modèles en logique équationnelle
- Algorithmes d approximation pour machines outils
- Implémentation et analyse de cryptographie boîte blanche
- Initialisation d'un réseau de capteurs à protocole synchronisé et saut de canal
Sujets plutôt "maths" (ceux en italique ont été pris)
- un exemple de sujet IRL
- Algorithme primal-dual et contour actifs en analyse d'image
- Ondes non linéaires dans des chaînes granulaires
- Détection de données aberrantes en génomique
- High dimension regression with applications
- Modélisation mathématique et numérique de la dynamique d'un marqueur permettant la localisation de tumeurs
- EDP pour les options asiatiques
- Validation du code de l'écoulement Elmer/Ice
- International corporate governance and corporate Cash Holdings
Sujets mixtes (ceux en italique ont été pris)
- un exemple de sujet IRL
- PDE with memory and image processing
- Création interactive de panorama de montagne
- Modélisation procédurale d'anatomie humaine
- Visualisation de l'anatomie en capture de mouvement
- Éditeur d'anatomie 3D
- Déformation d'images volumiques
- Optimisation de stratégie de golf
- Moteur d'optimisation pour chasseurs d'étoiles
- Construction d'un robot golfeur
- Un casse-tête qui vaut cher: The palett loading problem
- Simulation de vetements
- Tester la performance de différentes spécifications des Random Utility Models
- Détection de fractures du bassin par analyse de maillages 3D
- Recouvrement d'un graphe par des graphes partiels
- Cloud computing et sécurité
- Modélisation et inférence probabiliste du sur-diagnostic
Liste des couples étudiants/sujets validés
Planning des soutenances 2015-2015
19 mai, 20 mai matin, 21 mai, en H203