Master de sciences et technologies mention : informatique

Acronyme : tdi	Spécialité : IAD	3 ECTS	Niveau : 500	Semestre : S4
Titre : Techniques du traitement d'images
Responsable : Florence Tupin		Répartition hebdomadaire ou semestrielle
		(30h00/7 semaines)
Contenu Cette UE, qui nécessite d'avoir suivi l'UE teri, porte sur les techniques de bas niveau du traitement des images et sur les modèles mathématique associés. Il comporte cours et travaux pratiques.
Expérience du responsable dans le domaine de l’UE Enseigne dans ce domaine à l'ENST depuis plusieurs années. Auteur des chapitres correspondants du livre de Traitement d'Images et du livre Traitement des images de RSO aux editions Hermes sous la direction d'Henri Maître, publiés en 2003. Son domaine de recherche concerne le développement de modèles markoviens pour le traitement des images radar, notamment pour la reconstruction 3D.
Réalisations du responsable dans le domaine de l’UE F.Tupin and M. Roux, Markov Random Field on Region Adjacency Graphs for the fusion of SAR and optical data in radargrammetric applications, IEEE Transactions on Geoscience and Remote Sensing, 2005. C. Tison and J.M. Nicolas and F. Tupin and H. Maître, A New Statistical Model of Urban Areas in High Resolution SAR Images for Markovian Segmentation, IEEE Transactions on Geoscience and Remote Sensing, 2004. F. Tupin and M. Roux, Detection of building outlines based on the fusion of SAR and optical features, ISPRS Journal of Photogrammetry and Remote Sensing, 2003. F. Tupin and B. Houshmand and M. Datcu, Road detection in dense urban areas using SAR imagery and the usefulness of multiple views, IEEE Transactions on Geoscience and Remote Sensing, 2002.

Acronyme : tep	Spécialité : STL	3 ECTS	Niveau : 500	Semestre : S3
Titre : Typage et polymorphisme
Responsable : Emmanuel CHAILLOUX		Répartition hebdomadaire ou semestrielle
		(CM: 2h00)(TD/TME: 2h00)
Contenu Comprendre les différentes classes de polymorphisme : paramétrique, inclusion,ad hoc, de rangées, borné, et ses utilisations pour la conception de bibliothèques réutilisables, justifier l'emploi de modèles de conception qui sortent du typage statique.
Expérience du responsable dans le domaine de l’UE Mes thèmes de recherche sont articulés autour des langages fonctionnels statiquement typés, en particulier du langage Caml. Ces travaux s'inscrivent dans le développement d'environnement de programmation (compilation efficace, interopérabilité et aide au développement), dans la réalisation d'applications justifiant l'utilisation de tels langages et dans l'intégration d'autres paradigmes de programmation (parallélisme, programmation par objets) dans le cadre confortable du typage statique.
Réalisations du responsable dans le domaine de l’UE E. Chailloux/P. Manoury/B. Pagano, Développement d'applications avec Objective Caml, O'Reilly 2000 E. Chailloux/C. Foisy, A portable Implementation for Objective Caml Flight, Parallel Processing Letters 2003 E. Chailloux, Dynamic Object Typing in Objective Caml, International LISP Conference 2002 R. Montelatici/E. Chailloux/B. Pagano, Objective Caml on .NET : The OCamil Compiler, .NET Technologies, 2005 E. Chailloux/J. Verlaguet, HirondML: Fair Threads Migrations for Objective Caml, HLPP 2005