Présentation de la mention
| Вид материала | Документы |
СодержаниеResponsable : Emmanuelle ENCRENAZ Responsable : Isabelle VERNIER-MOUNIER Responsable : Jean-Marie CHESNEAUX Responsable : Alain GREINER |
- A few slides from the Presentation, 31.45kb.
- На русском и английском языках, 160.31kb.
- Стандарт університету, 259.5kb.
- International Communist Seminar (Brussels) Presentation Международный Коммунистический, 29.1kb.
| Acronyme : tsi | Spécialité : IAD | 3 ECTS | Niveau : 500 | Semestre : S3 |
| Titre : Traitement et synthèse d'images | ||||
| Responsable : Antoine Manzanera | Répartition hebdomadaire ou semestrielle | |||
| (30h/7 semaines) | ||||
ContenuL'objectif de ce cours est de fournir les bases de la synthèse d'image, autant au niveau des fondements mathématiques que de leur application informatique. Les cours théoriques sont appuyés par des séances de travaux pratiques sur l'utilisation d'OpenGL. | ||||
Expérience du responsable dans le domaine de l’UEEnseignant-chercheur au Laboratoire d'Electronique et d'Informatique de l'ENSTA. Son domaine de recherche concerne principalement l'algorithmique de traitement d'images pour les architectures parallèles et les systèmes embarqués, ainsi que la géométrie discrète. Il enseigne le traitement d'images à l'ENSTA et à l'Université Paris 6 (Master IAD) depuis plusieurs années. Son activité, autant en recherche (contrats de transfert industriel), qu'en enseignement (prospection, gestion et suivi des stages, organisation de visites) est caractérisée par une implication forte dans les relations entre étudiants, laboratoires et industriels. | ||||
Réalisations du responsable dans le domaine de l’UE | ||||
| Acronyme : tsm | Spécialité : SAR | 3 ECTS | Niveau : 500 | Semestre : S3 |
| Titre : Traitement du signal musical | ||||
| Responsable : Bertrand David | Répartition hebdomadaire ou semestrielle | |||
| (30h/7 semaines) | ||||
ContenuLes enseignements de cette UE traitent de l'analyse, de la transformation et de la synthèse des sons musicaux. Ils abordent les systèmes de bases qui permettent d'analyser les sons, d'appliquer des effets (réverbération, chorus, flanger), d'effectuer des transformations (modification de hauteur, distorsion temporelle, modification de timbre) ou encore de générer des sons utilisables par la suite dans des contextes musicaux. | ||||
Expérience du responsable dans le domaine de l’UEMaître de conférence à Télécom Paris (ENST), au sein du département Traitement du Signal et des Images, je travaille sur des problématiques liées à la représentation, la modélisation et la description automatique des signaux audio-fréquence et particulièrement musicaux. J'y encadrerai bientot mon 6eme doctorant. Membre du comité d’organisation du GRETSI 2003 (la conférence nationale de traitement du signal), membre du bureau du groupe spécialisé d'acoustique musicale de la SFA (organisateur d'une journée d'étude sur la description automatique et la perception de la musique), j'enseigne le traitement du signal au sein de l'équipe ATIAM depuis 2001. Depuis 2001, j'ai participé à 30 publications de niveau international dont 7 articles de revue (IEEE transactions majoritairement), | ||||
Réalisations du responsable dans le domaine de l’UE
| ||||
| Acronyme : tspf | Spécialité : ACSI | 3 ECTS | Niveau : 500 | Semestre : S3 |
| Titre : Techniques de simulation et de preuve formelle (Simulation techniques and formal methods) | ||||
| Responsable : Emmanuelle ENCRENAZ | Répartition hebdomadaire ou semestrielle | |||
| (30h/7 semaines) | ||||
ContenuCe module fondamental présente différentes approches pour la vérification des systèmes matériels. | ||||
Expérience du responsable dans le domaine de l’UEEnseignant-chercheur depuis 10 ans dans le domaine de la vérification fonctionnelle des systèmes intégrés sur puce. Mes recherches se focalisent sur les techniques de vérification par model-checking, qui sont le prolongement des notions de base enseignées dans le cours TSPF. | ||||
Réalisations du responsable dans le domaine de l’UE
| ||||
| Acronyme : vimu | Spécialité : IMA | ECTS 3 | Niveau : M2 | Semestre : S3 |
| Titre : Vidéo et multimédia | ||||
| Responsable : Ewa Kijak Maître de conférences à l'UPMC | Répartition hebdomadaire ou semestrielle | |||
| (CM: 3h00)(TD/TME:1h00) | ||||
ContenuCompression images fixes. Format des images vidéo. Codage vidéo. Indexation images et vidéo. Applications industrielles. TP. | ||||
Expérience du responsable dans le domaine de l’UEMaître de conférences à Paris 6 depuis septembre 2004, j'ai reçu une formation en traitement du signal. Mes thèmes de recherche sont articulés autour de l'indexation vidéo et en particulier de la fusion d'informations audio-visuelles. | ||||
Réalisations du responsable dans le domaine de l’UE
| ||||
| Acronyme : vfsr | Spécialité : SAR | 3 ECTS | Niveau : 500 | Semestre : S3 |
| Titre : Vérification formelle de systèmes répartis | ||||
| Responsable : Isabelle VERNIER-MOUNIER | Répartition hebdomadaire ou semestrielle | |||
| (CM: 3h00)(TD/TME: 1h00) | ||||
ContenuLe but de cette UE est de présenter trois techniques complémentaires de vérification formelle de systèmes répartis : la vérification structurelle, le model-checking et le test. Chacune de ces techniques sera étudiée et ses avantages et inconvénients seront présentés. | ||||
Expérience du responsable dans le domaine de l’UERecherches sur la vérification de systèmes répartis (réseaux de Petri, model-checking) depuis 1991. Enseignements dans le domaine depuis 1996 en DEA puis en Master. | ||||
Réalisations du responsable dans le domaine de l’UE
| ||||
| Acronyme : vln | Spécialité : STL | 3 ECTS | Niveau : 500 | Semestre : S3 |
| Titre : Validation des logiciels numériques | ||||
| Responsable : Jean-Marie CHESNEAUX | Répartition hebdomadaire ou semestrielle | |||
| (30h/7 semaines) | ||||
ContenuL'objectif de cet enseignement est de maîtriser les concepts liés à la validation des calculs numériques sur ordinateur comme l'arithmétique à virgule flottante ainsi que les erreurs d'arrondi et leur conséquence. Il s'agit également d'apprendre à effectuer une analyse globale de qualité numérique pour tout code de simulation numérique en maîtrisant les outils informatiques appropriés. | ||||
Expérience du responsable dans le domaine de l’UEJ.-M. Chesneaux travail sur la validation des logiciels numériques depuis 1986. Il y a consacré son doctorat d'université et son habilitation à diriger des recherches. Il a développé le logiciel CADNA qui fait l'objet d'un copyright international, dirigé quatre thèses et une habilitation sur ce sujet, publié seize articles dans des revues internationales et vingt communications dans des congrès internationaux. J.-M. Chesneaux dirige une équipe de sept enseignants-chercheurs sur cette thématique. | ||||
Réalisations du responsable dans le domaine de l’UE | ||||
| Acronyme : vlsi | Spécialité : ACSI | 6 ECTS | Niveau : 400 | Semestre : S1 |
| Titre : Conception des circuits intégrés VLSI | ||||
| Responsable : Anne DERIEUX | Répartition hebdomadaire ou semestrielle | |||
| (CM: 2h00)(TD: 2h00)(TME: 2h00) | ||||
ContenuIntroduction à la conception des circuits intégrés numériques VLSI (Very Large Scale Intégration). Ce module très pratique est conçu pour des étudiants n'ayant aucune connaissance en électronique. | ||||
Expérience du responsable dans le domaine de l’UEEn 1982 A Derieux a suivi une reconversion de la Physique vers l'Informatique et a rejoint l'équipe matériel de l'UFR d'Informatique. Elle a participé à la conception et à la réalisation de plusieurs circuits VLSI en étant responsable des stages des étudiants sur la conception de différents microprocesseurs. | ||||
Réalisations du responsable dans le domaine de l’UE | ||||
| Acronyme : zdef | Spécialité : ACSI | 3 ECTS | Niveau : 500 | Semestre : S3 |
| Titre : Circuiterie CMOS zéro défaut (Zero defect CMOS design) | ||||
| Responsable : Alain GREINER | Répartition hebdomadaire ou semestrielle | |||
| (30h/7 semaines) | ||||
ContenuCette U.E. analyse les causes de dysfonctionnement des circuits intégrés numériques, liées aux procédés de fabrication submicronique, et présente les techniques de conception permettant d'éviter ces dysfonctionnements. Cette U.E Présente également les techniques de circuiterie utilisées pour la réalisation des mémoires. | ||||
Expérience du responsable dans le domaine de l’UEAlain Greiner est directeur du département "Systèmes Embarqués sur Puce" du laboratoire LIP6. Il est L'architecte et le responsable de la chaîne de CAO/VLSI ALLIANCE, développée par le LIP6. ALLIANCE est distribuée sous licence GPL, et utilisée dans plus de 200 Universités, dont l'Université des Nations-Unies, pour l'enseignement ou la recherche. | ||||
Réalisations du responsable dans le domaine de l’UE
| ||||
1CMS : Content-management system, ou système de gestion de contenu. Nous mettons actuellement en place le logiciel libre français SPIP pour gérer le site annuel de la mention.
2Compte tenu des 375 étudiants qui ont suivi le M1 cette année, et du fait qu'ils doivent suivre 5 UE, cela donne une « pression » d'environ 100 étudiants par UE au premier semestre. Au second semestre, les UE d'anglais et de projet étant suivies par tous les étudiants, la « pression » sur les autres UE est d'environ 45 étudiants par UE.
3 Les UE apparaissant en couleur ne sont pas sous la responsabilité de la spécialité RES
4 Ce cursus étant reconnu internationalement depuis dix ans sous cette dénomination (seule l’Université de San Diego en Californie offre une formation similaire), il lui serait préjudicable de changer de nom.
5 Nous n’indiquons dans cette table que les membres interviennent de manière significative dans les enseignements ou qui sont responsables d’unités d’enseignements dans la spécialité.