Centre d'études et de recherche en informatique et communications (Cedric)

Mots-clés

  • Vie numérique
  • Smart life
Le centre d’études et de recherche en informatique et communications, regroupe des recherches menées en informatique, mathématiques appliquées et électronique au Cnam, ainsi qu'une partie de celles de l'ENSIIE (EA 4629). Les membres du Cedric sont enseignants-chercheurs en informatique, en mathématiques ou en électronique, soit au Cnam, soit à l'ENSIIE.

Axes & thèmes de recherche

Équipe Ingénierie des systèmes d'information et de décision (Isid)

Puce catalogue Web sémantique
Puce catalogue Systèmes décisionnels
Puce catalogue Qualité des systèmes d'information

En savoir plus En savoir plus

Équipe Traitement du signal et architectures électroniques (Laetitia)

Puce catalogue Traitement du signal pour les télécommunications
Puce catalogue Optimisation des architectures électroniques en adéquation avec les algorithmes

En savoir plus En savoir plus

Équipe Médias interactifs et mobilité (Mim) : Interactivité pour lire et jouer (ILJ)

Puce catalogue Multimédia - général
Puce catalogue Théorie et outils du game design
Puce catalogue Sécurité des systèmes multimédia
Puce catalogue Architecture des systèmes multimédia
Puce catalogue Bibliothèques numériques
Puce catalogue Interfaces 3D et multimodales
Puce catalogue Modèles et outils pour la composition sonore intéractive

En savoir plus En savoir plus

Systèmes embarqués et mobiles pour l'intelligence ambiante (Sempia)

Puce catalogue Systèmes embarqués et enfouis
Puce catalogue Services embarqués et mobiles
Puce catalogue Thématiques transverses

En savoir plus En savoir plus

Équipe Méthodes statistiques de data-mining et apprentissage (MSDMA)

Puce catalogue Biostatistique
Puce catalogue Risque
Puce catalogue Modélisation par réseaux de neurones à partir de données empiriques
Puce catalogue Analyse des données multidimensionnelles
Puce catalogue Contrôle de qualité multivarié, robustesse, détection de rupture de valeurs aberrantes

En savoir plus En savoir plus

Équipe Optimisation combinatoire (Oc)

Puce catalogue Programmation mathématique et applications
Puce catalogue Graphes et optimisation

En savoir plus En savoir plus

Équipe Systemes sûrs :Conception et programmation raisonnées (CPR)

Puce catalogue Modélisation de composants logiciels
Puce catalogue Certification de preuves automatiques
Puce catalogue Réutilisation des preuves et des spécifications
Puce catalogue Développement de l'atelier FOCAL
Puce catalogue Interactions preuves et calcul formel, modélisation des mathématiques
Puce catalogue Modélisation géométrique
Puce catalogue Vérification formelle de compilateurs
Puce catalogue Modélisation et validation de réglementations de sécurité

En savoir plus En savoir plus

Vérification et évaluation de systèmes parallèles et asynchrones (Vespa)

Puce catalogue Vérification systèmes concurrents
Puce catalogue Évaluation de performances

En savoir plus En savoir plus

Équipe Bases de données avancées (Vertigo)

Puce catalogue Grandes bases d'images et de vidéos
Puce catalogue Données et services sur le web

En savoir plus En savoir plus