BELARBI Fatima-zahra
BELARBI Fatima-zahra
  1. F. Belarbi
  2. Recherche
  3. Jury de thèse
Jury de thèse
Plateforme fiable en utilisant la technologie Ledger distribuée pour les environnements industriels basés sur l'IoT
Université Ibn Khaldoun, Soutenue le 29-12-2007
Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes
Université Ibn Khaldoun, Soutenue le 29-11-2004
Apprentissage séquentiel budgétisé pour la classification extrême et la découverte de hiérarchie en apprentissage par renforcement
Université Ibn Khaldoun, Soutenue le 29-09-2003
Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie
Université Ibn Khaldoun, Soutenue le 29-11-2001