أطروحات الدكتوراه
| العنوان | المؤلف | ||
|---|---|---|---|
|
Méthodologie de vérification formelle des circuits cryptographiques : Approche fonctionnelle
|
عبير بيطاط | SCAL | جارية |
|
Optimisation et déploiement d’un système communicant intelligent basé IoT et exploitant les technologies LPWAN pour la prévention et la détection des feux de forêts
|
أميرة سايري | SCAL | جارية |
|
Optimizing Vehicular traffic management: A SDN based Approach
|
سفيان قرزه | SCAL | جارية |
|
Planification événementielle dans un système d'intelligence ambiante
|
هشام بيطيش | CFSC | جارية |
|
Prise en compte de la variabilité sémantique dans la génération de code à partir de spécifications de haut niveau
|
فاروق مداح | CFSC | جارية |
|
Protection de la vie privée dans les environnements IoT : Application aux smart-cities
|
محمد الامين دايخة | CFSC | جارية |
|
Système de raisonnement contextuel pour des véhicules autonomes
|
أميرة بن لشهب | SCAL | جارية |
|
Télédétection et images satellitaires pour la conception d’un système de gestion des terres abandonnées
|
أمال زواري | SCAL | جارية |
|
Un système pour l’analyse et le traitement de données dans le domaine de la santé : cas des maladies nécessitant une assistance continue
|
ابراهيم بن عبد الرحمن | MFGL | جارية |
|
Utilisation des techniques de Process Mining pour l’analyse, la vérification et l’amélioration des processus métier
|
سلسبيل إيناس بوهيدل | CFSC | جارية |