Master Informatique

Ce module présente les différents concepts mis en oeuvre dans les langages de programmation en vue d'exécuter un programme sur une machine. L'objectif de cet enseignement est la maîtrise des méthodes de définition formelle de la syntaxe d'un langage, de sa sémantique et des différentes phases de transformation d'un programme tout au long de son traitement par un compilateur.

Voir la page complète

Compréhension des diverses activités de GL
Connaissances de base en gestion des exigences
Connaissances de base en UML
Connaissances de base en Architecture Logicielle
Introduction au test

Voir la page complète

Introduction des concepts fondamentaux de l'Approche Orientée Objet et de leur mise en œuvre en JAVA (classe, héritage, polymorphisme, généricité, contrat), relations Génie Logiciel / Conception Orientée Objet / Programmation Orientée Objet.

Voir la page complète

Cette UE permet de comprendre le fonctionnement interne des systèmes d'exploitation (processus, fichiers, mémoire, etc.) La programmation parallèle par processus légers est également étudiée.

Voir la page complète

Les objectifs sont de :

- Présenter les notions de bases de données et de Systèmes de Gestion de Bases de Données (SGBD).

- Décrire les principes de fonctionnement des SGBD, les fonctions d'administration des bases de données en insistant sur la gestion et la manipulation

Plan :

- Introduction

- Ecriture ensembliste / Sets

- Algèbre relationnelle / Relationnal algebra

- SQL pour manipuler des données / SQL for querying data

- SQL pour définir des données / SQL for managing data

Voir la page complète

Cet enseignement est une introduction aux nombreuses problématiques liées aux transferts d'information entre ordinateurs. En détaillant les solutions concrètes mises en oeuvre dans le réseau Internet, il permet de comprendre les notions suivantes: supports et codage physique, mise en paquet de l'information, accès multiple au support, détection et correction d'erreurs, récupération d'erreur par re-émission, contrôle de flux, adressage et routage.

Voir la page complète

Introduction à l'Interaction Homme-Machine et à la programmation par évènements

Voir la page complète

Voir la page complète

Deux projets au choix sont proposés dans le cadre de cette UE : un projet "Compilateur" ; un projet "Système"

Projets Compilation:
--------------------

Le projet consiste à développer un compilateur qui traduit un langage fonctionnel simple inspiré de OCaml vers de l’assembleur ARM. Les étapes principales du projet sont l’analyse de types, la traduction vers une représentation intermédiaire, et finalement la génération d’assembleur.

Projet Système
--------------
L'objectif est d'étendre les fonctionnalités d'un système d'exploitation.  Le système d'exploitation que nous étudierons est NachOS (T. Anderson, Univ. Stanford).  La principale difficulté concerne l'analyse et la compréhension de l'architecture du système. Les principales extensions concerneront la gestion des threads, la mise en oeuvre de la multiprogrammation autour d'une mémoire virtuelle, l'extension
du système de fichiers.

Voir la page complète

Définition et compréhension des classes de complexité de problèmes P, NP et NP-complets

Voir la page complète

After presenting the major differences between a centralized system and a distributed one, this option shows students both the "user" and the "designer" side of distributed applications. Students get acquainted with existing distributed middleware and see how the latter tackle the problems of distributed system design. Are discussed the principles of distributed communication, including client/server synchronous architectures and publish/subscribe decoupled ones. The students also zoom into distributed middleware implementation and learn the basics of distributed algorithmics. Working with simple distributed topologies, they get to write simple algorithms and reason about their correctness.

Voir la page complète

L'objectif est de présenter les principaux enjeux, domaines et algorithmes de l’Intelligence Artificielle. L'accent est mis sur la résolution « heuristique » des problèmes et la « planification automatique » càd des algorithmes permettant à des agents intelligents ou des robots autonomes de prendre des décisions sur les actions à réaliser pour atteindre un but donné.

Voir la page complète

This course gives an introduction to digital circuits modeling, design, and verification, and to the associated methods and tools (simulation, simulation with formal assertions, ASIC synthesis, FPGA synthesis).

Ce cours fournit une introduction à la modélisation, la conception et la vérification des circuits numériques, ainsi qu’aux méthodes et outils associés (simulation, simulation avec assertions formelles, synthèse ASIC, synthèse FPGA).

Voir la page complète

Initiation à la synthèse d'images :
* Transformations matricielles, création d'une caméra
* Pipeline graphique (rastérisation)
* Eclairage local & ombrage
* Placage de textures & manipulation de l'apparence
* Post-processing
* Apprentissage de la bibliothèque OpenGL
* Programmation sur GPU avec GLSL

Voir la page complète

The use of multiprocessor machines has become mandatory and most applications are now running on machines with parallel processing units, from tablets to supercomputers. These applications concern both public and private scientific research, as well as industrial and commercial enterprises.

This lecture and lab work presents the parallel computing domain in different aspects: architectural, algorithmic, parallel programming languages, performance measurements, etc. Examples of parallel algorithms in different domains are also studied.

The course allows you to understand how to design and program a parallel application and run it on a multicore processor or a classical parallel cluster machine. The lab work on machines allows to implement the concepts studied during the lectures, and this with the language extensions ​​OpenMP and MPI.

----------------------

L'usage des machines multiprocesseurs est devenu incontournable et la plupart des applications s'exécutent aujourd'hui sur des machines disposant de plusieurs unités de traitement s'exécutant en parallèle, depuis les tablettes jusqu'aux supercalculateurs. Ces applications concernent à la fois la recherche scientifique (physique, chimie, biologie,...), mais également les entreprises industrielles et commerciales. Ce domaine s'appelle le calcul haute performance (High Performance Computing, HPC).

Cet enseignement d'informatique présente le domaine du HPC sous différents aspects : architecturaux, algorithmiques, langages de programmation parallèle, évaluation de performances, ... Plusieurs exemples d'algorithmes parallèles, issus de différents domaines scientifiques, sont disséqués et étudiés.

Le contenu de cet enseignement permet de comprendre comment concevoir, programmer et exécuter efficacement une application parallèle sur un large spectre de plates-formes, allant d'un simple processeur multicore en passant par une machine multiprocesseurs à 200 coeurs et jusqu'à une grappe (cluster) de serveurs multiprocesseurs. Les travaux pratiques sur machines parallèles représentent une partie importante de cet enseignement et vont mettre en oeuvre les concepts étudiés en cours, en particulier en utilisant les extensions de langages OpenMP et MPI.

Voir la page complète

This module introduces the fundamental aspects of computer science and particularly focuses on the notions of computability and complexity. Regarding computability theory, it presents the basic formal model to reason on the notion of computation, i.e., the Turing machine and its variants. Based on this computational model, the notions of decidable and semi-decidable languages will be defined, while the existence of languages which are undecidable will be shown. Regarding complexity theory, it presents the main classes of time complexity such as P, NP, as well as the notion of NP-completeness. Several problems in the domains of propositional logic, graphs and scheduling are studied with respect to their time complexity by proposing either polynomial-time algorithms to solve them efficiently or polynomial-time reductions to prove their hardness.

Course opened in 2018/2019

Voir la page complète

Savoir appliquer avec méthode les principes élémentaires d’ergonomie et de génie logiciel à la conception et à la mise en œuvre de logiciels interactifs.

Voir la page complète

L'industrie du logiciel doit faire face à la complexité croissante des
logiciels que doivent développer les équipes de développement (dev) et
que doivent mettre en production les équipes opérationnelles
(ops). L'équipe "dev" a pour objectif principal d'apporter les
changements nécessaires au moindre coût et le plus vite possible,
alors que l'équipe "ops" doit garantir la stabilité du système et
privilégie donc la qualité. L'approche DevOps (Dev+Ops) cherche à
résoudre cet antagonisme en fluidifiant le passage du développement à
la production. Ce cours présente les méthodes et les principaux outils
de l’approche DevOps

Voir la page complète

Connaissance théorique et pratique des algorithmes de visualisation et de traitement informatique des modèles géométriques.

Voir la page complète

Cet enseignement permet de comprendre précisément des notions primordiales pour l'administration des réseaux : adressage et routage (dans IPV4 et IPV6), contrôle de congestion, gestion de qualité de service (QoS), DNS (Domain Name System), VLAN (Virtual Local Area Network), introduction à la sécurité des réseaux, filtrage de paquet et translation d'adresse  (NAT).
Cet enseignement de spécialité est une suite naturelle de l'enseignement "Introduction aux réseaux" du tronc commun de M1 Informatique.

Voir la page complète

L'objectif de cette UE est de présenter les principales étapes de traitement d'images en niveau
de gris et en couleurs depuis l'acquisition pour préparer ensuite l'extraction d'indices visuels
nécessaire n analyse d'image. Les notions abordées seront l'amélioration d'image par
égalisation ou étalement d'histogramme, le filtrage linéaire et la détection de contours par
filtrage direct et récursif. L'essentiel des notions seront illustrées par des Travaux Pratiques en langage Python dans l'environnement Caseine. 

Voir la page complète

To acquire the main theoretical and practical notions of modern cryptography: from notions in algorithmic complexity and information theory, to a general overview on the main algorithms and protocols in symmetric and asymmetric cryptography.

Voir la page complète

The aim of this course is to give an introduction to software developments for mobile robotics applications and internet of things. The course is decidedly practical with several labs and a project on real robots. It uses "learning by doing" and "learning by project" approaches.

At first, the basic concepts of mobile robotics (sensors, actuators, perception, decision, action ...) and Internet of Things are presented and directly implemented on real robots to realize a software prototype of "follow me" by a small mobile robot.

In a second step, in a project, the basic concepts are deepened during the realization of a complete application of mobile robotics including Internet of Things, for example: a mobile robot "coffee dispenser", a robot "patroller", a robot "guide visit" ...

Knowledge of C / C ++ or python is essential.

The course outline can be found at :

http://lig-membres.imag.fr/aycard/html/Enseignement/M1/Robotics2/index.html

Course illustrations can be found at :

http://lig-membres.imag.fr/aycard/html/Projects/Robair/robair.html

Voir la page complète

Attention : cette UE ne peut pas être prise en même temps que l'UE Sciences Informatiques et Médiation.

Voir la page complète

English obligatory, except for students with a B2 CEFR certification or French as a Foreign language (FLE)

Pour un autre choix d'ETC - s'adresser au Service des Enseignements Transversaux (SET), situé au Bâtiment B2e étage du DLST, 480 avenue centrale sur le domaine universitaire :

http://formations.univ-grenoble-alpes.fr/fr/acces-directs/les-enseignements-transversaux-a-choix.html

ou

Pour le FLE et d'autres langues : Service des Langues UGA - La Maison des Langues, bureau 08 - chaineise.ouadah @ univ-grenoble-alpes.fr

English obligatory, except for students with a B2 CEFR certification or French as a Foreign language (FLE)

Voir la page complète

La Recherche Opérationnelle propose des méthodes scientifiques pour aider à la prise de meilleures décisions. L’idée est de développer et d’utiliser des outils mathématiques et informatiques pour maîtriser les problèmes complexes. Les applications pratiques sont historiquement dans la direction et la gestion de grands systèmes d’hommes, de machines et de matériaux dans l’industrie, le service, l’humanitaire, l’environnement...

Nous nous intéresserons plus particulièrement dans ce cours aux problèmes ayant une structure combinatoire :  le nombre de solutions possible est fini mais trop grand pour pouvoir être énuméré. L'étude de ces problèmes comporte une phase de modélisation de problèmes pratiques puis de résolution algorithmique.

A l'issue de ce cours, les étudiants seront aptes à proposer une modélisation et sauront mettre en oeuvre des solutions pratiques (outils dédiés ou industriels) pour traiter un problème  de décision ou d'optimisation.

Voir la page complète

Sensibiliser aux problématiques de cybersécurité des systèmes d'informations. Présenter un panorama des risques et de la cybercriminalité.

Descriptions de différents types de menaces, méthodologie d'attaques et de contre-mesures. Technologies émergentes. Protection de la vie privée. Prise en main de quelques outils concrets. Exemples pratiques; signature électronique, vulnérabilités logicielles, sécurités web et réseaux.

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

Stage:
• Découvrir le monde de l'ingénierie en informatique
• Pratiquer une activité d'ingénieur en informatique
TER:
• Découvrir le monde de la recherche
• Pratiquer une activité de recherche
Dans les deux cas:
• Prendre du recul sur le domaine de l'informatique
• Avoir une pratique de la communication scientifique

Voir la page complète

Voir la page complète

Voir la page complète

Ce module présente les différents concepts mis en oeuvre dans les langages de programmation en vue d'exécuter un programme sur une machine. L'objectif de cet enseignement est la maîtrise des méthodes de définition formelle de la syntaxe d'un langage, de sa sémantique et des différentes phases de transformation d'un programme tout au long de son traitement par un compilateur.

Voir la page complète

Compréhension des diverses activités de GL
Connaissances de base en gestion des exigences
Connaissances de base en UML
Connaissances de base en Architecture Logicielle
Introduction au test

Voir la page complète

Introduction des concepts fondamentaux de l'Approche Orientée Objet et de leur mise en œuvre en JAVA (classe, héritage, polymorphisme, généricité, contrat), relations Génie Logiciel / Conception Orientée Objet / Programmation Orientée Objet.

Voir la page complète

Cette UE permet de comprendre le fonctionnement interne des systèmes d'exploitation (processus, fichiers, mémoire, etc.) La programmation parallèle par processus légers est également étudiée.

Voir la page complète

Les objectifs sont de :

- Présenter les notions de bases de données et de Systèmes de Gestion de Bases de Données (SGBD).

- Décrire les principes de fonctionnement des SGBD, les fonctions d'administration des bases de données en insistant sur la gestion et la manipulation

Plan :

- Introduction

- Ecriture ensembliste / Sets

- Algèbre relationnelle / Relationnal algebra

- SQL pour manipuler des données / SQL for querying data

- SQL pour définir des données / SQL for managing data

Voir la page complète

Cet enseignement est une introduction aux nombreuses problématiques liées aux transferts d'information entre ordinateurs. En détaillant les solutions concrètes mises en oeuvre dans le réseau Internet, il permet de comprendre les notions suivantes: supports et codage physique, mise en paquet de l'information, accès multiple au support, détection et correction d'erreurs, récupération d'erreur par re-émission, contrôle de flux, adressage et routage.

Voir la page complète

Introduction à l'Interaction Homme-Machine et à la programmation par évènements

Voir la page complète

Voir la page complète

Deux projets au choix sont proposés dans le cadre de cette UE : un projet "Compilateur" ; un projet "Système"

Projets Compilation:
--------------------

Le projet consiste à développer un compilateur qui traduit un langage fonctionnel simple inspiré de OCaml vers de l’assembleur ARM. Les étapes principales du projet sont l’analyse de types, la traduction vers une représentation intermédiaire, et finalement la génération d’assembleur.

Projet Système
--------------
L'objectif est d'étendre les fonctionnalités d'un système d'exploitation.  Le système d'exploitation que nous étudierons est NachOS (T. Anderson, Univ. Stanford).  La principale difficulté concerne l'analyse et la compréhension de l'architecture du système. Les principales extensions concerneront la gestion des threads, la mise en oeuvre de la multiprogrammation autour d'une mémoire virtuelle, l'extension
du système de fichiers.

Voir la page complète

Définition et compréhension des classes de complexité de problèmes P, NP et NP-complets

Voir la page complète

To acquire the main theoretical and practical notions of modern cryptography: from notions in algorithmic complexity and information theory, to a general overview on the main algorithms and protocols in symmetric and asymmetric cryptography.

Voir la page complète

Sensibiliser aux problématiques de cybersécurité des systèmes d'informations. Présenter un panorama des risques et de la cybercriminalité.

Descriptions de différents types de menaces, méthodologie d'attaques et de contre-mesures. Technologies émergentes. Protection de la vie privée. Prise en main de quelques outils concrets. Exemples pratiques; signature électronique, vulnérabilités logicielles, sécurités web et réseaux.

Voir la page complète

After presenting the major differences between a centralized system and a distributed one, this option shows students both the "user" and the "designer" side of distributed applications. Students get acquainted with existing distributed middleware and see how the latter tackle the problems of distributed system design. Are discussed the principles of distributed communication, including client/server synchronous architectures and publish/subscribe decoupled ones. The students also zoom into distributed middleware implementation and learn the basics of distributed algorithmics. Working with simple distributed topologies, they get to write simple algorithms and reason about their correctness.

Voir la page complète

L'objectif est de présenter les principaux enjeux, domaines et algorithmes de l’Intelligence Artificielle. L'accent est mis sur la résolution « heuristique » des problèmes et la « planification automatique » càd des algorithmes permettant à des agents intelligents ou des robots autonomes de prendre des décisions sur les actions à réaliser pour atteindre un but donné.

Voir la page complète

This course gives an introduction to digital circuits modeling, design, and verification, and to the associated methods and tools (simulation, simulation with formal assertions, ASIC synthesis, FPGA synthesis).

Ce cours fournit une introduction à la modélisation, la conception et la vérification des circuits numériques, ainsi qu’aux méthodes et outils associés (simulation, simulation avec assertions formelles, synthèse ASIC, synthèse FPGA).

Voir la page complète

Initiation à la synthèse d'images :
* Transformations matricielles, création d'une caméra
* Pipeline graphique (rastérisation)
* Eclairage local & ombrage
* Placage de textures & manipulation de l'apparence
* Post-processing
* Apprentissage de la bibliothèque OpenGL
* Programmation sur GPU avec GLSL

Voir la page complète

The use of multiprocessor machines has become mandatory and most applications are now running on machines with parallel processing units, from tablets to supercomputers. These applications concern both public and private scientific research, as well as industrial and commercial enterprises.

This lecture and lab work presents the parallel computing domain in different aspects: architectural, algorithmic, parallel programming languages, performance measurements, etc. Examples of parallel algorithms in different domains are also studied.

The course allows you to understand how to design and program a parallel application and run it on a multicore processor or a classical parallel cluster machine. The lab work on machines allows to implement the concepts studied during the lectures, and this with the language extensions ​​OpenMP and MPI.

----------------------

L'usage des machines multiprocesseurs est devenu incontournable et la plupart des applications s'exécutent aujourd'hui sur des machines disposant de plusieurs unités de traitement s'exécutant en parallèle, depuis les tablettes jusqu'aux supercalculateurs. Ces applications concernent à la fois la recherche scientifique (physique, chimie, biologie,...), mais également les entreprises industrielles et commerciales. Ce domaine s'appelle le calcul haute performance (High Performance Computing, HPC).

Cet enseignement d'informatique présente le domaine du HPC sous différents aspects : architecturaux, algorithmiques, langages de programmation parallèle, évaluation de performances, ... Plusieurs exemples d'algorithmes parallèles, issus de différents domaines scientifiques, sont disséqués et étudiés.

Le contenu de cet enseignement permet de comprendre comment concevoir, programmer et exécuter efficacement une application parallèle sur un large spectre de plates-formes, allant d'un simple processeur multicore en passant par une machine multiprocesseurs à 200 coeurs et jusqu'à une grappe (cluster) de serveurs multiprocesseurs. Les travaux pratiques sur machines parallèles représentent une partie importante de cet enseignement et vont mettre en oeuvre les concepts étudiés en cours, en particulier en utilisant les extensions de langages OpenMP et MPI.

Voir la page complète

This module introduces the fundamental aspects of computer science and particularly focuses on the notions of computability and complexity. Regarding computability theory, it presents the basic formal model to reason on the notion of computation, i.e., the Turing machine and its variants. Based on this computational model, the notions of decidable and semi-decidable languages will be defined, while the existence of languages which are undecidable will be shown. Regarding complexity theory, it presents the main classes of time complexity such as P, NP, as well as the notion of NP-completeness. Several problems in the domains of propositional logic, graphs and scheduling are studied with respect to their time complexity by proposing either polynomial-time algorithms to solve them efficiently or polynomial-time reductions to prove their hardness.

Course opened in 2018/2019

Voir la page complète

Savoir appliquer avec méthode les principes élémentaires d’ergonomie et de génie logiciel à la conception et à la mise en œuvre de logiciels interactifs.

Voir la page complète

L'industrie du logiciel doit faire face à la complexité croissante des
logiciels que doivent développer les équipes de développement (dev) et
que doivent mettre en production les équipes opérationnelles
(ops). L'équipe "dev" a pour objectif principal d'apporter les
changements nécessaires au moindre coût et le plus vite possible,
alors que l'équipe "ops" doit garantir la stabilité du système et
privilégie donc la qualité. L'approche DevOps (Dev+Ops) cherche à
résoudre cet antagonisme en fluidifiant le passage du développement à
la production. Ce cours présente les méthodes et les principaux outils
de l’approche DevOps

Voir la page complète

Connaissance théorique et pratique des algorithmes de visualisation et de traitement informatique des modèles géométriques.

Voir la page complète

Cet enseignement permet de comprendre précisément des notions primordiales pour l'administration des réseaux : adressage et routage (dans IPV4 et IPV6), contrôle de congestion, gestion de qualité de service (QoS), DNS (Domain Name System), VLAN (Virtual Local Area Network), introduction à la sécurité des réseaux, filtrage de paquet et translation d'adresse  (NAT).
Cet enseignement de spécialité est une suite naturelle de l'enseignement "Introduction aux réseaux" du tronc commun de M1 Informatique.

Voir la page complète

L'objectif de cette UE est de présenter les principales étapes de traitement d'images en niveau
de gris et en couleurs depuis l'acquisition pour préparer ensuite l'extraction d'indices visuels
nécessaire n analyse d'image. Les notions abordées seront l'amélioration d'image par
égalisation ou étalement d'histogramme, le filtrage linéaire et la détection de contours par
filtrage direct et récursif. L'essentiel des notions seront illustrées par des Travaux Pratiques en langage Python dans l'environnement Caseine. 

Voir la page complète

The aim of this course is to give an introduction to software developments for mobile robotics applications and internet of things. The course is decidedly practical with several labs and a project on real robots. It uses "learning by doing" and "learning by project" approaches.

At first, the basic concepts of mobile robotics (sensors, actuators, perception, decision, action ...) and Internet of Things are presented and directly implemented on real robots to realize a software prototype of "follow me" by a small mobile robot.

In a second step, in a project, the basic concepts are deepened during the realization of a complete application of mobile robotics including Internet of Things, for example: a mobile robot "coffee dispenser", a robot "patroller", a robot "guide visit" ...

Knowledge of C / C ++ or python is essential.

The course outline can be found at :

http://lig-membres.imag.fr/aycard/html/Enseignement/M1/Robotics2/index.html

Course illustrations can be found at :

http://lig-membres.imag.fr/aycard/html/Projects/Robair/robair.html

Voir la page complète

Attention : cette UE ne peut pas être prise en même temps que l'UE Sciences Informatiques et Médiation.

Voir la page complète

English obligatory, except for students with a B2 CEFR certification or French as a Foreign language (FLE)

Pour un autre choix d'ETC - s'adresser au Service des Enseignements Transversaux (SET), situé au Bâtiment B2e étage du DLST, 480 avenue centrale sur le domaine universitaire :

http://formations.univ-grenoble-alpes.fr/fr/acces-directs/les-enseignements-transversaux-a-choix.html

ou

Pour le FLE et d'autres langues : Service des Langues UGA - La Maison des Langues, bureau 08 - chaineise.ouadah @ univ-grenoble-alpes.fr

English obligatory, except for students with a B2 CEFR certification or French as a Foreign language (FLE)

Voir la page complète

La Recherche Opérationnelle propose des méthodes scientifiques pour aider à la prise de meilleures décisions. L’idée est de développer et d’utiliser des outils mathématiques et informatiques pour maîtriser les problèmes complexes. Les applications pratiques sont historiquement dans la direction et la gestion de grands systèmes d’hommes, de machines et de matériaux dans l’industrie, le service, l’humanitaire, l’environnement...

Nous nous intéresserons plus particulièrement dans ce cours aux problèmes ayant une structure combinatoire :  le nombre de solutions possible est fini mais trop grand pour pouvoir être énuméré. L'étude de ces problèmes comporte une phase de modélisation de problèmes pratiques puis de résolution algorithmique.

A l'issue de ce cours, les étudiants seront aptes à proposer une modélisation et sauront mettre en oeuvre des solutions pratiques (outils dédiés ou industriels) pour traiter un problème  de décision ou d'optimisation.

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

Stage:
• Découvrir le monde de l'ingénierie en informatique
• Pratiquer une activité d'ingénieur en informatique
TER:
• Découvrir le monde de la recherche
• Pratiquer une activité de recherche
Dans les deux cas:
• Prendre du recul sur le domaine de l'informatique
• Avoir une pratique de la communication scientifique

Voir la page complète

Voir la page complète

Voir la page complète

Ce module présente les différents concepts mis en oeuvre dans les langages de programmation en vue d'exécuter un programme sur une machine. L'objectif de cet enseignement est la maîtrise des méthodes de définition formelle de la syntaxe d'un langage, de sa sémantique et des différentes phases de transformation d'un programme tout au long de son traitement par un compilateur.

Voir la page complète

Compréhension des diverses activités de GL
Connaissances de base en gestion des exigences
Connaissances de base en UML
Connaissances de base en Architecture Logicielle
Introduction au test

Voir la page complète

Introduction des concepts fondamentaux de l'Approche Orientée Objet et de leur mise en œuvre en JAVA (classe, héritage, polymorphisme, généricité, contrat), relations Génie Logiciel / Conception Orientée Objet / Programmation Orientée Objet.

Voir la page complète

Cette UE permet de comprendre le fonctionnement interne des systèmes d'exploitation (processus, fichiers, mémoire, etc.) La programmation parallèle par processus légers est également étudiée.

Voir la page complète

Les objectifs sont de :

- Présenter les notions de bases de données et de Systèmes de Gestion de Bases de Données (SGBD).

- Décrire les principes de fonctionnement des SGBD, les fonctions d'administration des bases de données en insistant sur la gestion et la manipulation

Plan :

- Introduction

- Ecriture ensembliste / Sets

- Algèbre relationnelle / Relationnal algebra

- SQL pour manipuler des données / SQL for querying data

- SQL pour définir des données / SQL for managing data

Voir la page complète

Cet enseignement est une introduction aux nombreuses problématiques liées aux transferts d'information entre ordinateurs. En détaillant les solutions concrètes mises en oeuvre dans le réseau Internet, il permet de comprendre les notions suivantes: supports et codage physique, mise en paquet de l'information, accès multiple au support, détection et correction d'erreurs, récupération d'erreur par re-émission, contrôle de flux, adressage et routage.

Voir la page complète

Introduction à l'Interaction Homme-Machine et à la programmation par évènements

Voir la page complète

Voir la page complète

Deux projets au choix sont proposés dans le cadre de cette UE : un projet "Compilateur" ; un projet "Système"

Projets Compilation:
--------------------

Le projet consiste à développer un compilateur qui traduit un langage fonctionnel simple inspiré de OCaml vers de l’assembleur ARM. Les étapes principales du projet sont l’analyse de types, la traduction vers une représentation intermédiaire, et finalement la génération d’assembleur.

Projet Système
--------------
L'objectif est d'étendre les fonctionnalités d'un système d'exploitation.  Le système d'exploitation que nous étudierons est NachOS (T. Anderson, Univ. Stanford).  La principale difficulté concerne l'analyse et la compréhension de l'architecture du système. Les principales extensions concerneront la gestion des threads, la mise en oeuvre de la multiprogrammation autour d'une mémoire virtuelle, l'extension
du système de fichiers.

Voir la page complète

Définition et compréhension des classes de complexité de problèmes P, NP et NP-complets

Voir la page complète

To acquire the main theoretical and practical notions of modern cryptography: from notions in algorithmic complexity and information theory, to a general overview on the main algorithms and protocols in symmetric and asymmetric cryptography.

Voir la page complète

Sensibiliser aux problématiques de cybersécurité des systèmes d'informations. Présenter un panorama des risques et de la cybercriminalité.

Descriptions de différents types de menaces, méthodologie d'attaques et de contre-mesures. Technologies émergentes. Protection de la vie privée. Prise en main de quelques outils concrets. Exemples pratiques; signature électronique, vulnérabilités logicielles, sécurités web et réseaux.

Voir la page complète

After presenting the major differences between a centralized system and a distributed one, this option shows students both the "user" and the "designer" side of distributed applications. Students get acquainted with existing distributed middleware and see how the latter tackle the problems of distributed system design. Are discussed the principles of distributed communication, including client/server synchronous architectures and publish/subscribe decoupled ones. The students also zoom into distributed middleware implementation and learn the basics of distributed algorithmics. Working with simple distributed topologies, they get to write simple algorithms and reason about their correctness.

Voir la page complète

L'objectif est de présenter les principaux enjeux, domaines et algorithmes de l’Intelligence Artificielle. L'accent est mis sur la résolution « heuristique » des problèmes et la « planification automatique » càd des algorithmes permettant à des agents intelligents ou des robots autonomes de prendre des décisions sur les actions à réaliser pour atteindre un but donné.

Voir la page complète

This course gives an introduction to digital circuits modeling, design, and verification, and to the associated methods and tools (simulation, simulation with formal assertions, ASIC synthesis, FPGA synthesis).

Ce cours fournit une introduction à la modélisation, la conception et la vérification des circuits numériques, ainsi qu’aux méthodes et outils associés (simulation, simulation avec assertions formelles, synthèse ASIC, synthèse FPGA).

Voir la page complète

Initiation à la synthèse d'images :
* Transformations matricielles, création d'une caméra
* Pipeline graphique (rastérisation)
* Eclairage local & ombrage
* Placage de textures & manipulation de l'apparence
* Post-processing
* Apprentissage de la bibliothèque OpenGL
* Programmation sur GPU avec GLSL

Voir la page complète

The use of multiprocessor machines has become mandatory and most applications are now running on machines with parallel processing units, from tablets to supercomputers. These applications concern both public and private scientific research, as well as industrial and commercial enterprises.

This lecture and lab work presents the parallel computing domain in different aspects: architectural, algorithmic, parallel programming languages, performance measurements, etc. Examples of parallel algorithms in different domains are also studied.

The course allows you to understand how to design and program a parallel application and run it on a multicore processor or a classical parallel cluster machine. The lab work on machines allows to implement the concepts studied during the lectures, and this with the language extensions ​​OpenMP and MPI.

----------------------

L'usage des machines multiprocesseurs est devenu incontournable et la plupart des applications s'exécutent aujourd'hui sur des machines disposant de plusieurs unités de traitement s'exécutant en parallèle, depuis les tablettes jusqu'aux supercalculateurs. Ces applications concernent à la fois la recherche scientifique (physique, chimie, biologie,...), mais également les entreprises industrielles et commerciales. Ce domaine s'appelle le calcul haute performance (High Performance Computing, HPC).

Cet enseignement d'informatique présente le domaine du HPC sous différents aspects : architecturaux, algorithmiques, langages de programmation parallèle, évaluation de performances, ... Plusieurs exemples d'algorithmes parallèles, issus de différents domaines scientifiques, sont disséqués et étudiés.

Le contenu de cet enseignement permet de comprendre comment concevoir, programmer et exécuter efficacement une application parallèle sur un large spectre de plates-formes, allant d'un simple processeur multicore en passant par une machine multiprocesseurs à 200 coeurs et jusqu'à une grappe (cluster) de serveurs multiprocesseurs. Les travaux pratiques sur machines parallèles représentent une partie importante de cet enseignement et vont mettre en oeuvre les concepts étudiés en cours, en particulier en utilisant les extensions de langages OpenMP et MPI.

Voir la page complète

This module introduces the fundamental aspects of computer science and particularly focuses on the notions of computability and complexity. Regarding computability theory, it presents the basic formal model to reason on the notion of computation, i.e., the Turing machine and its variants. Based on this computational model, the notions of decidable and semi-decidable languages will be defined, while the existence of languages which are undecidable will be shown. Regarding complexity theory, it presents the main classes of time complexity such as P, NP, as well as the notion of NP-completeness. Several problems in the domains of propositional logic, graphs and scheduling are studied with respect to their time complexity by proposing either polynomial-time algorithms to solve them efficiently or polynomial-time reductions to prove their hardness.

Course opened in 2018/2019

Voir la page complète

Savoir appliquer avec méthode les principes élémentaires d’ergonomie et de génie logiciel à la conception et à la mise en œuvre de logiciels interactifs.

Voir la page complète

L'industrie du logiciel doit faire face à la complexité croissante des
logiciels que doivent développer les équipes de développement (dev) et
que doivent mettre en production les équipes opérationnelles
(ops). L'équipe "dev" a pour objectif principal d'apporter les
changements nécessaires au moindre coût et le plus vite possible,
alors que l'équipe "ops" doit garantir la stabilité du système et
privilégie donc la qualité. L'approche DevOps (Dev+Ops) cherche à
résoudre cet antagonisme en fluidifiant le passage du développement à
la production. Ce cours présente les méthodes et les principaux outils
de l’approche DevOps

Voir la page complète

Connaissance théorique et pratique des algorithmes de visualisation et de traitement informatique des modèles géométriques.

Voir la page complète

Cet enseignement permet de comprendre précisément des notions primordiales pour l'administration des réseaux : adressage et routage (dans IPV4 et IPV6), contrôle de congestion, gestion de qualité de service (QoS), DNS (Domain Name System), VLAN (Virtual Local Area Network), introduction à la sécurité des réseaux, filtrage de paquet et translation d'adresse  (NAT).
Cet enseignement de spécialité est une suite naturelle de l'enseignement "Introduction aux réseaux" du tronc commun de M1 Informatique.

Voir la page complète

L'objectif de cette UE est de présenter les principales étapes de traitement d'images en niveau
de gris et en couleurs depuis l'acquisition pour préparer ensuite l'extraction d'indices visuels
nécessaire n analyse d'image. Les notions abordées seront l'amélioration d'image par
égalisation ou étalement d'histogramme, le filtrage linéaire et la détection de contours par
filtrage direct et récursif. L'essentiel des notions seront illustrées par des Travaux Pratiques en langage Python dans l'environnement Caseine. 

Voir la page complète

The aim of this course is to give an introduction to software developments for mobile robotics applications and internet of things. The course is decidedly practical with several labs and a project on real robots. It uses "learning by doing" and "learning by project" approaches.

At first, the basic concepts of mobile robotics (sensors, actuators, perception, decision, action ...) and Internet of Things are presented and directly implemented on real robots to realize a software prototype of "follow me" by a small mobile robot.

In a second step, in a project, the basic concepts are deepened during the realization of a complete application of mobile robotics including Internet of Things, for example: a mobile robot "coffee dispenser", a robot "patroller", a robot "guide visit" ...

Knowledge of C / C ++ or python is essential.

The course outline can be found at :

http://lig-membres.imag.fr/aycard/html/Enseignement/M1/Robotics2/index.html

Course illustrations can be found at :

http://lig-membres.imag.fr/aycard/html/Projects/Robair/robair.html

Voir la page complète