 |
Equipes-Projets Informatique
Le Département est structuré en douze équipes-projets.
-
AlGco : Algorithmes, graphes et combinatoire
Théorie des graphes : étude de problèmes algorithmiques et de structures combinatoires.
Fiche résumé 2005-2008
-
ARITH : Arithmétique informatique
Arithmétique, Algèbre linéaire, Cryptographie, Combinatoire énumérative, Combinatoire des mots, Dynamique symbolique, Géométrie discrète, Analyse d'images, Calcul formel, Calcul haute performance, Physique combinatoire et statistique, Réduction de réseaux.
Fiche résumé ARITH 2011
-
Coconut : agents, apprentissage, contraintes
Proposer et combiner des modèles et des algorithmes dans un contexte agents, apprentissage et contraintes
Fiche résumé 2005-2008
-
GraphIK : Représentation de connaissances et raisonnements
Approche logique et à base de graphes, interrogation de bases de connaissances, aide à la décision basée sur des connaissances.
-
ICAR : Image & Interaction
Traitement des données visuelles tels que les images, les vidéos et les objets 3D : codage et protection, analyse et traitement, modélisation et visualisation.
Fiche résumé 2005-2008
-
MAB : Méthodes et algorithmes pour la bio informatique
Analyse informatique des séquences génétiques, analyse statistique du transcriptome, reconstruction de l'évolution, génomique comparative et fonctionnelle, palud, HIV, cancer.
Fiche résumé 2005-2008
L'équipe MAB dans les actualités du CNRS
-
MAORE : Méthodes Algorithmes pour l'Ordonnancement et les Réseaux
Conception et analyse de protocoles de réseaux : routage et diffusion de l'information, avec garanties de qualité de service.
Fiche résumé 2005-2008 de l'équipe ex-APR
-
MAREL : Models And Reuse Engineering, Languages
Génie logiciel et systèmes complexes : composants, objets, modélisation de systèmes complexes (chimie, biologie, robotique, information géographique).
Fiche résumé 2005-2008
-
SMILE : Système Multi-agent, Interaction, Langage, Evolution
Fiche résumé 2005-2008
-
TAL : Traitement algorithmique du langage
Analyse morpho-syntaxique et sémantique des langues : classification automatique de documents, recherche d'information, traduction automatique, pragmatique.
Fiche résumé 2005-2008
-
TaToo : Extraction de connaissances dans les bases de données : motifs séquentiels et ontologies
Fouille de données, Motifs séquentiels, Logique floue, Ontologie, Annotation automatique, Données multidimensionnelles
Fiche résumé 2005-2008
-
ZENITH : Gestion de données scientifiques
Intégration, analyse et traitement des données scientifiques à très grande échelle : gestion de données incertaines, gestion de workflows scientifiques, recherche d'information basée sur le contenu, systèmes pair-à-pair et cloud.
|
|  | |