Parcours Image et Multimédia S7

Voir la page complète

Un semestre de 12 séances interactives et hebdomadaires. Développement des compétences en communication professionnelle en anglais, incluant l’interaction orale, la rédaction de documents professionnels, la compréhension de supports authentiques, ainsi que l’autonomie, l’esprit critique et les compétences interculturelles. L’évaluation comprend des épreuves orales, individuelles et collectives, visant à apprécier la capacité des étudiants à argumenter, débattre et interagir en anglais de manière claire et pertinente. Elle repose également sur une évaluation écrite individuelle permettant de mesurer la structuration de la pensée, la cohérence de l’argumentation et la qualité de l’expression écrite.

Voir la page complète

Un semestre de 12 séances interactives et hebdomadaires. Développement des compétences en communication professionnelle, incluant l’interaction orale, la rédaction de documents professionnels, la compréhension de supports authentiques, ainsi que l’autonomie, l’esprit critique et les compétences interculturelles. Évaluation par niveau, basée sur des productions écrites, des prestations orales individuelles ou en groupe, et une évaluation continue de l’attitude et de la participation en classe.

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Pour une EPS inclusive, adaptée et motivante, l'étudiant pourra

-choisir les activités supports parmi une vingtaine, dans des modes de pratiques variées : développement personnel, activité de découverte, activité projet,  activité artistique, activités compétitives, 

-renforcer les compétences psychosociales, en multipliant les situations collectives et d'interactions sociales (coopération, intelligence collective, s'engager dans différents rôles sociaux)

-se tester et se responsabiliser au regard de son "Score santé" personnel

-apprendre en situation expérientielle.

Voir la page complète

Voir la page complète

L’enseignement s’organise sur un semestre de 12 séances hebdomadaires, structuré en deux modules — PPP Research et PPP Interview — dédiés à l’exploration des parcours professionnels et à l’approfondissement du projet professionnel personnel. Il est complété par une journée internationale consacrée à la découverte des opportunités de mobilité académique et professionnelle, ainsi que par des conférences métiers animées par des professionnels et partenaires industriels.

L’évaluation repose sur le développement d’un e-portfolio individuel et sur une présentation orale individuelle du projet professionnel devant un jury composé d’enseignants-chercheurs, d’experts en ressources humaines et de partenaires industriels.

Voir la page complète

Voir la page complète

Voir la page complète

La matière est composée de 4 cours magistraux, 4 TD et 6TP. La matière est évaluée par un TP noté sur machine de 3h. Les concepts abordés sont :
- programmation fonctionnelle, sans effet de bord
- récursivité, récursivité terminale
- complexité, terminaison
- structures de données et itérateurs: listes, arbres
- conception modulaire, signatures, foncteurs

Contenu détaillé des séances :
C1 : introduction, syntaxe, notions de base, typage, filtrage
C2 : fonctions récursives, analyse récursive, terminaison et complexité, récursivité terminale
TP1 : premiers pas, fonctions récursives simples
C3 : listes, filtrage, tris et calcul de complexité
TD1 : listes, TAA file
TP2 : tris améliorés
TD2 : itérateurs
TP3 : algorithmes combinatoires et listes
C4 : types récursifs généraux (uniformes), arbres, parcours d’arbres
TD3 : arbres n-aires avec données dans les nœuds et dans les branches
TP4 et TP5 : arbres
TD4 : modules, foncteurs
TP6 : modules, foncteurs

Voir la page complète

La matière est composée de 3 cours magistraux, 6 TD et 6TP. La matière est évaluée par un examen sur table de 1h30. Les concepts abordés sont :
- analyse lexicale, syntaxique et sémantique
- Abstract Syntaxe Tree
- table des symboles
- typage (vérification de type)
- génération de code
Le langage d'entrée du compilateur est le langage RAT (constante, variable, fonction, entier, booléen, rationnel, conditionnel, répétition). Le langage de sortie est le langage TAM (machine à pile sans pas de registre). Le compilateur est écrit en OCaml en utilisant Menhir.

Contenu détaillé des séances :

C1 : Introduction à la compilation. Rappel : automate, grammaire, arbre de dérivation + analyse lexicale et syntaxique
TD1 : Manipulation de grammaires, grammaires attribuées
TP1 : Prise en main de Menhir - analyses lexicale, syntaxique et sémantique
C2 : AST, gestion des identifiants, typage (inférence de type avec Mini-ML + contrôle de type avec RAT)
TD2 : Définition de l'AST de RAT + gestion des identifiants à l'aide d'une table des symboles
TP2 : Passe de gestion d'identifiants
TD3 : Typage
TP3 : Passe de typage
C3 : Placement mémoire + génération de code et TAM
TD4 : Placement mémoire
TP4 : Passe de placement mémoire
TD5 : Génération de code
TP5 : Passe de génération de code et TAM
TP6 : Passe de génération de code et TAM
TD6 : Pour aller plus loin (pointeurs, ...) : aide pour le projet

Voir la page complète

Le projet est à réaliser en binôme, hors séances entre mi-novembre et mi-janvier.

Voir la page complète

Voir la page complète

Étude théorique et pratique de :

• Automates finis
• Automates à pile
• Techniques d'analyse d'informations structurée
• Analyse descendante récursive
• Générateurs d'analyseurs lexicaux et syntaxiques

Voir la page complète

Chapitre 1 : Définitions et concepts de base

Chapitre 2 : Connexité dans les graphes

Chapitre 3 : Graphes eulériens, graphes hamiltoniens

Chapitre 4 : Parcours de graphe

Chapitre 5 : Planarité et coloration de graphes

Chapitre 6 : Flots sur les réseaux

Chaque chapitre sera étudié en groupe de TD où seront alternés le cours et les exercices.

Voir la page complète

Voir la page complète

Cette matière présente les concepts de l'Ingénierie Dirigée par les Modèles en s'appuyant sur les technologies de l'écosystème Eclipse et de son projet EMF (Eclipse Modeling Framework) :

* Définition de métamodèles avec Ecore et de modèles conformes
* Sémantique statique avec OCL
* Syntaxes concrètes textuelles avec Xtext
* Syntaxes concrètes graphiques avec Sirius (visualisation de modèles et
  définition d'éditeurs graphiques)
* Transformation de modèle à texte à Acceleo
* Transformation de modèle à modèle avec ATL mais aussi EMF/Java

Le cas d'étude qui sert de fil rouge aux Travaux Pratiques de cette matière consiste à déterminer la terminaison de processus en les  transformant en réseaux de Petri pour utiliser les outils de vérification formelle associés.  Il constitue ainsi aussi une introduction aux méthodes
formelles et à la logique temporelle.

Deux projets permettent de valider la compréhension des concepts et la bonne utilisation des différents outils.

Voir la page complète

Cette matière présente les patrons de conception (la construction du patron Visiteur est réalisée en Travaux Dirigés), l'introspection, les annotations utilisées à la compilation et à l'exécution et les techniques de tests.

Les Travaux Pratiques permettent en particulier de réécrire le *framework* de test unitaire JUnit en s'appuyant sur l'introspection (équivalent de JUnit3) ou les annotations (équivalent de JUnit4).  L'utilisation à la compilation est montrée en définissant une annotation *@utility* qui permet de vérifier qu'une classe est utilitaire à l'image de la classe java.lang.Math de Java.

La partie « Tests » présente les notions de tests fonctionnels et tests structurels, le graphe de contrôle, les mesures de couvertures de test. En TP, des outils de couverture de test, de définition de doublures (mocking) et d'injections d'erreur (PITest) pour évaluer les programmes de test sont utilisés.

Voir la page complète

Les étudiants auront l’opportunité de se familiariser en profondeur avec l’ensemble des résultats présentés dans le cadre de séances de travaux dirigés, dans lesquels se- ront abordées les questions de modélisation ainsi que les conditions d’optimalité sur la base de problèmes d’optimisation pratiques variés. Un volume conséquent de tra- vaux pratiques permettra en outre aux étudiants de mettre en oeuvre des méthodes numériques (Newton, Gauss-Newton) et de les tester pour le traitement de pro- blèmes de moindres carrés non linéaires, ainsi que sur des problèmes d’optimisation plus généraux avec contraintes.
Les bases de données usent volontiers de modèles (entité association, relationnel) et de langages (calcul et algèbre relationnels, SQL) simplistes. Cela n’y rend pas si aisée la représentation d’un univers plus complexe ; mais permet de mettre en valeur les problèmes liés au stockage informatique de fichiers (cohérence, confidentialité, etc, et surtout redondance) via la théorie de la normalisation : dépendances fonc- tionnelles et multi-valuées, forme normale de Boyce-Codd, troisième et quatrième forme normale. . .Essentiellement théorique, cette étude se conclura, en travaux pra tiques,par une brève présentation des principaux outils de technique des fichiers : tables de hachage et index.

Voir la page complète

A la suite des résultats du cours de première année, qui donnaient les conditions nécessaires/suffisantes caractérisant les solutions des problèmes d’optimisation sans contraintes, nous développons les conditions de Karush-Kuhn-Tucker-Lagrange relatives à la caractérisation des optima d'une fonction sous contraintes. Ces résultats théoriques sont basés sur des concepts géométriques particuliers, tels que le cône des directions admissibles en un point du domaine des contraintes. Nous analyserons ces aspects géométriques en détail dans la construction de ces résultats mathématiques.

Pour ce qui est des méthodes numériques pour l’optimisation, nous détaillerons deux types d'algorithmes, l'un pour des problèmes sans contraintes, et l'autre avec contraintes. Dans les deux cas, nous étudierons la convergence de ces algorithmes et nous nous intéresserons à certains aspects pratiques tels que le choix de critères d'arrêt pertinents, la mise à l'échelle des variables du problème …

Les étudiants auront l'opportunité de se familiariser en profondeur avec l'ensemble des résultats présentés dans le cadre de séances de travaux dirigés, dans lesquels seront abordées les questions de modélisation ainsi que les conditions d'optimalité sur la base de problèmes d'optimisation pratiques variés.

Un volume conséquent de travaux pratiques permettra en outre aux étudiants de mettre en œuvre des méthodes numériques (régions de confiance, lagrangien augmenté, etc.) et de les tester pour le traitement de problèmes d'optimisation avec contraintes.

Voir la page complète

L e cours décrit les principales méthodes de modélisation et de résolution des problèmes de Recherche opérationnelle dont l'objectif est l'aide à la décision.  Cinq projets sont proposés aux étudiants qui doivent programmer en Matlab leurs programmes solutions. On y examine tour à tous les méthodes de programmation linéaire et entière (algorithme du simplexe), les méthodes de flot et de tension maximaux (algorihme de Ford et de Fulkerson), la théorie des jeux à somme non nulle dans un contexte de jeu non coopératif, les chaînes de Markov et la planification de trajectoires en robotique mobile.

Voir la page complète

Voir la page complète

• modélisation et conception de systèmes parallèles
• raisonnement et évaluation sur les applications concurrentes
• patrons de conception et de synchronisation essentiels
• pratique de la programmation concurrente à gros grain

Voir la page complète

- l'interface socket
- le modèle client-serveur et les outils d'appel à distance (RPC, RMI, web services)
- les intergiciels à messages (JMS)
- intégration d'applications : les ESB

Voir la page complète

Voir la page complète