Master | Informatique

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

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

Voir la page complète

Ce cours a pour objet, à travers des grands thèmes du Droit de l’univers numérique, d’aborder les problèmes que les étudiants pourront rencontrer durant leur vie professionnelle, à l’occasion de la mise en place ou de l’exploitation ou encore de l’administration d’un système
informatique. 

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

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

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

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

Voir la page complète

Il s’agit d’introduire la programmation parallèle au travers de la programmation sur cartes graphiques NVidia dotées de la technologie CUDA. Avec le framework CUDA la programmation parallèle diffère de celle que l’on peut effectuer sur un CPU.

Voir la page complète

L’objectif de cette unité est d’introduire les différentes architectures logicielles distribuées ainsi que les frameworks technologiques pour leur prise en charges. 
Dans une architecture logicielle distribuée, les composants du logiciel sont présentés sur différentes plates-formes et plusieurs composants peuvent coopérer les uns avec les autres afin d’atteindre un objectif spécifique.
L’architecture client-serveur est un exemple typique qui constitue la base des architectures multi-niveaux ; les autres solutions sont l’architecture de courtier (Broker Architecture) telle que CORBA et l’architecture orientée services (SOA). Il existe plusieurs cadres technologiques pour prendre en charge les architectures distribuées, notamment .NET, J2EE, CORBA, les services Web.
NET, les services Web Java AXIS etc. Le Middleware est une infrastructure qui soutient de manière appropriée le développement et l’exécution d’applications distribuées. Il sert de tampon entre les applications et le réseau. La base d’une architecture distribuée est sa transparence, sa fiabilité et sa disponibilité. Ce cours focalise sur CORBA et les Web services.

Voir la page complète

Voir la page complète

L’objectif de ce cours est de présenter les processus d’extraction de connaissances à partir de données, et de les mettre en œuvre par des expérimentations. Après un rappel des fondamentaux de l’apprentissage statistique, l’idée sera d’appréhender les mécanismes modernes d’extraction statistique de connaissances. Nous commencerons par discuter des principes des machines à noyaux (type SVM) pour s’orienter vers diverses architectures neuronales profondes, qui offrent une plus grande flexibilité pour manipuler divers types de données complexes.
L’UE sera également l’occasion pour les étudiants de prendre en main et se perfectionner sur les librairies actuelles du domaine (e.g., Numpy, Pytorch).
L’enseignement sera complété par un projet.

Voir la page complète

Ce cours fait suite aux cours de bases de données qui fournissent les fondements théoriques et pratiques des bases de données utilisées aujourd’hui dans le monde professionnel, en particulier le modèle relationnel. Il a pour objectif de fournir un panorama de modèles de bases de données qui peuvent s’appliquer dans des domaines avancés.

Voir la page complète

Voir la page complète

Comment intégrer une technologie issue d’un domaine de recherche (ici un solveur de contraintes) dans une application Web ? Cet enseignement permettra aux étudiants de voir les avantages de modéliser simplement un problème difficile dans un solveur plutôt que d’implémenter un algorithme ad-hoc compliqué et difficilement compréhensible. Après une brève présentation des concepts et principaux langages de modélisation (Mini- Zinc, etc.), l’accent sera mis sur la modélisation d’un problème réel (réservation de ressources, choix d’itinéraire, planification, etc.), de sa résolution et de la présentation des résultats dans un site web.

Voir la page complète

Voir la page complète

Voir la page complète

Ce cours propose d’introduire les principes des objets connectés. La partie cours présentera d’abord les principaux protocoles de communication utilisés aujourd’hui (Sigfox, Bluetooth, etc.), ainsi que quelques composants classiques et la façon de les programmer. Les séances de travaux pratiques auront comme but de créer et faire communiquer un objet connecté simple. Objets connectés ; Sigfox ; Bluetooth ; Internet of things

Voir la page complète

Le monde de l’informatique est en constante évolution. Les technologies actuelles se succèdent rapidement parfois pour ne pas s’imposer. 
Il s’agit, au sein de cette unité, de faire connaître et d’apprendre des outils et technologies actuels au travers de présentation ou de séances de cours et de TP dispensés par des professionnels issus d’entreprises.
Les thèmes abordés tourneront autour des Frameworks “à la mode” dans le monde du Web, mais aussi autour d’outils d’administration récents ou encore des dernières normes ou outils pour le développement logiciel.
Des simulations d’entretiens seront également programmées.

Voir la page complète

Voir la page complète

Les objectifs de ce module sont de développer la connaissance et la maîtrise des systèmes GNU/Linux pour l’étudiant. Les enseignements couvrent les principes fondamentaux d’organisation d’un système GNU/Linux, la modification du système pour l’utilisateur et l’administrateur, puis le déploiement d’applications métiers sur une base LAMP. 
Ces éléments pourront être virtualisés.
Les enseignements et leurs explications nécessitent l’utilisation de l’ordinateur fourni par le master, mais seront suffisamment génériques pour être applicables dans d’autres distributions.

Voir la page complète

Voir la page complète

Voir la page complète

Il s’agit d’aborder quelques problématiques de la sécurité informatique, en suivant plusieurs axes (humain, organisationnel, matériel, logiciel). Plus précisément, les méthodes de chiffrement, la sécurité des systèmes d’exploitation ainsi que des services réseaux (firewall, SSH, VPN).
Les infrastructures à clés publiques et les critères liés à la sécurité (disponibilité, intégrité, confidentialité…) sont également abordés.

Voir la page complète

L’objectif de ce cours est de présenter les concepts et méthodes fondamentaux permettant de bien tester un logiciel ainsi que les concepts associés tels que la qualité de logiciel, la validation et la vérification de logiciel. 
- Rappel des cycles de vie du développement de logiciel et de l’assurance qualité du logiciel
- Classification des tests (test unitaire, test d’intégration, test de non-régression)
- Méthodes de test (boite noire, boite blanche, boite grise)
- Stratégies de test (bottom-up, top-down, Sandwich)
- Méthodes de tests formels

Nous ouvrirons le cours à des notions pour la génération automatique de tests logiciels (e.g., génération de tests basée sur des modèles), et l’utilisation de l’apprentissage pour la compréhension et la certification des comportements des systèmes complexes (e.g., rétro-ingénierie logicielle dynamique, méthodes adverses, exploration de l’espace d’entrée, détection de cas pathologiques, apprentissage par renforcement robuste, etc.).

Voir la page complète

Voir la page complète

L’objectif de ce cours est de sensibiliser et initier les étudiants à la recherche par la présentation de quelques thématiques concrètes. Il est composé de 5 interventions de 6h sur des sujets de recherche menés au laboratoire

Voir la page complète

Voir la page complète

Il s’agit de permettre aux étudiants d’acquérir des notions leur permettant de mieux appréhender et de s’intégrer au monde de l’entreprise.
Ainsi, ils devront atteindre le niveau B2 du cadre européen commun de référence pour les langues (CECRL). Les étudiants aborderont aussi les spécificités de l’anglais scientifique, technique et professionnel. Ils prépareront parallèlement et passeront le TOIC, 

attestation de niveau linguistique reconnue par les entreprises.
Ils acquerront les techniques de communication leur permettant de valoriser leur parcours et leurs compétences, mais aussi d’animer une réunion et une équipe. Ils étudieront également les particularités du droit appliqué au domaine informatique et notamment les concepts de propriété intellectuelle et de droit logiciel.
Enfin, des séminaires et conférences mensuels dont les intervenants seront issus des entreprises seront organisés afin de familiariser les étudiants avec des applications et problématiques industrielles. Les séminaires seront plutôt le lieu de présentation d’applications ciblées mais néanmoins représentatives réalisées en entreprises.
Les conférences, quant à elles, seront dédiées à la présentation plus générale de certaines problématiques posées dans le secteur de l’informatique industrielle ou de secteurs limitrophes.

Voir la page complète

Il s’agit de permettre aux étudiants d’acquérir des notions leur permettant de mieux appréhender et de s’intégrer au monde de l’entreprise.
Ainsi, ils devront atteindre le niveau B2 du cadre européen commun de référence pour les langues (CECRL). Les étudiants aborderont aussi les spécificités de l’anglais scientifique, technique et professionnel. Ils prépareront parallèlement et passeront le TOIC, attestation de niveau linguistique reconnue par les entreprises.

Voir la page complète

Acquérir les techniques de communication leur permettant de valoriser leur parcours et leurs compétences, mais aussi d’animer une réunion et une équipe.

Voir la page complète

Étudier, les particularités du droit appliqué au domaine informatique et notamment les concepts de propriété intellectuelle et de droit logiciel.

Voir la page complète

Des séminaires et conférences mensuels dont les intervenants seront issus des entreprises seront organisés afin de familiariser les étudiants avec des applications et problématiques industrielles. Les séminaires seront plutôt le lieu de présentation d’applications ciblées mais néanmoins représentatives réalisées en entreprises. Les conférences, quant à elles, seront dédiées à la présentation plus générale de certaines problématiques posées dans le secteur de l’informatique industrielle ou de secteurs limitrophes.

Voir la page complète

Projet réalisé entre septembre et mars et comptabilisé au 2ème semestre pour le contrôle des connaissances. Il s’agit pour un groupe d’étudiants de réaliser un logiciel en mettant en œuvre les connaissances relatives au Génie Logiciel et la Gestion de Projet.

Voir la page complète

Projet réalisé entre septembre et mars et comptabilisé au 2ème semestre pour le contrôle des connaissances. Il s’agit pour un groupe d’étudiants de réaliser un logiciel en mettant en œuvre les connaissances relatives au Génie Logiciel et la Gestion de Projet.

Voir la page complète

Stage d’application de 4 à 6 mois.

Voir la page complète

Stage d’application de 4 à 6 mois.

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

Il s’agit d’introduire la programmation parallèle au travers de la programmation sur cartes graphiques NVidia dotées de la technologie CUDA. Avec le framework CUDA la programmation parallèle diffère de celle que l’on peut effectuer sur un CPU.

Voir la page complète

Voir la page complète

L’objectif de ce cours est de présenter les processus d’extraction de connaissances à partir de données, et de les mettre en œuvre par des expérimentations. Après un rappel des fondamentaux de l’apprentissage statistique, l’idée sera d’appréhender les mécanismes modernes d’extraction statistique de connaissances. Nous commencerons par discuter des principes des machines à noyaux (type SVM) pour s’orienter vers diverses architectures neuronales profondes, qui offrent une plus grande flexibilité pour manipuler divers types de données complexes.
L’UE sera également l’occasion pour les étudiants de prendre en main et se perfectionner sur les librairies actuelles du domaine (e.g., Numpy, Pytorch).
L’enseignement sera complété par un projet.

Voir la page complète

Ce cours fait suite aux cours de bases de données qui fournissent les fondements théoriques et pratiques des bases de données utilisées aujourd’hui dans le monde professionnel, en particulier le modèle relationnel. Il a pour objectif de fournir un panorama de modèles de bases de données qui peuvent s’appliquer dans des domaines avancés.

Voir la page complète

Voir la page complète

Comment intégrer une technologie issue d’un domaine de recherche (ici un solveur de contraintes) dans une application Web ? Cet enseignement permettra aux étudiants de voir les avantages de modéliser simplement un problème difficile dans un solveur plutôt que d’implémenter un algorithme ad-hoc compliqué et difficilement compréhensible. Après une brève présentation des concepts et principaux langages de modélisation (Mini- Zinc, etc.), l’accent sera mis sur la modélisation d’un problème réel (réservation de ressources, choix d’itinéraire, planification, etc.), de sa résolution et de la présentation des résultats dans un site web.

Voir la page complète

Voir la page complète

Ce cours a pour objectif d’introduire aux différents aspects des fondamentaux de la représentation des connaissances, des informations non classiques, de la complexité, du traitement de données textuelles et de l’ingénierie linguistique.  

1 - Présentation de la thématique représentation des connaissances et formalisation du raisonnement (KRR) en tant que branche de l'Intelligence Artificielle, IA symbolique et logique classique, imperfections des connaissances, limites de la logique classique et introduction à différents formalismes logiques non-classiques.
2 - Étude de la logique possibiliste, formalisme logique non-classique de traitement de connaissances incertaines : représentation des connaissances en logique possibiliste, raisonnement sémantique (distribution de possibilités) et raisonnement syntaxique (réfutation, résolution), application au raisonnement incohérent. 
3 - Raisonnement non monotone, limites de la logique classique (et de la programmation logique classique). Présentation d'ASP (Answer Set Programming), syntaxe et sémantique, et de ses utilisations pour les raisonnements de sens commun et les problèmes combinatoires, mise en pratique avec Clingo.
4 - Problème de la représentation et de la résolution des jeux à deux joueurs sous l’angle de la complexité théorique : introduction des machines de Turing à oracle, définition des problèmes PSPACE, définition de la Hiérarchie Polynomiale, présentation de certains langages représentant la Hiérarchie Polynomiale (QBF, QCSP, QCHR), algorithmique du langage QBF.

Voir la page complète

Voir la page complète

Il s’agit d’introduire aux grands principes des systèmes à base de connaissances et des   systèmes interactifs les utilisant. Ce cours fournit les fondamentaux du domaine et les   résultats saillants des travaux de recherche. On étudie donc les systèmes à base de connaissances, les mécanismes d’inférence des systèmes à base de connaissances, le génie des connaissances et mémoire d’entreprise, le modèle des cartes cognitives, le modèle des cartes conceptuelles, la validation des systèmes symboliques, les systèmes visuels de connaissances (graphes conceptuels, réseaux bayésiens…), les systèmes de maintien de vérité. 

Voir la page complète

Voir la page complète

Cet enseignement présente les éléments fondamentaux des métaheuristiques qui sont des méthodes d’optimisation approchées générales et applicables dans de très nombreuses situations. La présentation mettra l’accent sur les concepts de base de différents types de métaheuristiques incluant notamment les méthodes de recherche locale à trajectoire unique, les algorithmes évolutionnaires à base de population, les méthodes hybrides. Des stratégies dédiées à l’intensification et la diversification ainsi que les techniques de traitement de contraintes seront abordées. Des exemples seront proposés pour illustrer comment aboutir à une conception d’un algorithme métaheuristique efficace. Des applications réelles seront étudiées dans des secteurs variés. 

Voir la page complète

Voir la page complète

Algorithmes évolutionnaires :
— Concepts de base 
— Représentation  
— Opérateurs de variations  
— Performances
— Configuration automatique d’algorithmes
— Apprentissage par renforcement 
— Expérimentation et analyse d’algorithmes 

Voir la page complète

Voir la page complète

L’objectif de ce cours est d’appréhender les concepts et méthodes fondamentaux permettant de modéliser et résoudre de manière exacte des problèmes d’optimisation combinatoire et de satisfaction de contraintes.  

Dans le cadre des problèmes de satisfaction de contraintes seront présentées les méthodes de recherche arborescente, heuristiques de branchement, maintien de consistance, élimination de symétries, utilisation de contraintes globales, décomposition et hybridation avec méthodes de recherche locale.  

Les analyses de modèles, la reformulation, la conversion de modèles seront également abordés dans le cadre de la modélisation par contraintes.

Voir la page complète

Voir la page complète

Il s’agit de permettre aux étudiants d’acquérir des notions leur permettant de mieux appréhender et de s’intégrer au monde de l’entreprise.
Ainsi, ils devront atteindre le niveau B2 du cadre européen commun de référence pour les langues (CECRL). Les étudiants aborderont aussi les spécificités de l’anglais scientifique, technique et professionnel. Ils prépareront parallèlement et passeront le TOIC, attestation de niveau linguistique reconnue par les entreprises.

Voir la page complète

Acquérir les techniques de communication leur permettant de valoriser leur parcours et leurs compétences, mais aussi d’animer une réunion et une équipe.

Voir la page complète

Étudier, les particularités du droit appliqué au domaine informatique et notamment les concepts de propriété intellectuelle et de droit logiciel.

Voir la page complète

Des séminaires et conférences mensuels dont les intervenants seront issus des entreprises seront organisés afin de familiariser les étudiants avec des applications et problématiques industrielles. Les séminaires seront plutôt le lieu de présentation d’applications ciblées mais néanmoins représentatives réalisées en entreprises. Les conférences, quant à elles, seront dédiées à la présentation plus générale de certaines problématiques posées dans le secteur de l’informatique industrielle ou de secteurs limitrophes.

Voir la page complète

Voir la page complète

Projet réalisé entre septembre et mars et comptabilisé au 2ème semestre pour le contrôle des connaissances. Il s’agit pour un groupe d’étudiants de réaliser un logiciel en mettant en œuvre les connaissances relatives au Génie Logiciel et la Gestion de Projet.

Voir la page complète

Stage d’application de 4 à 6 mois. 

Voir la page complète

Stage d’application de 4 à 6 mois.

Voir la page complète

Voir la page complète