Ingénieur de Polytech Grenoble spécialité Informatique (RICM)

Voir la page complète

- Renforcement des acquis du B1 dans le but d’atteindre le niveau B2
- Introduction au discours scientifique
- Développement de vocabulaire scientifique
- Apprentissage de la rédaction et de la structure d’un rapport scientifique
- Ouverture à la communication orale formelle et informelle

1 Expression Orale

1.1 Description d'objets
- La forme, la dimension, la position, les matériaux, l'utilisation
- Causes et conséquences

1.2 Techniques de présentation orale
- Structuration,  Introduction, Liens, Présenter de l'information visuelle, Conclusion

1.3 Prononciation
- Connaissance et pratique des phonèmes anglais
- Connaissance et pratique de l'accentuation
- Prononciation de chiffres, de lettres et de symboles mathématiques

  2 Expression écrite

2.1 Rédaction de texte descriptif
- Utilisation à l'écrit des fonctions apprises en 1.1

2.2 Rédaction de description de données statistiques

2.3 Rédaction de lettre de candidature
- Utilisation de tournures standard

2.4 Décrire une situation, une expérience présente et passée

2.5 Prise de notes
- Rédaction de synthèse à partir d'un texte écrit ou oral, ou à la suite d'un échange entre apprenants

2.6 Rédaction de mini-rapport scientifique
- En binôme entre deux filières, validé par un jury mixte professeur d'anglais/professeur scientifique

  3 Compréhension orale et écrite :

3.1 Compréhension de descriptions et de présentations décrites en 1.1, 1.2 et 1.3

3.2 Compréhension globale de documents audio et vidéo authentiques

3.3 Compréhension d'échanges d'information en face à  face

3.4 Compréhension détaillée de textes et de documents audio/vidéo de vulgarisation scientifique

- Reinforcing B1 skills in order to reach B2
- Introduction to scientific discourse
- Development of scientific vocabulary
- Learning to write and organise a scientific report
- Introduction to formal and informal communication

  1 Speaking Skills

1.1 Object Description
- Shape, measurement, position, materials, use
- Cause and consequences
- Description of statistical data
- Graph description
- Future hypothesis

 1.2 Presentation techniques
- Structure, Introduction, Signposting, Visuals, Conclusion

1.3 Pronunciation
- Awareness and use of English phonemes
- Awareness and use of stress patterns
- Pronunciation of numbers, letters and mathematical symbols

  2 Writing Skills

2.1 Descriptive texts
- Written use of functions studied in 1.1

2.2 Written description of statistical data

2.3 Cover letter (use of standard forms)

2.4 Describing a present, past situation or experience

2.5 Note-taking
- Summary-writing based on a written or audio document, or following pair or group work

2.6 Writing of short scientific report
- In pairs between two different departments, assessed by a combined panel English teacher/Science teacher

  3 Listening/Reading Comprehension

3.1 Understanding of descriptions/presentations described above.

3.2 Global understanding of authentic audio/video documents

3.3 Understanding of information exchanges face-to-face or on the telephone

3.4 Detailed understanding of scientific texts and audio/video documents

Voir la page complète

Acquérir un savoir-faire et une meilleure aisance dans la prise de parole en public : discours structuré et vivant, clair et concis.
Prendre conscience des différents paramètres en jeu dans une prestation orale, notamment de la communication non-verbale.
Gérer ses émotions.

7 séances thématiques: 

- Fondamentaux de la communication relationnelle
- Esprit d'équipe
- Communiquer en groupe
- Valorisation
- Improvisation et sens de la répartie
- Communication non verbale
- Gestion du stress

Acquire know-how and greater fluency in public speaking: structured and lively, clear and concise speech.
Become aware of the different parameters involved in oral performance, especially non-verbal communication.
Manage emotions in front of an audience.

7 thematic session:

- Fundamentals of relational communication
- Team spirit
- Communicate in a group
- Valuation
- Improvisation and sense of repartee
- Non-verbal communication
- Stress management

Voir la page complète

Acquérir une culture générale sur les principales problématiques en économie et en droit.

Poser un regard éclairé sur l'actualité économique et sur les rôles et droits du citoyen.

Économie :

- Le circuit économique
- La croissance
- Emploi et chômage

Droit :

- L'ordre judiciaire français
- Les sources du droit
- La personnalité juridique et les droits subjectifs
- Les contrats

Acquire a general knowledge of the main issues in economics and law.

Take an enlightened look at current economic events and the roles and rights of the citizen.

Economics:

- The economic cycle
- Economic growth
- Employment and unemployment

Law :

- The French Judicial system
- Law sources
- Legal personality and subjective rights
- Contracts

Voir la page complète

Objectif des mathématiques générales de début d'année : acquérir ou conforter les notions de base en mathématiques : équations différentielles, nombres complexes, intégration, algèbre linéaire.

 MATHÉMATIQUES GÉNÉRALES

1. Analyse

Nombres complexes
Étude de fonctions
Développements limités
Équations différentielles linéaires
Calcul intégral
Intégrales impropres

2. Algèbre linéaire
Opérations élémentaires sur une matrice rectangulaire
Algorithme de Gauss et applications
Inversion d'une matrice et calcul de déterminant
Diagonalisation d'une matrice

The main objective of this course is to acquire or reinforce the basic notions of mathematics: differential equations, complex numbers, integration, linear algebra.

GENERAL MATHEMATICS

1. Analysis

Complex numbers
Study of a function
Taylor expansion
Differential equations
Integrals
Generalized integrals

2. Linear algebra

Basic operations on a rectangular matrix
Gauss algorithm and applications
Inversion of a matrix and calculus of a determinant
Matrices diagonalization

Voir la page complète

Voir la page complète

Le but de l'enseignement de MATHÉMATIQUES DISCRÈTES  est l'approfondissement de plusieurs notions fondamentales de mathématiques, accompagné d'un aperçu de leur utilisation en informatique. Ce cours est conçu comme une introduction aux études de INFO : on y étudie un petit nombre de concepts-clés (notions d'algorithme, de langage, de codage,...) qui sous-tendent l'étude des outils informatiques vue dans d'autres cours.

- Les ensembles et leurs partitions sont illustrés par des exemples portant sur les mots et les langages.  
- Les fonctions et leurs images réciproques fournissent un point de vue unifié sur les problèmes de codage : encodage binaire, compression, cryptographie, codes correcteurs.
- Les relations d'équivalence et la notion de passage au quotient permettent d'appréhender des questions fondamentales de sémantique des langages de programmation.

1. Ensembles et partitions. Mots et langages. 
2. Fonctions et images réciproques. Quelques problèmes de codage.
3. Relations d'équivalence et passage au quotient. Notions de sémantique.

The aim of the Discrete Mathematics course is to explore several fundamental notions from mathematics and see how they apply to computer science. This course is devised as an introduction to the contents of the INFO curriculum: we study a small set of key concepts (the notions of algorithm, language, coding...) codage,...) that underly many of the tools specific to computer science and studied in other courses.

- Sets and their partitions are illustrated with examples about words and languages.
- Functions and their inverse images yield a unified point of view over coding problems: binary encoding, compression, cryptography, error correction.
- Equivalence relations and quotients give a general framework for studying the issues of semantics in programming languages.

1. Sets and partitions. Words and langages.
2. Functions and inverse images. Some coding theory.
3. Equivalence relations and quotients. Some semantic issues.

Voir la page complète

L'enseignement "AUTOMATES et GRAMMAIRES" comporte 4 volets :

- La présentation de résultats fondamentaux de l'informatique : une technique de preuve de correction de programmes, différents modèles de calculs (séquentiel, parallèle, non-déterministe), la réalisation en un temps fini d'opérations sur des données infinies (les langages représentés sous forme d'automates), la récursivité

- L'illustration des ces notions dans le cas des automates et des grammaires

- Un exemple concret d'utilisation récente des automates : vérification de drivers, protocoles médicaux, personnage autonome dans les jeux vidéo, ...

- Un exemple concret d'utilisation des grammaires attribuées

- La présentation d'un résultat surprenant : les automates d'arbres, l'ordinateur quantique, les limites de l'informatique, ...

1. Preuve de correction partielle de programmes par la technique de Floyd-Hoare-Dijkstra : comment être sûr que un programme fait bien ce qu'on attend. Autrement dit, monterez-vous dans l'avion dont vous avez programmé le pilote automatique ?

2. Automates (à  nombres d'états finis/à  pile, déterministes/non-déterministes) : quel est le modèle de calcul d'un processeur ? y'a t'il des langages (des modèles) plus puissants que d'autres ?

3. Représentations équivalentes (des grammaires régulières aux équations d'Arden aux expressions régulières et finalement jusqu'aux automates à  états finis) : comment passent-on d'une description lisible à  une version utilisable par un processeur ?

4. Application et implantation des automates : les automates sont utilisés pour programmer (des analyseurs lexicaux, des micro-contrôleurs, des interfaces, des protocoles, des jeux,...), pour piloter (des chaines de production, des systèmes cyber-physiques,...) et pour vérifier (des drivers, des politiques de sécurité ...) en fait on en trouve un peu partout.

5. Grammaires attribuées et génératives : les grammaires sont le quotidien des informaticiens qui ne cessent de traduire un langage ou des données d'un format vers un autre.

6. Application : implantation en ANTLR ou JavaCC d'un interpréteur d'expressions booléennes

The course "AUTOMATES and GRAMMARIES" has 4 components:

  1. The presentation of fundamental results of computer science: a technique of correctness proof of programs, different computation models  (sequential, parallel, non-deterministic), the computation in finite time of operations on infinite data (the languages represented as automata), recursion

  2. The illustration of these notions in the case of automata and grammars

  3. A concrete example of recent use of automata: verification of drivers, medical protocols, autonomous character in video games, ...

4. A concrete example of the use of attributed grammars

5. The presentation of a surprising result: tree automatons, the quantum computer, the limits of computing, ...



TARGETED SKILLS:

- know how to prove that a program is correct
- know how to program using an automaton
- know how to write a simple analyzer / translator

1. Proof of partial program correctness by the Floyd-Hoare-Dijkstra technique: how to be sure that a program is doing what is expected. In other words, will you get on the plane which runs an autopilot you programmed?

2. Automata (with finite state / stack numbers, deterministic / non-deterministic): what is the computation model of a processor? are there languages ?more powerful than others?

3. Equivalent representations (from Regular Grammars to Arden's Equations then to Regular Expressions and finally to Finite State Automata): how do we go from a readable description to a version usable by a processor?

4. Application and implementation of Automata (ie. Programmable Logic Controller): PLC are used to program (lexical analyzers, micro-controllers, interfaces, protocols, games, ...), to control (production chains, physical, ...) and to check (drivers, security policies ...) in fact we find them everywhere.

5. Attributed and Generative Grammars: Grammars are the everyday tool of developpers who translate language or data from one format to another.

6. Application: implementation in ANTLR or JavaCC of an interpreter of Boolean expressions

Voir la page complète

Voir la page complète

L'objectif du cours est d'introduire les bases de l'algorithmique dans un cadre de programmation impérative. Par delà  la présentation des algorithmes, structures de données et méthodologies de programmation classiques, le cours insistera sur les notions d'invariant et de complexité, fondamentales pour le développement d'applications à  la fois robustes et performantes. Chaque nouvelle notion sera illustré par de nombreux exemples explicatifs. Les cours sont accompagnés de travaux pratiques de programmation et de travaux dirigés au cours desquels les étudiants apprennent à  créer leurs propres algorithmes de manière robuste et performante.

- Notions d'états, d'assertions d'invariants. Illustration sur l'algorithme du tri par insertion
- Introduction à  un langage de programmation
- Notions de complexité, illustration sur le tri par insertion
- Programmation par module/paquetage
- Algorithmes basés sur des modèles séquentiels
- Structures de données pour les ensembles dynamiques
- Pointeurs
- Tables de hachage
- Arbres

In this course we introduce the basics of Imperative Programming and Algorithmics.

- Notions of states, assertions and invariants. Illustration with the insertion sort algorithm.
- Introduction to a programming language
- Notion of complexity, illustration with the insertion sort
- Programming with modules/packages
-  Sequential models of algorithms
- Data structures for dynamic sets
- Pointers
- Hash tables
- Trees

Voir la page complète

Ce cours revient sur la programmation impérative et ses concepts pour faire le contraste avec la programmation orientée-objet. Pour cela, nous utilisons le langage de programmation Java qui permet de faire à  la fois de la programmation impérative et orientée-objet. Nous abordons les concepts du langage Java mais aussi les techniques et les outils de programmation. Les connaissances et l'expérience pratique acquises seront utiles en développement logiciel au delà  du seul langage de programmation Java, quel que soit le langage et les outils utilisés.

Il est organisé en "sprints", avec plusieurs tâches par sprint. Le cours suit une progression en trois phases, guidant l'étudiant vers une meilleure maîtrise du développement logiciel.

1. La première phase est sur la programmation impérative et les outils d'aide à  la programmation. Le but est d'établir une fondation commune aux étudiants venant d'horizons divers.

2. La seconde phase est la découverte de la programmation orientée-objet, au travers des concepts cœurs d'objets et de classes. Le focus est sur le graphe d'objets et l'exécution orientée-objet.

3. La troisième phase est l'introduction du polymorphisme et de l'héritage, découvrant la puissance de la programmation orientée-objet et des outils associés.

This course revisits imperative programming in order to contrast it with object-oriented programming.  To that end, we use the Java programming language since it is a language that permits both imperative and object-oriented programming.  We will discuss the programming concepts of the language but also coding techniques and tools.  The skills and know-how acquired will be useful in software development beyond the only Java programming language, regardless of the language and tools used.

It is organized in "sprints", with several tasks per sprint. The course follows a progression in three incremental phases, taking all students on a journey towards mastering software development better.

1. The first phase is about imperative programming and programming tools, setting up a common foundation across students coming from backgrounds.

2. The second phase is about discovering object-oriented programming, understanding the core concepts of objects and classes. The focus is on the object graph and object-oriented execution.

3. The third phase is about introducing polymorphism and inheritance, discovering the power of object-oriented programming and tools.

Voir la page complète

Voir la page complète

Cet enseignement permet aux futurs ingénieurs informaticiens d'avoir un idée précise de l'architecture d'un ordinateur et de l'exécution des programmes à  l'aide de ses composants matériels.
Ces notions permettent d'aborder sereinement des domaines tels que la programmation en langage évolué, la compilation de ces programmes, les systèmes d'exploitation d'un ordinateur, la conception de circuits.

Cet enseignement présente d'une part les composants électroniques élémentaires permettant de comprendre l'architecture des processeurs et d'autre part la programmation en langage machine et d'assemblage. Il permet ainsi de comprendre précisément l'exécution d'instructions machines par le processeur.
Une deuxième partie (voir ALM2) aborde ensuite les périphériques, les mécanismes d'entrée/sortie du processeur, les interruptions extérieures des programmes et les notions élémentaires à  la base des systèmes d'exploitations.

This teaching allows future computer engineers to have a clear idea of the architecture of a computer and the execution of programs using its hardware components.
These concepts make it possible to serenely address areas such as advanced language programming, the compilation of these programs, the operating systems of a computer, the design of circuits.

This teaching presents on the one hand the elementary electronic components making it possible to understand the architecture of the processors and on the other hand programming in machine language and assembly. It allows to understand precisely the execution of machine instructions by the processor.
A second part (see ALM2) then discusses peripherals, processor input / output mechanisms, external program interrupts, and the basics of operating systems.

Voir la page complète

Installer sur leur machine le système d'exploitation linux et les outils de programmation qui leur seront utiles en année 3.
À l'issue de leur formation les ingénieurs INFO seront capables de gérer un parc de machines. La L.I.P est une première étape vers cet objectif qui amène les élèves à  être capable d'administrer leur propre machine de travail

À leur arrivée, les nouveaux entrants en INFO sont conviés à  une Linux Install Party (L.I.P)
- Présentation des installations possibles :  machine virtuelle ou native avec dual boot, organisation des disques et partitions (1h)
- Installation du système d'exploitation LINUX (3h)
- Introduction à  l'administration de la machine (1h) : partitionnement, hiérarchie de répertoires, gestion des permissions, installation de paquet, création d'utilisateur

Install on their machine the linux operating system and the programming tools that will be useful for them in year 3.
- Upon completion of their training RICM engineers will be able to manage a fleet of machines.
- The L.I.P is a first step towards this goal that leads students to be able to administer their own work machine

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

- Renforcement des compétences B1 pour tendre vers le niveau B2
- Introduction au discours scientifique
- Développement de vocabulaire scientifique
- Rédaction d'un rapport scientifique (introduction à  la recherche)
- Ouverture à  la communication orale formelle et informelle

1. Expression orale

1.1 Exprimer le futur
      - Les différentes formes du futur
      - Exprimer la probabilité et utiliser les modaux
1.2 Description de données statistiques graphiques
      - Causes et conséquences
      - Hypothèses futures
1.3 Techniques de présentation orale
     - Introduction
     - Liens
     - Présenter de l'information visuelle
     - Conclusion
1.4 Prononciation
     - Connaissance et pratique des phonèmes anglais
     - Connaissance et pratique de l'accentuation

2.  Expression Écrite

2.1 Rédaction de texte descriptif
     - Utilisation à  l'écrit des fonctions apprises au S5
     - Rédaction de mini-rapport scientifique
2.2 Rédaction de description de données statistiques
     - Utilisation à  l'écrit des fonctions appris en 1.2
2.3 Prise de notes
    - Rédaction de résumé à  partir d'un texte écrit ou oral, ou à  la suite d'une conversation

3.  Compréhension Orale et écrite :

3.1 Compréhension de descriptions et de présentations décrites en 1.1, 1.2 et 1.3
3.2 Compréhension globale de documents audio et vidéo authentiques
3.3 Compréhension d'échanges d'information en face à  face ou au téléphone
3.4 Compréhension détaillée de textes généraux et de vulgarisation scientifique

- Reinforcing B1 skills in order to reach B2
- Introduction to scientific discourse
- Development of scientific vocabulary
- Learning to write and organise a scientific report
- Introduction to formal and informal communication

1 Oral expression

1.1 Expressing the future
     - Different ways to express the future
     - Expressing probability & using modal verbs
1.2 Describing trends (statistical data / graphs)
     - Causes and consequences
     - Future Hypotheses
1.3 Presentation Skills
     - Introduction
     - Signposting
     - Presenting visual data
     - Conclusion
1.4 Pronunciation
     - Awareness and use of English phonemes
     - Awareness and use of stress patterns

2 Written Production

2.1 Writing a report
     - Using Semester 5 written phrases and skills in order to write a mini scientific report
2.2 Writing about trends
     - Analysing statistics and graphs as learnt in 1.2 in an essay
2.3 Note-taking
     - Writing a summary from notes taken from a written document or an audio document, or a conversation

3. Reading and Listening Comprehension

3.1 Understanding descriptions and presentations as described in 1.1, 1.2 and 1.3
3.2 Global comprehension of authentic audio and video recordings
3.3 Comprehension of exchange of information face to face of by phone
3.4 Detailed comprehension of general and scientific texts

Voir la page complète

- Améliorer les compétences rédactionnelles
- Optimiser une prise de notes en vue d'une synthèse
- Élaborer une argumentation avec des outils linguistiques et rhétoriques
- S'initier à  quelques formes de documents professionnels
- Réviser les principales bases de l'orthographe en vue d'une relecture d'un document professionnel

Séance 1 : initiation mindmap ;
Séance 2 : test d'orthographe et corrigé ;
Séance 3 : sensibilisation aux synonymes et application sur mails professionnels ;
Séance 4 : notion de plan et rédaction d'un document type note de service/phase de projet ;
Séance 5 : types d'argumentation et rédaction d'un discours d'entreprise ;
Séance 6 : examen et autoévaluation

- Argumentation with linguistic and rhetorical tools
- Introduction to some forms of professional documents
- Review the main bases of spelling with a view to proofreading a professional document

Session 1: mindmap initiation;
Session 2: spelling test and answers;
Session 3: synonym awareness and application to professional emails;
Session 4: concept of a plan and drafting of a standard document memorandum/project phase;
Session 5: types of argumentation and writing a company speech;
Session 6: examination and self-assessment

Voir la page complète

L'objectif du cours est d'acquérir ou consolider des connaissances sur l'entreprise.

L'apprentissage conduira à  une compréhension du fonctionnement général des organisations, une connaissance du langage des managers et des gestionnaires, et une préparation au travail en équipe et à  l'encadrement, à  travers une réflexion sur les pratiques de management.

1. Qu'est-ce que l'entreprise ? Définition, réalité économique et apparence juridique, études de cas
2. Comprendre l'environnement de l'entreprise. Approche orientée business : analyse stratégique ; approche orientée marché : marketing ; approche orientée parties prenantes : RSE
3. L'organisation de l'entreprise. Les structures organisationnelles, le pouvoir, l'exercice du leadership
4. Les ressources mises en œuvre dans l'activité économique. Ressources humaines, matérielles, et financières
5. Le déploiement des activités. La fonction approvisionnement ; la gestion de production
6. La comptabilité financière. Le système d'information comptable, les comptes annuels
7. La comptabilité de gestion. Le seuil de rentabilité, les coûts complets
Simulation de gestion

The objective of the course is to acquire or consolidate knowledge about the firm.

Learning will lead to understand the general functioning of organizations, to know the language of managers, and to be prepared to teamwork and coaching, through a reflection on management practices.

1. What is the firm ? Definition, economic reality and legal appearance, case studies
2. Understand the business environment. Strategic analysis, marketing, stakeholders and CSR
3. The organization of the firm. Organizational structures, power, leadership
4. The resources used in the economic activity. Human, material and financial resources
5. The deployment of activities. The supply function, prduction management
6. Financial accounting. The accounting information system, the annual accounts
7. Management Accounting. The breakeven point, the full costs
Serious business game

Voir la page complète

L'analyse de Fourier et les probabilités doivent permettre de manipuler les outils mathématiques indispensables à  d'autres sciences de l'ingénieur : l'analyse de Fourier est indispensable au traitement du signal et à  la résolution des équations aux dérivées partielles, les probabilités aux statistiques et au traitement de données.

ANALYSE de FOURIER
1. Série de Fourier
     - Série de Fourier d'une fonction périodique L2 sur sa période. Théorème de Parseval
     - Série de Fourier d'une fonction périodique L1 sur sa période. Théorème de Dirichlet
2. Transformée de Fourier
     - Premières propriétés de la transformée de Fourier dans L1
     - Théorème d'inversion de la transformée de Fourier dans L1
     - Théorème de Plancherel
     - Convolution et transformée de Fourier

PROBABILITÉS
- Espaces probabilisés
- Probabilité conditionnelle et indépendance
- Généralités sur les variables aléatoires
- Variables aléatoires discrètes
- Variables aléatoires continues
- Fonction caractéristique d'une variable aléatoire
- Théorème limite centrale

Fourier analysis and probabilities allow to manipulate the mathematical tools essential to other engineering sciences: Fourier analysis is essential for signal processing and solving partial differential equations, probabilities for statistics and data processing.

FOURIER ANALYSIS
1. Fourier series
     - Fourier series of a periodic function and Parseval theorem
     - Fourier series of a periodic function and Dirichlet theorem
2. Fourier transform
     - Fourier transform basic properties
     - Fourier transform inversion theorem
     - Plancherel theorem
     - Fourier transform and convolution

PROBABILITY
- Conditional probability and independence
- Discrete random variables
- Continuous
- Random variables
- Characteristic function of a random variable
- Central limit theorem

Voir la page complète

Voir la page complète

L'objectif de ce cours est de présenter des algorithmes numériques, leurs mises en œuvre sur des processeurs modernes (multicœurs). Nous nous intéresserons principalement à  des algorithmes classiques de l'algèbre linéaire. Les performances de ces algorithmes numériques  seront également étudiées, en termes d'opérations flottantes par seconde et d'utilisation de la hiérarchie mémoire.

- Calcul sur des polynômes
- Calcul matriciel et vectoriel (structures pleines et creuses)
- Bibliothèque BLAS (Basic Linear Algebra Subprograms)
- Évaluation de performance (Calcul Flottant par Seconde)
- Parallélisation d'algorithmes numériques

The course presents numerical algorithms, their implementations on modern processors (multicore). We will focus mainly on classical algorithms of linear algebra. The performances of these numerical algorithms will also be studied, in terms of floating operations per second and use of the memory hierarchy.

- Computations on polynomials
- Matrix and vector computations (sparse and dense structures)
- BLAS Library (Basic Linear Algebra Subprograms)
- Performance evaluation (Floating-point Operation per Second)
- Parallelizing of numerical algorithms

Voir la page complète

Introduction à  la théorie du signal et au traitement numérique du signal. Ce cours est nécessaire pour le traitement, le codage et la transmission de l'information. Savoir manipuler et traiter des signaux simples.

1 Introduction et bases théoriques
2 Signaux déterministes à  temps continu
3 Échantillonnage et quantification des signaux
4 Signaux déterministes à  temps discret

Introduction to signal theory and digital signal processing. This course is necessary for the processing, coding and transmission of information. Ability to handle and process simple signals.

1 Introduction and theoretical basis
2 Continuous-time deterministic signals
3 Sampling and quantization of signals
4 Discrete-time deterministic signals

Voir la page complète

Voir la page complète

Utiliser les technologies web pour récupérer, traiter et diffuser des données publiques et les mettre en forme.

1. Introduction aux technologies web
    - infrastructure serveur web classique
    - HTTP (méthodes GET, POST, en-têtes, codes diagnostic)
    - bases de HTML 5
    - introduction à  PHP

2. Formats de données
    - manipulation de tableaux en PHP
    - données structurées en PHP
    - CSV, prototypage en filtres unix
    - JSON
    - XML et validation de données

3. Webservices
    - APIs web et méthodes HTTP
    - principes REST
    - exploitation de curl et libcurl

4. Métadonnées
    - notions de multimédia en HTTP/HTML
    - images
    - audio et vidéo en HTML5
    - métadonnées multimédia
    - notions de web sémantique et micro-formats
    - application XML : Atom et RSS

Use web technologies to recover, process and disseminate public data and shape them.

1. Introduction to web technologies
   - standard web server infrastructure
   - HTTP (GET, POST methods, headers, diagnostic codes)
   - HTML 5 basics
   - introduction to PHP

2. Data Formats
   - manipulation of tables in PHP
   - structured data in PHP
   - CSV, prototyping in unix filters
   - XML and data validation

3. Webservices
   - Web APIs and HTTP methods
   - REST principles
   - exploitation of curl and libcurl

4. Metadata
   - notions of multimedia in HTTP / HTML
   - images
   - audio and video in HTML5
   - multimedia metadata
   - notions of semantic web and micro-formats
   - XML application: Atom and RSS

Voir la page complète

L'objectif de ce cours est de présenter les algorithmes de base pour les structures de type arbre et graphes. Différents types d'arbres seront étudiées (ABR, AVL, A234). Plusieurs types de graphes seront également étudiés (orientés, pondérés). Certains de ces algorithmes seront mis en œuvre sur 3 TP. Ces TP sur ces structures de données permettent aux étudiants de se familiariser avec les mécanismes dynamiques d'allocation mémoire.

- Arbre ABR
- Arbre AVL
- Arbre 234
- Arbres bicolore
- Introduction aux graphes
- Parcours en largeur et en profondeur
- Tri topologique
- Algorithme du plus court chemin
- Composantes connexes

The course presents the basic algorithms for tree and graph structures. Different types of trees will be studied (ABR, AVL, A234). Several types of graphs will also be studied (oriented, weighted). Some of these algorithms will be implemented on 3 PWs. These PWs on these data structures allow students to become familiar with the dynamic mechanisms of memory allocation.

- ABR tree
- AVL tree
- Tree 234
- Two-color trees
- Introduction to graphs
- Width and depth traversal
- Topological sorting algorithm
- Shortest path algorithm
- Strongly connected components

Voir la page complète

Voir la page complète

Voir la page complète

Introduire la notion de communication numérique qui fait le lien entre le traitement du signal, l'électronique et les réseaux informatique. On retrouve pour cela les notions de signal, information binaire et paquets de données qui permettent d'établir une communication numérique.

Ce cours décrit les concepts, méthodes et techniques utilisées pour les communications numériques. Il se place toujours du point de vue de l'informatique des réseaux afin d'introduire les bases pour la compréhension des communications numériques nécessaires aux protocoles de niveau supérieur.
Suivant la référence au modèle OSI, on peut placer ce cours autour de la couche physique et de la partie liée au médium de la couche liaison.

Sont abordés, de manière plus ou moins approfondie suivant les besoins, les thèmes suivants:
- Représentation des signaux, canal physique, distorsion, bruit, filtrage, modulation
- Théorie de l'information, entropie, codage, compression, correction d'erreur
- Lien de communication, trame, contrôle d’accès au support, commutation de paquets, multiplexage, fiabilité, contrôle de flux

Le cours présente ces éléments avec un point de vue informatique et réseaux afin de mieux comprendre l'intérêt des différentes théories scientifiques sous-jacentes au fonctionnement des communications numériques.

The course introduces Digital Communications which link signal processing, electronics and computer networks. We study the concepts of signal, binary information and data packets that allow to establish a digital communication.

This course describes the concepts, methods and techniques used for digital communications. It always takes the point of view of network computing in order to introduce the basics for understanding the digital communications required for higher level protocols. According to the reference to the OSI model, this course can be placed around the physical layer and the link-related part of the medium.

The following domains will be covered:
- signal representation, physical channel, distorsion, noise, filter, modulation
- information theory, entropy, coding, compression, error correction
- communication link, frame, medium access control, packet switching, multiplexing, reliability, flow control

Lectures stays with a computer science and networking point of view in order to allow a better understanding of the underlying fundamental science beneath numerical communications.

Voir la page complète

Cet enseignement est une introduction aux nombreuses problématiques liées aux transferts d'information entre ordinateurs.
Premières notions d'administration de réseau : montage, configuration système, observations, compréhension des protocoles d'Internet (Ethernet, IP, UDP, TCP).

- Supports et codage physique
- Mise en paquet de l'information
- Accès multiple au support (protocole Ethernet)
- Détection et correction d'erreurs
- Extraction d'erreurs
- Adressage et routage (protocole IP)
- Récupération d'erreur par réémission (protocole TCP)

The course is an introduction to the many issues related to information transfer between computers.
First notions of network administration: assembly, system configuration, observations, understanding of Internet protocols (Ethernet, IP, UDP, TCP).

- Supports and physical coding
- Packaging of information
- Multiple access to media support (Ethernet protocol)
- Error detection and correction
- Error Retrieval by resend
- Flow control
- Addressing and routing (IP protocol)

Voir la page complète

Le but de ce cours est d'acquérir une connaissance générale du fonctionnement bas niveau des ordinateurs. Ce cours s'intéresse à  la fois aux aspects matériels (circuits logiques) des ordinateurs ainsi qu'aux aspects bas-niveau des systèmes d'exploitation. Les liens entre la conception du matériel et les services disponibles dans les systèmes d'exploitation sont particulièrement développés.

* Architecture interne d'un processeur (bus d'E/S, PC/PO, Entrées/Sorties, ...)
* Interruptions (description générale, mise en Å“uvre dans les processeurs, influence sur l'architecture des processeurs, ...)
* Introduction aux systèmes d'exploitation et aux processus (présentation générale, liens entre les fonctionnalités matériels et les services des systèmes d'exploitation, ...)
* Gestion mémoire (segmentation, pagination, ...)
* Caches (généralité, types de caches, implémentation matérielle, ...)
* Techniques avancées dans les processeurs (pipeline, super-scalaire, exécution dans le désordre, ...)
* Compilation, édition de lien, format ELF, relocation

The purpose of this course is to gain a general knowledge of the low-level operation of computers. The course focuses on both the hardware aspects (logical circuits) of computers and the low-level aspects of operating systems. The links between hardware design and the services available in the operating systems are particularly well developed.

* Internal processor architecture (I/O bus, OC/OP, Input/Output, ...)
* Interruptions (description, implementation in processors, link with processors architecture, ...)
* Introduction to operating systems and processes (description, links between hardware features and services of operating systems, ...)
* Memory management (segmentation, pagination, ...)
* Caches (description, kind of caches, hardware implementation, ...)
* Advanced techniques in processors (pipeline, super-scalaire, out-of-order, ...)
* Compilation, linking, ELF format, relocation

Voir la page complète

Voir la page complète

Découvrir les outils pratiques et intellectuels nécessaires à  la gestion d'un projet informatique : développement à  plusieurs sur un temps long.
Les connaissances sont mises en pratique dans le cadre du projet logiciel Applicatif (PLA) qui se déroule en parallèle.

1. Développement (2 CM)
    - Prototypage : rôle et limites
    - Stratégie de tests et de développement
    - Intégration continue (JUnit)
    - Debugger

2. Pilotage de projet (3 CM)
    - Système de gestion de version (Git) : principe, commandes et bonnes pratiques
    - Jalons et objectifs à  long terme
    - Interface et documentation
    - Communication et répartition des tâches
    - Analyse de l'impact écologique et énergétique

A tour of the practical and intelectual tools needed to manage an IT project: development with a team over a long time.
The knowledge is put into practice during the application software project (PLA) which runs in parallel.

1. Development (2 CM)
    - Prototyping: role and limits
    - Test and development strategy
    - Continuous integration (Unit)
    - Debugger

2. Project management (3 CM)
    - Version Management System (Git): principle, commands and good practices
    - Milestones and long-term goals
    - Interface and documentation
    - Communication and distribution of tasks
    - Analysis of the ecological and energy impact

Voir la page complète

Le projet met en jeu les compétences théoriques et pratiques acquises durant l'année 3. Il s'agit de développer un logiciel sur 3 semaines à  plein temps par groupe de 5 ou 6 élèves.

Cet enseignement a pour but
- de renforcer les acquis
- illustrer les notions de gestion de projet et de génie logiciel.

Le cadre imposé est la réalisation d'un simulateur avec multiples objets en interaction. Les applications finales peuvent être très diverses selon ce qu'on simule : jeux, monde physique, protocoles, ...

Les sujets ont en commun les concepts suivants :
- le comportement de chaque objet actif est défini par un automate.
- l'analyse lexicale : lecture et interprétation d'un fichier de configuration (décor, comportement, équipe)
- la programmation par événement : couplage de l'interface graphique et des calculs (affichage, interaction, mise à  jour)
 - l'ordonnancement (scheduling) : simulation fluide de plusieurs éléments actifs simultanément sans utiliser de threads

Le projet est l'occasion d'une introduction au génie logiciel à  travers :
- l'utilisation d'un système de gestion de version (git)
- l'importance de l'architecture d'un logiciel
- le rôle des tests d'intégration
- la réalisation de documentations développeur / utilisateur
- la préparation d'une démo.

Le projet comporte 2 phases :
- 1ère semaine : reflexion, réalisation d'un prototype, présentation d'un projet, établissement d'un contrat 
- 2 et 3ème semaines : développement, soutenance et démonstration, évaluation du respect du contrat

This project involves the theoretical and practical skills acquired during year 3. It involves developing a software program for 3 weeks full-time in groups of 5 or 6 students.

This course aims at
- strengthening the abilities
- illustrating the notions of project management and software engineering.

The imposed framework is the realization of a simulator with multiple interacting objects. The final applications can be very different depending on what is simulated: games, physical world, protocols, ...

The topics have in common the following concepts:
- the behavior of each active object is defined by an automaton
- lexical analysis: reading and interpreting a configuration file (scenery, behavior, team)
- Event programming: coupling of the graphical interface and calculations (display, interaction, update)
 - scheduling: fluid simulation of several active elements simultaneously without using threads

The project is an opportunity for an introduction to software engineering through
- the use of a version management system (git)
- the importance of software architecture
- the role of integration tests
- the realization of developer / user documentation
- the preparation of a demo.

The project has 2 phases:
- 1st week: brainstorming, realization of a prototype, presentation of a project, establishment of a contract
- 2nd and 3rd weeks: development, defense and demonstration, evaluation with respect to the contract

Voir la page complète

L'objectif de ce cycle de sport en première année est double : progresser dans l'activité et développer ses propres compétences sociales.

- Apprendre à  gérer de nouvelles situations, souvent complexes, à  risques et stressantes.
- Formaliser, verbaliser les difficultés rencontrées, travailler en équipe.
- Mieux se connaître, se dépasser, résister à  l'effort.
- Anticiper, identifier, résoudre seul et en groupe les problèmes qui se présentent dans la    pratique de l'activité.
- Intégrer le sport dans un équilibre de vie, dans une stratégie de bien être, de santé et de sécurité.
- Favoriser l'intégration, la solidarité.

Au travers d'une activité sportive support de l'enseignement, l'étudiant identifie un problème qui le concerne dans sa pratique et propose des solutions pour parvenir à  surmonter/résoudre ce problème. Ces solutions sont testées sur le terrain tout au long du cycle, puis validées, ou non.
Ainsi, plus que la notion de niveau technique dans l'activité, c'est vraiment la capacité de l'étudiant à  analyser sa pratique et son comportement qui nous intéresse ici.

The goal of this first year sport cycle is twofold: to grow in activity and develop one's own social skills.

- Learn how to handle new situations, often complex, risky and stressful.
- Formalize, verbalize the difficulties encountered, work in teams.
- To know each other better, to go beyond, to resist to the effort.
- Anticipate, identify, resolve alone and in groups the problems that arise in the practice of the activity.
- Integrate sport in a balance of life, in a strategy of well-being, health and safety.
- Promote integration, solidarity.

Through a sporting medium of instruction, the student identifies a problem that concerns him in his practice and offers solutions for how to overcome / solve this problem. These solutions are field-tested throughout the cycle, then validated, or not.
Thus, as the notion of technical level in the business, it's really the ability of students to analyze their practices and behavior of interest here.

Voir la page complète

Voir la page complète

L'étudiant suit 4 modules, au choix, de sciences humaines et sociales.
L'objectif commun est d'approfondir les connaissances dans les domaines de la gestion, du management et du droit, et de favoriser une ouverture sur les problématiques actuelles de l'entreprise.

Modules au choix :
- Création d'entreprise
- Droit du travail
- Droit et Internet
- Éthique et développement durable
- Gestion de projet
- Hygiène et sécurité
- Management psychologique des hommes et des organisations
- Marketing
- Passeport Service
- Propriété industrielle
- Qualité

Student follows43 modules, at her/his choice, of management methods and social sciences.
The common goal is to have basis in project management and develop an openness in the current issues of the world of work and sustainable development.

Elective courses :
- Entrepreneurship
- Labor Law
- Law and Internet
- Ethics and sustainable development
- Project management
- Hygiene and security
- Psychological management of people and organizations
- Marketing
- Passeport Service
- Patent right
- Quality

Voir la page complète

 - Renforcement des capacités de communication et de compréhension
 - Introduction à  la communication en entreprise 
 - Préparation au BULATS

1 Introduction à  la communication en entreprise
   - Vocabulaire et fonctions
   - Structure d'une société
   - Organigramme et responsabilités
   - Communication au téléphone
1.2 Communication orale
  - Techniques de présentation orale. Chaque élève présentera la société où il a effectué son stage de 3ème année
   - Discussions - réunions. Savoir conduire et participer à  une réunion, une discussion
1.3 Communication écrite
   - Rédaction de compte rendu
   - Savoir rédiger un compte rendu de réunion, et un résumé de présentation
   - Savoir rédiger un e-mail en anglais

2 Anglais de spécialité :
   - Anglais pour les réseaux informatiques et communication multimédia
   - Lecture semi-guidée ou autonome d'articles spécialisés
   - Compréhension et relevée de vocabulaire spécialisé

3 Mise en pratique du vocabulaire spécialisé (débats, jeux de rôles, présentations formelles, productions écrites)
   - Description de procédé technique
   - Séquence
   - Voix passive

4 Projet créatif
   - résoudre un problème en utilisant une méthode créative (mind-mapping, travail d'équipe, création d'un poster, présentation)

- Consolidation of communication and comprehension skills (listening, speaking, reading, & writing)
- Introduction to business English
- Preparation for the BULATS

1 Introduction to business English
   - Vocabulary and roles
   - Company structure
   - Telephoning
1.2 Oral communication
   - Presentation techniques. Each student will present the company in which they did their 3rd year internship
  - Discussions - meetings. Know how to chair and participate in a business meeting.
1.3 Written communication
   - Writing of meeting minutes.
   - Summary writing of a presentation.
   - Effective email writing.

2 Specialized English:
   - English for social networks and multimedia
   - Guided and autonomous reading of specialised texts
   - Comprehension and identification of specialised English

3 Practice of specialised English (debates, role plays, formal presentations, written work)
   - Process description
   - Sequencing
   - Passive voice

4 Creativity Project
   - Finding a solution to a problem using a 'creative' approach (mind-mapping, group work, creation of a poster, presentation)

Voir la page complète

Voir la page complète

L'objectif de ce cours est double.
1) Une introduction à l'assistant de preuve Coq, qui fait autorité dans le domaine de la vérification notamment pour des compilateurs et OS certifiés.
2) L'étude des concepts mis en œuvre pour compiler des langages de programmation, notamment les principaux formalismes utilises pour définir leur sémantique. La mise en pratique s'effectue en s'appuyant sur Coq.

- Architecture d'un compilateur et phases de compilation
- Logique typée d'ordre supérieur, règles de déduction
- Récurrence structurelle, récurrence sur une relation inductive
- Pratique de l'assistant à la preuve Coq
- Arbres de syntaxe abstraite
- Sémantique informatique

The objective of this course is twofold.
1) An introduction to the Coq proof assistant, which is authoritative in the field of verification especially for certified compilers and OS.
2) The study of the concepts underlying the compilation of programming languages, in particular the main formalisms used to define their semantics. The practice is based on Coq.

- Compiler architecture and compilation steps
- higher-order typed logic, deduction rules
- structural induction, induction on an inductive relation
- practice of the Coq proof assistant
- abstract syntax trees
- computational and relational semantic

Voir la page complète

A : Cryptographie et Complexité
- Introduire les principes de la cryptographie : clé secrète et clé publique, algorithmes et protocoles
- Comprendre les principes sous-jacents aux crypto-systèmes et à leur utilisation.

B : Graphes et Complexité.
Le cours présente la théorie des graphes. On y présente la théorie des graphes sous plusieurs de ses aspects.

   A -
1. Calculs modulo un entier.
2. Cryptographie à  clé secrète. 
3. Cryptographie à  clé publique.

   B -
0) vocabulaire de base et représentation des graphes.
1) raisonnement sur les graphes (orientés ou non) avec les différentes classes : biparti, planaires, sans circuits, eulérien, hamiltonien
2) présentation d'algorithmes classiques avec leur calcul de complexité : connexité et forte connexité et dfs, Dijkstra et bfs, Kruskal, Flot maximum
3) des exemples de modélisation avec les graphes.
4) un grand nombre de problèmes de décisions en graphe et leur classe de complexité.

A: Cryptography and Complexity
- Introduction to basic principles of cryptography: secret and public jeys, algorithms and protocols
- Understand the principles behind cryptosystems and their uses

B: Graphs and Complexity
We introduce graph theory, with a focus on complexity analysis, Modeling, Reasoning with graphs, and Algorithmic.

   A -
1. Computations modulo an integer.
2. Symmetric-key cryptography.
3. Public-key cryptography.

   B -
0) basic vocabulary and representation of graphs
1) reasoning with graphs (both directed and undirected) and the different classes: bipartite, planar, acyclic, eulerian, hamiltonian.
2) Presentation of classic algorithms and their complexity: connectedness, strong connectedness and DFS, Dijkstra and BFS, Kruskal, max-flow
3) Examples of modelling with graphs
4) A great number of decision problems on graphs and their complexity classes.

Voir la page complète

Comprendre le paradigme de la programmation fonctionnelle dans le langage OCaml, être apte à en reconnaître l'emploi et l'utilisation dans des situations variées y compris avec d'autres langages comme Java ou C .

- Bases de OCaml
- Structures de données et de contrôle récursives
- Mécanisme d'évaluation
- Fonctions d'ordre supérieur
- Modules et foncteurs
- Typage, inférence de types, polymorphisme
- Exceptions, références, types mutables
- Flots et analyse

Understand the paradigm of functional programming in OCaml language, be able to recognize its use in various situations including with other languages such as Java or C.

- OCaml basics
- Recursive data-structures of data and recursive programming
- Evaluation mechanism
- Higher order functions
- Modules and functors
- Typing, type inference, polymorphism
- Exceptions, references, mutable types
- Streams and recursive desce

Voir la page complète

Voir la page complète

Comprendre et maîtriser les éléments d'architecture logicielle nécessaire à la réalisation de systèmes interactifs.

- Introduction aux principes fondamentaux de l'interaction Homme-machine
- Modèle de programmation par évènements : principes architecturaux et techniques de programmation
- Les boîtes à  outils de construction d'interface : le cas de JavaFX

Understand and master the  development of human-machine interaction systems.

- Introduction to fondements of Human-Computer Interaction
- Programing with events: architecture and techniques
- Graphical User Interface toolkits: JavaFX

Voir la page complète

L'enseignement BASES DE DONNÉES est un cours classique d'introduction aux bases de données relationnelles.

COMPÉTENCES VISÉES
- Savoir écrire des requêtes SQL de façon claire
- Savoir analyser un cahier des charges, le traduire en un diagramme de conception et créer le schéma correspondant en SQL
- Savoir normaliser un schéma de base de données
- Comprendre l'importance des contraintes et savoir les implanter en SQL ou à  l'aide de déclencheurs
- Savoir utiliser JDBC pour se connecter à  une base de données distante

1. Algèbre relationnelle et requêtes SQL
2. Conception de base de données : diagramme de conception, contraintes
3. Normalisation d'un schéma de données
4. Utilisation de JDBC

The lecture Database System is a standard introduction lecture on relational databases.

1. Relational algebra and SQL queries.
2. Data base design: diagrams, constraints.
3. Normalization.
4. JDBC.

Voir la page complète

Voir la page complète

anagement

Voir la page complète

Cet enseignement fait suite au cours de réseaux de l'année précédente. Il reprend les notions abordées et les approfondies. Ce cours permet à  l'élève ingénieur de compléter ses connaissances et sa pratique des technologies élémentaires et intermédiaires des réseaux nécessaires à  l'informatique généraliste actuelle et notamment celle nécessaire aux développements des applications distribuées.

* Rappel Routage, UDP/TCP
* Approfondissement TCP
* IPv6
* Système de noms de domaine (DNS: Domain Name Server)
* Protocole sans état
* System NFS (Network File System)
* Protocole HTTP (Hypertext Transfer Protocol
* Translation d'adresse réseaux (NAT)

This lecture is based on previous year Network lecture, and presents more advanced topics, which are in particular required in distributed applications.

* Reminder: Routing, IP, UDP/TCP
* Advanced TCP
* IPv6
* Distributed naming system (DNS: Domain Name Server)
* Stateless protocols
* System NFS (Network File System)
* Protocol HTTP (Hypertext Transfer Protocol
* Network address translation (NAT)

Voir la page complète

Voir la page complète

Le cours vise à  donner les bases des probabilités avec application à  l'analyse d'algorithmes et à  la randomisation. Les compétences visées sont:
- Acquérir et maîtriser le langage des probabilités dans le contexte informatique (modélisation) ;
- Savoir générer des données distribuées selon une loi donnée (écrire les algorithmes) ;
- Savoir construire des plans d'expériences simples et savoir analyser les résultats avec rigueur.

- Analyse de résultats expérimentaux
- Modélisation probabiliste, exemples et formalisation
- Génération de variables aléatoires de loi discrète
- Principales lois discrètes
- Fonction génératrices
- Variables aléatoires de loi continue
- Énumération et Simulation
- Estimation statistique
- Loi normale et théorèmes limite
- Test d'hypothèse

The course aims at giving the bases of the probabilities with application to the analysis of algorithms and the randomization. The targeted skills are:
- Acquire and master the language of probabilities in the context of informatics (modeling);
- Know how on generating data distributed according to a given law (ability to write the corresponding algorithms);
- Know how on building simple experimental plans and analyzing the results with rigor.

- Analysis of experimental results
- Probabilistic modeling, examples and formalization
- Generation of random variables of discrete law
- Main discrete laws
- Generating functions
- Random variables of continuous law
- Enumeration and Simulation
- Statistical estimation
- Normal law and limit theorems
- Hypothesis tests

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...

Les compétences visées sont les suivantes :
- Appréhender les principaux outils de la recherche opérationnelle.
- Disposer des éléments méthodologiques pour choisir, face à  un problème pratique, les méthodes de résolution et les outils les plus adaptés.
- Savoir manipuler les outils informatiques pour résoudre un problème d'optimisation discrète.

1. Programmation linéaire : modélisation et résolution
2. Optimisation combinatoire : Problèmes classiques, Programmation linéaire en nombres entiers (modélisation et résolution)
3. Programmation dynamique
4. Études de cas et utilisation de logiciels industriels

Operational Research offers scientific methods to help make better decisions. The idea is to develop and use mathematical and computer tools to master complex problems. Practical applications are historically in the direction and management of large systems of men, machines and materials in industry, service, humanitarian, environment ...

The targeted skills are:
- Understand the main tools of operational research.
- To have methodological elements to choose, in the face of a practical problem, the methods of resolution and the most adapted tools.
- Knowing how to manipulate computer tools to solve a discrete optimization problem.

1. Linear Programming
2. Discrete optimisation
3. Dynamic programming
4. Case study and applications on industrial software

Voir la page complète

Voir la page complète

Maitriser les principaux outils de gestion d'entreprise (comptabilité générale et de gestion), comprendre les liens entre les différents acteurs internes de l'entreprise (production, marketing, stratégie générale).
Simulation de gestion en groupes de 3 étudiants, en concurrence sur le même marché.

1/ Apports théoriques : Le compte de résultat / le bilan / la trésorerie / le calcul du coût de revient
2/ Simulation de gestion : 5 décisions de gestion équivalant à  5 années d'exercice
3/ Évaluation : écrite individuelle (apports théoriques) et soutenance orale en groupe (simulation de gestion)

Master the main business management tools (general accounting and management), understand the links between the various internal actors of the company (production, marketing, general strategy).
Management simulation in groups of 3 students, competing in the same market.

1/ Theoretical reports: Income statement - balance sheet - cash flow - costing
2/ Management simulation: 5 management decisions equivalent to 5 years of practice
3/ Evaluation: individual written (theoretical contributions) and oral defense in group (management simulation)

Voir la page complète

- Renforcement des capacités de communication et de compréhension
- Préparation au TOEIC

1. Préparation au TOEIC : Chaque élève préparera le TOEIC et le passera à  la fin du semestre
-TOEIC blancs et d'autres exercices pour préparer le TOEIC

2. Projet spécialisé : création, présentation, et rédaction d'une appli 

- Capacity-building in comprehension and communication
-TOEIC preparation

1. TOEIC preparation: Each student will prepare and sit the TOEIC at the end of the semester
-Mock TOEICs and other exercises to prepare the test

2. Specialised project: creation, prsentation, and written report of an app 

Voir la page complète

Objectifs : introduction au génie logiciel

Compétences visées :
  - connaitre, savoir utiliser les processus logiciels pour conduire un projet de développement logiciel
  - connaitre, savoir utiliser les outils pour la production de logiciel : gestion de version, gestion automatique des "builds", forges, ...
  - resituer le test dans un cycle de développement par rapport aux exigences
  - connaitre et savoir concevoir des logiciels au moyen de la notation UML 2.0

* Introduction au Génie Logiciel

* Processus logiciels : itératif, cascade,

V, incrémental, spirale, agile

* Activités du Génie Logiciel : gestion des exigences, spécification, conception, implantation, validation, intégration, déploiement, maintenance, évolution

* Conception avec la notation UML 2.0
* Outils collaboratifs de production de logiciels : gestion automatique des builds (Ant, Maven), gestions de version (SVN, Git), Suivi de bugs, Tests (BDD, ...), intégration continue, forges, analyse de code (métriques logicielles)
* Économie du logiciel et de l'open-source
* Cas d'étude avec UML 2.0 et SCRUM

This is an introductory lecture in Software Engineering.

* Introduction to Software Engineering (SE)
* SE Processes : iterative, waterfall, V, incremental, spiral, agile
* SE Activities : requirements, specification, design, implementation, validation, integration, deployment, maintenance, evolution
* Design with the UML 2.0 notation
* Collaborative tools for software production: build managers (Ant, Maven), version control (SVN, Git), bugs trackers, tests (BDD, ...), continuous integration, forges, code analysis (software metrics)
* Software and open-source economies
* Case studies with UML 2.0 and SCRUM

Voir la page complète

Le cours d'applications réparties introduit les principaux modèles de programmation, technologies et outils afférents à  l'informatique répartie : modèle client/serveur, modèle asynchrone, objets distribués, serveurs d'application, services non fonctionnels (nommage, transactions réparties, persistance...). Afin de mettre en pratique les connaissances acquises en cours, cet enseignement comprends également la mise en œuvre, au dessus de Java/RMI, d'un environnement d'exécution pour des agents mobiles.

1    Introduction aux applications réparties
         - Modèles
         - Outils
         - Services
2    Modèles Client / Serveur
         - Principes
         - Mise en œuvre avec la couche Sockets
         - Mise en œuvre avec une couche RPC
3    Objets distribués
         - Principes
         - Désignation / nommage
         - Étude de cas RMI
4    Transactions réparties
         - Contrôle de concurrence
         - Commit à  2 phases
5    Modèles asynchrone
          - Principes des MOM (Message-oriented Middleware)
          - Étude de cas JMS
6    Applications réparties sur le Web
          - HTTP
          - Servlets/JSP
7       Déploiement d'applications réparties
          - OSGi

1    Introduction to distributed systems
         - Models
         - Tools
         - Services
2    Client / Serveur Pattern
         - Principles
         - Client-Server on Sockets
         - Client-Server on RPC
3    Distributed Objects
         - Principles
         - Naming
         - RMI Usecase
4    Transactions
         - Concurrency Control
         - 2-phase Commit
5    Asynchronous Distributed Systems
          - Principles (Message-oriented Middleware)
          - JMS Usecase
6    Web Applications
          - HTTP
          - Servlets/JSP
7       Deployment of Distributed Applications
          - OSGi

Voir la page complète

Voir la page complète

Ce cours est un projet de développement logiciel en équipe formée de 2 à  4 élèves ingénieurs.

Les sujets des projets sont donnés en début de semestre. Chaque équipe choisit un sujet et le traite en partant de la gestion des exigences à  la recette. La soutenance comporte une présentation orale et une démonstration. Les sujets sont renouvelés chaque année. Les sujets impliquent généralement l'intégration de plusieurs technologies qui peuvent être nouvelles pour les étudiants, les domaines d'application sont très variés (systèmes embarqués, robotique, calcul scientifique à  haute performance, virtualisation, mobile,...).

La liste des projets est détaillée sur http://air.imag.fr/index.php/Projets

Une salle dédiée au prototypage rapide d'objets intelligents est à  la dispositif des équipes pour les projets d'intelligence ambiante : http://air.imag.fr

Remarque: le projet réalisé peut se réaliser avec des élèves de l'option Systèmes et Réseaux et en collaboration avec des élèves des autres filières de Polytech Grenoble (3I, TIS) et des autres écoles d'ingénieurs, de design produit et d'architecture. Les sujets de projet sont proposés par les enseignants de Polytech, des associations et des entreprises. Le sujet du projet peut être aussi proposé par l'élève ingénieur quand il s'intègre dans son projet professionnel.

This course is a software development project realized by a team of 2 to 4 students.

The project subjects are given at the beginning of the semester. Each team chooses a subject and manages the software project from the specification to the release. The subjects are renewed annually. The subjects usually involve the integration of several technologies that may be new to the students, the application areas are very diverse (embedded systems, internet of things, robotics, scientific high performance computing, virtualization, mobile app, ...)

Voir la page complète

Le stage en entreprise de 4ième année en Informatique est d'une durée minimale de 12 semaines. Ses objectifs sont la mise en pratique des connaissances acquises, ainsi qu'une expérience de travail dans un cadre professionnel. Les stages peuvent avoir lieu dans des micro start-ups émergentes, dans des services informatiques d'entreprises, ou dans des grandes entreprises de l'informatique.

The internship in the 4th year of the Computer Science departement has a 12 weeks duration. The objectives of the internship are to put in pratice the acquired knowledge and to have a first professional experience in a company.

Voir la page complète

Voir la page complète

Ce cours vise à  acquérir des connaissances approfondies des technologies réseaux ainsi que d'aborder et expérimenter des protocoles spécialisés réservés.
Ce cours constitue le premier pas vers l'expertise en réseaux.

* Technologies des commutateurs et des ponts
* Topologies des LAN et réseaux pour les datacentres et les centres de calculs
* Arbres couvrants, protocles STP et RSTP
* TCP avancé
* Multidiffusion dans Internet (Multicast)
* Qualité de service dans les réseaux

The objectives of this lecture is to acquire advance knowledge on network technologies, and to learn and pratice specific protocols. This lecture is a first step in network expertise.

* Technologies of swtiches and bridges
* Topolgies for LAN, Data Centers and Computing Centers
* Spanning trees, STP and RSTP protcoles
* Advanced TCP
* Multicasting for Internet
* Quality of Service for networks

Voir la page complète

Objectifs :
- Comprendre la complexité de gestion des systèmes distribués
- Étudier et analyser quelques algorithmes classiques
- Comprendre la difficulté d'observation et de vérification des systèmes distribués

Vise à  : Apprendre aux étudiants la notion d'abstraction, un modèle abstrait de système distribué, l'approche algorithmique.

Plan :

- Modèle asynchrone d'un système distribué
- Algorithme de vague
- Algorithme d'élection
- Gestion de ressources et exclusion mutuelle distribuée
- État global
- Analyse et preuve de correction des algorithmes
- Programmation

Objectives:
- Understand the complexity of distributed systems.
- Study and analyze some classical algorithms.
- Understand the difficulty of observing and verifying distributed systems

Goals : Teach students the notion of abstraction, an abstract model of distributed system, the algorithmic approach.

Outline:

- Asynchronous model of a distributed system
- Wave algorithm
- Election
- Resource management and mutual exclusion
- Global state and snapshots
- Analysis and correction proof
- Programming

Voir la page complète

Voir la page complète

Comprendre les enjeux et les compromis lors de la conception d'un système d'exploitation.
Technicité. Manipulation de grands logiciels de bas niveau.

- Processus et Threads
- Synchronisation et Interblocages
- Gestion de la mémoire
- Gestion des E/S et du stockage secondaire
- Travail pratique sur le système simulé NachOS

Understand the challenges and the compromises for implementing operating systems.

- Process and thread management
- Synchronization and deadlocks
- Memory management
- I/O and secondary storage
- Practical labs with the simulated system NachOS

Voir la page complète

Ce cours vise à  donner les outils logiciels, méthodologiques et théoriques essentiels d'analyse de performances et de dimensionnement pour l'ingénieur réseau. Il présente la méthodologie de l'évaluation de performance, la notion de qualité de service, ainsi que les techniques de mesure, de simulation et de modélisation.

- Mesure et expérimentation
- Modélisation
- Simulation
- Chaînes de Markov à temps discret
- Modèles de trafic
- Chaînes de Markov à  temps continu
- Files d'attente classiques
- Réseaux de files d'attente

- Performance and QoS
- Measuring performance
- Modeling computer systems
- Numerical simulation
- Discrete-time Markov chains
- Traffic modeling
- Continuous-time Markov chains
- Queuing systems

Voir la page complète

Voir la page complète

L'étudiant suit 4 modules, au choix, de sciences humaines et sociales.
L'objectif commun est d'approfondir les connaissances dans les domaines de la gestion, du management et du droit, et de favoriser une ouverture sur les problématiques actuelles de l'entreprise.

Modules au choix :
- Création d'entreprise
- Droit du travail
- Droit et Internet
- Éthique et développement durable
- Gestion de projet
- Hygiène et sécurité
- Management psychologique des hommes et des organisations
- Marketing
- Passeport Service
- Propriété industrielle
- Qualité

Student follows43 modules, at her/his choice, of management methods and social sciences.
The common goal is to have basis in project management and develop an openness in the current issues of the world of work and sustainable development.

Elective courses :
- Entrepreneurship
- Labor Law
- Law and Internet
- Ethics and sustainable development
- Project management
- Hygiene and security
- Psychological management of people and organizations
- Marketing
- Passeport Service
- Patent right
- Quality

Voir la page complète

 - Renforcement des capacités de communication et de compréhension
 - Introduction à  la communication en entreprise 
 - Préparation au BULATS

1 Introduction à  la communication en entreprise
   - Vocabulaire et fonctions
   - Structure d'une société
   - Organigramme et responsabilités
   - Communication au téléphone
1.2 Communication orale
  - Techniques de présentation orale. Chaque élève présentera la société où il a effectué son stage de 3ème année
   - Discussions - réunions. Savoir conduire et participer à  une réunion, une discussion
1.3 Communication écrite
   - Rédaction de compte rendu
   - Savoir rédiger un compte rendu de réunion, et un résumé de présentation
   - Savoir rédiger un e-mail en anglais

2 Anglais de spécialité :
   - Anglais pour les réseaux informatiques et communication multimédia
   - Lecture semi-guidée ou autonome d'articles spécialisés
   - Compréhension et relevée de vocabulaire spécialisé

3 Mise en pratique du vocabulaire spécialisé (débats, jeux de rôles, présentations formelles, productions écrites)
   - Description de procédé technique
   - Séquence
   - Voix passive

4 Projet créatif
   - résoudre un problème en utilisant une méthode créative (mind-mapping, travail d'équipe, création d'un poster, présentation)

- Consolidation of communication and comprehension skills (listening, speaking, reading, & writing)
- Introduction to business English
- Preparation for the BULATS

1 Introduction to business English
   - Vocabulary and roles
   - Company structure
   - Telephoning
1.2 Oral communication
   - Presentation techniques. Each student will present the company in which they did their 3rd year internship
  - Discussions - meetings. Know how to chair and participate in a business meeting.
1.3 Written communication
   - Writing of meeting minutes.
   - Summary writing of a presentation.
   - Effective email writing.

2 Specialized English:
   - English for social networks and multimedia
   - Guided and autonomous reading of specialised texts
   - Comprehension and identification of specialised English

3 Practice of specialised English (debates, role plays, formal presentations, written work)
   - Process description
   - Sequencing
   - Passive voice

4 Creativity Project
   - Finding a solution to a problem using a 'creative' approach (mind-mapping, group work, creation of a poster, presentation)

Voir la page complète

Voir la page complète

L'objectif de ce cours est double.
1) Une introduction à l'assistant de preuve Coq, qui fait autorité dans le domaine de la vérification notamment pour des compilateurs et OS certifiés.
2) L'étude des concepts mis en œuvre pour compiler des langages de programmation, notamment les principaux formalismes utilises pour définir leur sémantique. La mise en pratique s'effectue en s'appuyant sur Coq.

- Architecture d'un compilateur et phases de compilation
- Logique typée d'ordre supérieur, règles de déduction
- Récurrence structurelle, récurrence sur une relation inductive
- Pratique de l'assistant à la preuve Coq
- Arbres de syntaxe abstraite
- Sémantique informatique

The objective of this course is twofold.
1) An introduction to the Coq proof assistant, which is authoritative in the field of verification especially for certified compilers and OS.
2) The study of the concepts underlying the compilation of programming languages, in particular the main formalisms used to define their semantics. The practice is based on Coq.

- Compiler architecture and compilation steps
- higher-order typed logic, deduction rules
- structural induction, induction on an inductive relation
- practice of the Coq proof assistant
- abstract syntax trees
- computational and relational semantic

Voir la page complète

A : Cryptographie et Complexité
- Introduire les principes de la cryptographie : clé secrète et clé publique, algorithmes et protocoles
- Comprendre les principes sous-jacents aux crypto-systèmes et à leur utilisation.

B : Graphes et Complexité.
Le cours présente la théorie des graphes. On y présente la théorie des graphes sous plusieurs de ses aspects.

   A -
1. Calculs modulo un entier.
2. Cryptographie à  clé secrète. 
3. Cryptographie à  clé publique.

   B -
0) vocabulaire de base et représentation des graphes.
1) raisonnement sur les graphes (orientés ou non) avec les différentes classes : biparti, planaires, sans circuits, eulérien, hamiltonien
2) présentation d'algorithmes classiques avec leur calcul de complexité : connexité et forte connexité et dfs, Dijkstra et bfs, Kruskal, Flot maximum
3) des exemples de modélisation avec les graphes.
4) un grand nombre de problèmes de décisions en graphe et leur classe de complexité.

A: Cryptography and Complexity
- Introduction to basic principles of cryptography: secret and public jeys, algorithms and protocols
- Understand the principles behind cryptosystems and their uses

B: Graphs and Complexity
We introduce graph theory, with a focus on complexity analysis, Modeling, Reasoning with graphs, and Algorithmic.

   A -
1. Computations modulo an integer.
2. Symmetric-key cryptography.
3. Public-key cryptography.

   B -
0) basic vocabulary and representation of graphs
1) reasoning with graphs (both directed and undirected) and the different classes: bipartite, planar, acyclic, eulerian, hamiltonian.
2) Presentation of classic algorithms and their complexity: connectedness, strong connectedness and DFS, Dijkstra and BFS, Kruskal, max-flow
3) Examples of modelling with graphs
4) A great number of decision problems on graphs and their complexity classes.

Voir la page complète

Comprendre le paradigme de la programmation fonctionnelle dans le langage OCaml, être apte à en reconnaître l'emploi et l'utilisation dans des situations variées y compris avec d'autres langages comme Java ou C .

- Bases de OCaml
- Structures de données et de contrôle récursives
- Mécanisme d'évaluation
- Fonctions d'ordre supérieur
- Modules et foncteurs
- Typage, inférence de types, polymorphisme
- Exceptions, références, types mutables
- Flots et analyse

Understand the paradigm of functional programming in OCaml language, be able to recognize its use in various situations including with other languages such as Java or C.

- OCaml basics
- Recursive data-structures of data and recursive programming
- Evaluation mechanism
- Higher order functions
- Modules and functors
- Typing, type inference, polymorphism
- Exceptions, references, mutable types
- Streams and recursive desce

Voir la page complète

Voir la page complète

Comprendre et maîtriser les éléments d'architecture logicielle nécessaire à la réalisation de systèmes interactifs.

- Introduction aux principes fondamentaux de l'interaction Homme-machine
- Modèle de programmation par évènements : principes architecturaux et techniques de programmation
- Les boîtes à  outils de construction d'interface : le cas de JavaFX

Understand and master the  development of human-machine interaction systems.

- Introduction to fondements of Human-Computer Interaction
- Programing with events: architecture and techniques
- Graphical User Interface toolkits: JavaFX

Voir la page complète

L'enseignement BASES DE DONNÉES est un cours classique d'introduction aux bases de données relationnelles.

COMPÉTENCES VISÉES
- Savoir écrire des requêtes SQL de façon claire
- Savoir analyser un cahier des charges, le traduire en un diagramme de conception et créer le schéma correspondant en SQL
- Savoir normaliser un schéma de base de données
- Comprendre l'importance des contraintes et savoir les implanter en SQL ou à  l'aide de déclencheurs
- Savoir utiliser JDBC pour se connecter à  une base de données distante

1. Algèbre relationnelle et requêtes SQL
2. Conception de base de données : diagramme de conception, contraintes
3. Normalisation d'un schéma de données
4. Utilisation de JDBC

The lecture Database System is a standard introduction lecture on relational databases.

1. Relational algebra and SQL queries.
2. Data base design: diagrams, constraints.
3. Normalization.
4. JDBC.

Voir la page complète

Voir la page complète

anagement

Voir la page complète

Cet enseignement fait suite au cours de réseaux de l'année précédente. Il reprend les notions abordées et les approfondies. Ce cours permet à  l'élève ingénieur de compléter ses connaissances et sa pratique des technologies élémentaires et intermédiaires des réseaux nécessaires à  l'informatique généraliste actuelle et notamment celle nécessaire aux développements des applications distribuées.

* Rappel Routage, UDP/TCP
* Approfondissement TCP
* IPv6
* Système de noms de domaine (DNS: Domain Name Server)
* Protocole sans état
* System NFS (Network File System)
* Protocole HTTP (Hypertext Transfer Protocol
* Translation d'adresse réseaux (NAT)

This lecture is based on previous year Network lecture, and presents more advanced topics, which are in particular required in distributed applications.

* Reminder: Routing, IP, UDP/TCP
* Advanced TCP
* IPv6
* Distributed naming system (DNS: Domain Name Server)
* Stateless protocols
* System NFS (Network File System)
* Protocol HTTP (Hypertext Transfer Protocol
* Network address translation (NAT)

Voir la page complète

Voir la page complète

Le cours vise à  donner les bases des probabilités avec application à  l'analyse d'algorithmes et à  la randomisation. Les compétences visées sont:
- Acquérir et maîtriser le langage des probabilités dans le contexte informatique (modélisation) ;
- Savoir générer des données distribuées selon une loi donnée (écrire les algorithmes) ;
- Savoir construire des plans d'expériences simples et savoir analyser les résultats avec rigueur.

- Analyse de résultats expérimentaux
- Modélisation probabiliste, exemples et formalisation
- Génération de variables aléatoires de loi discrète
- Principales lois discrètes
- Fonction génératrices
- Variables aléatoires de loi continue
- Énumération et Simulation
- Estimation statistique
- Loi normale et théorèmes limite
- Test d'hypothèse

The course aims at giving the bases of the probabilities with application to the analysis of algorithms and the randomization. The targeted skills are:
- Acquire and master the language of probabilities in the context of informatics (modeling);
- Know how on generating data distributed according to a given law (ability to write the corresponding algorithms);
- Know how on building simple experimental plans and analyzing the results with rigor.

- Analysis of experimental results
- Probabilistic modeling, examples and formalization
- Generation of random variables of discrete law
- Main discrete laws
- Generating functions
- Random variables of continuous law
- Enumeration and Simulation
- Statistical estimation
- Normal law and limit theorems
- Hypothesis tests

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...

Les compétences visées sont les suivantes :
- Appréhender les principaux outils de la recherche opérationnelle.
- Disposer des éléments méthodologiques pour choisir, face à  un problème pratique, les méthodes de résolution et les outils les plus adaptés.
- Savoir manipuler les outils informatiques pour résoudre un problème d'optimisation discrète.

1. Programmation linéaire : modélisation et résolution
2. Optimisation combinatoire : Problèmes classiques, Programmation linéaire en nombres entiers (modélisation et résolution)
3. Programmation dynamique
4. Études de cas et utilisation de logiciels industriels

Operational Research offers scientific methods to help make better decisions. The idea is to develop and use mathematical and computer tools to master complex problems. Practical applications are historically in the direction and management of large systems of men, machines and materials in industry, service, humanitarian, environment ...

The targeted skills are:
- Understand the main tools of operational research.
- To have methodological elements to choose, in the face of a practical problem, the methods of resolution and the most adapted tools.
- Knowing how to manipulate computer tools to solve a discrete optimization problem.

1. Linear Programming
2. Discrete optimisation
3. Dynamic programming
4. Case study and applications on industrial software

Voir la page complète

Voir la page complète

Maitriser les principaux outils de gestion d'entreprise (comptabilité générale et de gestion), comprendre les liens entre les différents acteurs internes de l'entreprise (production, marketing, stratégie générale).
Simulation de gestion en groupes de 3 étudiants, en concurrence sur le même marché.

1/ Apports théoriques : Le compte de résultat / le bilan / la trésorerie / le calcul du coût de revient
2/ Simulation de gestion : 5 décisions de gestion équivalant à  5 années d'exercice
3/ Évaluation : écrite individuelle (apports théoriques) et soutenance orale en groupe (simulation de gestion)

Master the main business management tools (general accounting and management), understand the links between the various internal actors of the company (production, marketing, general strategy).
Management simulation in groups of 3 students, competing in the same market.

1/ Theoretical reports: Income statement - balance sheet - cash flow - costing
2/ Management simulation: 5 management decisions equivalent to 5 years of practice
3/ Evaluation: individual written (theoretical contributions) and oral defense in group (management simulation)

Voir la page complète

- Renforcement des capacités de communication et de compréhension
- Préparation au TOEIC

1. Préparation au TOEIC : Chaque élève préparera le TOEIC et le passera à  la fin du semestre
-TOEIC blancs et d'autres exercices pour préparer le TOEIC

2. Projet spécialisé : création, présentation, et rédaction d'une appli 

- Capacity-building in comprehension and communication
-TOEIC preparation

1. TOEIC preparation: Each student will prepare and sit the TOEIC at the end of the semester
-Mock TOEICs and other exercises to prepare the test

2. Specialised project: creation, prsentation, and written report of an app 

Voir la page complète

Objectifs : introduction au génie logiciel

Compétences visées :
  - connaitre, savoir utiliser les processus logiciels pour conduire un projet de développement logiciel
  - connaitre, savoir utiliser les outils pour la production de logiciel : gestion de version, gestion automatique des "builds", forges, ...
  - resituer le test dans un cycle de développement par rapport aux exigences
  - connaitre et savoir concevoir des logiciels au moyen de la notation UML 2.0

* Introduction au Génie Logiciel

* Processus logiciels : itératif, cascade,

V, incrémental, spirale, agile

* Activités du Génie Logiciel : gestion des exigences, spécification, conception, implantation, validation, intégration, déploiement, maintenance, évolution

* Conception avec la notation UML 2.0
* Outils collaboratifs de production de logiciels : gestion automatique des builds (Ant, Maven), gestions de version (SVN, Git), Suivi de bugs, Tests (BDD, ...), intégration continue, forges, analyse de code (métriques logicielles)
* Économie du logiciel et de l'open-source
* Cas d'étude avec UML 2.0 et SCRUM

This is an introductory lecture in Software Engineering.

* Introduction to Software Engineering (SE)
* SE Processes : iterative, waterfall, V, incremental, spiral, agile
* SE Activities : requirements, specification, design, implementation, validation, integration, deployment, maintenance, evolution
* Design with the UML 2.0 notation
* Collaborative tools for software production: build managers (Ant, Maven), version control (SVN, Git), bugs trackers, tests (BDD, ...), continuous integration, forges, code analysis (software metrics)
* Software and open-source economies
* Case studies with UML 2.0 and SCRUM

Voir la page complète

Le cours d'applications réparties introduit les principaux modèles de programmation, technologies et outils afférents à  l'informatique répartie : modèle client/serveur, modèle asynchrone, objets distribués, serveurs d'application, services non fonctionnels (nommage, transactions réparties, persistance...). Afin de mettre en pratique les connaissances acquises en cours, cet enseignement comprends également la mise en œuvre, au dessus de Java/RMI, d'un environnement d'exécution pour des agents mobiles.

1    Introduction aux applications réparties
         - Modèles
         - Outils
         - Services
2    Modèles Client / Serveur
         - Principes
         - Mise en œuvre avec la couche Sockets
         - Mise en œuvre avec une couche RPC
3    Objets distribués
         - Principes
         - Désignation / nommage
         - Étude de cas RMI
4    Transactions réparties
         - Contrôle de concurrence
         - Commit à  2 phases
5    Modèles asynchrone
          - Principes des MOM (Message-oriented Middleware)
          - Étude de cas JMS
6    Applications réparties sur le Web
          - HTTP
          - Servlets/JSP
7       Déploiement d'applications réparties
          - OSGi

1    Introduction to distributed systems
         - Models
         - Tools
         - Services
2    Client / Serveur Pattern
         - Principles
         - Client-Server on Sockets
         - Client-Server on RPC
3    Distributed Objects
         - Principles
         - Naming
         - RMI Usecase
4    Transactions
         - Concurrency Control
         - 2-phase Commit
5    Asynchronous Distributed Systems
          - Principles (Message-oriented Middleware)
          - JMS Usecase
6    Web Applications
          - HTTP
          - Servlets/JSP
7       Deployment of Distributed Applications
          - OSGi

Voir la page complète

Voir la page complète

Ce cours est un projet de développement logiciel en équipe formée de 2 à  4 élèves ingénieurs.

Les sujets des projets sont donnés en début de semestre. Chaque équipe choisit un sujet et le traite en partant de la gestion des exigences à  la recette. La soutenance comporte une présentation orale et une démonstration. Les sujets sont renouvelés chaque année. Les sujets impliquent généralement l'intégration de plusieurs technologies qui peuvent être nouvelles pour les étudiants, les domaines d'application sont très variés (systèmes embarqués, robotique, calcul scientifique à  haute performance, virtualisation, mobile,...).

La liste des projets est détaillée sur http://air.imag.fr/index.php/Projets

Une salle dédiée au prototypage rapide d'objets intelligents est à  la dispositif des équipes pour les projets d'intelligence ambiante : http://air.imag.fr

Remarque: le projet réalisé peut se réaliser avec des élèves de l'option Systèmes et Réseaux et en collaboration avec des élèves des autres filières de Polytech Grenoble (3I, TIS) et des autres écoles d'ingénieurs, de design produit et d'architecture. Les sujets de projet sont proposés par les enseignants de Polytech, des associations et des entreprises. Le sujet du projet peut être aussi proposé par l'élève ingénieur quand il s'intègre dans son projet professionnel.

This course is a software development project realized by a team of 2 to 4 students.

The project subjects are given at the beginning of the semester. Each team chooses a subject and manages the software project from the specification to the release. The subjects are renewed annually. The subjects usually involve the integration of several technologies that may be new to the students, the application areas are very diverse (embedded systems, internet of things, robotics, scientific high performance computing, virtualization, mobile app, ...)

Voir la page complète

Le stage en entreprise de 4ième année en Informatique est d'une durée minimale de 12 semaines. Ses objectifs sont la mise en pratique des connaissances acquises, ainsi qu'une expérience de travail dans un cadre professionnel. Les stages peuvent avoir lieu dans des micro start-ups émergentes, dans des services informatiques d'entreprises, ou dans des grandes entreprises de l'informatique.

The internship in the 4th year of the Computer Science departement has a 12 weeks duration. The objectives of the internship are to put in pratice the acquired knowledge and to have a first professional experience in a company.

Voir la page complète

Voir la page complète

L'objectif de cette matière destinée aux étudiants de l'option Multimédia, est d'offrir un cours avancé autour du filtrage numérique pour les signaux et les images. Il est illustré par des cas concrets où le filtrage est nécessaire sur des données (images, signaux) collectés à  partir de capteurs. Des TP en langage Python sont proposés pour illustrer pratiquement les concepts de ce matière.

Voir la page complète

L'informatique graphique et la synthèse d'image sont maintenant naturels pour le grand public, au travers des films d'animation et du jeu vidéo. Les marchés au cœur desquels ces techniques sont présentes sont immenses. L'objectif de ce cours est de présenter les bases de l'informatique graphique. Un tableau large des sera brossé, allant de la représentation pixelisée aux modèles géométriques en passant par les transformations 3D et la perception des couleurs. Les travaux dirigés illustrerons très concrètement les notions présentées. Des projets pratiques plus ambitieux sur la projection stéréoscopique seront réalisés.

- Représentation pixelisée
- Notions géométriques élémentaires
- Projection perspective
- Transformations 3D
- Plaquage de texture
- Perception de la lumière et des couleurs
- Modèles géométriques
- Programmation GPU

In this course we introduce the basics of Computer Graphics and Image Synthesis

- Pixel representation
- Elementary geometric notions
- Perspective projection
- 3D Transformations
- Texture mapping
- Light and color perception
- Geometric design
- GPU Programming

Voir la page complète

Voir la page complète

Ce cours est une introduction à  l'ingénierie des langues et de la parole (technologies vocales, traitement automatique du langage naturel) pour des étudiants en informatique destinés à  se spécialiser dans le multimédia.

1. Introduction générale
2. Ingénierie des langues
        2.1 Représentation et codage des textes
        2.2 Théorie de l'information et probabilités
        2.3 Quelques applications du traitement automatique du langage naturel
         2.3.1 Dictionnaires et étiquetage de surface
         2.3.2 Re-ponctuation et recapitalisation de textes
         2.3.3 Traduction automatique statistique
3. Ingénierie de la parole
        3.1 Rappels de traitement numérique du signal
        3.2 Le signal de parole : analyse, unités pertinentes et variabilité
        3.3 Codage et compression de la parole
        3.4 Reconnaissance automatique de la parole
        3.5 Synthèse de la parole

This is an introductory lecture to Natural Language Processing for students specializing in multimedia.

Voir la page complète

L'objectif des cours est de montrer les  fondements scientifiques des tâches les plus répandues en Recherche d'Information (RI). Le souci principal est de proposer un exposé cohérent des algorithmes classiques développés dans ce domaine, et de connaître le mécanisme des outils de l'internet qu'on emploie tous les jours. Cette étude ne se limite pas à  l'application initiale de RI et s'intéresse aussi aux problèmes connexes dans lesquels de nombreuses avancées techniques ont été réalisées ces dernières années.

1. Indexation, représentation et compression (2 séances)
-----------------------------------------------------------------
Les constructions du dictionnaire et de l'index inversé, ainsi que la représentation vectorielle des documents, constituent le point de départ dans toutes manipulations et recherche en RI. Dans une collection de documents donnée, construire le dictionnaire ou le vocabulaire correspond à  extraire une liste de termes utiles, caractéristiques des documents présents dans la collection. L'autre concept fondamental en RI est la constitution de l'index inversé. Il s'agit ici de construire, pour chaque terme du dictionnaire, la liste des index de documents contenant ce terme. Cette liste, aussi appelée liste inversée, rend l'appariement entre les requêtes et les documents de la collection plus efficace. Pour les très grandes collections de données, un problème majeur est le stockage de l'index et du dictionnaire dans la mémoire ou sur le disque. Le défi dans ces cas est de trouver un moyen de compression simple et rapide des données.

2. Recherche d'Information (3 séances)
------------------------------------------------------
Ce chapitre constitue le cœur de ce module. Pour un besoin d'information donné, le système de recherche le transcrit sous forme d'une requête, constituée de mots-clés, et lorsque l'utilisateur regarde le résultat de la recherche, il voit les documents triés par ordre décroissant de pertinence. Si la requête est une expression booléenne, l'utilisation de l'index inversé permet de trouver facilement et en un temps minimal tous les documents qui satisfont cette requête. En revanche, les systèmes booléens purs ne permettent pas de retrouver les documents similaires au besoin d'information de l'utilisateur et ne contenant pas exactement les termes de la requête. Plusieurs modèles ont été développés pour pallier ce problème, depuis les modèles vectoriels jusqu'aux modèles probabilistes. De même, plusieurs stratégies, qui consistent à  étendre la requête afin d'y inclure des termes similaires mais non mentionnés originellement par l'utilisateur, ont vues le jour afin d'enrichir ces différents modèles.

3. Recherche sur le web (1 séance)
-----------------------------------------------
La toile (ou le web) est un entrepôt dynamique et distribué de documents qui, par sa taille, par le manque de supervision dans la génération et la suppression de documents, ainsi que par la diversité du type de ces derniers, rend la recherche bien plus difficile que la recherche traditionnelle effectuée sur des collections classiques. Les premiers moteurs de recherche sur la toile reproduisaient néanmoins directement les méthodes de RI classiques, le défi principal étant de gérer des index inversés de très grandes tailles. La prise en compte, vers la fin des années 90, d'une des caractéristiques essentielle du web, à  savoir les liens hypertexte reliant les documents entre eux, a permis, d'une part, de réaliser une meilleure indexation des pages web et, d'autre part, de donner un score de notoriété à  chaque page sur la base de la topologie de la toile. Cela a conduit à  la première génération des moteurs de recherche vraiment adaptés au web, dont Google fut le prototype. De nos jours, d'autres éléments sont pris en compte et les modèles utilisés reposent sur des techniques récentes d'apprentissage automatique.

4. Classification de documents. (4 séances)
------------------------------------------------------
Un système de classification de documents a pour but de catégoriser automatiquement une collection de documents suivant un ensemble de classes prédéfinies. Un exemple de tels systèmes est le catégoriseur de courriers électroniques incorporé dans la plupart des boîtes e-mails et qui place les courriers suspects automatiquement dans le dossier des courriers indésirables. Les systèmes de classification sont généralement conçus avec des techniques issues de l'apprentissage statistique et opèrent en deux phases. La première phase est la phase d'entraînement, lors de laquelle les paramètres du système sont réglés sur une base d'apprentissage contenant des documents avec leurs classes respectives. Durant cette phase le système apprend l'association entre les documents et leurs classes. C'est lors de la seconde phase, dite de test, que le système assigne une classe à  chaque nouveau document entrant. Habituellement, les paramètres des systèmes d'apprentissage sont mis à  jour périodiquement pendant le laps de temps où il n'y a pas de traitement à  faire sur des documents arrivant.

In this course we introduce the scientifics fundamentals of the most important tasks in Information Retrieval.

1. Indexing, representation and compression (2 lectures)
2. Information Retrieval (3 lectures)
3. Information Retrieval on the web (1 lecture)
4. Document classification (4 lectures)

Voir la page complète

Voir la page complète

Disposer d'un CV valorisant et communicant, avec modèle lettre de motivation simple, personnelle et efficace
Savoir écrire et mettre à jour sa page sur les réseaux sociaux professionnels,
Se préparer aux entretiens en connaissant le déroulé type et sa présentation orale personnelle
Déroulé d'un entretien

Voir la page complète

Différentes options sont proposées en anglais en Tronc Commun :

-  Préparation au TOEIC ou au BULATS
-  English for Today's World : l'anglais de l'actualité
-  America On Screen : étude de la société américaine à travers des films contemporains
-  International Business
-  Proficiency English : étude de la langue niveau avancé

According to each option

Voir la page complète

Voir la page complète

Objectifs : sensibilisation à  la conception logicielle (architecture) et la validation (tests)

Compétences visées :
  - représenter une architecture logicielle cohérente (dans un formalisme donné)
  - connaitre, savoir utiliser (en justifiant) des styles architecturaux
  - sensibilisation à  la validation d'une architecture par rapport à  des exigences
  - resituer le test dans un cycle de développement par rapport aux exigences
  - connaitre et savoir des techniques élémentaires de constructions de tests (structurelles et fonctionnelles)

Le cours se découpe en 2 parties : architecture et test.
1. Architecture
 - introduction : de l'importance de l'architecture dans la conception
 - représentation : différentes vues pour capturer l'architecture
 - conception : notion de style/patron et de techniques
 - validation : lien exigences-architecture; cohérences de vues.
2. Test
 - notion de faute, erreur, défaillance
 - notion de données de test vs oracle
 - méthodes de "test fonctionnel" (catégorie et partition)
 - méthodes de "test structurel" (notion de couverture du graphe de contrôle, def-use, ...)
 - outils de tests (couverture et drivers d'exécution)

Objectives: awareness of software design (architecture) and validation (tests)

Targeted skills :
   - represent a coherent software architecture (in a given formalism)
   - know, know how to use (justifying) architectural styles
   - awareness of the validation of an architecture with respect to requirements
   - put the test back into a development cycle in relation to the requirements
   - know and know basic techniques of test construction (structural and functional)

It is composed of two parts concerning both architectural design and validation by test.
1. Architecture
 - introduction
 - representation
 - design
 - validation
2. Test
 - fault/error/failure
 - test data and oracle
 - "black-box" testing methods
 - "white-box" testing methods
 - tools for testing

Voir la page complète

Objectifs:
- étude et apprentissage des technologies standards pour le développement et le déploiement des services IT (eCommerce, eGov, ...)

Compétences visées :
- maitriser les technologies de base de JavaEE pour le développement de services IT
- savoir déployer une service dans une infrastructure en nuage (cloud)
- savoir organiser le travail en équipe en temps limité

Le cours est un projet en équipe pendant lequel les 3 à  4 élèves ingénieurs, membres de l'équipe, apprennent la gestion de projet et les technologies JavaEE au travers de la réalisation d'un service IT. Le thème du service IT est laissé au choix des élèves. Des cours sont dispensés pour aider les élèves à  appréhender la conception du service, son développement avec les technologies JavaEE puis son déploiement et sa supervision dans des infrastructures hybrides en nuage (Amazon EC2 et Microsoft Azure).

- Gestion des Exigences
- Conception et Ergonomie de l'IHM web
- Conception du service aux technologies JavaEE (Servlet, JSP, AJAX, canevas MVC2, EJB)
- Déploiement et supervision sur un plateforme cloud computing hybride (Amazon EC2 et Microsoft Azure)
- Assurance Qualité (métriques logicielles, intégration continue...)
- Tests unitaires, Tests d'intégration, Tests de performance (benchmark)

Objectives:
- study and learning of standard technologies for the development and deployment of IT services (eCommerce, eGov, ...)

Targeted skills :
- master JavaEE's core technologies for the development of IT services
- know how to deploy a service in a cloud (cloud) infrastructure
- know how to organize team work in a limited time

This course aims to teach main technologies for the development and the deployment of ICT services on modern cloud computing platforms. The students are organized by teams of 3-4 members. The team specifies and develops an original ICT service with JavaEE and deploys it on a hybrid cloud computing platform (Amazon EC2 and Microsoft Azure).

- Requirement Engineering
- Design of a usable Web HMI
- IT service design and development with JavaEE (Servlet, JSP, AJAX, canvas MVC2, EJB)
- Deployment and supervision of the service of a hybrid cloud computing platform (Amazon EC2 and Microsoft Azure)
- Software Quality (Software metrics, Continuous Integration)
- Unit testing, Integration testing, Performance benchmarking

Voir la page complète

Voir la page complète

L'étude d'un système distribué est essentiellement l'étude d'un groupe de machine qui coopèrent en communicant par message, et cela malgré des pannes, soit de machines soit de canaux de communication. Comprendre et établir une coopération malgré des pannes est un défi qui vous emmènera au delà  de la programmation traditionnelle à  laquelle vous êtes habitué. Ce cours d'applications réparties vous permettra de maîtriser les concepts de la programmation distribuée au travers de l'étude de cas concrets de coopération dans un système distribué complexe qui illustrent à  la fois les possibilités, les difficultés, et les limites de l'algorithmique distribué.

- Introduction aux systèmes distribués par l'étude coopérative du prisonnier qui organisa la résistance initiale au travers des robots de service de l'établissement carcéral...
- Étude la notion de groupe de machines et de la coopération au sein d'un groupe. Maitrise des grands schémas de coopération tels que l'élection d'un leader, ordonner des tâches, ou encore contrôler l'accès à  des ressources.
- Étude de l'impacte des pannes et des solutions pour résister aux pannes. Nous étudierons l'introduction des pannes dans les architectures client/serveur et à  base de groupe. Nous nous focaliserons tout particulièrement sur la réplication qui permet de fournir des serveurs hautement disponibles.
- Étude de l'impacte du facteur d'échelle au travers de l'étude des fondamentaux des systèmes pair-à -pair.

- An introduction to distributed systems through the cooperative study of the prisonner that organizes the initial resistance exploiting the service droids of the prison building.
- We will study of the concept of a group of machines and their cooperation. We will master the fondamental patterns of distributed systems such as electing a leader, ordering tasks, or controling resource accesses.
- We will also study the impact of failures on distributed systems and various solutions to tolerate them. In particular, we will discuss the impacts of failures in the traditional client-server architecture as well as group-based systems. We will focus on replication techniques that permit to design and build fault-tolerant highly-available servers.
- We will also study the impacts of scale, up to millions of machines cooperating, through the fundamentals of peer-to-peer systems.

Voir la page complète

Objectifs : Présentation des principes théoriques et méthodes pratiques nécessaires à  la conception des interfaces utilisateur des systèmes interactifs. Ces principes et méthodes concernent deux domaines essentiels, la psychologie cognitive et le génie logiciel : principes ergonomiques, conception ergonomique, architectures logicielles des systèmes interactifs.

Compétences visées :
- Maîtrise des fondements conceptuels de l'Interaction Homme-Machine.
- Connaissance des notations et modèles de référence en Interaction Homme-Machine.
- 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.

1) Apports de la psychologie cognitive et modèles cognitifs
    - Modèle du processeur humain
    - Modèle ICS
    - Théorie de l'Action
2) Méthode de conception centrée utilisateur
    - Étapes de conception
    - Analyse de la tâche
    - Scénarios de conception
    - Propriétés des systèmes interactifs : robustesse et souplesse de l'interaction.
3) Mise en œuvre logicielle des systèmes interactifs : modèles d'architecture conceptuelle
    - Modèles de référence
    - Modèles multi-agent
    - Modèles hybrides
4) Travaux pratiques dédiés à  la réalisation logicielle de techniques d'interaction avancée, au-delà  des éléments graphiques fournis par une boîte à outils.

1) Models from cognitive psychology
   - Human Information Processor / ICS / Theory of Action
2) Design methods and their integration within Software Engineering life cycles
   - Steps of the user-centered design methods
   - Activity analysis
   - Task modeling: formalisms and notations
   - Design scenarios
   - Ergonomic properties: Interaction robustness and flexibility
3) Software design of interactive systems: software architecture modelling
   - Reference models / Multi-agent models / Hybrid models
4) The course will be complemented by practical software developments of advanced interactive techniques, going beyond the classical widgets defined by a toolkit.

Voir la page complète

Apprendre à analyser les besoins de sécurité du système d’information pour les communications et les applications réparties.
Introduction aux concepts, méthodes et outils de sécurisation du S.I.
Présenter les concepts et méthodes de base dans le domaine de la sécurisation en développant les solutions concrètes répondant à ces besoins

Voir la page complète

Voir la page complète

Apprendre à  analyser les besoins de sécurité du système d'information pour les communications et les applications réparties.
Introduction aux concepts, méthodes et outils de sécurisation du S.I.
Présenter les concepts et méthodes de base dans le domaine de la sécurisation en développant les solutions concrètes répondant à  ces besoins.

- Introduction
- Sécurité Réseau / Sécurité des échanges
- Sécurité  des Services / Applications
- Sécurité des Systèmes / Clients
- Mise en pratique / TP

Learn to analyze the information system security needs for communications and distributed applications.
Introduction to the concepts, methods and tools of securing the Information System.
Present the basic concepts and methods in the field of security by developing concrete solutions to meet these needs.

- Introduction
- Network and Exchanges Security
- Services and Applications Security
- Systems and Clients Security
- Lab sessions

Voir la page complète

Apporter une meilleure compréhension des réseaux de l'Internet des Objets au WiFi.

Mobilité :
Ce cours s'intéresse aux réseaux mobiles en général et aborde tout d'abord la transmission d'informations sur réseaux sans fil (notions de propagation, modulation, contrôle d'accès), pour les illustrer ensuite au moyen d'un gros plan sur la technologie WiFi, et  plus succinctement les réseaux LTE. Le cours continue alors avec la gestion de la mobilité logique et physique au sein d'IP (protocole "Mobil" IPv6"). Il se finit avec une présentation des services de diffusion fiable de contenus numériques (vidéos par exemple) à  très large échelle que l'on trouve sur les réseaux de téléphonie mobile, avec un gros plan sur les codes correcteurs "d'effacements" qui en sont une pièce maitresse.

Réseau de capteurs sans fils :
Cette partie présente les réseaux de capteurs.

Hardware et architecture :
Couche physique: sans fil et CPL
Couche MAC: state of art
Couche réseau: 6lowPAN, RPL, ...
Outils, CoAp, ZigBee, ...
Applications

WiFi :
Cette partie présente le protocole WiFi et est accompagné d'un TP.
Interventions

Bring a better understanding of networks, from Internet of Things to WiFi.

Mobility:
This course focuses on mobile networks in general and first addresses the transmission of information over wireless networks (notions of propagation, modulation, access control), to illustrate them with a close-up on WiFi technology, and more succinctly LTE networks. The course then continues with the management of logical and physical mobility within IP ("IPv6 Mobile" protocol) and ends with a presentation of the services of reliable diffusion of digital contents (videos for example) on a very large scale. found on the mobile phone networks, with a focus on the correcting codes which are a key part of them.

Wireless sensor network: This part presents the sensor networks.
Hardware and architecture
WiFi

Voir la page complète

Développer une expérience pratique de l'utilisation des réseaux.
Séminaire industriel et R&D sur les technologies de pointes.

Travaux pratiques sur :
- SNMP
- BGP
- OSPF
- SMTP
- WiFi
- Wireless Sensor Networks

Develop a hands-on experience of using networks.
Industrial and R & D seminar on advanced technologies.

Labs sessions on:
- SNMP
- BGP
- OSPF
- SMTP
- WiFi
- Wireless Sensor Networks

Voir la page complète

Voir la page complète

Comprendre le fonctionnement :
- des protocoles SNMP, BGP, OSPF, SMTP
- du cloud Grid5000 pour le HPC
- des systèmes distribués de Machines Virtuelles Systèmes

Understand:
- SNMP, BGP, OSPF, SMTP protocols
- Grid5000 cloud for HPC
- distributed systems of Virtual Machines Systems

Voir la page complète

Synthétiser, évaluer et savoir présenter une technologie, une spécification, une tendance dans les domaines  de la filière Informatique.

Dans votre futur vie d'ingénieur, vous aurez à  d'une part, vous former par vous-même sur une technologie émergente et d'autre part à  réaliser une veille technologique (et stratégique) par rapport à  votre entreprise et projet. Il s'agira de réaliser le positionnement par rapport au marché et d'être critique.

Votre synthèse fait l'objet d'une présentation orale convaincante devant un auditoire (dans le futur, vos collègues, vos chefs ou vos clients) avec des transparents et un discours répété. Pour finir de convaincre, vous ferez la présentation d'une démonstration.
Les sujets des études sont renouvelées chaque année. La liste des sujets déjà  traités est disponible ici http://air.imag.fr/mediawiki/index.php/EA2012

Synthesize, evaluate and know how to present a technology, a specification, a trend in the fields of the IT sector.

In your future engineering life, you will have on one hand, to train yourself on an emerging technology and on the other hand to make a technological (and strategic) watch in relation with your company and projects.

Your synthesis is the subject of a compelling oral presentation to an audience (in the future, your colleagues, your bosses or your clients) with slides and a repeated speech. Finally, you will make the presentation of a demonstration.
The topics are renewed every year. The list of topics already treated is available here http://air.imag.fr/mediawiki/index.php/EA2012

Voir la page complète

Voir la page complète

Le stage d'année 5 d'une durée de cinq mois constitue une véritable première expérience du métier d'ingénieur.

The five-month 5th year internship is a real first experience of the engineering profession.

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Disposer d'un CV valorisant et communicant, avec modèle lettre de motivation simple, personnelle et efficace
Savoir écrire et mettre à jour sa page sur les réseaux sociaux professionnels,
Se préparer aux entretiens en connaissant le déroulé type et sa présentation orale personnelle
Déroulé d'un entretien

Voir la page complète

Différentes options sont proposées en anglais en Tronc Commun :

-  Préparation au TOEIC ou au BULATS
-  English for Today's World : l'anglais de l'actualité
-  America On Screen : étude de la société américaine à travers des films contemporains
-  International Business
-  Proficiency English : étude de la langue niveau avancé

According to each option

Voir la page complète

Voir la page complète

Objectifs : sensibilisation à  la conception logicielle (architecture) et la validation (tests)

Compétences visées :
  - représenter une architecture logicielle cohérente (dans un formalisme donné)
  - connaitre, savoir utiliser (en justifiant) des styles architecturaux
  - sensibilisation à  la validation d'une architecture par rapport à  des exigences
  - resituer le test dans un cycle de développement par rapport aux exigences
  - connaitre et savoir des techniques élémentaires de constructions de tests (structurelles et fonctionnelles)

Le cours se découpe en 2 parties : architecture et test.
1. Architecture
 - introduction : de l'importance de l'architecture dans la conception
 - représentation : différentes vues pour capturer l'architecture
 - conception : notion de style/patron et de techniques
 - validation : lien exigences-architecture; cohérences de vues.
2. Test
 - notion de faute, erreur, défaillance
 - notion de données de test vs oracle
 - méthodes de "test fonctionnel" (catégorie et partition)
 - méthodes de "test structurel" (notion de couverture du graphe de contrôle, def-use, ...)
 - outils de tests (couverture et drivers d'exécution)

Objectives: awareness of software design (architecture) and validation (tests)

Targeted skills :
   - represent a coherent software architecture (in a given formalism)
   - know, know how to use (justifying) architectural styles
   - awareness of the validation of an architecture with respect to requirements
   - put the test back into a development cycle in relation to the requirements
   - know and know basic techniques of test construction (structural and functional)

It is composed of two parts concerning both architectural design and validation by test.
1. Architecture
 - introduction
 - representation
 - design
 - validation
2. Test
 - fault/error/failure
 - test data and oracle
 - "black-box" testing methods
 - "white-box" testing methods
 - tools for testing

Voir la page complète

Objectifs:
- étude et apprentissage des technologies standards pour le développement et le déploiement des services IT (eCommerce, eGov, ...)

Compétences visées :
- maitriser les technologies de base de JavaEE pour le développement de services IT
- savoir déployer une service dans une infrastructure en nuage (cloud)
- savoir organiser le travail en équipe en temps limité

Le cours est un projet en équipe pendant lequel les 3 à  4 élèves ingénieurs, membres de l'équipe, apprennent la gestion de projet et les technologies JavaEE au travers de la réalisation d'un service IT. Le thème du service IT est laissé au choix des élèves. Des cours sont dispensés pour aider les élèves à  appréhender la conception du service, son développement avec les technologies JavaEE puis son déploiement et sa supervision dans des infrastructures hybrides en nuage (Amazon EC2 et Microsoft Azure).

- Gestion des Exigences
- Conception et Ergonomie de l'IHM web
- Conception du service aux technologies JavaEE (Servlet, JSP, AJAX, canevas MVC2, EJB)
- Déploiement et supervision sur un plateforme cloud computing hybride (Amazon EC2 et Microsoft Azure)
- Assurance Qualité (métriques logicielles, intégration continue...)
- Tests unitaires, Tests d'intégration, Tests de performance (benchmark)

Objectives:
- study and learning of standard technologies for the development and deployment of IT services (eCommerce, eGov, ...)

Targeted skills :
- master JavaEE's core technologies for the development of IT services
- know how to deploy a service in a cloud (cloud) infrastructure
- know how to organize team work in a limited time

This course aims to teach main technologies for the development and the deployment of ICT services on modern cloud computing platforms. The students are organized by teams of 3-4 members. The team specifies and develops an original ICT service with JavaEE and deploys it on a hybrid cloud computing platform (Amazon EC2 and Microsoft Azure).

- Requirement Engineering
- Design of a usable Web HMI
- IT service design and development with JavaEE (Servlet, JSP, AJAX, canvas MVC2, EJB)
- Deployment and supervision of the service of a hybrid cloud computing platform (Amazon EC2 and Microsoft Azure)
- Software Quality (Software metrics, Continuous Integration)
- Unit testing, Integration testing, Performance benchmarking

Voir la page complète

Voir la page complète

L'étude d'un système distribué est essentiellement l'étude d'un groupe de machine qui coopèrent en communicant par message, et cela malgré des pannes, soit de machines soit de canaux de communication. Comprendre et établir une coopération malgré des pannes est un défi qui vous emmènera au delà  de la programmation traditionnelle à  laquelle vous êtes habitué. Ce cours d'applications réparties vous permettra de maîtriser les concepts de la programmation distribuée au travers de l'étude de cas concrets de coopération dans un système distribué complexe qui illustrent à  la fois les possibilités, les difficultés, et les limites de l'algorithmique distribué.

- Introduction aux systèmes distribués par l'étude coopérative du prisonnier qui organisa la résistance initiale au travers des robots de service de l'établissement carcéral...
- Étude la notion de groupe de machines et de la coopération au sein d'un groupe. Maitrise des grands schémas de coopération tels que l'élection d'un leader, ordonner des tâches, ou encore contrôler l'accès à  des ressources.
- Étude de l'impacte des pannes et des solutions pour résister aux pannes. Nous étudierons l'introduction des pannes dans les architectures client/serveur et à  base de groupe. Nous nous focaliserons tout particulièrement sur la réplication qui permet de fournir des serveurs hautement disponibles.
- Étude de l'impacte du facteur d'échelle au travers de l'étude des fondamentaux des systèmes pair-à -pair.

- An introduction to distributed systems through the cooperative study of the prisonner that organizes the initial resistance exploiting the service droids of the prison building.
- We will study of the concept of a group of machines and their cooperation. We will master the fondamental patterns of distributed systems such as electing a leader, ordering tasks, or controling resource accesses.
- We will also study the impact of failures on distributed systems and various solutions to tolerate them. In particular, we will discuss the impacts of failures in the traditional client-server architecture as well as group-based systems. We will focus on replication techniques that permit to design and build fault-tolerant highly-available servers.
- We will also study the impacts of scale, up to millions of machines cooperating, through the fundamentals of peer-to-peer systems.

Voir la page complète

Objectifs : Présentation des principes théoriques et méthodes pratiques nécessaires à  la conception des interfaces utilisateur des systèmes interactifs. Ces principes et méthodes concernent deux domaines essentiels, la psychologie cognitive et le génie logiciel : principes ergonomiques, conception ergonomique, architectures logicielles des systèmes interactifs.

Compétences visées :
- Maîtrise des fondements conceptuels de l'Interaction Homme-Machine.
- Connaissance des notations et modèles de référence en Interaction Homme-Machine.
- 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.

1) Apports de la psychologie cognitive et modèles cognitifs
    - Modèle du processeur humain
    - Modèle ICS
    - Théorie de l'Action
2) Méthode de conception centrée utilisateur
    - Étapes de conception
    - Analyse de la tâche
    - Scénarios de conception
    - Propriétés des systèmes interactifs : robustesse et souplesse de l'interaction.
3) Mise en œuvre logicielle des systèmes interactifs : modèles d'architecture conceptuelle
    - Modèles de référence
    - Modèles multi-agent
    - Modèles hybrides
4) Travaux pratiques dédiés à  la réalisation logicielle de techniques d'interaction avancée, au-delà  des éléments graphiques fournis par une boîte à outils.

1) Models from cognitive psychology
   - Human Information Processor / ICS / Theory of Action
2) Design methods and their integration within Software Engineering life cycles
   - Steps of the user-centered design methods
   - Activity analysis
   - Task modeling: formalisms and notations
   - Design scenarios
   - Ergonomic properties: Interaction robustness and flexibility
3) Software design of interactive systems: software architecture modelling
   - Reference models / Multi-agent models / Hybrid models
4) The course will be complemented by practical software developments of advanced interactive techniques, going beyond the classical widgets defined by a toolkit.

Voir la page complète

Apprendre à analyser les besoins de sécurité du système d’information pour les communications et les applications réparties.
Introduction aux concepts, méthodes et outils de sécurisation du S.I.
Présenter les concepts et méthodes de base dans le domaine de la sécurisation en développant les solutions concrètes répondant à ces besoins

Voir la page complète

Voir la page complète

Voir la page complète

Synthétiser, évaluer et savoir présenter une technologie, une spécification, une tendance dans les domaines  de la filière Informatique.

Dans votre futur vie d'ingénieur, vous aurez à  d'une part, vous former par vous-même sur une technologie émergente et d'autre part à  réaliser une veille technologique (et stratégique) par rapport à  votre entreprise et projet. Il s'agira de réaliser le positionnement par rapport au marché et d'être critique

Votre synthèse fait l'objet d'une présentation orale convaincante devant un auditoire (dans le futur, vos collègues, vos chefs ou vos clients) avec des transparents et un discours répété. Pour finir de convaincre, vous ferez la présentation d'une démonstration.
Les sujets des études sont renouvelées chaque année. La liste des sujets déjà  traités est disponible ici http://air.imag.fr/mediawiki/index.php/EA2012

Synthesize, evaluate and know how to present a technology, a specification, a trend in the fields of RICM.

In your future engineering life, you will have on one hand, to train yourself on an emerging technology and on the other hand to make a technological (and strategic) watch in relation with your company and projects.

Your synthesis is the subject of a compelling oral presentation to an audience (in the future, your colleagues, your bosses or your clients) with slides and a repeated speech. Finally, you will make the presentation of a demonstration.
The topics are renewed every year. The list of topics already treated is available here http://air.imag.fr/mediawiki/index.php/EA2012

Voir la page complète

Voir la page complète

Objectifs :  Présentation d'éléments de conception et de réalisation de systèmes interactifs multimodaux et sur supports mobiles, permettant à  un utilisateur de communiquer avec des systèmes selon plusieurs voies (par exemple, la parole et le geste) et des systèmes interactifs sur supports mobiles comme un iPhone.  Pour l'interaction multimodale et sur supports mobiles, le cours concerne la conception ergonomique. La multi-modalité est présentée comme un vecteur intégrateur de nombreuses techniques d'interaction innovantes comme les interfaces tangibles, manipulables (Embodied User Interface), les interfaces sur supports mobiles.

Compétences visées    :
-    Connaissance des paradigmes d'interaction autre que les interfaces graphiques
-    Connaissance des principes de conception en interaction mobile et multimodale

1) Introduction : Mobilité 
    - Taxonomie - Domaine  Définitions - Enjeux
2)  Introduction Multi-modalité
    - Définitions - Enjeux
3)  Exemples 
    - Domaines d'application - Techniques d'interaction multimodale
4)  Conception
    - Espaces de conception
    - Acteurs et critères de la sélection des modalités
    - Caractérisation d'une modalité
    - Composition des modalités
    - Règles heuristiques de conception
5) Projet : Conception, développement et évaluation d'une extension multimodale et mobile du projet ECOM de commerce électronique.

Objectives: Presentation of elements of design and realization of multimodal and mobile interactive systems, allowing a user to communicate with systems in several ways (for example, speech and gesture) and interactive systems on mobile devices such as an iPhone. For multimodal interaction and mobile media, the course is about ergonomic design. Multimodality is presented as a vector of many innovative interaction techniques such as tangible interfaces (Embodied User Interface), interfaces on mobile media.

Skills targeted:
- Knowledge of interaction paradigms other than graphic interfaces
- Knowledge of design principles in mobile and multimodal interaction

1)  Introduction: Mobile interaction
    - Taxonomy - Domain -Terminology - Challenges
2)  Introduction: Multimodal interaction
   - Terminology - Challenges
3) Examples of interactive systems
  -  Application domains and interaction techniques
4) Design
   - Underlying concepts and design spaces
   - Actor of the selection of modalities and selection criteria
   - Characteristic of a modality
   - Composition of modalities
   - Rules of thumb, heuristics
5) Project: Design, development and evaluation of a multimodal/mobile version of the ECOM project (e-commerce).

Voir la page complète

La visualisation de données a pour but de permettre par l'image une compréhension intuitive de données complexes provenant de simulations ou d'observations. Auparavant réservée à  des domaines spécialisés relevant de l’ingénierie, de l'imagerie médicale ou de la conception industrielle; elle s'ouvre depuis peu à  des applications grand public avec la mise à  disposition libre de données notamment environnementales. L'objectif de ce cours est de décrire le cadre et les méthodes principales mises en œuvre pour la visualisation de données. Les travaux pratiques permettent d'illustrer très concrètement les techniques présentées en cours. Un projet pratique plus ambitieux portant  sur la visualisation de données provenant de l'observatoire air Rhône-Alpes sera développé.

- Introduction à la visualisation
- Classification et représentation des données
- Représentation multi-résolution des données
- Techniques de surfaces isovaleurs
- Visualisation volumique directe
- Visualisation de données dispersées
- Visualisation de champs de vecteur

The goal of data visualization is to provide an intuitive understanding of complex data from simulations or observations. Previously reserved to specialized areas related to engineering, medical imaging or industrial design; it has recently opened up to mainstream applications with the free provision of data, particularly environmental data. The objective of this course is to describe the framework and the main methods implemented for data visualization. The practical work allows to illustrate very concretely the techniques presented in class. A more ambitious practical project on the visualization of data from the Rhone-Alpes air observatory will be developed.

- Introduction to visualization
- Classification and representation of data
- Multiresolution modeling
- Isosurface techniques
- Direct volume rendering
- Scattered data visualization
- Vector field visualization

Voir la page complète

Voir la page complète

Le stage d'année 5 d'une durée de cinq mois constitue une véritable première expérience du métier d'ingénieur.

The five-month 5th year internship is a real first experience of the engineering profession.

Voir la page complète

Voir la page complète

Voir la page complète