Responsables scientifiques du DEA: Robert Azencott ENS Cachan Jean-Michel MOREL ENS Cachan
Professeur Robert AZENCOTT / Professeur Jean-Michel MOREL
ECOLE NORMALE SUPERIEURE
CMLA/Département de Mathématiques
61, av. du Président Wilson 94230 CACHAN
tel. : 01 47 40 59 06
DEA cohabilité par
Ecole Normale Supérieure (Cachan ) CMLA/Département de Mathématiques
Robert Azencott Jean Michel Morel Yves Meyer Laurent Younes
Université Paris - Dauphine Département de Mathématiques
Jean-Pierre Aubin Laurent Cohen Françoise Dibos
Ecole Polytechnique Departements Maths appliquées et Informatique
Stéphane Mallat Donald Geman
Ecole Normale Supérieure (Ulm) DMI
Michel Duflo
Extensions des cohabilitations envisagées pour 2000/2001
(avec 3 équipes collaborant au DEA depuis plus de deux ans)
Telecom Paris
Département TSI
Henri Maitre
Université Paris 5 Dépt de Mathématiques
Christine Graffigne
Université Paris Nord Institut Galilée
Alain Trouvé
APPARTENANCES A ECOLES DOCTORALES :
ENS Cachan : Ecole Doctorale de l'ENS Cachan
Secteur Maths Appliquées
responsables Robert Azencott et Jean-Michel Morel
Université Paris-Dauphine : Ecole Doctorale EDOMADE
Responsable Laurent Cohen
Ecole Polytechnique : Ecole Doctorale de l'Ecole Polytechnique
responsable Roland Sénéor
OBJECTIFS PEDAGOGIQUES, SCIENTIFIQUES, PROFESSIONNELS DU DEA
Le DEA comporte des cours théoriques assortis, pour la plupart, de travaux pratiques pour éprouver la validité des modèles et des algorithmes. L'examen peut consister en problème en temps limité et, sur demande motivée, en un projet sur ordinateur.
Sur le plan pédagogique il s'agit d'offrir une initiation cohérente et solide à tout un faisceau de concepts, modèles, et techniques mathématiques (ou informatiques) de haut niveau applicables à la vision, à la perception, à l'apprentissage, en focalisant le DEA sur des domaines de recherche très actifs : la vision artificielle, l'analyse automatique du signal et de l'image, l'émulation des comportements perceptifs ou adaptatifs de l'homme. Ce DEA se place donc dans la perspective du développement rapide et passionnant des mathématiques appliquées à la modélisation et à l'émulation de l'intelligence humaine, développement soutenu par la montée en puissance accélérée des sciences du cerveau.
Depuis dix ans, ces champs applicatifs importants attirent l'intérêt d'un nombre croissant de mathématiciens, liés à des domaines de recherche mathématique en pleine activité : analyse harmonique, analyse en ondelettes et traitement du signal, méthodes variationnelles et EDP en analyse d'images, relaxation stochastique, champs markoviens, géométrie algèbrique et algèbre effective en vision artificielle, théorie des déformations élastiques appliquée à l'imagerie automatique et à la reconnaissance de formes, théories de l'information et reconnaissance des formes, théories probabilistes de l'apprentissage, modélisations de textures et de backgrounds, modèles statistiques parcimonieux et réseaux neuronaux formels, modélisation de tâches intelligentes par minimisation de fonctions de coût complexes.
Au plan professionnel, des débouchés vers les grands laboratoires de recherche franco-européens, privés (Aérospatiale / Alcatel / Sagem/ General Electric / Matra / Philips / Siemens / Thomson / Xerox etc...) ou publics (CEA / CNES / INRA / INRIA / ISPRA / LETI etc...) sont évidemment ouverts aux bons thèsards ou étudiants doctorants formés dans un DEA de ce type.
Les débouchés vers l'enseignement supérieur s'orienteront d'une part vers les départements de Maths Appliquées, et d'autre part vers certains départements d'Informatique .
1er Trimestre 99/2000 Cours Maths/ Vision
Françoise Dibos (Univ Paris Dauphine) Restauration d'images (Méthodes variationnelles)
Olivier Faugeras (INRIA) Géométrie et vision
Séphane Mallat (Ecole Polytechnique) Estimation/ Compression par ondelettes
Henri Maître (Télécom Paris) Initiation au traitement d'images et à la
Programmation
Yves Meyer (ENS Cachan/U. Paris-Dauphine) Ondelettes et analyse d'images
Jean-Michel Morel (ENS Cachan) Travaux dirigés d'analyse de Fourier et ondelettes
Alain Trouvé (Univ Paris Nord ) : Déformations élastiques d'images
Laurent Younès (ENS Cachan) Backgrounds et textures / Modèles
stochastiques d'images
1er Trimestre 99/2000 Cours Maths/ Apprentissage
Jean-Pierre Aubin Yves Burnod Réseaux de neurones biologiques
(Univ. Paris-Dauphine et Univ. Paris 6)
Jean-Pierre Nadal (CNRS/ENS Ulm) Modélisation et inférence : physique statistique et
Isabelle Bloch / Christine Graffigne Imagerie médicale
(ENS Telecom et Univ. Paris 5)
Bernard Chalmond (Univ. Cergy) Imagerie X et tomographie industrielle
Laurent Cohen (Univ. Paris Dauphine) Modèles déformables en analyse
JP Guillois / C. Bernard Compression d'images
(Telecom Paris et Ecole Polytechnique)
Henri Maître (ENS Telecom) Traitement numérique des images
Jean-Michel Morel (ENS Cachan) Filtrage iteratif d'images et EDP
JM Nicolas (Telecom Paris) Imagerie satellitaire
2ème trimestre 99/2000 Cours Maths/ Apprentissage
Michel Benaim (Univ. Cergy) Systèmes dynamiques / Apprentissage
Maris Cottrell (Univ. Paris 1) Analyse de données et techniques neuronales
Donald Geman Reconnaissance visuelle
Jérôme Lacaille (ENS Cachan) Apprentissage et réseaux de neurones
Jean-Jacques Slotine (MIT) Dynamique de l'apprentissage
J.-P. AUBIN - Y. BURNOD
Réseaux de nuerones biologiques
" Régulation des fonctions neuronales "
Le cours " Régulation des Fonctions Neuronales " offre une formation doctorale interdisciplinaire neuro-sciences / mathématiques afin de préparer les jeunes chercheurs ) explorer les domaines des neuro-sciences susceptibles d'être interprétables par des métaphores ou modèles mathématiques.
Le cours sera divisé en trois parties :
F. DIBOS
Restauration d'images (Méthodes variationnelles)
" Restauration d'images par minimisation de la variation totale "
Osher et Rudin ont été les premiers à proposer un modèle de restauration d'images par minimisation de la variation totale. Dans ce cours, on présentera d'une part, le cadre mathématique utilisé pour résoudre ce problème : l'espace des fonctions à variation bornée (définition, formule de coaire, rectifiabilité de l'ensemble des sauts) et d'autre part plusieurs travaux récents dans ce domaine : algorithmes de Chambolle-Lions, Ito-Kunish, Dibos-Koepler.
O. FAUGERAS
" Géométrie et Vision "
Résumé en préparation
S. MALLAT
" Estimation / Compression par ondelettes "
Traiter des signaux de grande taille tels que des images ou des sons nécessite de construire des représentation permettant d'approximer ces signaux par un petit nombre de coefficients. L'élaboration et l'analyse d'algorithmes non-linéaires est alors considérablement simplifiée. Le cours étudie des applications pour la compression d'images, le débruitage et la solution de problèmes inverses. Les sujets suivants seront abordés :
H. MAITRE
" Initiation au traitement d'images et à la programmation "
TP : Initiation au traitement d'images (logiciel xview)
3. Leçon : Champs de Markov en traitement d'images
TP : synthèse de textures par Champs de Markov (mrfigs)
4. Leçon : Champs de Markov pour la segmentation
TP : Segmentation par champs de Markov (Khoros)
5. Leçon : Programmation en C
TP : Programmation de quelques manipulations de traitement d'images
6. Leçon : Bases de la Morphologie Mathématique
TP : Illustration d'outils de Morpho. Math.
7. Projet de traitement d'images
" Ondelettes et analyse d'images
Ce cours est motivé par les progrès récents en traitement de l'image (nouvel algorithme JPEG 2000 pour la compression des images fixes et débruitage des images SPOT). Il comportera deux :
J.-M. MOREL
" Travaux dirigés d'analyse de Fourier et ondelettes "
J.-P. NADAL
" Modélisation et inférence : physique statistique et théorie de l'information "
(Une introduction à la modélisation des mécaniques d'apprentissage et d'adaptation dans les systèmes naturels et artificiels)
Le cours a pour objectif de donner une introduction à la modélisation des mécanismes d'apprentissage et d'adaptation dans les systèmes naturels et artificiels, en mettant l'accent sur les approches basées sur la physique statistique, les statistiques (bayesiennes) et la théorie de l'information. Les concepts de ces disciplines utiles pour le cours seront introduits au fur et à mesure des besoins. Les thèmes principaux seront : théorie(s) statistique(s) de l'apprentissage (modèles de mémoire associative, classification supervisée, apprentissage d'une règle par l'exemple), modélisation du " codage neuronal " et applications au traitement du signal (analyse en composantes indépendantes).
A.TROUVE
" Déformation élastiques d'images "
Modèles déformables aléatoires et méthodes d'appariement en reconnaissance de formes.
Le problème de l'appariement de formes consiste sous sa forme la plus simple à chercher à apparier point par point deux objets d'une même classe à travers un difféomorphisme. Un domaine privilégié d'application est l'imagerie médicale pour l'étude de la variabilité des organes.
Classiquement, lorsque le difformorphisme est proche de l'identité (la deformation est petite), on linéarise celui-ci par un champ de déplacements reconstruit comme la solution d'un problème variationnel faisant intervenir un terme de régularisation et un terme d'attache aux données. Nous reformulerons cette approche dans un cadre statistique Bayesien pour lequel l'a priori sur le champ de déformations est donné par un champ gaussien dont la structure de covariance est dictée par le terme de régularisation. Nous développerons différentes approches pour le problème d'estimation associé. Dans une deuxième partie, nous développerons une approche non linéaire valable pour les grandes déformations et dans un cadre suffisamment général pour nous permettre de travailler directement sur les difféomorphismes. Le problème d'appariement devient alors un problème de calcul de géodésiques dans un groupe de Lie pour une métrique invariante. On s'attachera à préciser cette structure géométrique et l'on montrera que cette approche conduit à des algorithmes effectifs de calculs d'appariements. Enfin, nous
terminerons sur un certains nombre de questions ouvertes sur une interprétation Bayesienne de ce problème variationnel dans sa forme non linéaire.
Pré-requis: Les outils mathématiques nécessaires seront introduits au fur et à mesure notamment en ce qui concerne les champs gaussiens et les groupes de Lie. Une certaine familiarité avec la théorie des opérateurs auto-adjoints peut être utile mais n'est pas requise.
L. YOUNES
" Backgrounds et textures : Modèles stochastiques d'images "
La modélisation du processus de formation des images naturelles est u thème de recherche actuellement en important développement, avec des applications en analyse des scènes, détection d'objets et synthèse de texture. De manière très schématique, on met en évidence un comportement statistique " typique " des images naturelles, l'on veut ensuite caractériser, exploiter et éventuellement reproduire.
Ce cours se propose de fournir les outils nécessaires à cette approche, accompagnés d'un certain nombre d'application. Il contiendra les éléments suivants :
COURS DU 2ème TRIMESTRE
M. BENAIM
" Systèmes dynamiques et Apprentissage "
Résumé en préparation
L. BLOCH - C. GRAFFIGNE
" Imagerie médicale "
Ce cours présentera les principales techniques d'acquisition en imagerie médicale, et leurs spécificités pour les problèmes de traitement d'images et de reconnaissance des formes. Les applications abordées porteront sur l'imagerie cérébrale, la mammographie et l'imagerie cardio-vasculaire. Pour chacune d'entre elles, un certain nombre de techniques de traitement d'images seront présentées et illustrées ; Ces thèmes seront complétées par des conférences données par des intervenants extérieurs.
B. CHALMOND
" Imagerie X et tomographie industrielle "
Les problèmes listés ci-dessous englobent un large domaine de l'imagerie radiographique. Les méthodes exposées, bien que développées en secteur industriel, seront génériques et donc applicables à d'autres secteurs comme celui de la radiographie médicale.
Traitement de dégradation : la formation des images radiographiques
est perturbée par des phénomènes de diffusé
(transport des photons) et par un bruit lors de l'acquisition de l'image.
Détection : l'image contient des entités spécifiques
que l'on veut automatiquement détecter. Reconstruction tri-dimensionnelle
: à partir de plusieurs images radiographiques d'un même objet,
il s'agit de reconstruire l'intérieur de cet objet.
Les solutions mathématiques et algorithmiques présentées reposeront le plus souvent sur une modélisation à base d'énergie directe ou continues.
L. COHEN
" Modèles Déformables en Analyse d'Images "
Un modèle déformable est une courbe ou une surface élastique qui se déforme sous l'action de forces d'attraction vers les attributs recherchés dans une image. Ce cours montre comment l'utilisation des méthodes variationnelles et des EDP a permis, ces dix dernières années, de définir une nouvelle approche pour la segmentation, la restauration, l'extraction et le suivi de contours (snakes). Ces méthodes sont fondamentales pour le traitement des images (et des séquences dynamiques) médicales 2D et 3D. Elles constituent aussi un outil puissant d'aide au tracé et la reconstruction 3D, aussi bien pour des applications biomédicales qu `en imagerie aérienne ou industrielle.
M.COTTRELL
" Analyse de données et techniques neuronales "
D. GEMAN
" La Reconnaissance Visuelle "
J.-P. GUILLOIS
" Compression d'images "
J. LACAILLE
" Apprentissage et réseaux de neurones "
Ce cours constitue une introduction à l'utilisation numérique des réseaux de neurones. Le premier chapitre introduit brièvement la notion de neurone et celle de réseaux. On y rappelle aussi les quelques modèles classiques utilisés couramment par les numériciens et statisticiens. Le second chapitre présente des outils mathématiques permettant de mieux comrrendre la dynamique des réseaux. Il s'agit d'un début de théorie de l'apprentissage , mais appréhendée du point de vue de l'utilisation des réseaux de neurones.
Le chapitre trois développe le thème des réseaux déterministes. On commence par une étude simple de perceptron, puis des réseaux feedforward multicouches. Pour finir on propose une méthode d'apprentissage des réseaux récurrents.
Le chapitre quatre présente les réseaux stochastiques et les méthodes d'apprentissage adaptées aux machines de Boltzmann synchrones et multiconnectées. On étudie les convergences de ces algorithmes et les possibilités d'implémenter efficacement des modèles séquentiels en utilisant une méthodologie de parallélisme partiel.
Alors que les trois chapitres précédents présentent
des réseaux classiques mettant en oeuvre des méthodologies
d'apprentissage supervisés les dernier chapitre traite de l'auto-organisation
des réseaux de neurones ; On rappelle les découvertes de
Linsker sur le système visuel et on donne la méthodologie
de programmation d'une extraction de composantes principales d'un échantillon
de données.
Une annexe bibliographique permet à l'étudiant de
mieux se repérer dans ses recherches.
H. MAITRE
" Traitement numérique des images "
Cet enseignement a pour objectif de présenter les techniques de base du traitement numérique des images et particulièrement les outils les plus couramment utilisés pour améliorer l'image (contraste, bruit), détecter et reconnaître les structure principales qui la composent (contours, textures, zones) et les décrire pour une application future, quelque soit son domaine (satellite, médical, industriel, etc.). Cet enseignement doit permettre à l'étudiant de résoudre complètement un problème de traitement d'images avec les outils existant aujourd'hui, il permet également d'aborder de façon critique la littérature spécialisée. Enfin, il remet dans le contexte du traitement des images des outils vus par ailleurs dans le DEA : ondelettes, représentations échelle-espace, équations de diffusion, champs de Markov, réseaux neuromimétiques, théorie de l'information, etc.
Cet enseignement fait appel aux travaux pratiques pour asseoir la présentation théorique sur une expérimentation concrète. Il s'appuie également sur une large base d'applications dans des domaines variés des sciences de l'ingénieur qui sont présentés en illustration.
J.-M. MOREL
" Filtrage itératif d'image et EDP "
Dans ce cours, on donnera une brève présentation des philtres les plus employés en traitement d'images classique linéaire et en morphologie mathématiques. On examinera les conséquences mathématiques du " principe d'invariance par changement de contraste ". On montrera que l'on peut classifier les filtres classiques (et quelques nouveaux) par leur comportement asymptotique et que leur itération est régie par une équation aux dérivées partielles non linéaire. On discutera ces équations et on donnera les éléments de la théorie d'existence et d'unicité par la méthode des solutions de viscosité. Le cours sera assorti de travaux pratiques. Pour permettre un plus ample accès aux étudiants de formation informatique, l'examen aura deux formes possibles : problème en temps limite ou remise d'un petit mémoire, théorique ou expérimental. Un polycopié illustré, écrit en anglais, sera remis aux étudiants.
Les TP sont asssurés par Lionel MOISAN.
J.-M. NICOLAS
" Imagerie satellitaire "
Ce module a pour but d'effectuer une présentation globale
des satellites d'imagerie existants (visible, radar, IR), d'analyser les
moyens et les techniques mises en oeuvre dans ces systèmes d'imagerie
et de montrer leurs diverses applications : surveillance de l'environnement,
météorologie, cartographie, archéologie, renseignement
militaire... il s'attachera à souligner les problèmes spécifiques
à chaque technique d'imagerie, et à montrer, au travers des
applications, les techniques utilisées. Il vise à donner
une formation pour de futurs ingénieurs R&D de groupes industriels
impliqués dans le domaine de l'imagerie satellitaire (Aérospatiale,
CNES, Dassault, Matra, Thompson).
Programme :
J.-J. SLOTINE
" Dynamique de l'apprentissage "