Retour à DEA d’ informatique fondamentale

Sujets de thèses de DEA 1997-98

 

  • Sujet 01: Algorithmes sur les groupes de permutations sur machines parallèles : application au cube de Rubik.
  • Sujet 02: Algorithmes approchés pour la déterminisation du genre d’un graphe.
  • Sujet 03: Monoïde de commutations et réseaux de tri.
  • Sujet 04: Amélioration des approximations Monte Carlo du nombre d’objets dans une classe.
  • Sujet 05: Temps de diffusion de messages dans un réseau anarchiste.
  • Sujet 07: Pour se diriger dans les graphes.
  • Sujet 08: Colorations impropres acycliques.
  • Sujet 09: Graphes orientés parfaits.
  • Sujet 10: Étude d’algorithmes distribués auto-stabilisants.
  • Sujet 11: Recherche de symétries dans un graphe.
  • Sujet 12: Probléme d´ordonancement dans les monoïdes de commutation.
  • Sujet 13: Outils pour le « Data Parallel ».
  • Sujet 14: Partionnement et distribution de données irrégulières sur des calculateurs parallèles MIMD à mémoire distribuée.
  • Sujet 15: Etudes du modèle de programmation BSP dans le cadre de la compilation de programmes data-parallèles irréguliers.
  • Sujet 16: Optimisation et parallèlisation d´un code FORTRAN 77 appliqué à la dynamique de populations parasitaires.
  • Sujet 17: Etude et formalisation de agents mobiles en JAVA.
  • Sujet 18: Densification et érosion de milieux poreux par méthodes de Monte-Carlo.
  • Sujet 19: Déformations de surfaces par outils implicites.
  • Sujet 20: Triangulation et texturation de surfaces implicites.
  • Sujet 21: Echographie 3D.
  • Sujet 22: etude des opérations de bases d´un modeleur géométrique discret.
  • Sujet 23: Etude d´un modele de surface de forme libre.
  • Sujet 24: Co-raffinement d’ensembles semi-simpliciaux.
  • Sujet 25: Boustophédon et tirage aléatoire de graphes.
  • Sujet 26: Visualition de réseaux d´informations et nombres de Strahler.
  • Sujet 27: Composition et décomposition de constellations.
  • Sujet 28: Algorithmes incrémentaux de décomposition modulaire des graphes.
  • Sujet 29: Décomposition de graphes, 2-structures et produit.
  • Sujet 30: Edition, visualition de graphes et d´algorithmes sur les graphes : étude de fiabilité.
  • Sujet 31: Redéfinition de T-fixpoint.
  • Sujet 32: Contraintes multiversion et logique modale.
  • Sujet 33: Migration d’objets, contraintes d’intégrité et génération de méthodes.
  • Sujet 34: Coloration distinguée.
  • Sujet 35: Coloration de graphes mixtes.
  • Sujet 36: Couverture par des cycles.
  • Sujet 37: Algorithmes de dessin de graphes sur une sphère.
  • Sujet 38: Routage compact dans les réseaux planaires.
  • Sujet 39: Vérification d’un calculateur de phase de vol d’Airbus.
  • Sujet 40: Vérification et test de système avec une approche hiérarchique progressive et guidée par des expressions de propriétés ou des objectifs de test.
  • Sujet 41: Test d’applications réparties.
  • Sujet 42: Points fixes : Descriptions et preuves dans un système d’aide à la démonstration.
  • Sujet 43: Amélioration de preuves et de théorie.
  • Sujet 44: Formalisation et preuves en COQ d’algorithmes de raisonnement terminologique.
  • Sujet 45: ALOSE : Automatisation des logigrammes de sécurité.
  • Sujet 46: Séquenceur graphique.
  • Sujet 47: Optimisation d’arbres de défaillance par réécriture ascendante.
  • Sujet 48: L’évaluation partielle et le système FACTOTUM.
  • Sujet 49: L’évaluation paresseuse et les diagrammes binaires d’expressions.
  • Sujet 50: Propriétés formelles d’un logiciel certifié.
  • Sujet 51: Utilisation de la théorie algorithmique de l’adaptation en animation comportementale : conception d’un poulailler virtuel.
  • Sujet 52: Lissage de surfaces discrètes au moyen de grilles euclidiennes.
  • Sujet 53: Segmentation en régions au moyen de contours actifs.