Rechercher

Equipes

Administration : Equipe Administrative et technique
  • Administration - Général

Isid : Ingénierie des Systèmes d'Information et de Décision
  • Le Web Sémantique
  • Les systèmes décisionnels
  • Qualité des systèmes d'information

Laetitia : traitement du signal et architectures électroniques
  • Traitement du signal pour les télécommunications
  • Optimisation des architectures électroniques en adéquation avec les algorithmes

Mim : Médias Interactifs et Mobilité ILJ Sempia
  • Systèmes distribués
  • Réseaux mobiles et sans fil
  • Thématique Transverse
  • Multimédia - Général
  • Théorie et outils du game design
  • Architecture des systèmes multimédia
  • Interfaces 3D et multimodales
  • Modèles et outils pour la compostion sonore interactive

MSDMA : Méthodes statistiques de data-mining et apprentissage
  • Modélisation par réseaux de neurones à partir de données empiriques
  • Analyse des données multidimensionnelles
  • Contrôle de qualité multivarié, robustesse, détection de rupture de valeurs aberrantes
  • Biostatistique
  • Risque

OC : Optimisation combinatoire
  • Programmation mathématique et applications
  • Graphes et optimisation

Systemes surs : Systèmes Sûrs CPR Vespa
  • Verification systèmes concurrents
  • Evaluation de performances
  • Certification de preuves automatiques
  • Réutilisation des preuves et des spécifications
  • Développement de l'atelier FOCAL
  • Modélisation de composants logiciels
  • Vérification formelle de compilateurs
  • Typage, Sémantique et Preuves (TSP)

Vertigo : Bases de Données Avancées
  • Contenus visuels
  • Données musicales symboliques