51
1/51 CAMPAGNE D’HABILITATION 2008 Merci de développer les sigles utilisés dans ce dossier 1 - FICHE D’IDENTITE Etablissement : UNIVERSITE DE NICE SOPHIA ANTIPOLIS Composante principale : Ecole Polytechnique de l’Université de Nice - Sophia Antipolis Composante associée : UFR Sciences Co-habilitation éventuelle : aucune Intitulé du domaine de Formation : STS - Sciences, Technologies et Santé Intitulé du diplôme : MASTER Intitulé de la Mention : Master d'Informatique Intitulé de la spécialité : ISI : Informatique : Science et Ingénierie Création / renouvellement à l’identique / renouvellement avec modification (rayer la mention inutile) N° d’habilitation contrat 2004-2007 (à renseigner en cas de renouvellement) : 930207 Les Master 1 STIC Master 2 PRO STIC-ISI Master 2 REC STIC-IGMMV Master 2 REC STIC-RSD et les parties informatiques des Masters 2 PRO TIM et 2 REC SE Pour devenir le Master intégré Informatique-ISI Responsable de la mention : Enrico Formenti, Professeur des Universités, Section CNU n° 27, tél : +33 (0)4 92 07 66 56 fax : +33 (0)4 92 07 66 55 e-mail : [email protected] Responsable de la spécialité: Michel Riveill Professeur des Universités, Section CNU n°27 Tél : +33 (0)4 92 96 52 48 Fax : +33 (0)4 92 96 52 48 e-mail : [email protected] Responsables de parcours (indiquer nom, qualité, section CNU, tél, fax, e-mail, pour chaque parcours) :

Spécialité ISI

Embed Size (px)

Citation preview

Page 1: Spécialité ISI

1/51

CAMPAGNE D’HABILITATION

2008

Merci de développer les sigles utilisés dans ce dossier

1 - FICHE D’IDENTITE Etablissement : UNIVERSITE DE NICE SOPHIA ANTIPOLIS Composante principale : Ecole Polytechnique de l’Université de Nice - Sophia Antipolis Composante associée : UFR Sciences Co-habilitation éventuelle : aucune Intitulé du domaine de Formation : STS - Sciences, Technologies et Santé Intitulé du diplôme : MASTER Intitulé de la Mention : Master d'Informatique Intitulé de la spécialité : ISI : Informatique : Science et Ingénierie Création / renouvellement à l’identique / renouvellement avec modification (rayer la mention inutile) N° d’habilitation contrat 2004-2007 (à renseigner en cas de renouvellement) : 930207 Les Master 1 STIC Master 2 PRO STIC-ISI Master 2 REC STIC-IGMMV Master 2 REC STIC-RSD et les parties informatiques des Masters 2 PRO TIM et 2 REC SE Pour devenir le Master intégré Informatique-ISI Responsable de la mention : Enrico Formenti,

Professeur des Universités, Section CNU n° 27, tél : +33 (0)4 92 07 66 56 fax : +33 (0)4 92 07 66 55 e-mail : [email protected]

Responsable de la spécialité: Michel Riveill

Professeur des Universités, Section CNU n°27 Tél : +33 (0)4 92 96 52 48 Fax : +33 (0)4 92 96 52 48 e-mail : [email protected]

Responsables de parcours (indiquer nom, qualité, section CNU, tél, fax, e-mail, pour chaque parcours) :

Page 2: Spécialité ISI

2/51

Ce master intégré possède au niveau M1, un seul parcours et au niveau M2, 8 parcours. Il partage avec le Master IF (Informatique Fondamentale) différents cours. Les enseignements du M1 INFORMATIQUE-ISI auront lieu à Valrose et seront ‘pilotés’ par le département informatique de l’UFR Sciences. Par contre, les enseignement du M2 INFORMATIQUE-ISI auront lieu à Sophia Antipolis dans les locaux de l’Ecole Polytechnique Universitaire et seront ‘pilotés’ par le département informatique de l’école. Niveau M1 – Spécialité ISI Responsable du parcours LS – Logiciel et Systèmes (M1) :

Fabrice Huet, Maître de conférences, Section CNU n° 27, tél : +33 (0)4 92 07 66 73 fax : +33 (0)4 92 07 66 55 e-mail : [email protected]

Niveau M2 – Spécialité ISI Responsable du parcours : Systèmes de communication et réseaux

W. Dabbous (DR INRIA).

Email : [email protected]

recrutement prévu d’un professeur « Réseaux » à l’Université de Nice-Sophia Antipolis devant prendre la responsabilité de ce parcours

Responsable du parcours : Systèmes, Intergiciels et Applications Répartie

M. Riveill (PR 27 UNSA-Polytech)

Email : [email protected]

Responsable du parcours : Informatique ambiante et mobile

J-Y. Tigli (MC 27 UNSA-Polytech)

Email : [email protected]

Responsable du parcours : Architecture réparties des logiciels

P. Lahire (PR UNSA-UFR Sciences)

Email : [email protected] Responsable du parcours : Interaction Homme-Machine

D. Lingrand (MC 27 UNSA-Polytech)

Email : [email protected] Responsable du parcours : Web et ingénierie de la connaissance

P. Sander (PR 27 UNSA-Polytech)

Email : [email protected]

Responsable du parcours : Calculer sur le vivant (imagerie médicale et neurosciences computationnelles)

T. Vieville (DR INRIA)

Email : [email protected]

Responsable du parcours : Images, multimédia et modélisation géométrique

O. Devillers (DR INRIA)

Email : [email protected]

Page 3: Spécialité ISI

3/51

Secteurs de référence (code sise) : 14, 35 Localisation des enseignements : l’organisation des enseignements est faite de manière à favoriser la mise en commun des Unités d’enseignement : chaque cours occupe une demi-journée de manière régulière sur un site donnée. Le catalogue de cours est commun aux 2 spécialités du master intégré. En ce qui concerne la spécialité ISI les enseignements auront lieu sur le site de Valrose pour la première année et à Polytech’Nice-Sophia pour la seconde année. Une partie des enseignements de la seconde étant commun avec la spécialité IF du master INFORMATIQUE, les enseignements communs pourront avoir lieu à Valrose (Nice centre). A la rentrée 2010, toutes les spécialités du Master INFORMATIQUE devraient être regroupées à Sophia Antipolis (construction et réaménagement de bâtiments en cours) et ces problèmes d’organisation devraient disparaître. Date d’ouverture de la formation : septembre 2008 Date et avis du CEVU Date et avis du CA

Page 4: Spécialité ISI

4/51

2 - DESCRIPTION GENERALE DU PROJET

2. 1 Objectifs de la formation

Objectifs scientifiques (préciser les objectifs scientifiques communs aux parcours « recherche » et aux parcours « professionnalisants ») :

Le master d’informatique comporte 6 spécialités (IF, IMAFA, ISI, M2IM, MATICS et MBDS), chaque spécialité ayant plusieurs parcours. La figure précédente résume l'architecture générale de la mention. A noter que tous les masters de la mention sont des masters intégrés à l'exception du parcours ENS dans IF qui ne prévoit que les deux premiers semestres. Il faut aussi remarquer que nous avons fait un grand effort d'uniformisation sur les volumes des modules et sur le calendrier de manière à maximiser le nombre de modules partagés. Cela dans le but de préparer/compléter la migration du Master sur le site de Sophia Antipolis quand le Campus STIC sera en place. La spécialité ISI du master INFORMATIQUE a pour objectifs principaux :

• Former des spécialistes de haut niveau en Informatique, en particulier dans le domaine des Télécom, des Réseaux, des Systèmes Répartis, des Architectures logicielles et du Génie Logiciel, des Systèmes et Applications embarquées et Nomades, des Images par des parcours différenciés communs avec la

Page 5: Spécialité ISI

5/51

troisième année de Polytech’Nice – Sophia afin d’offrir au étudiants un choix d’enseignement variés ; • Former de véritables professionnels maîtrisant les techniques informatiques d'aujourd'hui et aptes à

assimiler celles de demain ; • Entrainer les étudiants au travail collectif, les initier au monde de la recherche, leur faciliter le passage du

monde des études au monde du travail (projets, études bibliographiques, stages de fin d'études). • Favoriser l'esprit d'initiative, l'autonomie et le sens des responsabilités ainsi que l'esprit de compétition ; • Répondre aux besoins réels des entreprises et des centres de recherches académiques ou privés.

En première année, le parcours « Logiciel et Systèmes » est un parcours visant à préparer aux différents Master 2 du bassin niçois, qu'ils soient professionnalisants ou orientés recherche. L'objectif principal est de former les étudiants pour qu'ils aient les bases théoriques minimales pour écrire et analyser des algorithmes, tout en leur fournissant aussi une formation aux techniques et outils récents. Le public attendu pour ce parcours est essentiellement des personnes ayant une solide formation en informatique (typiquement des étudiants venant de L3 spécialité informatique). Grâce aux options, les étudiants pourront choisir de se spécialiser dans le domaine des systèmes ou dans celui des logiciels. Cette spécialisation leur permettra de se préparer efficacement à intégrer un Master 2. En seconde année, 8 parcours permettent aux étudiants de ce spécialisé vers différents domaines de l’informatiques : télécom, réseau, systèmes embarqués, architecture logicielle, génie logiciel, interface homme-machine, image et vision en lien avec les centres de recherche et les entreprises de la technopole de Sophia Antipolis Objectifs professionnels (préciser les objectifs professionnels aussi bien pour les parcours « recherche » que pour les parcours « professionnalisant ») : Tous les parcours sont mixtes et peuvent être suivi sous une forme recherche ou ingénierie (plutôt que professionnalisant – la recherche étant aussi un métier). Les objectifs de formation rejoignent les préoccupations de formation des cadres :

- Maitrise de la langue anglaise - Expérience du monde de l’entreprise et des laboratoires de recherches - Autonomie, créativité mais aussi élaboration et respect de cahiers des charges

Métiers actuels et futurs visés :

- Ingénieur en informatique dans les spécialités du Master (70 % des étudiants) - Chercheur ou enseignant-chercheur en informatique dans les spécialités du Master (30 % des étudiants

devraient poursuivre en thèse) L'enseignement et l'encadrement de stages de master s'appuie sur le potentiel d'accueil en enseignants-chercheurs du laboratoire I3S (CNRS et UNSA), de l'INRIA Sophia Antipolis et des deux départements d’enseignement en informatique de l’Université de Nice - Sophia Antipolis : UFR Sciences et Ecole Polytechnique Universitaire de Nice-Sophia Antipolis.

2. 2 Caractéristiques du projet dans l’évolution de l’offre de formation de l’université

La formation est-elle conçue à partir de formations existantes ? OUI / NON (rayer la mention inutile) Si OUI : lesquelles ? Cette proposition de parcours est construite à partir de la longue expérience des masters existant à l’Université de Nice - Sophia Antipolis, en particulier la maitrise d’informatique devenue le M1 STIC et le Master 2 ISI (60 à 80 étudiants par an).

Page 6: Spécialité ISI

6/51

L’ensemble de la mention INFORMATIQUE aujourd’hui proposée à l’habilitation est une refonte complète du dispositif de formation. La spécialité ISI regroupe :

- au niveau du M1, la majorité de l’ancien M1 STIC, - et au niveau M2, non seulement les spécialités ingénieries de l’ancien Master ISI mais aussi les

spécialités recherches : RSD (Reseaux et systèmes distribués), la partie informatique de SE (Systèmes embarqués), IGMMV (Image, Géométrie ey Modélisation du Monde Vivant) et la partie informatique du Master professionnel TI (Télécommunication et Informatique) soit un flux estimé de 90 étudiants plus 10 en formation continue.

Cette proposition de M2 est aussi la suite logique du master M1 informatique de l’UFR Science, c’est pour cela que nous souhaitons renforcer l’intégration du M1 et du M2 en demandant la création d’un master intégré. A terme, d’ici 2 ou 3 ans, l’ensemble des enseignements auront lieu sur le site de Sophia Antipolis. Indiquer le nombre d’inscrits dans les 3 années antérieures La spécialité ISI future regroupe les Masters existant ISI, IGMMV, SE et RSD aux quels il faut ajouter les étudiants ingénieurs partageant les modules scientifiques

2004 2005 2006 Bilan effectifs

M1 M2 M1 M2 M1 M2

Formation initiale (hors

apprentissage)

60 30 (ISI) 76 (Ing)

15 (IGMMV) 21 (RSD) 15 (SE)

70 25 (ISI) 99 (Ing)

17 (IGMMV) 24 (RSD) 17 (SE)

49 32 (ISI) 64 (Ing)

20 (IGMMV) 23 (RSD) 16 (SE)

Formation continue

3 (ISI) 4 (ISI) 2 (ISI)

Apprentissage 14 (ISI) 19 (ISI) 24 (ISI) Préciser les flux attendus pendant les 4 années du contrat

2008 2009 2010 2011 Effectifs

attendus M1 M2 M1 M2 M1 M2 M1 M2 Formation initiale

70 70 70 70 70 70 70 70

Formation continue

10 10 10 10

La population qui partage les cours est complétée de 80 étudiants du département informatique de Polytech’Nice Sophia et pour les parcours images, de 15 étudiants du département Mathématiques et Modélisation de Polytech’Nice Sophia. Le master ISI était habilité pour la formation par apprentissage (20 apprenti en 2006-07). Nous souhaitons poursuivre ce type de formation.

2. 3 Publics visés

A quels publics d’étudiants le Master s’adresse-t-il ? (indiquer la liste des formations pour lesquelles le Master peut être une poursuite d’études) Au niveau M1 :les licences d’Universités Françaises essentiellement en informatique

Page 7: Spécialité ISI

7/51

Au niveau M2 : • Autres M1 informatiques • Etudiants étrangers venant suivre un Master avant de poursuivre éventuellement en thèse

L'accès au M2 ISI est automatique pour les étudiants ayant obtenu leur M1 INFORMATIQUE. Pour toute autre formation l'admission est sur dossier.

3 – ORGANISATION DE LA FORMATION

3. 1 Spécialités regroupées dans la mention de master

Indiquer le nombre et les intitulés des spécialités regroupées dans la mention de Master 5 spécialités :

- IF – Informatique fondamentale - ISI – Informatique : Sciences et Ingénierie - M2IM- spécialité internationale s'appuyant sur les autres spécialités - MATICS – Mathématiques Appliquées aux Télécommunications, l'Image, la Commande et

les Signaux - MBDS -

Préciser les intitulés, la nature des parcours possibles pour chaque spécialité (recherche et/ou professionnel) et les noms des enseignants responsables de ces parcours Tous les parcours sont à la fois recherche et professionnel et offrent globalement les formations suivantes :

• IF – Informatique fondamentale 1. CS – Cryptographie et sécurité (B. Martin, MC UNSA) 2. ENS – Antenne ENS (E. Formenti, PR UNSA) 3. SC – Systèmes Complexes (E. Formenti, PR UNSA)

• ISI - Informatique : Sciences et Ingénierie 1. Systèmes de communication et réseaux (W. Dabbous, DR INRIA) 2. Intergiciels, grilles de calcul et de données (M. Riveill, PR UNSA) 3. Informatique ambiante et mobile (JY. Tigli, MC UNSA) 4. Architecture réparties des logiciels (P. Lahire, PR UNSA) 5. Interaction Homme-Machine (D. Lingrand, MC UNSA) 6. Web et ingénierie de la connaissance (P. Sander, PR UNSA) 7. Calculer sur le vivant (T. Vieville, DR INRIA) 8. Images, multimédia et modélisation géométrique (O. Devillers, DR INRIA)

• MATICS – Mathématiques Appliquées aux Télécommunications, l'Image, la Commande et les Signaux

1. Modélisation et Contrôle (T. Hamel, PR UNSA) 2. Signal et Images (L. Deneire, MCF HDR UNSA) 3. Télécommunication (D. Slock, PR EURECOM)

• M2IM 1. Parcours international s'appuyant sur les parcours ci-dessus.

• MBDS 1. Un seul parcours

Page 8: Spécialité ISI

8/51

Pour la spécialité ISI (80 étudiants de master et 80 étudiants ingénieurs de Polytech’Nice-Sophia), les parcours seront les suivants : 3 parcours ont plutôt une sensibilité « Architecture, Systèmes, Réseaux » (parcours 1, 2, 3), 3 parcours ont une sensibilité « Logiciels » (parcours 4, 5 et 6) et deux parcours ont une sensibilité image (parcours 7 et 8). La technopole de Sophia Antipolis possède les entreprises et les équipes de recherche sur ces thématiques pour accueillir nos étudiants en stage, leur proposer une poursuite d’étude sous forme de thèse ou les embaucher comme ingénieurs.

3. 2 Architecture du master

3.2-1 Master « intégré » (bloc unique de 4 semestres d’enseignement) : OUI / NON (rayer la mention inutile) Si OUI, expliciter les conditions d’accès : Au niveau M1 : Licences d'universités françaises : − Licence d'Informatique − Licence de Mathématiques − Licence de Physique L'accès en M2 est automatique pour les étudiants ayant obtenu leur M1 dans spécialité ISI du Master INFORMATIQUE. Pour toute autre formation l'admission est sur dossier. 3.2-2 Master M1 + M2 (type maîtrise / DEA-DESS) : OUI / NON (rayer la mention inutile) Dans ce cas, l’entrée dans le Master pour l’obtention des 60 premiers crédits est de droit pour les étudiants titulaires de la licence ayant le même intitulé que le Master, ou figurant dans la liste des formations indiquées en 2. 4.

Préciser les critères de sélection pour l’entrée en M2 (résultats, entretiens, projets professionnels, etc.) L’admission sur dossier en M2 ne concerne que les étudiants n’ayant pas validé le M1 INFORMATIQUE de l’Université de Nice - Sophia Antipolis. L’étude de celui-ci comprend : - l’étude des résultats et surtout la validation de pré-requis en informatique (essentiellement pour les étudiants étrangers) - une analyse du projet professionnel La décision peut être acceptation en M1, acceptation directe en M2 ou refus en fonction du dossier

3. 3 Passerelles

Préciser les passerelles et les modalités qui permettent à des étudiants issus d’autres formations d’entrer dans la mention de Master avec validation d’un certain nombre de crédits ECTS Nous allons favoriser le plus possible les passages d'un parcours à un autre à l'intérieure de la spécialité ISI mais aussi à l'intérieure de toute autre spécialités du Master INFORMATIQUE. Dans tout les cas les admissions seront jugées sur dossier et sur la base d'un entretien. Par exemple, nous avons rendu complètement uniforme la structure entre les spécialités ISI et IF au niveau des volumes horaires des modules et des crédits ECTS. Tout étudiant ayant validé un M1 informatique (soit 60 crédits ECTS) peut être admis en M2 INFORMATIQUE-ISI. En fonction des cours qu’il a suivi, des enseignements complémentaires lui seront dispensés (initiation Java ou C++).

3. 4 - Choix pédagogiques : les parcours

Page 9: Spécialité ISI

9/51

3.4-1 - Conception des parcours Préciser les orientations retenues pour organiser des parcours différenciés, adaptés aux origines diversifiées des étudiants, à la spécialisation recherchée et aux débouchés professionnels Au niveau M1, le master ISI est structuré en un unique parcours, Logiciel et Systèmes. Il est possible, grâce aux options, de donner une dominante Logiciel ou Système. L'année de Master 1 est constituée de modules obligatoires, de modules optionnels, et d'un module de Travail d'Etude et de Recherche. Le choix des options est guidé dans un premier temps, avec l'obligation de prendre une option parmi 3 proposées. Un étudiant doit aussi choisir 2 options libres. Au niveau M2, le master ISI offre les 8 parcours suivants :

1. Systèmes de communication et réseaux, W. Dabbous Centré sur l'architecture et les protocoles réseaux, la gestion et l'optimisation des réseaux, sur divers aspects de la sécurité des matériels et des transmissions, ce parcours tire profit de la technopole de Sophia Antipolis aussi appelé la Telecom Vallée. Cette formation bénéficie de l'excellent environnement régional dans le secteur des télécommunications au sens large puisque les principales entreprises et centres de recherche du secteur sont présents.

2. Systèmes, Intergiciels et Applications Répartie, M. Riveill Le mariage de l'informatique et des télécommunications est maintenant consommé et il devrait durer longtemps. L'informatique est largement devenue répartie, à l'échelle de l'entreprise, mais à celle du monde entier. Cette répartition oblige les développeurs à penser différemment la conception des applications. Elle induit aussi un nouveau style d'administration des systèmes.

3. Informatique ambiante et mobile, J-Y. Tigli La poussée du marché des télécommunications et la miniaturisation des systèmes informatiques (ex. SoC : "System on Chip") accélère l'informatisation de nombreux appareils que nous utilisons dans notre vie quotidienne tels que les ordinateurs personnels ou PDA, les téléphones mobiles, les ordinateurs de bord dans les véhicules, les terminaux TV interactifs, ..., et bientôt des ordinateurs portés, robots domestiques et toutes sortes d'équipements quotidiens intelligents. Tous ces équipements communicants entre eux et reliés en réseaux, souvent sur internet, interagissent avec des utilisateurs mobiles et contiennent une quantité croissante de logiciel. L’émergence naturelle d'applications évoluant sur de telles cibles informatiques distribuées et hétérogènes se positionne comme une nouvelle thématique logicielle aux frontières des dernière évolutions technologiques en réseaux, en interface homme machine, en systèmes embarqués. Le parcours IAM prépare des ingénieurs experts dans le développement et les nouvelles technologies du logiciel pour l'Informatique Mobile et Ambiante.

4. Architecture réparties des logiciels, P. Lahire Ce parcours a pour objectif la formation d’informaticiens de haut niveau capables de mener à bien la mise en place de solutions informatiques basées sur l’intégration de produits et technologies existantes. En particulier, les problèmes posés par la production industrielle des logiciels et les solutions possibles sont au cœur des préoccupations. La formation comprend des cours donnant une vue d'ensemble sur le génie du logiciel et les applications réparties mais aussi sur les domaines suivants systèmes d'informations, sûreté des logiciels, interfaces homme-machines en lien avec les parcours consacrés à ces domaines.

5. Interaction Homme-Machine, D. Lingrand Les interfaces homme-machine tiennent une place de plus en plus cruciale dans le monde du développement logiciel, à tel point que l'on parle aujourd'hui de conception centrée utilisateur. Même si tout le monde reconnaît l'importance d'une interface "conviviale" ou "intuitive", les informaticiens recevant une formation classique ne sont pas aguerris aux méthodes et outils de ce domaine. Pourtant, l'implication de spécialistes tels des ergonomes, même si idéale, peut se révéler encore trop coûteuse pour bien des entreprises. La filière IHM forme donc des développeurs, architectes logiciels, possédant les compétences nécessaires à la conception et au développement de logiciels ergonomiques en s'appuyant sur les outils et les dispositifs d'aujourd'hui et demain.

Page 10: Spécialité ISI

10/51

6. Web et ingénierie de la connaissance, P. Sander En lien avec le WWW présent sur Sophia et ce parcours aborde le domaine du Web Intelligence (WI). C’est une voie de recherche et de developpement visant à explorer aussi bien les rôles fondamentaux que les impacts pratiques de : l'Intelligence Artificielle (i.e : représentation des connaissance, planification, découverte de connaissances, fouille de données, agents intelligents, réseau sociaux) ; des technologies de l'information avancées (i.e : réseaux sans fil, informatique diffuse, grilles de données/connaissances) sur la nouvelle génération des produits, systèmes, services et activités s'appuyant sur le web.

7. Calculer sur le vivant (imagerie médicale et neurosciences computationnelles), T. Vieville Imagerie médicale au sens large et neurosciences computationnelles sont deux secteurs des sciences de l'information et des science de la vie qui mettent en œuvre des compétences en images, multimédia et modélisation géométrique (parcours associé) et des compétences spécifiques de modélisation et de simulation (formation multi-disciplinaire). Ils conduisent au niveau national et européen à des métiers de chercheur ou d'ingénieur de recherche à forte valeur ajoutée dans les domaines de l'imagerie médicale, des interfaces homme-machine de haut niveau et des outils d'étude et d'aide au handicap ou au vieillissement. Le parcours est bilingue selon les étudiants inscrits.

8. Images, multimédia et modélisation géométrique, O. Devillers Avec la banalisation de l'image numérique, son utilisation dans de très nombreux domaines (grand publique, scientifique, vidéosurveillance, communication, etc), et son exploitation dans des environnements variés (bases de données d'images, terminaux légers, interfaces 3D...) tout un secteur de l'informatique s'est spécialisé dans l'archivage, l'analyse, la recherche et l'interaction avec des sources d'images ou multimédias. Il fait appel à des connaissances précises dans le domaine de l'analyse du contenu des images mais aussi de plus en plus à la synthèse d'image et à la reconstruction 3D, ainsi qu'à la combinaison "multimédia" de plusieurs flux audio et vidéo. Ce master a pour objectif de fournir aux étudiants un baguage informatique et mathématique suffisant pour aborder ces thématiques avec aisance. La formation apporte des connaissances de base en géométrie, analyse variationnelle et traitement du signal numériques permettant de comprendre les techniques d'analyse d'images et multimédia les plus courantes. Elle comporte en outre un complément de formation sur des outils de manipulation de contenu, et sur les techniques de synthèse et d'interaction avec un environnement 3D.

Organisation de l’année

La première année est organisée de manière assez classique : tronc commun sur 1 semestre et modules aux au second semestre, puis stage de 2 mois l’été.

Pour la seconde année, nous maintenons l’organisation actuelle qui a fait ses preuves et l’étendons à une meilleure intégration des ex-masters recherches de l’Université de Nice - Sophia Antipolis.

1er semestre :

Après une période de trois semaines "d'harmonisation" pour certains étudiants (formation continue, parcours atypique) à qui il manquerait certains pré requis située en septembre, les enseignements de la spécialité sont organisés entre octobre et février pendant 14 semaines.

L’organisation de chaque parcours vise à proposer :

• des enseignements spécifiques (obligatoires pour les étudiants ayant choisi ce parcours) ;

• des enseignements optionnels (ouvert aux étudiants du parcours ou des autres parcours).

Chaque étudiant doit suivre 6 UE liées au parcours choisi et en lien avec le responsable du parcours, 6 autres UE prises parmi les UE d’option du parcours ou parmi les UE proposées dans le MASTER. Certaines UEs sont organisées sur 14 semaines et comptent pour 2 UEs de 7 semaines.

Page 11: Spécialité ISI

11/51

En complément avec les enseignements de type magistraux, à partir de la fin-octobre débute le projet, qui se déroule à mi-temps jusqu'à la fin du semestre :

• Pour les étudiants ayant choisi un profil ingénierie, ce projet est effectué par binôme ou éventuellement par groupe plus important. Il vise à placer les étudiants dans les conditions d'un véritable projet industriel pour en assurer la spécification. Il se déroule soit à l'école, soit dans le cadre d'une entreprise ou d'un laboratoire. Dans tous les cas, il est encadré par un enseignant de l'école (et éventuellement par des industriels ou des chercheurs). Le projet se conclut par la remise d'un rapport écrit et une soutenance orale devant un jury d'enseignants, de chercheurs et d'industriels.

• Pour les étudiants ayant choisi un profil recherche, ce projet est effectué de manière autonome sous la responsabilité d’un chercheur et vise à initier les étudiants au travail de recherche bibliographique et de synthèse. Comme pour l’autre profil, le projet se conclut par la remise d'un rapport écrit et une soutenance orale devant un jury d'enseignants, de chercheurs et d'industriels.

2d semestre :

Début mars les étudiants partent effectuer un stage (individuel) en entreprise ou dans un centre de recherche. Ce stage donne lieu à la remise d'un rapport et à une soutenance publique fin septembre évalué en fonction des objectifs de la formation : parcours recherche ou parcours enseignement.

Distinguer s’il y a lieu : • les parcours types ne prenant en compte que des unités d’enseignement de la mention de Master

(parcours types « internes »), • les parcours types permettant la validation d’unités d’enseignement proposées en dehors de la mention

de Master (parcours types «pluridisciplinaires »), • éventuellement un parcours « libre ». Chaque parcours propose uniquement 50 % des enseignements de tronc commun, le reste pouvant être choisi librement parmi le catalogue des cours du Master INFORMATIQUE. Ce catalogue des cours du Master INFORMATIQUE est déjà relativement complet et vaste, néanmoins dans le cadre d’un projet professionnel spécifique, il est possible de remplacer un module par un autre. Voici quelques exemples ayant été pratiqués les années précédentes :

- Etude de l’espagnol à la place pour des étudiants devant faire leur stage en Espagne ou Amérique Latine (Chili ou Mexique) à la place d’un cours d’anglais ;

- Cours pratiqués un autre master (EEA) pour des étudiants souhaitant poursuivre en thèse sur une thématique spécifique (architecture de machine par exemple).

3.4-2 - Préciser les parcours types du M1 et du M2

- nombre de parcours • En M1 : 1 parcours • En M2 : 8 parcours

- identification et nom des responsables de ces parcours • Pour le parcours du M1 :

Fabrice Huet, Maître de conférences, Section CNU n° 27, tél : +33 (0)4 92 07 66 73 fax : +33 (0)4 92 07 66 55

Page 12: Spécialité ISI

12/51

e-mail : [email protected] • Pour les parcours du M2

o Systèmes de communication et réseaux, W. Dabbous, DR INRIA Un professeur réseau est en cours de recrutement en 2007, il pourrait prendre la place de W. Dabbous à l’ouverture du master.

o Systèmes, Intergiciels et Applications Répartie, M. Riveill, PU UNSA o Informatique ambiante et mobile, J-Y. Tigli, MC UNSA o Architecture réparties des logiciels, P. Lahire, PR UNSA o Interaction Homme-Machine, D. Lingrand, MC UNSA o Web et ingénierie de la connaissance, P. Sander, PU UNSA o Calculer sur le vivant (imagerie médicale et neurosciences computationnelles), T.

Vieville, DR INRIA o Images, multimédia et modélisation géométrique, O. Devillers, DR INRIA

o préciser la finalité (indifférencié, professionnel, recherche) Tout parcours de cette spécialité est à finalité indifférencié.

3.4-3 - Structuration des parcours

Précisez pour chaque parcours-type et par semestre, la proportion de disciplines fondamentales, de disciplines transversales, d'enseignements sur liste laissés au choix de l'étudiant en terme de volume horaire Pour tous les parcours STIC ISI Parcours-type n°1 à 8 S1 S2 S3 S4 Moyenne en % Disciplines fondamentales de la mention 50 % 50 % 50 % 50 % Disciplines transversales 15 % 15 % 15 % 15 % Enseignements sur liste 35 % 35 % 35 % 35 % Total 100 % 100 % 100 %

Stages dans une entreprise ou dans un laboratoire de

recherche 100 %

Les disciplines transversales concernent l’enseignement de l’anglais (il s’agit plus particulièrement d’enseignement d’anglais pour l’insertion professionnelle : rédaction de CV et présentations orales), le management ainsi que des cours sur la propriété intellectuelle.

Page 13: Spécialité ISI

13/51

3.4-4 – Contenus Parcours type numéro : 1 à 8 (chaque parcours à un schéma équivalent)

CM TD TP

Travail personnel

encadré (4)

Travail personnel

libre

Semestre/

UE

Coeft UE

ECTS

Contenu des enseignements

D(1) E(2) D E D E D D

Durée totale

1er semestre

UE Fondamentales UE listes

Idem ECTS

4,5 2,5 2,5 2,5 4,5 2,5 2,5 1 3x2,5

LS1F1 : Persistance des objets LS1F2 : Technologies XML LS1F3 : Systèmes LS1F4 : Intro. à la calculabilité LS1F5 : Distribution et Parallélisme LS1F6 : Génie Logiciel LS1F7: Introduction à la Logique LS1F8 : Anglais LS1O : 3 options au choix parmi : 1- Progr. Système 1 2- Synthèse d'images 3- Elec. Digitale 4- Intro. aux BD décisionnelles 5- Progr. par Contraintes

18 9 12 12 14 9 12

9 14 9 30

24 12 9 14 12

42 21 21 21 42 21 21 30 3x21

84 42 42 42 84 42 42 60 3x42

Total 1er semestre

30 30 282 564

Page 14: Spécialité ISI

14/51

CM TD TP Travail

personnel encadré

Travail personnel libre

Semestre/UE Commun ECTS Contenu des enseignements

D(1) E(2) D E D E D D

Durée totale

2ème semestre UE Fondamentales

5 2,5 1 2 2 5 3x2,5 2x2,5

LS2F1 : Programmation répartie LS2F2 : Réseaux LS2F3 : Séminaires LS2F4 : Introduction à la complexité S2F5 : Introduction à la sémantique TER LS2O : au choix 1 groupe de 3 options G1: - Cryptographie et Sécurité - Programmation Système 2 - Compilation G2 : - BD Avancées - Administration des BD - Technologies Web 2.0 G3 : - Architecture logiciel - Technologies Web 2.0 - Interface Homme-Machine LS2OL :2 options libres

21 12 12 9

9 6

21 9 6

63 2x21

42 21 24 21 21 100

84 42 24 42 42 100 126 2x42

Total 2ème semestre

30 544

Total master 1(3) 60 1108

Page 15: Spécialité ISI

15/51

Pour chaque parcours, ce semestre est constitué de 6 UE Fondamentales, 6 UE Optionnelles et de 1 projet 1 UF ou UO, occupe ½ demi-journée pendant 7 semaines (hors évaluation) Certaines UF/UO peuvent être regroupées pour durée 14 semaines Stages : 3 ½ demi-journée pendant 14 semaines

3ème semestre UE Fondamentales UE optionnelles Stage

2 12 2 12 6

Pour chaque UE Pour les 6 UE Pour chaque UO Pour les 6 UO Stage

14 84 14 84

7 42 7 42

2424 24 24

14 84 14 84 126

35 210 35 210 126

Total 3ème semestre

30 546

Pour chaque parcours, ce semestre est constitué d’un stage de 24 semaines 4ème semestre Stage

30

30

Stages

1050

Total 4ème semestre

Total Master (3)

120

(1) D = durée en heures étudiants (2) E = effectifs des groupes (3) Il est rappelé qu'un Master est délivré avec 300 ECTS (4) Un travail personnel encadré peut prendre la forme d'un mémoire, d'un stage…

Page 16: Spécialité ISI

16/51

3.4-5 Liste des UE proposées (renseigner le tableau ci-dessous)

Pour le M1 STIC ISI Intitulé UE Nom du responsa-

ble N° de spécialités prenant en compte cette UE

N° minimum d'étu-diants pour ouver-ture

Volume horaires (CM, TD, TP, sta-ge)

Crédits ECTS Semestre où l'ensei-gnement est propo-sé

Logique Emmanuel Kounalis 1 spécialité, 2 parcours

10 21 CM, 21 TD 5 1

Sémantique des langages de programmation

Yves Bertot 1 spécialité, 3 parcours

10 14 CM, 14 TD, 14 TP

5 2

Anglais Joëlle Potentini ??? 10 30 TD 1,5 1

Introduction à la fouille de données (option)

Martine Collard 1 spécialité, 1 parcours

8 9 CM, 4,5 TD, 7,5 TP

2,5 1

Systèmes Fabrice Huet 1 spécialité, 3 parcours

10 9 CM, 12 TP 2,5 1

Programmation système 1

Fabrice Huet 1 spécialité, 3 parcours

6 9 CM, 12 TP 2,5 1

Synthèse d'images (option)

Michel Buffa 1 spécialité, 1 parcours

8 ?? 2,5 1?

Génie logiciel orientée objet

Philippe Collet 1 spécialité, 2 parcours

4 (cours spécifique ENS)

9 CM, 12 TP 3 1

Distribution et parallélisme

Françoise Baude 1 spécialité, 2 parcours

4 (cours spécifique ENS)

12 CM, 9 TP 3 1

Programmation par contraintes, analyse d'intervalles et applications

Michel Rueher 1 spécialité, 1 parcours

4 (cours spécifique ENS)

12 CM, 9 TD 3 1

Calculabilité Enrico Formenti 1 spécialité, 2 parcours

10 21 CM, 21 TD 6 1

Complexité Emmanuel Kounalis 1 spécialité, 2 parcours

10 21 CM, 21 TD 6 2

Programmation par contraintes

Michel Rueher 1 spécialité, 2 parcours

8 12 CM, 9 TD 3 2

Réseaux Nouveau professeur recruté – mai 2007

1 spécialité, 2 parcours

8 12 CM, 9 TP 3 2

Compilation Jacques Farré 1 spécialité, 2 parcours

6 ?? 3 2

Introduction à la conduite de projet

Philippe Collet 1 spécialités, 1 parcours

4 (cours spécifique ENS)

6 CM, 6 TD 2 2

Programmation répartie

Denis Caromel 1 spécialité, 2 parcours

8 21 CM, 21 TP 3 2

Introduction à la cryptographie

Bruno Martin, Patrick Solé

1 spécialité, 1 parcours

4 (cours spécifique ENS)

12 CM, 9 TD 3 2

Cryptographie et sécurité

Bruno Martin 1 spécialité, 1 parcours

8 21 CM 4 3

Programmation Système 2 (option)

Fabrice Huet 1 spécialité, 1 parcours

6 9CM, 12 TP 2,5 2

Administration des Bases de Données (option)

1 spécialité, 1 parcours

2,5 2

Bases de Données Avancées (option)

1 spécialité, 1 parcours

2,5 2

Interface Homme Machine (option)

Philippe Renevier 1 spécialité, 1 parcours

2,5 2

Persistance des objets

Richard Grin 1 spécialité, 1 parcours

18 CM, 24 TP 5 1

Technologies XML Philippe Poulard (à Confirmer)

1 spécialité, 2 parcours

?? 2,5 1

Page 17: Spécialité ISI

17/51

Technologies Web 2.0

Michel Buffa 1 spécialité, 1 parcours

?? 2,5 2

Architecture logiciel Philippe Collet 1 spécialité, 1 parcours

?? 2

Pour le M2 STIC ISI

Intitulé de l’UE Nom du responsable

Nb de spécialités prenant en compte cette UE

Nb minimum d’étudiants pour ouverture

Volumes horaires (CM, ED, TP, stage, …).

Crédits ECTS

Semestre où l’enseignement est proposé (1er , 2ème)

Stages C. Papazian Toutes 3 demi-journées pendant 14 semaines

6 1er semestre

Projets J-C. Lafon Toutes 5 jours pendant 24 semaines

30 2d semestre

Tous les modules sont ouverts à toutes les spécialités, nous indiquons : Oi, j (obligatoire dans les parcours i et j), Fi, j (facultatif pour les parcours i et j)

Il s’agit du volume étudiant, le volume de cours est de 21 ou 42 heures

Administration des réseaux

JL Hernandez, Atos Origine

O1

F2-4

15

35 2 Court Orientation professionnel

Modelisation et evaluation de performance des reseaux

P . Nain, INRIA O1

F2-4

15

35 2 Court Recherche En anglais

Réseaux W. Dabbous, INRIA

O1

F2-4

15

35 2 Court Recherche En anglais

Algorithmique et optimisation pour les télécoms

M. Syska, UNSA O1

F2-4

15

35 2 Court Mixte

Modélisation et simulation des reseaux ad hoc

P. Nain, INRIA

O1

F2-4

15

35 2 Court Recherche Anglais

Principes et mécanismes de sécurités

B. Martin, UNSA O1, 2

F3-8

15

35 2 Court Mixte

Modèles de programmation pour les applications réparties

M. Riveill, UNSA O2

F1, 3-8

15

35 2 Court Mixte

Langage de programmation concurrente et distribuée

D. Caromel, UNSA

O2

F1, 3-8

15

35 2 Court Mixte

Page 18: Spécialité ISI

18/51

Thread réactif R. De Simone, INRIA

O2

F1, 3-4

15

35 2 Court Recherche

Réseaux et services logiciels pour objets communicants

Tigli, UNSA - /Lavirotte, IUFM

O3

F1-2, 4-6

15

70 4 Long Mixte

Conception d’applications logicielles sur cartes à puces et terminaux mobiles

Tigli, UNSA -Koenig, UNSA

O3

F1-2, 4

15

70 4 Long Mixte

Programmation des applications sensibles au contexte

Tigli, UNSA/Lavirotte, IUFM

O3

F1-2, 4-5

15

35 2 Court Mixte

Méthodes d’analyse et de conception de systèmes logiciel/matériel

Auguin, CNRS F3 15

70 4 Long (commun master TSM) Mixte

Modélisation et simulation de systèmes matériels/logiciels

Muller, UNSA F3 15

70 4 Long (commun master TSM/dept élec) Professionnel

Logiciel et réseaux pour applications critiques

Peraldi, UNSA - Giulieri, UNSA

F1, 2, 3 15

70 4 Long Professionnel

Conception et validation de logiciels critiques

André UNSA - Ressouche/Roy Ecole des Mines

F1, 2, 3 15

35 2 Court Mixte

Les serveurs d’entreprise (J2EE/.Net)

M. Riveill, UNSA O4

F2-3, 6

15

35 2 Court Mixte

Architecture logicielle pour les applications réparties : études de cas industrielles

P. Salvan, UNSA O4

F2-3, 6

15

35 2 Court Professionnel

Génie Logiciel AM Hugues, UNSA

O4

F2-3, 5-6

15

70 4 Long Professionnel

Paradigmes avancés de programmation

M. Rueher, UNSA O4

F2-3, 5-6

15

70 4 Long Professionnel

Modèles, Objets et Composants

P. Lahire/P. Collet O4

F2-3, 5-6

15

35 2 Court Mixte

Conception et A-M. Pinna/P. O5 15 70 4 Long

Page 19: Spécialité ISI

19/51

architecture d’IHM Renevier F2-4, 6 Mixte

Outils pour les nouvelles IHM

D. Lingrand O5

F2-4, 6

15

70 4 Long Mixte

Ergonomie des IHM

O5

F2-4, 6

15

35 2 Court Mixte

Affective computing

C. Lisetti O5

F2-4, 6

15

35 2 Court Mixte

Plasticité des IHM A-M. Pinna O5

F2-4, 6

15

35 2 Court Mixte

Modélisation et outils du web sémantique

O. Corby/F. Gandon

O6 F2-5

15

70 4 Long Mixte

Ingénierie des connaissances

C. Faron/N. Le Thanh

O6 F2-5

15

70 4 Long Mixte

Extraction de connaissances à partir des comportements

B. Trousse O6

F2-5

15

35 2 Court Mixte

Concepts et techniques de la fouille de données

M. Collard O6 F2-5

15

35 2 Court Mixte

Concepts, Langages et Architecture Web avancé

M. Buffa/P. Sander

O4, 6 F2-3, 5

15

70 4 Long Mixte

Programmation par contraintes

M. Rueher O6 F2-5

15

35 2 Court Mixte

Extraction de connaissances à partie de textes TANL

O6 F5

15

35 2 Court Mixte

Structures et interactions (Macro-moléculaires)

F. Cazals (INRIA) R. Gautier (UNSA)

O7

F8

15

35 2 Court Mixte

Modélisation géométrique, physique et physiologique du corps humain

H. Delingette (INRIA)

O7

F8

15

35 2 Court Mixte

Traitement des images volumiques

G. Malandin O8

F8

15

35 2 Court Mixte

Perception biologique et artificielle du mouvement.

T. Vieville, INRIA/B. Cessac, UNSA

O7

F8

15

35 2 Court Mixte

Page 20: Spécialité ISI

20/51

Application à la vision dynamique

Problèmes inverses en modélisation du vivant et sciences de l’univers

S. Anthoine, CNRS/P. Debreuve, UNSA

O8

F7

15

35 2 Court Recherche

Flots géométriques et modélisations en images

R. Deriche, INRIA

O8

F7

15

35 2 Court Recherche

Modélisation mathématique au niveau tissulaire

A. Habbal, UNSA O7, 8 15

35 2 Court Recherche

Traitement des signaux électriques biologiques (ECG, EMG, …°

O. Meste, UNSA O7, 8 15

35 2 Court Recherche

Transmission de données multimédia

M. Antonini, CNRS

O8

F1, 7

15

35 2 Court Mixte

Théorie de la compression et des vidéos

P Mathieu, UNSA O8

F1, 7

15

35 2 Court Mixte

Vision et synthèse d’image 3D

D. Lingrand, UNSA

O8

F1-7

15

70 4 Long Mixte

Modélisation et traitement des images et des vidéos

M. Barlaud, UNSA/L. Blanc Ferraud, CNRS

O8

F7

15

70 4 Long Mixte

Modèle stochastique en traitement d’image

J. Zerubia, INRIA O8

F7

15

35 2 Court Recherche

Géométrie algorithmique

O. Devillers, INRIA

O8

F7

15

70 4 Long Recherche

Synthèses de son N. Tsingos, INRIA

O8

F7

15

35 2 Court Mixte

Conception d’application multimédias et d’animations réalistes en 3D

JC Lafon, UNSA O8

F1-7

15

70 4 Long Professionnel

Management C. Bachelot F1-8 15

70 4 Long Professionnel

Insertion professionnel

F. Storey F1-8 15

70 4 Long Mixte

Page 21: Spécialité ISI

21/51

Propriétés intellectuelles

Vacataires de l’INPI

F1-8 15 35 2 Cours Mixte

Fournir en Annexe 1 le programme pédagogique pour chacune des Unités d’Enseignement, en précisant à chaque fois les éléments constitutifs et les intervenants

3. 5 - Mobilité internationale La formation prévoit-elle un séjour à l’étranger ? OUI / NON (rayer la mention inutile) Si oui de quelle durée ? ………….. . Préciser le nombre d’ECTS à acquérir dans ce cadre : …………………. Il est possible d’effectuer le stage de fin d’étude à l’étranger.

3. 6 - Niveau en langues Pour les compétences linguistiques, préciser de manière détaillée : - L’objectif de niveau linguistique à la fin du cursus et éventuellement les conditions exigées pour la

délivrance du diplôme : Non mais des cours d’anglais sont organisés - Eventuellement les conditions d’évaluation du niveau linguistique pour la sélection : Non, nous

envisageons de créé un parcours en anglais en particulier pour les étudiants étrangers mais aussi pour les étudiants francophones afin de favoriser la maîtrise de la langue anglaise et les échanges internationaux

- Les différentes méthodes pédagogiques envisagées pour permettre aux étudiants de faire progresser

leur niveau linguistique : des sessions du TOEIC sont organisées pour les étudiants afin qu’ils puissent avoir une certification de leur niveau s’ils le souhaitent, un laboratoire de langue est disponible en libre service

- L’adaptation de la formation linguistique à la diversité des publics :…………………………………... ……………………………………………………………………………………………………………….. - La nature des langues pouvant faire l’objet de formation durant le cursus. : …………………………... ………………………………………………………………………………………………………………. - La description des éléments de l’équipe pédagogique impliqués dans la formation linguistique : …….. ………………………………………………………………………………………………………………..

3.7 - Stage(s)

Préciser l’organisation (durée, modalités), les conditions du suivi et de la validation ainsi que l'équivalent en crédits ECTS

ORGANISATION DES STAGES : Durée des stages : mars à septembre soit 6 mois Comment s’effectue la recherche des stages ? : Un responsable est en charge de la collecte de l’ensemble des stages et de leur diffusion (JC. Lafon, PR UNSA), les responsables de parcours valident les stages ainsi que leur profil (ingénierie ou recherche). Qui assure le suivi des stages ? Selon quelles modalités ? : Les stages sont régulièrement suivi par l’équipe pédagogique sous la responsabilité du responsable des stages (enquête après 1 mois, rapport à mi-parcours, visite du stagiaire)

Page 22: Spécialité ISI

22/51

Comment est évalué le stage ? : selon 3 modalité complémentaires : le tuteur du stage (20%), l’évaluation d’un document écrit (40%), une soutenance orale devant un jury spécialisé constitués d’enseignants du Master et d’extérieur (40%)

4 - DOSSIER EQUIPE

4. 1- Equipe pédagogique (indiquez les enseignants en poste, les professionnels) 4.1-1 - Enseignants-Chercheurs / PRAG / PRCE (renseigner également l’annexe 2) Au niveau du M1

Nom, Prénom Qualité Section CNU

Enseignements dispensés Nombre d’heures

Equipe de recherche

Avnaim, Francis PRAG UNSA 27 Géométrie algorithmique (option) 10,5 Baude, Françoise MC UNSA 27 Distribution et parallélisme 42 I3S-OASIS Beauquier, Bruno MC UNSA 27 Optimisation combinatoire 42 ??? Bernhard, Pierre PR UNSA 26 Théorie des jeux 21 I3S-TOPMODEL Caromel, Denis PR UNSA 27 Programmation répartie 21 I3S-OASIS Clergue, Manuel MC UNSA 27 Optimisation stochastique et apprentissage

(option), Algorithmes évolutionnaires (option)

42 I3S-TEA

Collard, Martine MC UNSA 27 Introduction aux bases de données

décisionnelles, Feuille de données : application à la sécurité et à la biologie (option, 1/3)

28 I3S-EXECO

Collard, Philippe PR UNSA 27 Informatique Bio-inspirée 21 I3S-TEA Collet, Philippe MC UNSA 27 Introduction à la conduite de projet, Génie

Logiciel Orientée Objet, Architecture Logiciel

54 I3S-RAINBOW

Farré, Jacques PR UNSA 27 Compilation, Analyse syntaxique et langues

naturelles 42 I3S-LANGAES

Formenti, Enrico PR UNSA 27 Systèmes dynamiques discrets, Calculabilité,

Méthodes formelles pour les systèmes complexes, Automates cellulaires (option, 1/3)

112 I3S - RECIF (MC3 au 1/09/2007)

Grin, Richard PRAG UNSA ?? Persistance des objets 42 Huet, Fabrice MC UNSA 27 Systèmes, Programmation système 1 et 2 63 I3S-OASIS Kounalis Emmanuel PR UNSA 27 Logique, Complexité, Systèmes axiomatiques 105 I3S - CEP Martin, Bruno MC UNSA 27 Cryptographie et sécurité, Introduction à la

cryptographie, Automates cellulaires (option) 37,5 I3S - RECIF (MC3 au 1/09/2007)

Papazian Christophe MC UNSA 27 Automates cellulaires (option, 1/3), Nombres

jeux et stratégies (option) 28 I3S - RECIF (MC3 au 1/09/2007)

Pasquier, Nicolas MC UNSA 27 Feuille de données : application à la sécurité

et à la biologie (option, 1/3) 7 I3S-EXECO

Pierre, Laurence PR UNSA 27 Electronique digitale 21 Renevier, Philippe MC UNSA 27 Interface Homme-Machine 21 I3S-RAINBOW Rueher, Michel PR UNSA 27 Programmation par contraintes, analyse

d'intervalles et applications, Programmation par contraintes

42 I3S-CEP

Vérèl Sébastien MC UNSA 27 Modélisation et simulation de systèmes

complexes 21 I3S-TEA

Page 23: Spécialité ISI

23/51

Au niveau du M2 Nom, Prénom Qualité Section

CNU Enseignements dispensés

Nombre d’heures

Equipe de recherche

André, Charles PR UNSA

61 Conception et validation de logiciels critiques

12 Aoste

Anthoine, Sandrine CR CNRS

Problèmes inverses en modélisation du vivant et sciences de l’univers

12.5 Créative

Antonini, Marc DR CNRS

Transmission de données multimédia

35 Créative

Auguin, Michel DR CNRS

27 Méthodes d’analyse et de conception de systèmes logiciel/matériel

70 Mozart

Barlaud, Michel PR UNSA

61 Modélisation et traitement des images et des vidéos

35 Creative

Bachelot, Christine PRAG Gestion

Gestion Management 70

Blanc Ferraud, Laure DR INRIA

Modélisation et traitement des images et des vidéos

35 Ariana

Buffa, Michel MC UNSA

27 Concepts, Langages et Architecture Web avancé

35 Mainline

Caromel, Denis PR UNSA

27 Langage de programmation concurrente et distribuée

35 Oasis

Cazals, Frederic CR INRIA

27 Structures et interactions

12.5

Cessac, B. UNSA Perception biologique et artificielle du mouvement. Application à la vision dynamique

12.5

Collard, Martine MC UNSA

27 Concepts et techniques de la fouille de données

35 Execo

Collet, Philippe MC UNSA

27 Modèles, Objets et Composants

12.5 Rainbow

Corby, Olivier DR INRIA

Modélisation et outils du web sémantique

35 Edelweiss

Dabbous, Wallid DR INRIA

27 Réseaux 35 Planete

Debreuve, P UNSA Problèmes inverses en modélisation du vivant et sciences de l’univers

12.5

Delingette, Hervé DR INRIA

Modélisation géométrique, physique et physiologique du corps humain

35

Deriche, Rachid DR INRIA

Flots géométriques et modélisations en images

35

De Simone, Robert DR INRIA

61 Méthodes Formelles pour la Conception de Systèmes Embarqués

35 Aoste

Page 24: Spécialité ISI

24/51

Devillers, Olivier DR INRIA

Géométrie algorithmique

70

Farre, Jacques PR UNSA

27 Extraction de connaissances à partie de textes TANL

35 Langage

Faron-Zucker, Catherine MC UNSA

27 Ingénierie des connaissances

35 Mainline

Koenig, Michel MC UNSA

27 Conception d’applications logicielles sur cartes à puces et terminaux mobiles

35

Gandon, Fabien CR INRIA

Modélisation et outils du web sémantique

35 Edelweiss

Gautier, R UNSA Structures et interactions

12.5

Giulieri, Alain PR UNSA

61 Logiciel et réseaux pour applications critiques

35

Habbal, A MC UNSA

26 Modélisation mathématique au niveau tissulaire

35

Nain, Philippe DR INRIA

27 Modelisation et evaluation de performance des reseaux Modélisation et simulation des réseaux ad hoc

70 Maestro

Malandin, Georges DR INRIA

Traitement des images volumiques

34

Mathieu, P MC UNSA

Théorie de la compression et des vidéos

35

Martin, Bruno MC UNSA

27 Principes et mécanismes de sécurités

35 MC3

Meste, Olivier PR UNSA

61 Traitement des signaux électriques biologiques (ECG, EMG, …°

35

Muller, Fabrice MC UNSA

61 Modélisation et simulation de systèmes matériels/logiciels

70

Lafon, Jean-Claude Conception d’application multimédias et d’animations réalistes en 3D

70

Lahire, Philippe PR UNSA

27 Modèles, Objets et Composants

12.5 Rainbow

Lavirotte, Stéphane MC IUFM

27 Réseaux et services logiciels pour objets communicants Programmation des applications sensibles au contexte

47.5 Rainbow

Le Thanh, N. MC UNSA

27 Ingénierie des connaissances

35 Mainline

Page 25: Spécialité ISI

25/51

Lingrand, Diane MC UNSA

27 Outils pour les nouvelles IHM Vision et synthèse d’image 3D

140 Rainbow

Peraldi, Marie-Agnès MC UNSA

61 Logiciel et réseaux pour applications critiques

35 Aoste

Pinna, Anne-Marie MC UNSA

27 Conception et architecture d’IHM Plasticité des IHM

70 Rainbow

Renevier, Philippe MC UNSA

27 Conception et architecture d’IHM

35 Rainbow

Ressouche, Annie Ecole des Mines

Conception et validation de logiciels critiques

12

Riveill, Michel PR UNSA

27 Modèles de programmation pour les applications réparties Les serveurs d’entreprise (J2EE/.Net)

70 Rainbow

Rueher, Michel PR UNSA

27 Paradigmes avancés de programmation Programmation par contraintes

105 MC3

Roy Ecole des Mines

Conception et validation de logiciels critiques

12

Sander, Peter PR UNSA

Concepts, Langages et Architecture Web avancé

35 Mainline

Storey, Françoise MC UNSA

Anglais Anglais et Insertion professionnel

70

Syska, Michel MC UNSA

27 Algorithmique et optimisation pour les télécoms

35 Mascotte

Tigli, Jean-Yves MC UNSA

27 Réseaux et services logiciels pour objets communicants Conception d’applications logicielles sur cartes à puces et terminaux mobiles Programmation des applications sensibles au contexte

82.5 Rainbow

Trousse, Brigitte DR INRIA

Extraction de connaissances à partir des comportements

35 Axis

Tsingos, N CR INRIA

Synthèses de son 35

Vieville, Thierry DR INRIA

Perception biologique et artificielle du

12.5

Page 26: Spécialité ISI

26/51

mouvement. Application à la vision dynamique

Zerubia, Josiane DR INRIA

Modèle stochastique en traitement d’image

35 Ariana

Baude, Françoise MC UNSA

27 Distribution et parallélisme

42 I3S-OASIS

Beauquier, Bruno MC UNSA

27 Optimisation combinatoire

42 ???

Caromel, Denis PR UNSA

27 Programmation répartie

21 I3S-OASIS

Collard, Martine MC UNSA

27 Introduction aux bases de données décisionnelles, Feuille de données : application à la sécurité et à la biologie (option, 1/3)

28 I3S-EXECO

Collet, Philippe MC UNSA

27 Introduction à la conduite de projet, Génie Logiciel Orientée Objet, Architecture Logiciel

54 I3S-RAINBOW

Farré, Jacques PR UNSA

27 Compilation, Analyse syntaxique et langues naturelles

42 I3S-LANGAES

Grin, Richard PRAG UNSA

?? Persistance des objets 42

Huet, Fabrice MC UNSA

27 Systèmes, Programmation système 1 et 2

63 I3S-OASIS

Kounalis Emmanuel PR UNSA

27 Logique, Complexité, Systèmes axiomatiques

105 I3S - CEP

Martin, Bruno MC UNSA

27 Cryptographie et sécurité, Introduction à la cryptographie, Automates cellulaires (option)

37,5 I3S - RECIF (MC3 au 1/09/2007)

Papazian Christophe MC UNSA

27 Automates cellulaires (option, 1/3), Nombres jeux et stratégies (option)

28 I3S - RECIF (MC3 au 1/09/2007)

Pierre, Laurence PR UNSA

27 Electronique digitale 21

Renevier, Philippe MC UNSA

27 Interface Homme-Machine

21 I3S-RAINBOW

Rueher, Michel PR UNSA

27 Programmation par contraintes, analyse d'intervalles et applications, Programmation par contraintes

42 I3S-CEP

Page 27: Spécialité ISI

27/51

4.1-2 - PAST / Intervenants professionnels Nom, Prénom Fonction Entreprise /

EtablissementEnseignements dispensés

Nombre d’heures

Hernandez, Jean-Louis ATOS

Origine Administration des réseaux

35

Hugues, Anne-Marie PAST UNSA Génie Logiciel 70 Salvan, Philippe PAST UNSA Architecture logicielle

pour les applications réparties : études de cas industrielles

35

Teresa Colombi LudTic Ergonomie des IHM 35 Christine Lisetti Affective computing 35 Vacataires INPI Propriétés

intellectuelles 35

4. 2- Adossement à la recherche (à renseigner pour tous types de master) 4.2-1 - Equipes de recherche sur lesquelles s’appuie la formation

Tableau à remplir pour les masters recherche et les masters professionnels

Nom de l’équipe Nombre de chercheurs Label national voire international Les équipes du laboratoire I3S

1. Créative 2. Rainbow 3. Recif/Cep (mc3) 4. Mainline/Execo

Les équipes communes au laboratoire I3S et à l’INRIA Sophia

1. Ariana 2. Aoste 3. Mascotte 4. Oasis

Les équipes de l’INRIA Sophia

1. Accacia 2. Axis 3. Maestro 4. Planete 5. Asclespios 6. Odyssé

Les équipes de recherche du CSTB, de France Telecom R&D

M. Barlaud (10) M. Riveill (12) E. Formenti/M. Rueher (7) P. Sander/M. Collard (10) J. Zerubia (4) R. Desimone (5) JC. Bermond (10) D. Caromel (6) R. Dieng (8) B. Trousse (7) P. Nain (5) W. Dabbous (10) N. Ayache (6) O. Faugeras (6)

International International International National International International International International International International International International International International

Indiquer obligatoirement pour chaque équipe : - sa présentation - ses thèmes de recherche - ses publications majeures au cours des 4 dernières années - l'adéquation de ses compétences avec les objectifs de la formation

Page 28: Spécialité ISI

28/51

4.2-2 - Autres équipes de recherche dont les membres sont susceptibles d’intervenir dans la formation Indiquer les noms des équipes et les modalités d’intervention ………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………

5 – LES PARTENARIATS 5-1- Partenariats avec d’autres établissements français participant à la formation

Préciser lesquels (universités, écoles, organismes de recherche, …) et la nature des conventions conclues Le master STIC ISI/RSD/IGMMV avait une convention avec l’INRIA Sophia Antipolis, elle sera remise à jour dans le cadre de ce master.

5-2- Préciser les partenariats avec les établissements étrangers Préciser lesquels (universités, écoles, organismes de recherche, …) et la nature des conventions conclues - Université de Danang / Dalat : programme de coopération pédagogique (accueil de 5 étudiants

francophone par an) - Ensemble d’université dans le cadre d’Erasmus

6 – EVALUATION

6. 1 – De la formation

Préciser les modalités d’évaluation (effectifs, taux de réussite, débouchés) Un tableau de bord est maintenu depuis plusieurs années entre autre dans le cadre de l’évaluation de la formation par la CTI. Celui-ci précise : - les étudiants admis - la manière dont ils trouvent du travail à l’issue de la formation (poursuite d’étude, type entreprise, délai, salaire moyen, localisation) - la manière dont ils évoluent (enquête après 3 ans)

6. 2 – Des enseignements

Détailler les modalités d’évaluation L’Université de Nice - Sophia Antipolis met en place une évaluation de tous les enseignements, les enseignements du master seront évalués dans le cadre de ce service commun (formulaire web anonyme dépouillé automatiquement à destination de l’enseignant responsable du cours et des divers responsables pédagogiques).

Page 29: Spécialité ISI

29/51

7 – MODALITES DE CONTROLE DES CONNAISSANCES

7. 1- Pour le M1

Préciser les modalités suivantes (et joindre en annexe 3 (A) le règlement complet) Ecrits et oraux : OUI NON Compensation au sein des UE : OUI NON Compensation semestrielle : OUI NON Compensation annuelle : OUI NON Anonymat des copies : OUI NON Deux sessions : OUI NON

7. 2 – Pour le M2 Préciser les modalités suivantes (et joindre en annexe 3 (B) le règlement complet) Ecrits et oraux : OUI NON Compensation au sein des UE : OUI NON Compensation semestrielle : OUI NON Compensation annuelle : OUI NON Anonymat des copies : OUI NON Rattrapage : OUI NON

Joindre en annexes 3 (A et B) le règlement complet des deux années 7. 3 – Jury

Préciser les modalités retenues pour le jury et notamment la participation des professionnels

Le jury est composé des responsables de parcours (8), du responsable du Master et de représentants du conseil de

perfectionnement du département Sciences Informatiques de Polytech’Nice – Sophia (4 industriels). Le jury se prononce sur : - l’attribution du diplôme (avoir validé les 120 crédits ECTS) - la mention.

Page 30: Spécialité ISI

30/51

ANNEXES

A renseigner obligatoirement (1 dossier par annexe)

ANNEXE 1

Fournir le programme pédagogique pour chacune des Unités d’Enseignement, en précisant à chaque fois les éléments constitutifs et les intervenants Intitulé de l’UE Nom du

responsable Nb de spécialités prenant en compte cette UE

Nb minimum d’étudiants pour ouverture

Volumes horaires (CM, ED, TP, stage, …).

Crédits ECTS

Semestre où l’enseignement est proposé (1er , 2ème)

Administration des réseaux

JL Hernandez, Atos Origine

O1

F2-4

15

35 2 Court Orientation professionnel

Modelisation et evaluation de performance des reseaux

P . Nain, INRIA O1

F2-4

15

35 2 Court Recherche En anglais

Réseaux W. Dabbous, INRIA

O1

F2-4

15

35 2 Court Recherche En anglais

Algorithmique et optimisation pour les télécoms

M. Syska, UNSA O1

F2-4

15

35 2 Court Mixte

Modélisation et simulation des reseaux ad hoc

P. Nain, INRIA

O1

F2-4

15

35 2 Court Recherche Anglais

Principes et mécanismes de sécurités

B. Martin, UNSA O1, 2

F3-8

15

35 2 Court Mixte

Modèles de programmation pour les applications réparties

M. Riveill, UNSA O2

F1, 3-8

15

35 2 Court Mixte

Langage de programmation concurrente et distribuée

D. Caromel, UNSA

O2

F1, 3-8

15

35 2 Court Mixte

Méthodes Formelles pour la

R. De Simone, INRIA

O2 15 35 2 Court Recherche

Page 31: Spécialité ISI

31/51

conception de Systèmes Embarqués

F1, 3-4

Alors que l'informatique est largement utilisée pour simuler et analyser toutes sortes de modèles physiques, la modélisation des systèmes informatiques eux-mêmes reste largement en deçà des pratiques de programmation in-the-large. Le problème devient plus aigu dans le cas des systèmes embarqués, souvent critiques (automobile, téléphonie mobile, cartes à puce et sécurité, conception de Systèmes-sur-Puce etc). Nous analysons dans un premier temps les bénéfices potentiels de l'introduction des méthodes et modèles formels dans le cycle de développement de tels systèmes informatiques. Nous présentons ensuite des exemples majeurs de modèles sémantiques, liés aux catégories de systèmes représentés: sémantique axiomatique et logique de Floyd-Hoare pour les programmes séquentiels, sémantique opérationnelle et calculs de processus pour les systèmes communicants, sémantique dénotationnelle et traduction en circuits pour les systèmes réactifs synchrones. Nous étudions enfin les langages d'expression de propriétés (logique temporelle), et l'algorithmique de la vérification automatique (model-checking) sur les programmes. Le cours sera illustré par des présentations (rapides) des logiciels et environnements de développement majeurs du domaine. Une partie de l'évaluation consistera de la part des étudiants en des exposés approfondissant leurs connaissances pratiques de ces logiciels. Réseaux et services logiciels pour objets communicants

Tigli, UNSA - /Lavirotte, IUFM

O3

F1-2, 4-6

15

70 4 Long Mixte

Conception d’applications logicielles sur cartes à puces et terminaux mobiles

Tigli, UNSA -Koenig, UNSA

O3

F1-2, 4

15

70 4 Long Mixte

Programmation des applications sensibles au contexte

Tigli, UNSA/Lavirotte, IUFM

O3

F1-2, 4-5

15

35 2 Court Mixte

Méthodes d’analyse et de conception de systèmes logiciel/matériel

Auguin, CNRS F3 15

70 4 Long (commun master TSM) Mixte

Modélisation et simulation de systèmes matériels/logiciels

Muller, UNSA F3 15

70 4 Long (commun master TSM/dept élec) Professionnel

Logiciel et réseaux pour applications critiques

Peraldi, UNSA - Giulieri, UNSA

F1, 2, 3 15

70 4 Long Professionnel

Conception et validation de logiciels critiques

André UNSA - Ressouche/Roy Ecole des Mines

F1, 2, 3 15

35 2 Court Mixte

Les serveurs d’entreprise (J2EE/.Net)

M. Riveill, UNSA O4

F2-3, 6

15

35 2 Court Mixte

Architecture logicielle pour les applications

P. Salvan, UNSA O4

F2-3, 6

15

35 2 Court Professionnel

Page 32: Spécialité ISI

32/51

réparties : études de cas industrielles

Génie Logiciel AM Hugues, UNSA

O4

F2-3, 5-6

15

70 4 Long Professionnel

Paradigmes avancés de programmation

M. Rueher, UNSA O4

F2-3, 5-6

15

70 4 Long Professionnel

Modèles, Objets et Composants

P. Lahire/P. Collet O4

F2-3, 5-6

15

35 2 Court Mixte

Conception et architecture d’IHM

A-M. Pinna/P. Renevier

O5

F2-4, 6

15

70 4 Long Mixte

Outils pour les nouvelles IHM

D. Lingrand O5

F2-4, 6

15

70 4 Long Mixte

Ergonomie des IHM

O5

F2-4, 6

15

35 2 Court Mixte

Affective computing

C. Lisetti O5

F2-4, 6

15

35 2 Court Mixte

Plasticité des IHM A-M. Pinna O5

F2-4, 6

15

35 2 Court Mixte

Modélisation et outils du web sémantique

O. Corby/F. Gandon

O6 F2-5

15

70 4 Long Mixte

Ingénierie des connaissances

C. Faron/N. Le Thanh

O6 F2-5

15

70 4 Long Mixte

Extraction de connaissances à partir des comportements

B. Trousse O6

F2-5

15

35 2 Court Mixte

Concepts et techniques de la fouille de données

M. Collard O6 F2-5

15

35 2 Court Mixte

Concepts, Langages et Architecture Web avancé

M. Buffa/P. Sander

O4, 6 F2-3, 5

15

70 4 Long Mixte

Programmation par contraintes

M. Rueher O6 F2-5

15

35 2 Court Mixte

Extraction de connaissances à partie de textes TANL

J. Farre O6 F5

15

35 2 Court Mixte

Structures et interactions (Macro-

F. Cazals (INRIA) R. Gautier (UNSA)

O7

F8

15

35 2 Court Mixte

Page 33: Spécialité ISI

33/51

moléculaires) En croisant des petits pois Mendel établit (1866) les lois de l'hérédité. En transformant des bactéries Grifith (1928) et Avery montrent que le support de l'hérédité est la molécule d'Acide Desoxy Ribonucléique ou ADN. Enfin en 1953, Watson et Crick, en se basant sur des travaux de Wilkins et Franklin, établissent le modèle en double hélice de la molécule d'ADN. Un demi-siècle plus tard, l'ADN mais aussi l'ARN et les protéines sont au coeur des grands problèmes de la biologie contemporaine. Les évolutions technologiques et en particulier les projets de séquençage de nombreux génomes ont donné accès à des quantités de données considérables, ouvrant de façon accrue nombre de sujets de recherche aux rangs desquels le folding (ou étude du repliement des protéines), la relation structure - fonction, la biologie des systèmes (étude des réseaux de régulation), ou encore la conception de dispositifs moléculaires (e.g. les moteurs moléculaires). Une caractéristique essentielle de ces sujets est de faire intervenir des disciplines aussi variées que la biologie, la chimie, la physique, les mathématiques et l'informatique. Par ailleurs, tous font la part belle à la Biologie Structurale, laquelle recouvre la détermination, la compréhension et l'étude de l'interaction de plusieurs (macro-)molécules. Dans ce contexte, l'objectif de ce cours est une sensibilisation à certaines des grandes questions de la biologie structurale. Plus précisément, on s'intéressera à la structure des macro-molécules biologiques, et au rôle joué par celle-ci dans deux contextes différents _la compréhension de la machinerie cellulaire et le développement de nouvelles méthodes de conception de médicaments. Ces questions seront abordées sous trois angles différents : - Fondements biologiques et phyInformatiqueo-chimiques, R. Gautier (IPMC, Univ. Nice Sophia-Antipolis) : structure des protéines ; conformations ; champs de force ; fllexibilité. - Fondements algorithmiques, F. Cazals (INRIA Sophia) : union de boules et modèles de Van der Waals ; caractérisation des formes moléculaires ; comparaison de formes et docking. - Application a la conception de médicaments, E. Thoreau (Galderma).

Modélisation géométrique, physique et physiologique du corps humain

H. Delingette (INRIA)

O7

F8

15

35 2 Court Mixte

Résumé : Dans ce cours, on abordera successivement 3 aspects essentiels de la modélisation du vivant. Dans la première partie, on se concentrera sur la modélisation géométrique de l'anatomie et notamment la reconstruction de surfaces, de lignes ou de points caractéristiques à partir d'images médicales. On abordera ici la segmentation d'images à l'aide de modèles déformables et sur les étapes à mener pour créer des maillages adaptés à la visualisation ou au calcul scientifique. Dans un deuxième temps, on s'intéressera à la description du comportement physique et notamment mécanique des tissus du vivant. Ainsi on présentera les méthodes numériques issues de la mécanique des milieux continus permettant de déformer en temps-réel des maillages volumiques ou surfaciques dans le cadre de la simulation de chirurgie. Enfin, dans une troisième partie, on s'intéressera à des modéles macroscopiques et phénoménologiques de la physiologie permettant de décrire par exemple la propagation de potentiel d'action ou encore la croissance de tumeurs. Ces modèles reponsent sur des équations de type réaction-diffusion dont on étudiera les propriétés et la mise en oeuvre pratique. Intervenant : H. Delingette

Traitement des images volumiques

G. Malandin O8

F8

15

35 2 Court Mixte

Ce cours est destiné à donner un certain nombre de notions utiles et spécifiques pour le traitement des images volumiques, essentiellement d'origine biologique et médicale. Il y a d'abord une présentation rapide des différentes sources essentielles d'images médicales (modalités), avec leurs spécificités. Puis, on abordera des premiers outils simples pour appréhender la complexité de l'imagerie volumique, qui concerne la topologie des images discrètes et la morphologie mathématique. Des outils plus développés de segmentation (classification, etc) seront ensuite abordés. Enfin, on s'intéressera aux différentes approches de mise en correspondance d'image (approches géométriques, approches iconiques, recalage non-linéaire).

Perception biologique et artificielle du mouvement. Application à la vision dynamique

T. Vieville, INRIA/B. Cessac, UNSA

O7

F8

15

35 2 Court Mixte

Objectif : Une meilleure connaissance des mécanismes de perception visuelle humaine et animale a un impact sur la conception d'algorithmes de vision arti_cielle. En retour l'étude du cerveau (un enjeu majeur de la médecine pour une population dont l'âge moyen augmente) nécessite la mise en place de modèles, de modules de simulation et d'outils d'analyse en sciences d'information très élaborés.

Page 34: Spécialité ISI

34/51

Débouchés : En Recherche : thèse en modélisation et simulation des processus biologiques dans un laboratoire local ou européen. Au niveau professionnel : imagerie médicale et fonctionnelle, systèmes de vision en robotique ou assistance à la personne, ingénieur de recherche, technologies émergentes (interface cerveau-ordinateur, ..), etc.. Voir : http://www-sop.inria.fr/geometrica/courses/master-igmmv/html/poursuite.html Programme : 1. Les Fonctions d'un Système Visuel Dynamique : étude comparative biologique et artificiel pour l'estimation du (i) ‘where’ du mouvement et de la structure de la scène observée et du (ii) ‘what’ du groupement perceptuel et de l'identifcation d'objets de la scène. Rôle et le fonctionnement des mécanismes adaptatifs de rétroaction : mouvements oculaires actifs. 2,3. Architecture du Système Visuel Cortical : organisation en colonnes et cartes corticales, utilisations des modèles baysiens et génératifs, puissance des approches variationnelles, simulation avec des réseaux de neurones analogiques et impulsionnels. 4. Outils et méthodes de mesures de l'activité corticale : imagerie optique, électrophysiologie et électro-encéphalographie (les autres méthodes sont étudiées en imagerie médicale). Mesures psychophysiques de la perception visuelle. Application aux interfaces cerveau-ordinateur. 5,6. Modélisation de la perception visuelle du mouvement : équations fondamentales, hypothèses sur l'environnement visuel observés, fusion multi-modalités (inertielles, odométriques), mécanismes d'auto-calibration et d'adaptation, utilisation de mouvements actifs de perception. 7. Emergence de nouveaux paradigmes d'estimation : (a) estimation multi-modèles robustes avec inférence, (b) classification et catégorisation visuelle, (c) génération de plans ou de trajectoires. Prérequis : Algèbre linéaire, Notion d'optimisation, Pratique de la programmation. Ce cours multidisciplinaire a été conçu pour requérir un minimum de compétences préalable. Intervenants : Bruno Cessac http://www.inln.cnrs.fr/rubrique.php3?id_rubrique=40, Guillaume Masson http://www.incm.cnrs-mrs.fr/equipedyva.php, Thierry Viéville http://www-sop.inria.fr/odyssee/team/Thierry.Vieville/index.fr.html, Partenariat : Sciences de la vie : http://www.incm.cnrs-mrs.fr, Sciences de l'information : http://www-sop.inria.fr/odyssee, Situé dans le parcours Références : http://www-sop.inria.fr/odyssee/team/Thierry.Vieville/personal/cours/index.html https://facets.kip.uni-heidelberg.de/public/motivation/index.html

Problèmes inverses en modélisation du vivant et sciences de l’univers

S. Anthoine, CNRS/P. Debreuve, UNSA

O8

F7

15

35 2 Court Recherche

Ce module propose d'acquérir les réflexes nécessaires à la modélisation et la résolution de problèmes inverses ainsi qu'une vision globale des approches mathématiques possibles. Trois grandes classes de problèmes seront abordées : l'identification de modèle, l'inversion et la séparation de sources. Nous nous appuierons à la fois sur des problèmes mathématiques classiques (par exemple, inversion de système ou interpolation de courbe) et sur des problèmes largement traités en recherche (débruitage et déconvolution notamment) pour étudier les difficultés liées à la résolution d'un problème inverse telles que la non-linéarité d'un modèle et les perturbations de type bruit additif et multiplicatif. Ces éléments nous mèneront à la notion de problème inverse mal posé et aux conditions de Hadamard. Le choix de contraintes sur la solution, couramment appelé régularisation, sera présenté comme le moyen de permettre la résolution d'un problème inverse. La régularisation semiquadratique et la régularisation par contrainte de parcimonie seront plus précisément développées. Nous reviendrons alors en détail sur les aspects de modélisation et de résolution et les deux grandes familles d'approches, à savoir déterministe et stochastique, en remarquant que la modélisation peut être stochastique et la résolution déterministe et inversement. Les principales méthodes de résolution seront appréhendées en s'intéressant à des problèmes concrets en modélisation du vivant et sciences de l'Univers. Nous traiterons par exemple l'algorithme Expectation-Maximization (EM) en imagerie de médecine nucléaire d'émission et de transmission (ou radiographie par rayon X), la méthode des résidus pondérés et son approximation par morceaux dite des éléments finis en électrocardiographie et magnétocardiographie ou encore une méthode variationnelle pour la reconstruction à partir de données multifréquences en astrophysique. On rencontre des problèmes inverses dans de nombreux domaines ; en particulier, certains exemples traités ici sous l'angle de la méthodologie générale sont étudiés en détail dans d'autres modules avec le point de vue du spécialiste du domaine d'application concerné.

Page 35: Spécialité ISI

35/51

Flots géométriques et modélisations en images

R. Deriche, INRIA

O8

F7

15

35 2 Court Recherche

Ce module se donne comme but de fournir aux étudiants les outils modernes et la maîtrise technique nécessaire à la résolution d'une certaine classe de problèmes importants dans le domaine du traitement de l'image scalaire, vectorielle ou multi-valuée et de la vision artificielle ou biologique. La modélisation, le formalisme variationnel et les flots géométriques à base d'EDP constitueront le socle commun aux techniques qui seront étudiées et instanciées sur plusieurs applications dont une liée à l'IRM de Diffusion dans le domaine des neurosciences. On commencera par accorder une attention particulière aux processus qui surviennent dans la phase dite de vision précoce et aux problèmes liés à la modélisation et l'extraction de primitives images et de certaines de leurs configurations singulières. Les techniques les plus avancées dans le domaine de la vision artificielle seront présentées et analysées de manière complète et on tentera d'établir un parallèle avec certains modèles biologiques existants. On passera ensuite en revue un certain nombre de problèmes en traitement d'image et en vision ayant pour caractéristique commune d'être traités sous forme variationnelle. On introduira pour cela un formalisme d'analyse principalement issu de la théorie des EDP (Équations aux Dérivées Partielles ) pour étudier de manière unifiée, une grande classe de problèmes liés à la régularisation et la segmentation d'images, scalaires ou multi-valuées, dégradées par du bruit. On abordera ensuite le cas des images définies sur des surface non-planes et on étudiera le problème de la segmentation d'images par évolution de courbes ou de surface intégrant aussi bien les informations locales de type contours que les informations statistiques sur les régions. On traitera ainsi le cas des contours actifs géodésiques et on étudiera son extension à celui des régions actives tout en adressant le problème de la mise en oeuvre au travers de la méthode dite des ensembles de niveaux (Osher-Sethian). Toutes ces questions traiteront du cas des images scalaires, mais aussi du cas plus général des images vectorielles, comme les images couleurs, les images de direction ou les images de tenseur de diffusion MRI... L'application à l'estimation, la régularisation et la segmentation de données issues d'IRM de Diffusion sera particulièrement traitée, ce qui permettra de soulever quelques nouveaux problèmes que posent cette modalité d'acquisition récente en imagerie neuro-fonctionnelle.

Modélisation mathématique au niveau tissulaire

A. Habbal, UNSA O7, 8 15

35 2 Court Recherche

Traitement des signaux électriques biologiques (ECG, EMG, …°

O. Meste, UNSA O7, 8 15

35 2 Court Recherche

Transmission de données multimédia

M. Antonini, CNRS

O8

F1, 7

15

35 2 Court Mixte

Théorie de la compression et des vidéos

P Mathieu, UNSA O8

F1, 7

15

35 2 Court Mixte

Le but principal de ce cours est de permettre aux étudiants de développer un savoir faire dans les technologies qui mettent en jeu du son des images et des réseaux et de comprendre les mécanismes utilisés pour le transfert de ces données (voix, musiques, images fixes ou animées) via les réseaux actuels. Dans la première partie du module, les aspects classiques du codage de la voix et des images seront rappelés afin de s'adapter aux contraintes imposées par le type des réseaux traversés. En ce qui concerne la technologie des réseaux nous aborderons la problématique des réseaux de communications principalement au travers de l'Internet en s'intéressant aux protocoles TCP/IP. L'aboutissement de cette partie étant la programmation "Socket" en essayant d'adapter au mieux le choix des protocoles (UDP versus TCP par exemple) au type de données. L'aspect "temps-réel" ou "au fi_l de l'eau" (streaming en anglais) sera pris en compte. La deuxième partie de ce module aborde les bases des méthodes de compression d'images et de vidéos actuellement utilisées dans les Télécoms (JPEG et MPEG 2) et initie les étudiants aux normes en cours d'élaboration JPEG 2000, MPEG4, H264 et MPEG 7.

Vision et synthèse d’image 3D

D. Lingrand, UNSA

O8

F1-7

15

70 4 Long Mixte

Modélisation et traitement des images et des

M. Barlaud, UNSA/L. Blanc

O8

F7

15

70 4 Long Mixte

Page 36: Spécialité ISI

36/51

vidéos Ferraud, CNRS Ce module de master est une introduction aux problématiques et aux outils du traitement d'images et de vidéos. L'aspect modélisation, tout d'abord, concerne les représentations espace/fréquence d'une image telle que la transformée en ondelettes. Nous nous intéresserons ensuite aux approches déterministe et stochastique de traitement d'images et de vidéos. Nous verrons que l'approche déterministe fait notamment appel au calcul des variations et conduit à résoudre des équations aux dérivées partielles (EDP). Les champs de Markov formeront eux le concept central des approches stochastiques. Nous insisterons sur les ponts entre ces différentes approches tout en dégageant leurs avantages et spécificités respectives. Ce socle de connaissances fondamentales sera introduit et illustré par des enjeux concrets de la recherche ou des applications industrielles en imagerie médicale, observation de la Terre, et multimédia (photographie numérique, codecs vidéo et postproduction cinématographique). Seront notamment traitées en profondeur la restauration d'image, problématique générique du traitement d'image qui touche de nombreux domaines d'application, et la segmentation d'images et de vidéos, nom donné à la détection automatique ou semi-automatique d'objets. Dans le contexte vidéo, cette tâche s'appuie naturellement sur les notions de mouvement et de déformation des objets qu'il s'agira d'estimer. Ce module est utile pour qui veut avoir une vision d'ensemble des méthodes actuelles du traitement d'images et de vidéos développées en recherche et R&D, et implémentées dans l'industrie.

Modèle stochastique en traitement d’image

J. Zerubia, INRIA O8

F7

15

35 2 Court Recherche

contenu :

* définition d'un champ de Markov, cliques et systèmes de voisinage, théorème de Hammersley-Clifiord, relation global/local.

* quelques modèles classiques : m. d'Ising, m. Gaussien, m. autologistique, phi-fonctions.

* simulation des champs de Gibbs : introduction ; algorithmes stochastiques de relaxation : Métropolis, échantillonneur de Gibbs, algorithmes de recuit simulé, recuit multi-température.

* modèles markoviens hiérarchiques : groupe de renormalisation, multi-échelle, quad-arbre, modèle pyramidal.

* estimation de paramètres : MV, Pseudo-MV, MCMC-MV, ICE, EM, boites qualitatives.

* quelques exemples d'application en imagerie satellitaire, médicale et biologique.

* miniprojet en binome a faire en matlab a choisir parmi 3 sujets : modelisation de texture en imagerie aerienne, detection de zones urbaines sur image SPOT, classification en imagerie medicale.

Format :

* cours magistraux (15h)

* miniprojet note (6h + travail a la maison)

* examen ecrit note (2h30)

Géométrie algorithmique

O. Devillers, INRIA

O8

F7

15

70 4 Long Recherche

-1__ Fondements de la géométrie algorithmique Principales techniques de géométrie algorithmique illustrée sur les problèmes d'enveloppe convexe, de triangulation et d'arrangements. Initiation à la programmation des algorithmes géométriques. -2__ Un petit peu plus loin en géométrie algorithmique Des techniques algorithmiques un peu plus pointues (randomisation) et des examples d'applications. Liste de seances Intervenants : P. Alliez (PA), O. Devillers (OD), M. Teillaud (MT) Détail du cours : -1__ -1-1 Enveloppes convexes, (OD) [Cours] -1-2 Triangulation de Delaunay (OD) [Cours] -1-3 Triangulation de Delaunay (OD) [Cours] -1-4 Initiation à la bibliothèque CGAL (MT) [Cours + TD] -1-5 Triangulation de Delaunay avec CGAL (PA) [Cours + TD] -1-6 Arrangements (MT ) [Cours ] -1-7 Arrangements avec CGAL (MT ) [Cours + TD ]

Page 37: Spécialité ISI

37/51

-2__ -2-1 Randomisation (OD) [Cours] -2-2 Un exemple d'application : le crust 2D, un algorithme de reconstruction (OD) [Cours+TD] -2-3 Robustesse des algorithmes et precision numerique (MT) [Cours+TD] -2-4 Triangulation de Delaunay 3D (MT) [Cours + TD] -2-5 Approximation/interpolation lineaire (PA) [Cours] -2-6 Un autre exemple d'application : maillage 2D par raffinement de Delaunay (PA) [Cours+ TD] -2-7 Approximation de surfaces (PA) [Cours + TD]

Synthèses de son N. Tsingos, INRIA

O8

F7

15

35 2 Court Mixte

Conception d’application multimédias et d’animations réalistes en 3D

JC Lafon, UNSA O8

F1-7

15

70 4 Long Professionnel

Management C. Bachelot F1-8 15

70 4 Long Professionnel

Anglais et Insertion professionnel

F. Storey F1-8 15

70 4 Long Mixte

Propriétés intellectuelles

Vacataires de l’INPI

F1-8 15 35 2 Cours Mixte

Page 38: Spécialité ISI

38/51

ANNEXE 2

Etablir une fiche par enseignant chercheur de l’équipe pédagogique avec les renseignements suivants :

• Nom, Prénom • Section CNU • Qualité • Equipe de recherche de rattachement • Enseignements dispensés • Domaines de recherche • Publications majeures et/ou récentes (10 références maximum)

Nom, Prénom Qualité Section CNU

Enseignements dispensés

Nombre d’heures

Equipe de recherche

André, Charles PR UNSA

61 Conception et validation de logiciels critiques

12 Aoste

Thème de recherche. Systèmes réactifs : modélisation, analyse, programmation. Ouverture sur le MDA (Model Driven Architecture). Points forts. Invention et développement du modèle SyncCharts (un formalisme graphique synchrone intégré dans la distribution commerciale d'Esterel Studio) Productions scientifiques récentes: Anthoine, Sandrine CR

CNRS Problèmes inverses en

modélisation du vivant et sciences de l’univers

12.5 Créative

Antonini, Marc DR

CNRS Transmission de

données multimédia 35 Créative

Auguin, Michel DR

CNRS 27 Méthodes d’analyse et

de conception de systèmes logiciel/matériel

70 Mozart

Il anime le projet MOSARTS (MOdélisation et Synthèse d'ARchitectures de Traitement du Signal) du laboratoire I3S. Son activité de recherche est relative aux méthodes de conception de systèmes sur puce (SoC) en particulier pour les télécommunications mobiles. Cette thématique soulève de nombreux problèmes liés à la complexité et aux objectifs d'optimisation multi-critères. Parmi ces problèmes on peut citer la nécessité de considérer une description multi-modèles des applications, et l'exploration de solutions qui vérifient des contraintes de temps tout en minimisant les coûts en surface de silicium et la consommation d'énergie. Ceci nécessite d'étudier des méthodes pour l'analyse et la conception capables d'appréhender des systèmes de grande complexité. Principales publications : Barlaud, Michel PR

UNSA 61 Modélisation et

traitement des images et des vidéos

35 Creative

Professeur à l'Université de Nice-Sophia Antipolis, il a dirigé 22 thèses et est actuellement responsable de l'équipe Creative à l'I3S et directeur de l'école doctorale STIC." Ses domaines de recherche sont la compression et la segmentation d'images et de vidéos. M. Barlaud participe aux projets nationaux ( GDR, Projets RNRT, RNTS), aux projets et réseaux d'excellence Européens (COST211, SCHEMA, SIMILAR), aux projets CNRS/NSF avec Stanford et Boston. M Barlaud est editeur en chef de deux livres, et il est l'auteur d'une cinquantaine de publications et environ 150 papiers de conferences au cours des 15 dernieres années. Bachelot, Christine PRAG

Gestion Gestion Management 70

Page 39: Spécialité ISI

39/51

PRAG Economie et Gestion option Commerce 2001 Agrégation externe Economie et Gestion option Commerce 2000 CAPET interne Economie et Gestion option Commerce 1990 - 1991 Mastère en Ingénierie Financière de EM LYON 1987 - 1990 E.S.L.S.C.A. PARIS Thèse professionnelle : Les apports partiels d’actif (Mastère d’Ingénierie Financière) Blanc Ferraud, Laure DR

INRIA Modélisation et

traitement des images et des vidéos

35 Ariana

Buffa, Michel MC

UNSA 27 Concepts, Langages et

Architecture Web avancé

35 Mainline

Caromel, Denis PR

UNSA 27 Langage de

programmation concurrente et distribuée

35 Oasis

Cazals, Frederic CR

INRIA 27 Structures et

interactions 12.5

Cessac, B. UNSA Perception biologique et

artificielle du mouvement. Application à la vision dynamique

12.5

Collard, Martine MC

UNSA 27 Concepts et techniques

de la fouille de données 35 Execo

Collet, Philippe MC

UNSA 27 Modèles, Objets et

Composants 12.5 Rainbow

Corby, Olivier DR

INRIA Modélisation et outils

du web sémantique 35 Edelweiss

Dabbous, Wallid DR

INRIA 27 Réseaux 35 Planete

Debreuve, P UNSA Problèmes inverses en

modélisation du vivant et sciences de l’univers

12.5

Delingette, Hervé DR

INRIA Modélisation

géométrique, physique et physiologique du corps humain

35

Deriche, Rachid DR

INRIA Flots géométriques et

modélisations en images35

De Simone, Robert DR

INRIA 61 Méthodes Formelles

pour la Conception de 35 Aoste

Page 40: Spécialité ISI

40/51

Systèmes Embarqués Directeur de Recherches INRIA Sophia-Antipolis Thèmes de recherche.

1. Conception de systèmes embarqués par Formalismes Réactifs Synchrones : modélisation, analyse, optimisation, implantation.

2. 2. Model-checking et vérification automatique Points forts. Méthodes d’analyse, de vérification et d’optimisation de modèles synchrones basées sur des modèles sémantiques établis. Mise en œuvre algorithmique efficace dédiée. Principal concepteur de l’environnement de vérification automatique Auto/Graph Devillers, Olivier DR

INRIA Géométrie

algorithmique 70

Farre, Jacques PR

UNSA 27 Extraction de

connaissances à partie de textes TANL

35 Langage

Faron-Zucker, Catherine MC

UNSA 27 Ingénierie des

connaissances 35 Mainline

Koenig, Michel MC

UNSA 27 Conception

d’applications logicielles sur cartes à puces et terminaux mobiles

35

Gandon, Fabien CR

INRIA Modélisation et outils

du web sémantique 35 Edelweiss

Gautier, R UNSA Structures et

interactions 12.5

Giulieri, Alain PR

UNSA 61 Logiciel et réseaux pour

applications critiques 35

Habbal, A MC

UNSA 26 Modélisation

mathématique au niveau tissulaire

35

Nain, Philippe DR

INRIA 27 Modelisation et

evaluation de performance des reseaux Modélisation et simulation des réseaux ad hoc

70 Maestro

Malandin, Georges DR

INRIA Traitement des images

volumiques 34

Mathieu, P MC

UNSA Théorie de la

compression et des vidéos

35

Martin, Bruno MC 27 Principes et mécanismes 35 MC3

Page 41: Spécialité ISI

41/51

UNSA de sécurités Son activité principale d'enseignement est centrée sur deux des problématiques issues de la théorie de l'information de Shannon: celle du codage (codes correcteurs d'erreurs) et celle du secret (cryptologie). Il s'intéresse en particulier aux applications pratiques des codes correcteurs et de la cryptographie. Citons, par exemple, les mécanismes de codage utilisés dans les couches basses des réseaux ou dans les transmissions GSM ainsi que l'utilisation croissante de la cryptographie dans les différents outils qui permettent de sécuriser des services Internet comme le trafic http ou les courriers électroniques. Son activité de recherche se fait au sein du projet RECIF du laboratoire I3S de l'université de Nice- Sophia Antipolis. Ses travaux portent sur les modèles de calcul parallèles et sur les applications de la cryptologie aux protocoles de sécurité des réseaux. Publications : Meste, Olivier PR

UNSA 61 Traitement des signaux

électriques biologiques (ECG, EMG, …°

35

Obtention d’un DEA en 1989 dans la spécialité Automatique et Traitement du signal, puis d’un Doctorat de 3ième cycle dans la spécialité Sciences de L’ingénieur avec Label Européen, en 1992. Ma recherche concerne les applications du traitement du signal dans le domaine du Biomédical, plus particulièrement le traitement numérique et les représentations temps-fréquence. Les thèmes d’enseignements sont relatifs à l’automatique, au traitement du signal, aux architectures des ordinateurs, à la technologie et à la programmation réseaux. Muller, Fabrice MC

UNSA 61 Modélisation et

simulation de systèmes matériels/logiciels

70

Lafon, Jean-Claude Conception

d’application multimédias et d’animations réalistes en 3D

70

Lahire, Philippe PR

UNSA 27 Modèles, Objets et

Composants 12.5 Rainbow

Lavirotte, Stéphane MC

IUFM 27 Réseaux et services

logiciels pour objets communicants Programmation des applications sensibles au contexte

47.5 Rainbow

Le Thanh, N. MC

UNSA 27 Ingénierie des

connaissances 35 Mainline

Lingrand, Diane MC

UNSA 27 Outils pour les

nouvelles IHM Vision et synthèse d’image 3D

140 Rainbow

Peraldi, Marie-Agnès MC

UNSA 61 Logiciel et réseaux pour

applications critiques 35 Aoste

maître de conférences à l'IUT de Nice côte d'azur (CNU 27), laboratoire I3S équipe SPORTS. Elle enseigne l'architecture, la conception de systèmes temps réel, et les réseaux temps réel. Elle est responsable de l'option Informatique embarquée et réseaux sans fil en Licence professionnelle. En recherche, elle s'intéresse à la conception de systèmes embarqués distribués alliant les concepts de composants aux concepts des modèles synchrones. Publications récentes :

Page 42: Spécialité ISI

42/51

Pinna, Anne-Marie MC UNSA

27 Conception et architecture d’IHM Plasticité des IHM

70 Rainbow

Recherche se basant sur des préoccupations logicielles concrètes : faciliter le développement des applications distribuées à base de composants qui s'étend de l'aspect formel (preuve et conservation de la cohérence d'une application adaptable dynamiquement) à la mise en oeuvre en grandeur réelle des solutions architecturales proposées (diffusion de logiciels) PUBLICATIONS Renevier, Philippe MC

UNSA 27 Conception et

architecture d’IHM 35 Rainbow

Ressouche, Annie Ecole

des Mines

Conception et validation de logiciels critiques

12

Riveill, Michel PR

UNSA 27 Modèles de

programmation pour les applications réparties Les serveurs d’entreprise (J2EE/.Net)

70 Rainbow

L'objectif de ses travaux de recherche est de développer des méthodes et outils pour faciliter l'adaptation dynamique des applications réparties conçues à base de composants. Les domaines d'applications visés sont prioritairement ceux des applications dans lesquelles les utilisateurs et/ou des composants matériels ou logiciels de l'application peuvent se déplacer en cours d'exécution. Responsable de l'équipe Rainbow Rueher, Michel PR

UNSA 27 Paradigmes avancés de

programmation Programmation par contraintes

105 MC3

Roy Ecole

des Mines

Conception et validation de logiciels critiques

12

Sander, Peter PR

UNSA Concepts, Langages et

Architecture Web avancé

35 Mainline

Storey, Françoise MC

UNSA Anglais Anglais et Insertion

professionnel 70

Syska, Michel MC

UNSA 27 Algorithmique et

optimisation pour les télécoms

35 Mascotte

Tigli, Jean-Yves MC

UNSA 27 Réseaux et services

logiciels pour objets communicants Conception d’applications logicielles sur cartes à

82.5 Rainbow

Page 43: Spécialité ISI

43/51

puces et terminaux mobiles Programmation des applications sensibles au contexte

Trousse, Brigitte DR

INRIA Extraction de

connaissances à partir des comportements

35 Axis

Tsingos, N CR

INRIA Synthèses de son 35

Vieville, Thierry DR

INRIA Perception biologique et

artificielle du mouvement. Application à la vision dynamique

12.5

Directeur de Recherche de l'INRIA en Vision par Ordinateur dans le groupe du Pr. Olivier Faugeras et un Intervenant de l'Université de Nice ou` il enseigne les outils formels liés à la Vision Artificielle. C'est un Ingénieur Biomédical de l'Ecole Nationale Supérieure des Télécommunications (Bretagne et Paris) complété d'une maîtrise de Mathématiques Fondamentales, Docteur en Neurosciences et Habilité à dirigé des Recherches en Sciences de l'Ingénieur. Ces activités de recherche incluent l'application des mathématiques à la perception visuelle, l'analyse du mouvement, les processus adaptatifs, ainsi que les liens entre vision biologique et artificielle. Il a pu participer à plusieurs projets de recherche européens et actions internationales de dissémination de ces recherches. Il est adjoint de la Direction de l'Unité de Recherche de Sophia pour la Formation par la Recherche et il aussi l'INRIA au niveau de la Communication Scientifique. l'École des mines de Paris, au Centre de Mathématiques Appliquées à Sophia-Antipolis. Zerubia, Josiane DR

INRIA Modèle stochastique en

traitement d’image 35 Ariana

Page 44: Spécialité ISI

44/51

ANNEXES 3 ANNEXE 3 (A) Joindre le règlement complet du M1 Règles du contrôle des connaissances pour les parcours de première année de master Ce qui suit s’applique à la première année de master, c’est-à-dire aux 60 premiers crédits ECTS du master.

Examens écrits et oraux ● Chaque unité d’enseignement donne lieu à une évaluation composée de deux examens partiels. Les

évaluations écrites sont groupées dans deux périodes bloquées, la première au milieu de semestre, et la deuxième en fin de semestre.

● Les évaluations peuvent combiner examen partiel et contrôle continu : la proportion est fixée par le responsable de l’enseignement et publiée au plus tard au début de la période d’enseignement

● Le bilan du contrôle des connaissances est publié chaque année ● Les modalités des examens garantissent l’anonymat des épreuves écrites.

Compensation ● La compensation est possible à la fois entre les Unités d’Enseignement et au sein des Unités

d’Enseignement : le diplôme est validé sur la base de la moyenne générale entre toutes les UE tenant compte de la pondération respective de chaque UE et le cas échéant, de chaque enseignement au sein d’une UE

● Au sein de chaque UE, la compensation entre les éléments constitutifs s’effectue sans note éliminatoire.

Deuxième session ● Deux sessions de contrôle des connaissances sont organisées pour chaque semestre d’enseignement.

Les deuxièmes sessions de deux semestres consécutifs formant une année peuvent être regroupées ● L’intervalle entre les deux sessions est au minimum de six semaines ● Les enseignements qui sont intégralement évalués par contrôle continu ne peuvent pas être évalués

lors de la deuxième session. La note acquise en première session pour ces enseignements est automatiquement reportée en deuxième session

● Pour les enseignements qui combinent une évaluation par contrôle continu et par examen terminal, l’enseignant responsable de l’enseignement décide de la modalité de report des notes de contrôle continu en deuxième session (report ou non report de la note de contrôle continu, et pondération de la note de contrôle continu dans la note globale). Ces modalités sont publiées au début de la période d’enseignement

● Les notes obtenues en première session dans un enseignement qui sont au-dessus de la moyenne sont automatiquement reportées en deuxième session. Les étudiants peuvent renoncer au report automatique s’ils en font la demande dans les quinze jours suivant l’affichage des résultats de la première session.

● Les notes obtenues en première session dans un enseignement qui sont comprises entre 8/20 et 10/20 ne sont reportées en deuxième session qu’avec l’accord du responsable de l’enseignement, et ce au plus tard dans les quinze jours qui suivent l’affichage des résultats de la première session.

Capitalisation

Page 45: Spécialité ISI

45/51

● Les UE sont définitivement capitalisables, dès lors que l’étudiant y a obtenu la moyenne ● Les notes obtenues dans les Enseignements d’une UE non acquise pour lesquels l’étudiant a

obtenu la moyenne peuvent être reconduites l’année suivante en cas de redoublement, avec l’accord de l’enseignant responsable de l’Enseignement.

UE « Travaux d’ Etudes et de Recherche » ou « projets tutorés » ● Les sujets sont validés par le responsable de l’UE ● L’évaluation de cet enseignement est faite par un jury constitué d’enseignants et présidé par le

responsable de l’UE, à partir des éléments suivants : ● Une évaluation portant sur un mémoire remis collectivement par le groupe d’étudiants ayant

choisi le sujet (deux à six étudiants maximum) ● Une évaluation du travail réalisé par chacun des étudiants, à partir de l’appréciation donnée par le

responsable du sujet (feuille d’appréciation à remplir par les responsables du sujet pour chaque étudiant)

● Une épreuve orale, couplée avec la soutenance.

Page 46: Spécialité ISI

46/51

ANNEXE 3 (B) Joindre le règlement complet du M2 Ce qui suit s’applique aux étudiants inscrits en deuxième année du Master INFORMATIQUE. Ces étudiants ont donc validés ou obtenus par transfert les 60 premiers crédits ECTS du Master. Les règles qui suivent concernent les 60 derniers crédits ECTS nécessaires et suffisants à un étudiant pour obtenir le diplôme de Master. Pour obtenir le diplôme MASTER mention INFORMATIQUE, spécialité ISI, il est nécessaire et suffisant d’obtenir une moyenne supérieure à 10 pour l’ensemble des unités d’enseignement du premier semestre et d’avoir valider le stage et le projet. Il n’y a pas compensation entre les UE d’enseignements et le stage ou projet. Le jury de diplôme peut attribuer les mentions Très bien (≥16), Bien (≥14), Assez bien (≥12).

Unités d’enseignement du premier semestre Credits ECTS Coefficient Unité d’enseignement théorique 2 5 (un étudiant suit 12 unités d’enseignement théoriques) Compensation entre ces unités d’enseignement Projet 6 15

Unité d’enseignement du second semestre Stage 30 45

Total 60 120

Page 47: Spécialité ISI

47/51

ANNEXE 4 Remplir la fiche « évaluation de la charge d’enseignement de la formation » ci-jointe

Contrat quadriennal 2008-2001 Annexe 4 et 5

EVALUATION DE LA CHARGE ANNUELLE D'ENSEIGNEMENT DE LA FORMATION

UFR Sciences – Université de Nice M1 OUI

Intitulé du diplôme Master SIC - ISI M2 NON

Nom du responsable Fabrice Huet

Volume horaire annuel étudiant

Semestre Impaire

Cours Magistraux Travaux Dirigés Travaux Pratiques

UEF

Durée hebdo

Nb Semaines

Total h eqTD

Durée hebdo

Nb Semaines

Total h eqTD

Charge Totale UE

1 Modèles de persistance des objets

2 9 27 2 12 24 51

2 Technologies XML

2 4.5 13.5 2 6 12 25.5

3 Systèmes 2 6 18 2 4.5 9 27

4 Intro. à la Calculabilité

2 6 18 2 4.5 9 27

5 Distribution et Parallèlisme

2 7 21 4 7 28 49

6 Génie Logiciel 2 4.5 13.5 2 6 12 25.5

7 Intro à la Logique

2 6 18 2 4.5 9 27

8 Anglais 2 3 10 30

UE Optionnelles

9 Programmation Système 1

2 4.5 13.5 2 6 12 25.5

10 Synthèse d'images

2 4.5 13.5 2 6 12 25.5

11 Electronique Digitale

2 4.5 13.5 2 6 12 25.5

12 Introduction aux BD décisionnelles

2 4.5 13.5 2 6 12 25.5

13 Programmation par Contraintes

2 4.5 13.5 2 6 12 25.5

Semestre Paire

Cours Magistraux Travaux Dirigés Travaux Pratiques

UEF

Durée hebdo

Nb Semaines

Total h eqTD

Durée hebdo

Nb Semain

es

Total h eqTD

Charge Totale UE

14 Programmation Répartie

2 11 33 2 12 24 57

15 Réseaux 2 6 18 2 4.5 9 27

16 Séminaires 2 24

17 Introduction à la Complexité

2 6 18 2 4.5 9 27

Page 48: Spécialité ISI

48/51

18 Introduction à la Sémantique

2 4.5 13.5 2 6 12 25.5

19 TER 2 100

UE Optionnelles

20 Cryptographie et Sécurité

2 4.5 13.5 2 6 12 25.5

21 Programmation Système 2

2 4.5 13.5 2 6 12 25.5

22 Compilation 2 4.5 13.5 2 6 12 25.5

23 BD Avancées 2 4.5 13.5 2 6 12 25.5

24 Administration des BD

2 4.5 13.5 2 6 12 25.5

25 Technologies Web 2.0

2 4.5 13.5 2 6 12 25.5

26 Architecture Logiciel

2 4.5 13.5 2 6 12 25.5

27 Interface Homme-Machine

2 4.5 13.5 2 6 12 25.5

Total Annuel du Diplome

387 778 1365.5

Page 49: Spécialité ISI

49/51

Annexes 4 et 5

UFR: Polytech - Nice Sophia M1 NONIntitulé du diplôme: Master SIC - ISI M2 OUINom du responsable: Michel RIVEILL

Effectif de référence au 15/01/2007: 80

SEMESTRE IMPAIR

UEF durée hebdo

nbre semaines enseigt

nbre dédoubl hebdo

Total heures éq. TD

durée hebdo

nbre semaines enseigt

nbre groupes

Total heures éq.

TD

durée hebdo

nbre semaines enseigt

nbre groupes

Total heures éq. TD

Charge totale

UE

UE 1 Administration des résea 2 7 1 21 1 7 2 14 0 35UE 2 Modelisation et evaluatio 2 7 1 21 1 7 2 14 0 35UE 3 Réseaux 2 7 1 21 1 7 2 14 0 35UE 4 Algorithmique et optimisa 2 7 1 21 1 7 2 14 0 35UE 5 Modélisation et simulatio 2 7 1 21 1 7 2 14 0 35UE 6 Principes et mécanismes 2 7 1 21 1 7 2 14 0 35UE 7 Modèles de programmati 2 7 1 21 1 7 2 14 0 35UE 8 Langage de programmati 2 7 1 21 1 7 2 14 0 35UE 9 Thread réactif 2 7 1 21 1 7 2 14 0 35UE 10 Réseaux et services logi 2 14 1 42 1 14 2 28 0 70UE 11 Conception d’application 2 14 1 42 1 14 2 28 0 70UE 12 Programmation des appl 2 7 1 21 1 7 2 14 0 35UE 13 Les serveurs d’entreprise 2 7 1 21 1 7 2 14 0 35UE 14 Architecture logicielle po 2 7 1 21 1 7 2 14 0 35UE 15 Génie Logiciel 2 14 1 42 1 14 2 28 0 70UE 16 Paradigmes avancés de 2 14 1 42 1 14 2 28 0 70UE 17 Modèles, Objets et Com 2 7 1 21 1 7 2 14 0 35UE 18 Conception et architectu 2 14 1 42 1 14 2 28 0 70UE 19 Outils pour les nouvelles 2 14 1 42 1 14 2 28 0 70UE 20 Ergonomie des IHM 2 7 1 21 1 7 2 14 0 35UE 21 Affective computing 2 7 1 21 1 7 2 14 0 35UE 22 Plasticité des IHM 2 7 1 21 1 7 2 14 0 35UE 23 Modélisation et outils du 2 14 1 42 1 14 2 28 0 70UE 24 Ingénierie des connaissa 2 14 1 42 1 14 2 28 0 70UE 25 Extraction de connaissan 2 7 1 21 1 7 2 14 0 35UE 26 Concepts et techniques 2 7 1 21 1 7 2 14 0 35UE 27 Concepts, Langages et A 2 14 1 42 1 14 2 28 0 70UE 28 Programmation par contr 2 7 1 21 1 7 2 14 0 35UE 29 Extraction de connaissan 2 7 1 21 1 7 2 14 0 35UE 30 Structures et interactions 2 7 1 21 1 7 2 14 0 35UE 31 Modélisation géométriqu 2 7 1 21 1 7 2 14 0 35UE 32 Traitement des images v 2 7 1 21 1 7 2 14 0 35UE 33 Perception biologique et 2 7 1 21 1 7 2 14 0 35UE 34 Problèmes inverses en m 2 7 1 21 1 7 2 14 0 35UE 35 Flots géométriques et m 2 7 1 21 1 7 2 14 0 35UE 36 Modélisation mathématiq 2 7 1 21 1 7 2 14 0 35UE 37 Traitement des signaux é 2 7 1 21 1 7 2 14 0 35UE 38 Transmission de donnée 2 7 1 21 1 7 2 14 0 35UE 39 Théorie de la compressio 2 7 1 21 1 7 2 14 0 35UE 40 Vision et synthèse d’ima 2 14 1 42 1 14 2 28 0 70UE 41 Modélisation et traitemen 2 14 1 42 1 14 2 28 0 70UE 42 Modèle stochastique en 2 7 1 21 1 7 2 14 0 35UE 43 Géométrie 2 7 1 21 1 7 2 14 0 35UE 44 Synthèses de son 2 7 1 21 1 7 2 14 0 35UE 45 Conception 2 7 1 21 1 7 2 14 0 35

Contrat quadriennal 2008- 2011

COURS MAGISTRAL

Volume horaire annuel étudiant : CM TD TP Total:

EVALUATION DE LA CHARGE ANNUELLE D'ENSEIGNEMENT DE LA FORMATION

TRAVAUX DIRIGES TRAVAUX PRATIQUES

Page 50: Spécialité ISI

50/51

UE 46 Méthodes d’analyse et d 2 14 1 42 1 14 2 28 0 70UE 47 Modélisation et simulatio 2 14 1 42 1 14 2 28 0 70UE 48 Logiciel et réseaux pour 2 14 1 42 1 7 2 14 0 56UE 49 Conception et validation 2 14 1 42 1 7 2 14 0 56UE 50 Management 2 14 1 42 1 14 2 28 0 70UE 51 Anglais et Insertion 0 3 14 4 168 0 168UE 52 Propriétés 3 14 1 63 0 0 63

TOTAL DU SEMESTRE 1449 1064 0 2513

SEMESTRE PAIR

TOTAL ANNUEL DU DIPLÔME 1449 1064 0 2513

RAPPEL DES COEFFICIENTS : Cours magistral : 1,5 - TD : 1 - TP : 0,66

UNITES D'ENSEIGNEMENT COMMUNES A PLUSIEURS MENTIONS OU SPECIALITES DE MASTERPRECISER LES MENTIONS OU SPECIALITES CONCERNEES PAR LA MUTUALISATION DES PARCOURS :

STAGE

UE OPTIONNELLES

ANNEXE 5

Remplir la fiche « évaluation de la charge d’enseignement de la formation par section CNU » ci-jointe

Page 51: Spécialité ISI

51/51

UFR: Polytech - Nice SophiaIntitulé du diplôme: Master SIC - ISINom du responsable: Michel RIVEILL

M1 NONM2 OUI

80

50 % de la charge du master (partage avec école

polytech)

50 % de la charge du master (partage avec école

polytech)

Total

1335

870,5

200

30

84

102

2621,5

anglais - M2

27 - M1

Numéro Section CNU

Volume horaire annuel étudiant du semestre: CM TD TP Total: 2621

gestion - M2

61 - M2

anglais - M1

27 - M2

Contrat quadriennal 2008- 2011

Volume horaire

EVALUATION DE LA CHARGE ANNUELLE D'ENSEIGNEMENT DE LA

Effectif de référence au 15/01/2007:

FORMATION PAR SECTION CNU