Programmes Nationaux de Recherche -PNR-
CERIST organisme pilote des projets PNR en Informatique Fondamentale et en Technologie de l'Information et de la Communication :
Informatique Fondamentale
- Algorithmique des automates d’arbre, noyaux rationnels
- Calcul Haute Performance Par Éléments Finis Implements
- Contribution à l’amélioration des performances des réseaux AD hoc
- Contribution à l’intégration et à l’évaluation de la sûreté de fonctionnement des systèmes de calculs.
- Contribution des réseaux Véhiculaires et des Capteurs à la prise en charge des Risque
- Convergence numérique Voix- Données-Image. Application au Triplay
- Fiabilité et Congestion dans les Systèmes de Communication
- Formalisation et Amélioration de la Qualité de Service dans les Systèmes Informatique
- Logique Mathématique & Connaissances Imparfaites
- Logiques de Descriptions et Ontologies
- Modèles pour la sécurité des réseaux de communication
- Modélisation de Haut niveau et Analyse de performances des Systèmes stochastiques complexes
- Modélisation de Haut niveau, Spécification et Vérification des systèmes.
- Modélisation et Vérification des Systèmes Réactifs Complexes.
- Raisonnement spatial et temporel et logiques de description théorie et applications
- Reconstruction Trimensionnele Mensionnelle du Rachis
- Spécification Formelle et Analyse de Performance
- Sûreté de fonctionnement et tolérance aux fautes dans les systèmes informatiques ubiquitaires
- Système intelligent pour la gestion dynamique d’un carrefour à feux.
- TIC pour la langue berbère.