Apprentissage automatique – Détection de stationnement (FindSpot / OpenSpot)

Automne 2025

  • Application de vision par ordinateur pour la détection de stationnement
  • Classification d’images en temps réel avec MobileNetV3
  • Comparaison de plusieurs architectures CNN (précision, latence)
  • Déploiement d’une démonstration interactive via Streamlit
Python Computer Vision CNN Streamlit
🚀 Accéder à la démonstration

Analyse de séries chronologiques – Émissions de CO₂ du mont Etna

Hiver 2025

  • Analyse de plus de 5 ans de données selon la méthodologie de Box–Jenkins
  • Développement de modèles SARIMA optimaux et comparaison avec ETS
  • Validation hors échantillon et diagnostics statistiques
  • Implémentation complète en R
R SARIMA Box–Jenkins
📄 Voir le rapport (PDF)

Intelligence artificielle – Résolution automatique de labyrinthes

Hiver 2025

  • Conception d’un agent IA basé sur la recherche heuristique (A*)
  • Analyse de l’optimalité et de la complexité
  • Implémentation en Prolog
Prolog A* IA symbolique

Méthodes numériques – Problèmes de valeurs aux frontières

Automne 2025

  • Résolution par méthodes des différences finies
  • Analyse de convergence et de stabilité
MATLAB Méthodes numériques

Problème du logarithme discret (cryptographie)

Hiver 2025

  • Étude du problème du logarithme discret dans les groupes finis
  • Hypothèses de difficulté computationnelle
  • Applications à la cryptographie à clé publique
Théorie des nombres Algèbre Cryptographie
🔐 Voir le rapport (PDF)

Conception d’un jeu de Battleship (.NET)

Été 2025

  • Conception et implémentation dans l’environnement .NET
  • Programmation en F# et OCaml
  • Tests fonctionnels et validation
.NET F# OCaml