Description détaillée des modules
Description détaillée des modules
Module AB : Inférence et apprentissage bayésien
Module AC : Applications à Composant : Cycle de vie, concepts et mise en oeuvre
Module AL : Architecture logicielle
Module AR : Aspects avancés des réseaux
Module AS : Apprentissage symbolique
Module BR : Systèmes multi-échelles pour la gestion de données distribuées
Module CA : Catégories, applications l'informatique
Module CD : Coordination Distribuée
Module CP : Algorithmique et techniques de base du calcul parallèle
Module CR : Construction d'applications parallèles et réparties
Module DI : Dialogue et interaction multimodale
Module DM : Ingénierie Dirigée par les Modèles (MDA/MDE)
Module DR : Spécification par modèles et développement rigoureux
Module ER : Evolution et reingénierie
Module FL : Fondements du traitement automatique des langues naturelles
Module GP : Gestion des configurations et procédés
Module HM : Modèles pour l'Interaction Homme-Machine
Module HP : Architectures en grappe pour le calcul haute performance et le service intensif de données
Module IC : Collecticiels ou Interaction Multi-Utilisateur
Module IM : Interaction Mobile
Module IP : Interfaces Homme-Machine plastiques
Module IQ : Théorie et Traitement de l'Information Quantique
Module LA : Certification de programmes et lambda-calcul
Module LI : Logique et mécanisation de l'inférence
Module LX : Traduction et lexique
Module MA : Systèmes multi-agents
Module MD : Mesure et analyse de données pour l'évaluation de performances de réseaux et de systèmes
Module RN : Réseaux de Neurones et Applications
Module MP : Modélisation et simulation pour l'évaluation de performances de réseaux et de systèmes
Module MT : Méthodes de test
Module MW : Documents et applications multimédia pour le Web
Module PE : Programmation evoluée : fondements et applications
Module PP : Preuves et programmes, une introduction à l'aide du système Coq
Module RC : Représentations des connaissances
Module RI : Recherche d'informations
Module SC : Sémantique des représentations de connaissance
Module SE : Modèles et analyses de protocoles de sécurité : application d'outils fondamentaux de l'informatique
Module SR : Algorithmique et techniques de base des systèmes répartis
Module SY : Approche synchrone pour la conception des systèmes réactifs
Module TH : Systèmes temporisés et hybrides
Module TO : Traitement de l'oral
Module VA : Méthodes de vérification automatique
December 22, 2006
La forme hypertexte de ce document a été produite par
Hyperlatex
Description détaillée des modules
