Équipes

Équipes de recherche

A3SI

Algorithmes, architectures, analyse et synthèse d’images

Les domaines de l'analyse, du traitement et de la synthèse d'images connaissent, depuis plusieurs décennies, un grand développement tant du point de vue de leurs applications que du point de vue des méthodes utilisées. Dans ce champ scientifique très vaste, nous développons neuf thèmes de recherche qui sont les suivants :

Thèmes de recherche

  • Architectures dédiées pour l'imagerie : proposition et validation d'une architecture matérielle parallèle, dédiée et programmable pour des filtres morphologiques ; implantation sous contrainte temporelle d'algorithmes de traitement d'images ; contribution à l'élaboration d'une méthodologie formelle d'Adéquation Algorithme Architecture...
  • Géométrie et topologie discrètes, géométrie algorithmique : introduction et développement du cadre des noyaux critiques, qui permet de concevoir et de valider des algorithmes parallèles d'amincissement homotopique ; nouveaux algorithmes pour l'obtention de squelettes euclidiens discrets robustes au bruit ; nouvelle voie ouverte pour la résolution de problèmes ouverts d'approximation structurelle en géométrie ; nouvelles méthodes pour la reconnaissance de rotations discrètes et de primitives discrètes...
  • Morphologie mathématique, filtrage et analyse d'images : développement de la théorie de la segmentation connective, avec en particulier la proposition d'un cadre unificateur reliant différents travaux antérieurs; avancées dans l'étude de l'optimisation dans des treillis énergétiques ; développement de la morphologie mathématique sur des graphes et espaces de complexes ; nouveaux opérateurs pour la détection d'objets fins dans des images...
  • Optimisation, apprentissage et traitement d'images : proposition d'une méthode basée sur le calcul discret pour le calcul efficace des flots maximaux continus sur des graphes par des méthodes convexes ; proposition d'un cadre unificateur pour certaines méthodes d'optimisation discrètes, comprenant les coupures de graphes, les forêts de poids minimum, la ligne de partage des eaux et le marcheur aléatoire ; cadre qui nous a permis de proposer un nouvel outil, la ligne de partage des eaux "puissance''...
  • Synthèse d'images et modélisation : nouvel algorithme de rendu temps-réel en présence de milieux participants hétérogènes ; pipeline de streaming de données permettant la prévisualisation de scènes pouvant contenir plusieurs Toctets ; méthode de capture de mouvement temps-réel basée sur le calcul robuste du squelette du sujet, et son recalage avec un modèle à base de squelette...
  • Vision, reconstruction de modèles 3D et sémantisation : développement d'un ensemble de technologies qui permettent la reconstruction automatique de modèles 3D à partir d'images ; développement de techniques adaptatives de calibration externe de caméras particulièrement robustes ; méthode originale de calibration interne pour la reconstruction 3D à haute précision à partir de paires d'images stéréo à faible écartement...

Pour en savoir plus :

Le séminaire A3SI : http://www.esiee.fr/~dpt-it/a3si/semin2014_2015.html

ADA

Algorithmique Discrète et Applications

Thèmes de recherches

Algorithmique des structures combinatoires et algorithmique pour la bioinformatique

Le thème Algorithmique des structures combinatoires et algorithmique pour la bioinformatique couvre un large spectre et concerne les travaux qui se retrouvent autour de l’algorithmique pour la bioinformatique, l’algorithmique des graphes et du texte et la complexité paramétrée.

Géométrie algorithmique et combinatoire

Le thème Géométrie algorithmique et combinatoire vise à développer des algorithmes efficaces pour des problèmes de nature géométrique et topologique, ainsi qu'à étudier les structures combinatoires sous-jacentes et explorer les nombreux liens avec des domaines mathématiques et informatiques connexes. L'équipe est particulièrement spécialisées dans l'étude algorithmique des objets issus de la topologie de basse dimension (surfaces, nœuds, 3-variétés).

Linguistique pour le traitement des langues

Le thème Linguistique pour le traitement des langues recouvre des activités de description syntaxique et sémantique, la production de bases de données lexicales et grammaticales, et des applications de celles-ci au traitement automatique des langues.

BAAM

Bases de données, Automates, Analyse d'algorithmes et Modèles

La recherche de l'équipe BAAM autour de deux pôles principaux: l'analyse d'algorithmes (complexité en moyenne, combinatoire analytique et énumérative), et les méthodes formelles (automates, logique, jeux) motivés par la vérification, les bases de données et la représentation des connaissances.

Thèmes de recherches

  • Bases de données
  • Analyse d'algorithmes
  • Automates et logique
  • Modèles finis et infinis
COMBI

Combinatoire algébrique et calcul symbolique

La Combinatoire Algébrique se situe au confluent de certaines branches des mathématiques (la théorie des représentations, la combinatoire, les probabilités), de l'informatique (le calcul formel, l'algorithmique) et de leurs applications (principalement en physique).

LRT

Logiciels, réseaux et temps réel

Le travail de l'équipe s'articule autour de trois grands thèmes : Logiciels, Réseaux et Temps réel. Cette équipe est composée de 17 chercheurs/enseignants permanents.
L'équipe est dirigée par Abderrezak Rachedi.

Thèmes de recherche

  • Algorithmes et modèles pour les réseaux
    • Sécurité et qualité de service dans les réseaux sans fil (réseaux IoT, Internet des véhicules, réseaux de drones),
    • Modèles de confiance distribués basés sur la Blockchain pour les réseaux,
    • Prédiction et gestion des ressources, Contrôle d'accès dans les réseaux mobiles de nouvelle génération (5G/5G+/6G, Cloud-RAN) et Réseaux de satellites,
    • Modèles de tolérance aux fautes et détection d’anomalies.
  • Logiciel, systèmes et applications
    • Détection de plagiat,
    • Sécurité des binaires et des systèmes IoT (Shellcode, rétro-ingénierie, OS),
    • Jumeaux numériques urbains,
    • Plateformes IoT pour la ville intelligente,
    • Amélioration de la plateforme Java,
    • Chorégraphie de services dans l'Internet des Objets.
  • Algorithmes et modèles pour les systèmes Temps réel
    • Conception et analyse d'algorithmes d'ordonnancement,
    • Méthodes formelles,
    • Adéquation algorithmes et architectures (optimisation et implémentation),
    • Architecture multiprocesseurs (CPU, GPU, NoC),
    • Architecture d'exécution contraintes (énergie, coût de l’OS, sécurité).

MMSID

Méthodes et Modèles pour le Signal, l'Image et les Données

L'équipe Méthodes et Modèles pour le Signal, l'Image et les Données a constitué l'une des composantes du Laboratoire Systèmes de Communication jusqu'en 2001. Après avoir été affilié au LTCI (UMR 5141, CNRS ENST), le groupe a rejoint en 2004 le laboratoire d'Informatique de l'Institut Gaspard Monge (UMR 8049, CNRS LIGM), qui est membre du Labex Bezout. L'équipe est dirigée par Walid Hachem, directeur de recherche CNRS, et est composée de 10 chercheurs/enseignants-chercheurs.

Thèmes de recherche:

  • Matrices aléatoires, statistiques en grandes dimensions.
  • Analyses des méthodes d'apprentissage profond.
  • Transport optimal et analyse topologique des données et
    applications.
  • Optimisation stochastique, optimisation en ligne et applications aux réseaux.
  • Théorie de l'information et applications aux réseaux.

Équipes de soutien et support