IRL-archive-2019

De Ensiwiki
Aller à : navigation, rechercher

Liste des sujets proposés en 2018/2019

A l'intention des étudiants : Vous pouvez contacter les encadrants des sujets non pourvus si vous êtes motivés par la thématique. N'hésitez as à être pro-actif !

Sujets plutôt "info" (ceux précédés d'une * sont déjà pris)

  1. IRL - SPECTRE attack mitigation
  2. IRL - Faster arithmetic solving
  3. IRL - Safe Floating-Point Optimisation
  4. IRL - Scalability of the interference analysis for a multi-core platform (systèmes critiques, analyse statique de programme, multi-coeur, optimisation d'algorithme)
  5. IRL - Combination of cache analyses (mémoires caches, analyse statique, modélisation)
  6. IRL - Code robustness against fault injection (sécurité, analyse de programmes)
  7. (*) IRL - Vulnerability search in Industrial Control Systems: a reverse engineering approach
  8. IRL - Moteur de recherche assisté par eye-tracking
  9. (*) IRL - Photographie computationnelle embarquée I : 3D mono-caméra
  10. (*) IRL - Photographie computationnelle embarquée II : Caméra hyperspectrale adaptative
  11. IRL - Photographie computationnelle embarquée III : Correction locale de parallaxe dans une caméra panoptique
  12. IRL - Géo-visualisation de Données Ouvertes et Liées Evolutives
  13. IRL - 5ème compétition REC (Rewrite Engines Competition)
  14. IRL - Elaboration d'un langage de modélisation dédié aux topologies ferroviaires
  15. (*) IRL - Dualité perception-poursuite en suivi des mouvements oculaires : Analyse des perceptions visuelles en temps-réel sur objets mobiles

Remarque : au plus deux étudiants seront retenus sur les 3 sujets de Photographie computationnelle embarquée


Sujets plutôt "maths" (ceux précédés d'une * sont déjà pris)

  1. (*) IRL - Existence de solutions à des problèmes inverses de design (Simulation numérique, problèmes inverses)
  2. (*) IRL - Analyse temps-fréquence de signaux multicomposantes
  3. (*) IRL - Orientations des graphes (RO, Graphes)
  4. (*) IRL - Analyse temps-fréquence: comparaison ondelettes et transformée de Fourier à court terme
  5. (*) IRL - Débruitage de signaux par analyse temps-fréquence
  6. (*) IRL - Étude de différentes normes pour les problèmes de modélisation inverse


Sujets mixtes (ceux précédés d'une * sont déjà pris)

  1. IRL - Ensuring Correctness of Graph Transformations (Dynamic Data-Graphs, Program Verification, Rewrite systems, Logic, Hoare Calculi)
  2. (*) IRL - Formalisation de la logique de séparation à l'aide de l'assistant de preuve Isabelle
  3. IRL - Probability calibration for classification systems
  4. (*) IRL - Couplage d'une tige élastique avec du frottement de Coulomb

Pages de présentation des résultats

Ernest Foussard : Existence d'orientations arc-connexes dans les graphes 3-réguliers

Guillaume Bargibant : Orientations des graphes réguliers pour sommet-connexité

Vivien Vandaele : Orientation des graphes avec contrainte sur les degrés entrants

Nicolas Amat : Formalisation de la logique de séparation à l'aide de l'assistant de preuve Isabelle

Chris Janaqi : Fenêtre adaptative pour l'analyse temps-fréquence

Romain Melchiorre : Recherche de vulnérabilités dans des systèmes de contrôle industriel par reverse engineering

Yassine Bouachrine : Modélisation de l'impact des scandales sur l'opinion des électeurs

Olivier Lim : Photographie computationnelle embarquée : Caméra hyperspectrale adaptative

Baptiste Pollien : Photographie computationnelle embarquée : 3D mono-caméra

Badr OUANNAS: Dualité fixation-poursuite en suivi des mouvements oculaires : Analyse des perceptions visuelles en temps-réel sur objets mobiles

Henches Léo: Analyse temps-fréquence : comparaison ondelettes et transformée de Fourier à court terme

Benjamin Hérault - Informatique Quantique: préparation de graph state sur machine IBM