IRL-archive-2013

De Ensiwiki
Aller à : navigation, rechercher


Sujets 2012-2013 proposés par les laboratoires

Sujets plutôt "info"

  1. un exemple de sujet IRL 2012-2013
  2. Optimisations de performances de simulateurs sur machines multi-cœurs
  3. Visualisation graphique de traces de simulation de systèmes sur puces
  4. Compilation optimisée pour la robustesse
  5. Etude analytique du parallélisme utilisant des composants matériels reconfigurables
  6. Port du micronoyau DNA sur le système sur puce Zynq
  7. Protocole d'établissement de communication sécurisée dans les réseaux de capteurs sans fil
  8. Cohérence mémoire dans les systèmes intégrés multiprocesseur utilisant des réseaux sur puce
  9. Génération de Simulateur de systèmes intégrés utilisant la traduction binaire dynamique
  10. Réparabilité pour les systèmes communicants développés à base de contrats
  11. Pré-chargement avancé pour une hiérarchie mémoire
  12. Analyse de code C pour la robustesse contre les attaques par faute sur les cartes à puce
  13. Estimation du pire temps d'exécution : résolution en nombres entiers vs résolution en nombres réels
  14. Interaction 3D multi-touch indirecte
  15. Sujet IRL - Algorithmes fins d ordonnancement pour la programmation des machines multi-cœurs multi-GPU
  16. Etude analytique de méthodes de perception-diagnostic pour la santé
  17. Optimisation des réseaux sur puce tridimensionnels utilisant la sérialisation verticale
  18. Estimation du pire temps d'exécution : pire chemin d'exécution et expression de contraintes
  19. Support à la créativité : Exploration Interactive de Galeries d'exemples
  20. Support à la créativité : soutien au brainstorming
  21. Run-Time pour parallélisme hétérogène à passage de message
  22. Vérification en ligne de politiques de sécurité pour applications Android
  23. Programmation des machines multi-cœurs multi-GPU de CUDA à OpenCL
  24. Analyse bioinformatique de données de séquençage NGS médicales
  25. Reconstruction et segmentation de micro-organismes à partir de multiples vues sous microscope
  26. Test combinatoire de modèles de politique de sécurité
  27. Plasticité des Interfaces Homme-Machine : étude de l'adaptation à l'utilisateur
  28. "Brain-Like Artificial Intelligence" pour l'informatique ambiante
  29. Safe Robot Navigation: an ICS perspective

Sujets plutôt "maths"

  1. Opérateur Laplacien 3D+t discret : approche par éléments finis
  2. Décomposition d'image en ondelettes monogéniques pour la recherche d'objets directionnel
  3. Différentes moyennes locales pour la décomposition modale empirique en 2 dimensions
  4. Transport optimal application à l'interpolation d'images
  5. Méthode level-set et contours actifs

Sujets mixtes

  1. Arête- et arc-connexité dans les graphes
  2. Sommet-connexité dans les graphes
  3. Interpolation d'animations 3D
  4. Optimisation du flux de données dans un système de traitement
  5. Analyse de données spatialisées en génomique des population
  6. Détection des gènes impliqués dans des processus de sélection darwinienne
  7. Reconstruction multi-caméra 3D+t et analyse de rigidité de mouvement
  8. Modélisation bioinformatique du motif de reconnaissance d'une protéine clé de la différenciation sexuelle chez S. pombe
  9. Déformation d'un modèle géométrique du rein sous contraintes biomécaniques

Sujets choisis et résultats, Mai 2013 (suivre les liens)

POCZEKAJLO: Optimisations de performances de simulateurs

LEON: Visualisation simulations systèmes sur puces

BRUN: Programmation machines multi-coeurs

ETCHEVERRY: Algorithmes fins d ordonnancement

BOURGAUD: Safe Robot Navigation

CATTAN: Interaction 3D multi-touch

THALGOTT: Brain-Like Artificial Intelligence

JACOB: Creativity Assisted Brainstorming

FRIEDRICH: Plasticité des Interfaces Homme-Machine

DE GOER: Analyse de code C pour la robustesse

MATTE: Vérification en ligne de politiques de sécurité

NAZ: Protocole d'établissement de communication sécurisée

HISCOCK: Port du micronoyau DNA

DUMAS: Pré-chargement avancé pour une hiérarchie mémoire

FILIPPI: Détection des gènes de sélection darwinienne

MENEZO-SCHLOSSER: Modélisation bioinformatique, reconnaissance d'une protéine

DUPOUY: Analyse bioinformatique de données de séquençage

LEONARD: Arête- et arc-connexité dans les graphes

PATAUT: Sommet-connexité dans les graphes

BREUST: Décomposition d'image en ondelettes

ALLAIN: Interpolation d'animations 3D

BRUGEL: Opérateur Laplacien 3D+t discret

PLANES: Transport optimal

VINOT: Méthode level-set et contours actifs

SAILLANT: Déformation d'un modèle géométrique du rein

Calendrier des soutenances

ImageCalendrier.png