TopLes parcoursLes modules

Les modules

Chaque module représente 3 ou 6 ECTS, soit 12 ou 24 heures de cours. Un module peut appartenir à plusieurs parcours. Chaque module est placé sous la responsabilité d'une équipe pédagogique.

Tous les modules ne sont pas proposés chaque année. Par ailleurs, l'ouverture effective d'un module proposé dépend des effectifs prévus. Chaque année est affichée la liste des modules susceptibles d'être ouverts, et que les étudiants peuvent donc choisir. Un module n'est effectivement ouvert que s'il réunit un effectif d'au moins 5 étudiants. Dans le cas contraire, les étudiants sont invités à se répartir sur les autres modules ouverts.

  • Modules susceptibles d'être ouverts en 2004-2005
  • 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 : Services bases de données répartis
  • 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

  • September 17, 2004
    La forme hypertexte de ce document a été produite par Hyperlatex

    TopLes parcoursLes modules