6LOWPAN  Algèbre de relations  Alignement d'ontologies  Arbre de routage  Atms  Automatisation  Autonomie ajustable  Base de données distribuée  Bases de données -- Gestion  Bases de données de capteurs  Calcul formel  Calcul qualitatif  Calcul symbolique  Catégorie de Schröder  Circulation urbaine  Cohérence  Collecte périodique de données  Combinaison de formalismes  Complexité de calcul  Complexité du raisonnement  Connaissances historiques du trafic  Constraints floues  ContikiOS  Contraintes  Contraintes et satisfaisabilité,  Contrôleur d'écheance de transaction  Curiosité  DODAG  Développement collaboratif des ontologies  Earliest Deadline First  Espace  Espace et temps  Evaluation de situations  Exploration de données  Fenêtre temporelle  Finances  First In First Out  Format d'échange de connaissances juridiques  Gestion d'entreprise  Gestion des connaissances  Gestion du risque  Histoire  Hétérogénéité des données  IPv6  Inférence  Intelligence artificielle  Intelligence artificielle répartie  Internet des objets  Intégration des ontologies  Intéraction hommes-robots  Langage juridique  Langages d'interrogation  Latence réseau  Logique floue  Logique propositionnelle  Logique temporelle  Maintien de vérité  Markov, Processus de  Mechanism design  Menaces  Modularisation des ontologies  Modèles mathématiques  Modélisation d'événements  Modélisation des règles juridiques  Modélisation d’environnement dynamique  Monte-Carlo Tree Search  Monte-Carlo, Méthode de  Méthode DEC  Négociation automatique  Ontologie spatiale  Ontologies  Ontologies bien fondées  Ontologies fondationnelles  Ontologies juridiques  Opponent modeling  Ordonnancement temps réel  Perception spatiale  Planification -- Informatique  Planification  Planification temporelle  Problème du voyageur de commerce  Problèmes par systèmes multi-agents  Processus gaussiens  Protocole de routage  Préférences  Raisonnement  Raisonnement multi-échelle  Raisonnement qualitatif  Raisonnement spatial  Raisonnement spatio-temporel  Raisonnement temporel  Raisonnement temporelle les relations d'Allen  Raisonnement à base des règles  Rate Monotonic  Recherche de l'information  Représentation de la connaissance  Représentation des connaissances  Réseaux ad hoc  Réseaux de capteurs  Réutilisation des ontologies  SOA  SQL  Services Web  Situation de crise  Système de traitement de requêtes  Systèmes auto-organisés  Systèmes de maintien de la cohérence  Systèmes multi-agents  Sémantique  TOSSIM  Temps  Temps réel  Théorie des jeux  Tiny DB  Traitement du langage naturel  Transports semi-collectifs  UML  Union d'intervalles convexes  Validité temporelle de données  Vitesses de voyages dependantes du temps  Web sémantique  Évaluation  

Maroua Bouzid a rédigé la thèse suivante :


Maroua Bouzid a dirigé les 7 thèses suivantes :

Informatique et applications
Soutenue en 2011
Thèse soutenue


Maroua Bouzid a été président de jury de la thèse suivante :


Maroua Bouzid a été rapporteur des 2 thèses suivantes :

Mathématiques et informatique
Soutenue le 25-04-2016
Thèse soutenue

Maroua Bouzid a été membre de jury des 3 thèses suivantes :