Parcours Cybersecurity

This course is an introduction to the main concepts of object-oriented programming, elaborated on C++. It mainly considers: Basics on classes, instances, constructors and destructors, aggregation. Memory management, pointers, references. Operator overloading. Genericity, template classes. STL (Standard Template Library) objects. Inheritance, polymorphism. The objective of this course is to present the computer sciences basics useful for applied mathematics.

Voir la page complète

Give an overview of modelling using partial differential equations.

Types of equations, conservation laws

Finite differences methods

Laplace equation

Parabolic equations (diffusion)

Hyperbolic equations (propagation)

Non linear hyperbolic equations

This course include practical sessions.

Voir la page complète

Voir la page complète

Voir la page complète

The aim of this course is to provide the basics mathematical tools and methods of image processing and applications.

Image definition Fourier transform, FFT, applications Image digitalisation, sampling Image processing: convolution, filtering. Applications Image decomposition, multiresolution. Application to compression This course includes practical sessions.

Voir la page complète

This course is an introduction to the differential geometry of curves and surfaces with a particular focus on spline curves and surfaces that are routinely used in geometrical design softwares.

Differential geometry of curves

Approximation of curves with splines, Bézier and spline curves, algorithms,…

Differential geometry of surfaces, metric and curvature properties,…

This course includes practical sessions.

Voir la page complète

Voir la page complète

The aim of this course is to provide basic knowledge of applied probability and an introduction to mathematical statistics.

Applied probability

Estimation (parameter)

Sample comparison

Statistical tests

This course includes practical sessions.

Voir la page complète

Ce cours présente des manières géométriques de traiter et résoudre des problèmes décrits par des équations différentielles.

        - chapitre I : Introduction : généralités sur les systèmes dynamiques

        - chapitre II : Systèmes unidimensionnels : Les points fixes, linéarisation et stabilité, Exemple : le modèle logistique, Existence et unicité des solutions d'équations différentielles ordinaires

        - chapitre III :  Bifurcations : Bifurcation selle-nœud, Bifurcation transcritique, Bifurcation transcritique imparfaite, Bifurcation fourche, Bifurcation fourche supercritique, Bifurcation fourche sous-critique, Bifurcation fourche supercritique imparfaite

        - chapitre IV :  Champ de vecteur sur un cercle : Oscillateur uniforme, Oscillateur non-uniforme

        - chapitre V : Flots bidimensionnels et applications : Existence et unicité des solutions et conséquences topologiques, Systèmes linéaires, Systèmes non-linéaires : linéarisation proche des points fixes, Cycles limites, Le théorème de Poincaré-Bendixson, Systèmes Liénard, Systèmes gradients, Fonctions de Liapunov

        - chapitre VI : Bifurcations bidimensionnelles : Bifurcations selle-nœud, transcritique et fourche, Bifurcation de Hopf, Bifurcations globales de cycles

Voir la page complète

This course presents basic notions on instabilities and turbulence. We try to be as progressive as possible and to base our presentation on analyses of real experiments and real flows. We review few mathematical methods to analyze nonlinear systems in terms of instabilities. The students have to use their new knowledge to run and analyze numerical simulations of very simple systems. We then study some of the most important physical mechanisms for fluid instabilities and the corresponding criteria. We quickly present a zoology of common fluid instabilities and discuss the mechanisms and the possible technical implications. We give a broad introduction on turbulence and describe few fundamental methods and results, in particular the Richardson cascade, the Reynolds decomposition and the Kolmogorov spectra.

Teaching program:

1. General introduction

- Instabilities and turbulence, interest?

- Reynolds experiment and Reynolds number

- Incompressible Navier-Stokes equations: diffusion and advection

- An example: the wake of a cylinder

2. Instabilities and transition to turbulence

- Systems with few degrees of freedom

- Fluid instability mechanisms and conditions

- Other flows examples

3. Effects of variable density

- Boussinesq approximation

- Unstable stratification, Rayleigh-Taylor instability

- Rayleigh-Benard instability (Ra, Nu)

- Stable stratification, Kelvin-Helmoltz instability and Richardson number

4. Turbulence

- Introduction, Richardson cascade

- Average and Reynolds decomposition

- Experimental and numerical methods to study turbulence

- Statistical descriptions

For this course, the students have to write in LaTeX a report on their practical work. Thus, we spent some time for a first gentle introduction of this tool widely used in scientific academia.

Voir la page complète

Ce module est une introduction à la turbulence phénoménologique et statistique. On s’intéresse aux définitions et propriétés de la turbulence en terme de processus physiques et leur description dans des familles types d’écoulements cisaillés que l’on peut retrouver dans la nature et en ingénierie.

jet turbulent
jet turbulent

Voir la page complète

The aim of this course is to give an introduction to numerical and computing problematics of large dimension problems.

Contents:

• Introduction to database
• Introduction to big data
• Introduction to high performance computing (HPC)
• Numerical solvers for HPC

Voir la page complète

Introduction to high performance computinb (HPC)

Numerical solvers for HPC

Voir la page complète

Introduction to database

Introduction to big data

Voir la page complète

January science and/or industrial project.

Voir la page complète

Industrial and/or research internship.

The students have to do an internship (of at least 8 weeks from mid May to end of August, see the planning) in a company or in a laboratory. No report is required (except for Ensimag students that follow the double diploma, who have to give a report to ensimag).

Voir la page complète

This program combines case studies coming from real life problems or models and lectures providing the mathematical and numerical backgrounds.

Contents:

• Introduction, classification, examples.
• Theoretical results: convexity and compacity, optimality conditions, KT theorem
• Algorithmic for unconstrained optimisation (descent, line search, (quasi) Newton)
• Algorithms for non differentiable problems
• Algorithms for constrained optimisation: penalisatio, SQP methods
• Applications

Voir la page complète

The main objective of this course is to provide basics tools in operations research

- Contents

What is OR?
Linear Programming
Duality
Mixed Integer Programming
Dynamic programming
Constraint Programming
Complexity theory and Scheduling

Voir la page complète

Skills

• Recognize a situation where Operations Research is relevant.
• Know the main tools of Operations Research.
• Have the methodological elements to choose the solution methods and the tools the most adapted for a given practical problem.
• Know how to manipulate the software tools to solve a discrete optimization problem.

The course covers various topics:

• Linear Programming (modelling, solving, duality)
• Mixed Integer Linear Programming (modelling techniques, solving with Branch and Bound)
• Dynamic Programming
• Bonus (riddles, elsewhere on the web, OR News)

More details : https://moodle.caseine.org/course/view.php?id=42

Voir la page complète

In this part, we will investigate in more details some mathematical notions related to operations research. We will focus on three aspects: Spectral graph theory, Game theory, and Numerical Optimal transport. For each of these themes, we will see how these theoretical results relate to practical operations research problem and finally illustrate them numerically in Python.

Voir la page complète

The aim of this course is to give mathematical grounds of security, integrity, authentication and cryptology.

Course

1. Binary encoding of information
2. Zn* group, field theory
3. Symmetric cryptography
4. Asymmetric cryptography, RSA
5. Hash, DSA
6. Lossless compression
7. Error correcting codes
8. Linear codes
9. Cyclic codes

This course include practical sessions.

Voir la page complète

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

Voir la page complète

Voir la page complète

The aim of this course is to give mathematical grounds and algorithms for the modelling, animation, and synthesis of images.

Content

1. Projective rendering methods
2. Animation, cinematic methods
3. Geometrical modelling, 3D, deformation
4. Case study
5. This course include practical sessions. Implementation using OpenGL.

Voir la page complète

Computer Graphics covers the set of techniques enabling the synthesis of animated virtual worlds. The applications range from entertainment (special effects, 3D feature films, video games), to industrial design (modelling and visualizing prototypes) and virtual reality (flight simulator, interactive walk-trough). This course introduces the domain by presenting the bases for the creation of 3D models, their animation, and the rendering of the corresponding 3D scene. Student will be invited to practice through programming exercises in OpenGL.

Voir la page complète

Voir la page complète

Voir la page complète

Ce cours a deux objectifs principaux: 

1- Fournir un panorama assez vaste des applications de la dynamique des fluides neutres (hydrodynamique ou HD) en astrophysique. Seront ainsi abordés:

- l’équilibre des systèmes auto-gravitants, l’effondrement gravitationnel et la formation des disques circumstellaires

- les écoulements supersoniques et points critiques associés, la formation des chocs et ondes de détonation (supernovae)    

- la théorie des disques d’accrétion turbulents autour des trous noirs et des étoiles en formation

2- Fournir les hypothèses et les équations maitresses de la magnéto-hydrodynamique (ou MHD), qui est une description monofluide des plasmas. Quelques applications astrophysiques seront ensuite abordées:
 - ondes magnétiques d'Alfven et magnétosoniques    

- bouclier magnétique s’opposant à l’effondrement des nuages

Nous aborderons également, en fin de cours, ce qui est la certainement l’expérience de physique la plus longue de l’humanité, aux conséquences potentiellement majeures sur le devenir de nos sociétés, à savoir la production d’énergie électrique par fusion thermonucléaire contrôlée (ITER et autres machines à confinement magnétique).  

Au-delà de la compréhension nouvelle de certains phénomènes en astrophysique, ce cours illustre la puissance descriptive des plasmas (ici HD ou MHD). A l'issue de ce cours, des concepts avancés tels que les caractéristiques dans des écoulements hyperboliques, les méthodes perturbatives dans des régimes complexes, la turbulence ou encore les ondes dans des milieux inhomogènes auront été abordés.  

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

The aim of this course is to get deep knowledge of PDE modelling and their numerical resolution, in particular using variational methods such as the Finite Elements method.

Content

1. Introduction to modelling with examples.
2. Boundary problem in 1D, variational formulation, Sobolev spaces.
3. Stationary problem, elliptic equations.
4. Finite element method: algorithm, errors…
5. Evolution models, parabolic equations, splitting methods
6. Extensions and applications, FreeFEM++

This course include practical sessions.

Voir la page complète

The aim of this course is to get deep knowledge of PDE modelling and their numerical resolution, in particular using variational methods such as the Finite Elements method.

Course contents:

• Introduction to modelling with examples.
• Boundary problem in 1D, variational formulation, Sobolev spaces.
• Stationary problem, elliptic equations.
• Finite element method: algorithm, errors…
• Evolution models, parabolic equations, splitting methods
• Extensions and applications, FreeFEM++

This course include practical sessions.

This is a two parts course:

1. Course mutualized with Ensimag 2A 4MMMVAM (head: Emmanuel Maitre)
2. MSIAM specific course (in-depth and practical session) (head: Clément Jourdana)

A description of the course is available here

Voir la page complète

Voir la page complète

This course is an introduction to the main concepts of object-oriented programming, elaborated on C++. It mainly considers: Basics on classes, instances, constructors and destructors, aggregation. Memory management, pointers, references. Operator overloading. Genericity, template classes. STL (Standard Template Library) objects. Inheritance, polymorphism. The objective of this course is to present the computer sciences basics useful for applied mathematics.

Voir la page complète

Give an overview of modelling using partial differential equations.

Types of equations, conservation laws

Finite differences methods

Laplace equation

Parabolic equations (diffusion)

Hyperbolic equations (propagation)

Non linear hyperbolic equations

This course include practical sessions.

Voir la page complète

Voir la page complète

Voir la page complète

The aim of this course is to provide the basics mathematical tools and methods of image processing and applications.

Image definition Fourier transform, FFT, applications Image digitalisation, sampling Image processing: convolution, filtering. Applications Image decomposition, multiresolution. Application to compression This course includes practical sessions.

Voir la page complète

This course is an introduction to the differential geometry of curves and surfaces with a particular focus on spline curves and surfaces that are routinely used in geometrical design softwares.

Differential geometry of curves

Approximation of curves with splines, Bézier and spline curves, algorithms,…

Differential geometry of surfaces, metric and curvature properties,…

This course includes practical sessions.

Voir la page complète

The aim of this course is to provide basic knowledge of applied probability and an introduction to mathematical statistics.

Applied probability

Estimation (parameter)

Sample comparison

Statistical tests

This course includes practical sessions.

Voir la page complète

Voir la page complète

The aim of this course is to give an introduction to numerical and computing problematics of large dimension problems.

Contents:

• Introduction to database
• Introduction to big data
• Introduction to high performance computing (HPC)
• Numerical solvers for HPC

Voir la page complète

Introduction to high performance computinb (HPC)

Numerical solvers for HPC

Voir la page complète

Introduction to database

Introduction to big data

Voir la page complète

January science and/or industrial project.

Voir la page complète

This program combines case studies coming from real life problems or models and lectures providing the mathematical and numerical backgrounds.

Contents:

• Introduction, classification, examples.
• Theoretical results: convexity and compacity, optimality conditions, KT theorem
• Algorithmic for unconstrained optimisation (descent, line search, (quasi) Newton)
• Algorithms for non differentiable problems
• Algorithms for constrained optimisation: penalisatio, SQP methods
• Applications

Voir la page complète

Voir la page complète

The aim of this course is to give mathematical grounds of security, integrity, authentication and cryptology.

Course

1. Binary encoding of information
2. Zn* group, field theory
3. Symmetric cryptography
4. Asymmetric cryptography, RSA
5. Hash, DSA
6. Lossless compression
7. Error correcting codes
8. Linear codes
9. Cyclic codes

This course include practical sessions.

Voir la page complète

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

Voir la page complète

Voir la page complète

The main objective of this course is to provide basics tools in operations research

- Contents

What is OR?
Linear Programming
Duality
Mixed Integer Programming
Dynamic programming
Constraint Programming
Complexity theory and Scheduling

Voir la page complète

Skills

• Recognize a situation where Operations Research is relevant.
• Know the main tools of Operations Research.
• Have the methodological elements to choose the solution methods and the tools the most adapted for a given practical problem.
• Know how to manipulate the software tools to solve a discrete optimization problem.

The course covers various topics:

• Linear Programming (modelling, solving, duality)
• Mixed Integer Linear Programming (modelling techniques, solving with Branch and Bound)
• Dynamic Programming
• Bonus (riddles, elsewhere on the web, OR News)

More details : https://moodle.caseine.org/course/view.php?id=42

Voir la page complète

In this part, we will investigate in more details some mathematical notions related to operations research. We will focus on three aspects: Spectral graph theory, Game theory, and Numerical Optimal transport. For each of these themes, we will see how these theoretical results relate to practical operations research problem and finally illustrate them numerically in Python.

Voir la page complète

The aim of this course is to give mathematical grounds and algorithms for the modelling, animation, and synthesis of images.

Content

1. Projective rendering methods
2. Animation, cinematic methods
3. Geometrical modelling, 3D, deformation
4. Case study
5. This course include practical sessions. Implementation using OpenGL.

Voir la page complète

Computer Graphics covers the set of techniques enabling the synthesis of animated virtual worlds. The applications range from entertainment (special effects, 3D feature films, video games), to industrial design (modelling and visualizing prototypes) and virtual reality (flight simulator, interactive walk-trough). This course introduces the domain by presenting the bases for the creation of 3D models, their animation, and the rendering of the corresponding 3D scene. Student will be invited to practice through programming exercises in OpenGL.

Voir la page complète

Voir la page complète

Voir la page complète

Ce cours a deux objectifs principaux: 

1- Fournir un panorama assez vaste des applications de la dynamique des fluides neutres (hydrodynamique ou HD) en astrophysique. Seront ainsi abordés:

- l’équilibre des systèmes auto-gravitants, l’effondrement gravitationnel et la formation des disques circumstellaires

- les écoulements supersoniques et points critiques associés, la formation des chocs et ondes de détonation (supernovae)    

- la théorie des disques d’accrétion turbulents autour des trous noirs et des étoiles en formation

2- Fournir les hypothèses et les équations maitresses de la magnéto-hydrodynamique (ou MHD), qui est une description monofluide des plasmas. Quelques applications astrophysiques seront ensuite abordées:
 - ondes magnétiques d'Alfven et magnétosoniques    

- bouclier magnétique s’opposant à l’effondrement des nuages

Nous aborderons également, en fin de cours, ce qui est la certainement l’expérience de physique la plus longue de l’humanité, aux conséquences potentiellement majeures sur le devenir de nos sociétés, à savoir la production d’énergie électrique par fusion thermonucléaire contrôlée (ITER et autres machines à confinement magnétique).  

Au-delà de la compréhension nouvelle de certains phénomènes en astrophysique, ce cours illustre la puissance descriptive des plasmas (ici HD ou MHD). A l'issue de ce cours, des concepts avancés tels que les caractéristiques dans des écoulements hyperboliques, les méthodes perturbatives dans des régimes complexes, la turbulence ou encore les ondes dans des milieux inhomogènes auront été abordés.  

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

The aim of this course is to get deep knowledge of PDE modelling and their numerical resolution, in particular using variational methods such as the Finite Elements method.

Content

1. Introduction to modelling with examples.
2. Boundary problem in 1D, variational formulation, Sobolev spaces.
3. Stationary problem, elliptic equations.
4. Finite element method: algorithm, errors…
5. Evolution models, parabolic equations, splitting methods
6. Extensions and applications, FreeFEM++

This course include practical sessions.

Voir la page complète

The aim of this course is to get deep knowledge of PDE modelling and their numerical resolution, in particular using variational methods such as the Finite Elements method.

Course contents:

• Introduction to modelling with examples.
• Boundary problem in 1D, variational formulation, Sobolev spaces.
• Stationary problem, elliptic equations.
• Finite element method: algorithm, errors…
• Evolution models, parabolic equations, splitting methods
• Extensions and applications, FreeFEM++

This course include practical sessions.

This is a two parts course:

1. Course mutualized with Ensimag 2A 4MMMVAM (head: Emmanuel Maitre)
2. MSIAM specific course (in-depth and practical session) (head: Clément Jourdana)

A description of the course is available here

Voir la page complète

Voir la page complète

I. Compléments sur les anneaux

1. Groupe des éléments inversibles. (ℤ/nℤ)^∗, fonction d’Euler. Éléments irréductibles et éléments premiers. Pgcd et ppcm.
2. Notion d’algèbre. Algèbre des polynômes en n indéterminées. Polynômes symétriques. Liens entre coefficients et racines d’un polynôme. En TD : séries formelles en une variable. Corps des fractions d’un anneau intègre.
3. Anneaux noethériens, théorème de la base de Hilbert.
4. Anneaux factoriels. Lemme de Gauss et lemme d'Euclide. Exemple : les anneaux principaux. Théorème de Gauss sur A[X], pour A factoriel. Polynômes irréductibles, critères d’irréductibilité sur A factoriel (Eisenstein, etc.).

II. Corps (les corps considérés sont commutatifs)

1. Extensions de corps, degrés, multiplicité. Éléments algébriques, éléments transcendants, polynôme minimal, extension algébrique.
2. Corps de rupture, corps de décomposition d’un polynôme.
3. Clôture algébrique (définition), le corps ℂ des nombres complexes est algébriquement clos. Énoncé du théorème de Steinitz.
4. Corps finis, existence et unicité, structure multiplicative. Racines de l’unité, polynômes cyclotomiques, irréductibilité sur ℤ.

III. Représentations des groupes finis sur ℂ

1. Représentations d’un groupe fini. Représentations par permutations, représentations régulières.
2. Représentations irréductibles, Théorème de Maschke.
3. Morphismes de représentations. Lemme de Schur.
4. Caractères. Caractère de Hom(V;W). Orthogonalité et décomposition des représentations. Formule de Burnside. Théorème fondamental de Frobenius et corollaires. Table des caractères. Orthogonalité des colonnes.
5. Exemple : table de 𝔖₄. Noyau d’un caractère. Application : critère de simplicité.
6. Le cas des groupes abéliens. Groupe dual d’un groupe abélien fini. Transformée de Fourier discrète, cas de ℤ/nℤ et (ℤ/nℤ)². Structure des groupes abéliens finis.

Voir la page complète

1. Fonctions holomorphes et analytiques, en particulier l’équivalence entre les deux notions, fonction exponentielle et logarithme, principe du prolongement analytique, principe des zéros isolés, formule de Cauchy pour le disque
2. Propriétés élémentaires des fonctions holomorphes (inégalités de Cauchy, suites et séries de fonctions holomorphes, propriété de la moyenne et principe du maximum)
3. Théorie de Cauchy (existence de primitives, théorèmes de Cauchy)
4. Fonctions méromorphes (classification des singularités isolées, fonctions méromorphes, théorème des résidus, séries de Laurent)
5. Théorème de la représentation conforme de Riemann

Voir la page complète

1. Rappels élémentaires de théorie des probabilités
2. Éléments de statistique
3. Espérance conditionnelle
4. Processus à temps discret
5. Martingales
6. Chaînes de Markov

Voir la page complète

Espaces de Lebesgue L^p(Omega)
 Densité des fonctions C-infini à support compact dans Lp(Ω)
 Théorème de Riesz-Fréchet-Kolmogorov (compacité dans Lp(Ω)).
 Eventuellement : convolution L^p-L^q (dans R^n) inégalités de Young. ;  dual de L^p (montré pour \ell^p)
  

Analyse de Fourier
  Rappels sur la transformation de Fourier sur L^1(R^n)
  Transformation de Fourier sur L^2(R^d)
  Espace de Schwartz sur R^d, transformation de Fourier et convolution.
  Eventuellement : brève présentation des distributions tempérées.
  Séries de Fourier sur L^1(T), L^2(T), voire sur T^n
  Application à la résolution des équations de la chaleur, des ondes, de Schrödinger, avec donnée initiale dans S(R^d), L^2(R^d) L^2(T). (et L^p(R^d), pour l’équation de la chaleur, par convolution avec le noyau de la chaleur)
   Résolution de −∆u + u = f dans S(R^d). Terminologie EDP elliptiques, hyperboliques, paraboliques.

Solutions faibles

- pour les équations de transport (∂tu + c · ∂xu = f, c ∈ Rd), avec condition initiale, après résolution du cas classique (C^1) ;

- pour des EDP elliptiques, avec conditions au bord (Dirichlet homogène) : espace de Sobolev H^1 sur I ou Ω, et Rd : caractérisation par Fourier; espace H_0^1 ; lemme de Lax- Milgram.

Voir la page complète

Cette UE propose une découverte de la recherche en mathématiques à travers l'étude d'un sujet décrivant un résultat ou une théorie mathématique, avec lesquels l'étudiant.e devra se familiariser afin de se les approprier et de pouvoir en rendre compte par un rapport écrit et un exposé oral.

En pratique, une liste de sujets est proposée au cours du premier semestre. Chaque étudiant.e sélectionne dans cette liste quatre sujets, classés de 1 à 4, puis le responsable de la formation attribue à chaque étudiant.e un sujet figurant dans la mesure du possible parmi ces quatre-là. Dès les attributions connues, chaque étudiant.e contacte l'auteur.e de son sujet, qui va l'encadrer pour ce travail tout au long du second semestre. Une fois que l'encadrant.e a présenté à l'étudiant.e le sujet et les détails du travail attendu, le binôme se rencontre régulièrement afin que l'étudiant.e puisse rendre compte de l'avancement de son travail et progresser dans celui-ci.

Le TER donne lieu à la rédaction d'un rapport écrit, rédigé en utilisant le logiciel LaTeX, comportant obligatoirement un résumé et une bibliographie, et à une soutenance orale d'une durée de 20 à 30 minutes, souvent suivie de questions, devant un jury qui comprend l'encadrant.e. Le rapport et la soutenance contribuent conjointement à l'évaluation du travail réalisé.

Voir la page complète

Nous étudierons certains exemples de groupes Fuchsiens, et les pavages du disque qui leurs sont associés. Si le temps le permet, nous aborderons la géométrie hyperbolique de dimension trois sous l'angle des déformations de groupes Fuchsiens.

Descriptif

• Partie I. Géométrie des transformations de Möbius et géométrie hyperbolique
  • Transformation de Möbius, inversions par rapports aux sphères, dans Rⁿ, pour n surtout égal à 1, 2, 3.
  • Plan et espace hyperbolique de dimension 3 : demi-plan et demi espace supérieurs
  • Leurs isométries : interprétation matricielle et holomorphe, interprétation dynamique du spectre des matrices

• Partie II. Groupes Fuchsiens
  • Actions discontinues et groupes discrets sur le plan hyperbolique
  • Théorème de combinaison de Klein. Ping-pong, et sous-groupes libres de PSL(2,R)
  • Cas de PSL(2, Z)

• Partie III. Ensembles limites et fractales
  • Ensemble limite d'un sous-groupe discret de PSL(2,R), et de PSL(2,C)
  • Déformations fractales d'ensembles limites
  • Rencontre et familiarisation avec des outils logiciels d'illustration rigoureuse d'ensembles limites fractales

Voir la page complète

L'algèbre effective est le domaine des mathématiques où on s'intéresse au calcul exact des objets intervenant en algèbre au sens large (arithmétique des entiers, arithmétique des polynômes et algèbre linéaire sur un corps fini et sur les rationnels), avec l'objectif de les rendre efficaces par rapport à la taille des données, en estimant leur complexité. Les applications sont nombreuses : calcul formel, cryptographie, codes correcteurs (par exemple QR codes)... On montrera plusieurs exemples où des calculs modulo un nombre premier permet d'accélérer les calculs sur les rationnels.
Une partie des exercices nécessite l'utilisation d'un logiciel de calcul formel tel que Xcas sur PC, mobile ou calculatrice CAS. 

Descriptif

1. Arithmétique des polynômes à 1 variable (dont interpolation et FFT), arithmétique des entiers et liens entre eux. Puissance modulaire rapide, application: test de primalité, RSA.
2. PGCD dans Z/pZ[X]. Application à la simplification dans Q[X]. Irréductibilité dans Z/pZ[X], application à la représentation des corps finis, application à la factorisation dans Q[X]. Calcul efficace dans GF(2,n).
3. Théorème fondemental de l'algèbre : localisation de racines de polynômes dans C[X] (Newton, Aberth ; Sturm, Descartes). Résultant, algorithmes de calcul, application au calcul de primitives de fractions rationnelles, à la résolution de certains systèmes polynomiaux. Générateurs effectifs d'extensions de Q.
4. Matrice à coefficients dans un corps fini et sur les rationnels: réduction de Gauss, déterminant, polynôme caractéristique. Applications : codes correcteurs.

Voir la page complète

1. Rappels sur le calcul différentiel dans l’espace euclidien ^{n n m}
2. Courbes et repères
3. Calcul différentiel sur les surfaces de ℝ^{3 3}
4. Variétés abstraites
5. Courbure
6. Géométrie des surfaces de ℝ³ theorema egregium
7. Théorème de Gauss-Bonnet

Voir la page complète

La première partie de l'UE sera consacrée à la théorie des chaînes de Markov en temps discret et à espace d'états discret ; il s'agira donc de couvrir un chapitre initialement prévu au programme de l'UE Probabilités du premier semestre que le manque de temps et les lacunes des étudiant·es concernant le programme de L3 empêchent régulièrement de traiter.
La deuxième partie constituera une introduction à la mécanique statistique, plus particulièrement à l'étude mathématique des transitions de phase dans des modèles sur réseau. On étudiera en détail le cas de référence du modèle d'Ising, l'un des modèles les plus célèbres et les plus étudiés dans ce domaine.
Si le temps le permet, une troisième partie présentera une introduction à des modèles de chaînes de Markov indexées par les arbres (percolation et modèle d'Ising sur des arbres).

Insertion dans le cursus de master Une partie du contenu de cette UE est au programme de l'agrégation : traitement complet des chaînes de Markov dans ce cadre, espérances conditionnelles, éventuelle\-ment un peu de martingales (convergence de martingales rétrogrades pour l'existence de mesures en volume infini à travers les équations DLR), topologies faibles, etc.
Il peut également servir à renouveler les exemples mobilisables dans ce contexte pour l'option A : conditionnements spatiaux, situations de TCL/non-TCL pour des variables aléatoires non indépendantes (convergence ou non de la magnétisation moyenne à haute température ou à basse température), dynamique de Glauber et algorithme de Metropolis-Hastings, etc.
Enfin, il vise à aborder, spécialement dans la troisième partie, des situations de recherche actuelles.

Simulations du modèle d'Ising sur le réseau carré à basse température (à gauche, phase ferromagnétique) et à haute température (à droite, phase paramagnétique)

Programme prévisionnel

• Partie I. Chaînes de Markov
  • Classification des états
  • Propriété de Markov forte
  • Mesure invariante (conditions d'existence, unicité)
  • Théorème ergodique

• Partie II. Modèle d'Ising
  • Le modèle de Curie-Weiss -- Un modèle sans géométrie
  • Mesures de Gibbs en volume fini
  • Limite thermodynamique -- Pression et magnétisation
  • Le modèle d'Ising sur Z -- Matrices de transfert
  • Mesures en volume infini
  • Fonctions locales et inégalités de corrélation
  • Diagramme de phase du modèle d'Ising sur Z^d, d>1
  • Critères d'unicité
  • Brisure de symétrie à basse température -- Argument de Peierls
  • Unicité à haute température
  • Unicité en champ magnétique non nul -- Théorème de Lee-Yang

• Partie III. Chaînes de Markov indexées par les arbres
  • Mesures de Gibbs sur les arbres
  • Lois de bord
  • Percolation, Ising
  • Extrémalité et critères de reconstruction

Voir la page complète

Le but de ce cours est d'introduire les étudiants aux bases de la théorie spectrale des opérateurs elliptiques sur des domaines, et de voir quelques applications, notamment dans le cadre de la mécanique quantique.
Un des résultats clés du cours sera le fait que le Laplacien avec condition de Dirichlet dans un domaine Ω borné et lisse de R^d admet une base hilbertienne de fonctions propres régulières e_n vérifiant -Δ e_n = λ _ne_n, où λ _n → +∞ avec n∈ N.
Ce résultat sera un prétexte à l'étude de différents concepts : opérateurs compacts, ou à résolvante compacte, dans les espaces de Hilbert et leur "diagonalisation", espaces de Sobolev H^k( Ω) et leurs propriétés (injections de Sobolev par exemple), régularité des solutions d'EDP elliptiques.

Dans un second temps, nous souhaitons aussi présenter des applications à la théorie spectrale des opérateurs emblématiques de la mécanique quantique.
Le formalisme mathématique de la mécanique quantique sere présenté, puis nous discuterons le spectre de certains opérateurs de Schrödinger -Δ +V tels l'oscillateur harmonique ou le Laplacien sur le tore. Nous aborderons également l'existence et les propriétés de fonctions propres associées à la plus basse valeur propre d'un opérateur de Schrödinger en fonction du potentiel V via l'approche variationnelle.

Plus généralement, nous présenterons la caractérisation du spectre d'opérateurs par le min-max des quotients de Rayleigh, ainsi que le théorème de Courant sur le nombre de domaines nodaux des fonctions propres du Laplacien, et l'asymptotique de Weyl pour les valeurs propres sur un domaine. Des exemples simples de problèmes d'optimisation spectrale pourront aussi être présentés en TD, en fonction du temps disponible.

programme préliminaire

• Préliminaires sur les espaces de Hilbert : bases hilbertiennes, Lax-Milgram (en fonction de ce qui sera fait dans le cours du S1).
• Opérateurs compacts. Définition et propriétés du spectre. Théorème spectral pour les opérateurs compacts.
• Espaces de Sobolev H^k( Ω) sur des ouverts bornés réguliers de R^d, et leurs propriétés.
• Existence d'une base hilbertienne de fonctions propres pour le Laplacien sur un domaine borné régulier.
• Régularité elliptique et régularité des fonctions propres.
• Principes variationnels, min-max pour les valeurs propres.
• Le formalisme de la mécanique quantique : vecteur d'état/fonction d'ondes, opérateur Hamiltonien, évolution/équation de Schrödinger, observable, processus de mesure en mécanique quantique.
• Le spectre de certains opérateurs de Schrödinger -Δ +V dans R^d et les propriétés de son état fondamental. Exemple de l'oscillateur harmonique, du Laplacien sur le tore, de la particule dans un champ magnétique.
• Un peu de géométrie spectrale : théorème de Courant sur les domaines nodaux, asymptotique de Weyl. Optimisation spectrale dans des cas simples.

Voir la page complète

The main objective of this course is to provide basics tools in operations research

- Contents

What is OR?
Linear Programming
Duality
Mixed Integer Programming
Dynamic programming
Constraint Programming
Complexity theory and Scheduling

Voir la page complète

Skills

• Recognize a situation where Operations Research is relevant.
• Know the main tools of Operations Research.
• Have the methodological elements to choose the solution methods and the tools the most adapted for a given practical problem.
• Know how to manipulate the software tools to solve a discrete optimization problem.

The course covers various topics:

• Linear Programming (modelling, solving, duality)
• Mixed Integer Linear Programming (modelling techniques, solving with Branch and Bound)
• Dynamic Programming
• Bonus (riddles, elsewhere on the web, OR News)

More details : https://moodle.caseine.org/course/view.php?id=42

Voir la page complète

In this part, we will investigate in more details some mathematical notions related to operations research. We will focus on three aspects: Spectral graph theory, Game theory, and Numerical Optimal transport. For each of these themes, we will see how these theoretical results relate to practical operations research problem and finally illustrate them numerically in Python.

Voir la page complète

Il s'agit de viser le niveau de qualification B2 du Conseil de l'Europe, défini par ALTE, dans trois champs de compétences :

1. Être capable de faire un exposé clair sur un sujet connu et répondre à des questions factuelles prévisibles
2. Être capable de parcourir un texte pour retrouver l'information pertinente et en saisir l'essentiel
3. Être capable de prendre des notes simples et en faire un usage raisonnable pour écrire une dissertation ou faire une révision

Voir la page complète

Voir la page complète

L'objectif de ce cours est de permettre aux étudiants d'acquérir les notions suivantes :

- savoir identifier les forces/faiblesses d'un langage de programmation du point de vue de la sécurité ;

- connaitre les principales causes et conséquences des vulnérabilités logicielles usuelles

- connaitre les mécanismes de protection fournis par les compilateurs, par les OS - comprendre les principales techniques d'analyse de code pour la sécurité (leurs intérêts, leurs limites)

Voir la page complète

1. Introduction
   • Motivation/Diffie-Hellman ; MitM ; Kerberos ;
   • Electronic Signatures ; DSS ; RSA-PSS ;
   • References : RFC/PKCS/FIPS
2. Key Management.
   • PKI elements, functions ; Certificates, ASN.1, X509, CRL ;
   • Trust models
   • PKIX : Administration ; migration ; OCSP, SCVP, Novomodo;
   • Cross-certification ; Bridge ;
   • Embedded Model : Certificates Browsers/OS; pinning, EV certs, notaries, bulletin board ;
   • PGP + GnuPG ; Spooky/Sudsy ; IBE; CBE ;
3. Authentification by PKI
   • fips-196 and variants
   • Key transport
   • Authenticated Diffie-Hellman (SIGMA)
   • TLS (handshake)
4. Cybersecurity of industrial IT
   • Electronic Signature and industrial PKI
   • Certification and Security Policies
   • PKI deployement in industry
   • Attacks against certification authorities and similar services
   • Evaluation Criteria and regulations (common criteria ; RGS ; e-IDAS)
5. Application Security
   • Transactions: EMV ; SET ; 3D-Secure ; bitcoin
   • Messaging: E-mail, S/MIME ; OTR
   • Web: https
6. Threats
   • Introduction / Concepts / Threat Landscape
   • Network Architecture - Theats / Protection Layer 1 to 7
7. Communication Security
   • VPN: TLS, IPsec
   • Firewall / proxying
   • Wireless Security
   • IPv6
   • Routing: DNS / DNSSec ; TOR
   • Canal: TLS ; IPsec
8. OS Security
   • hardening
   • SeLinux, AppArmor, GRSec
   • HIDS

Voir la page complète

The course present the main cryptographic primitives and security protocols, focusing on security parameters and properties.

Pedagogical goals:

- generic cryptographic primitives: one-way, trap-door and hash functions; random generators; symmetric and assymertic cipher; interactive protocols;

- security properties : complexity and reduction proofs; undistinguidhability; non-malleability; soundness, completeness and zero-knowledge; confidentiality; authentication; privacy; non-repudiation

- use, deployment and integration of protocols in standard crypro lib (eg open-ssl)

- security proofs : fundations and verification based on tools (eg avispa)

Voir la page complète

Concepts : Menaces, Risques, Vulnérabilités. Introduction aux méthodes et outils d’évaluation et d’audit de sécurité (ISO 27005, EBIOS, OSTMM)

Voir la page complète

Systèmes embarqués : Principes de conception des systèmes embarqués ; cartes-à-puce, structure et attaques physiques ; Design for Test et attaques aux structures de test ; attaques par canaux auxiliaires ; attaques par fautes ; contre-mesures aux attaques citées.

Biométrie : objectifs, principe fondamental, vérification/authentification, les diverses modalités biométriques, examen des modalités les plus usitées (empreinte digitale, reconnaissance faciale, iris) tant du coté capteur que du coté algorithme, le marché de la biométrie, les déjà nombreuses applications existantes (commerciales, gouvernementales), évaluation des performances biométriques (FAR & FRR), normalisation, le sécurité des systèmes biométriques (cryptographie / détection de vitalité), introduction à la biométrie intriquée avec la cryptographie (le Grâal de la biométrie), protection de la vie privée, mythes et réalités.

Quantique : les postulats de la mécanique quantique ; comment utiliser l'information quantique pour faire des calculs, circuits et algorithmes quantiques ; description  de l'information quantique, matrices de densités, mesures POVM, Fidélité , entropie ; codes correcteurs d'erreur quantiques ; un peu de complexité de communication quantique ; utiliser l'information quantique pour faire de la cryptographie théoriquement "secure", protocole d’échange de clé BB84

Voir la page complète

Voir la page complète

The aim of this course is to present some advanced topics in cryptography. The exact content may vary from one year to another; as an indication past topics have included:
- Linear secret sharing schemes (code-based schemes, access structures...)
- Provable constructions in symmetric cryptography (building block cipher from ideal permutations)
- Symmetric cryptanalysis (statistical and algebraic)
- Algorithms and constructions in code-based cryptography (information-set decoding, LPN)
- Zero-knowledge proofs
- Advanced signatures (group signatures...)
- Advanced constructions (oblivious transfer, group encryption...)
- Post-quantum cryptography
- Elliptic-curve and isogeny-based cryptography

Voir la page complète

(en entreprise ou laboratoire)

Voir la page complète

L'objectif de ce cours est de permettre aux étudiants d'acquérir les notions suivantes :

- savoir identifier les forces/faiblesses d'un langage de programmation du point de vue de la sécurité ;

- connaitre les principales causes et conséquences des vulnérabilités logicielles usuelles

- connaitre les mécanismes de protection fournis par les compilateurs, par les OS - comprendre les principales techniques d'analyse de code pour la sécurité (leurs intérêts, leurs limites)

Voir la page complète

Cette UE est obligatoire pour les étudiant.e.s inscrit.e.s dans le PT MSTIC.
Elle est constituée d'une projet tutoré et d'un MOOC consacré à l'éthique de la Science. 

Voir la page complète

The course present the main cryptographic primitives and security protocols, focusing on security parameters and properties.

Pedagogical goals:

- generic cryptographic primitives: one-way, trap-door and hash functions; random generators; symmetric and assymertic cipher; interactive protocols;

- security properties : complexity and reduction proofs; undistinguidhability; non-malleability; soundness, completeness and zero-knowledge; confidentiality; authentication; privacy; non-repudiation

- use, deployment and integration of protocols in standard crypro lib (eg open-ssl)

- security proofs : fundations and verification based on tools (eg avispa)

Voir la page complète

Concepts : Menaces, Risques, Vulnérabilités. Introduction aux méthodes et outils d’évaluation et d’audit de sécurité (ISO 27005, EBIOS, OSTMM)

Voir la page complète

Systèmes embarqués : Principes de conception des systèmes embarqués ; cartes-à-puce, structure et attaques physiques ; Design for Test et attaques aux structures de test ; attaques par canaux auxiliaires ; attaques par fautes ; contre-mesures aux attaques citées.

Biométrie : objectifs, principe fondamental, vérification/authentification, les diverses modalités biométriques, examen des modalités les plus usitées (empreinte digitale, reconnaissance faciale, iris) tant du coté capteur que du coté algorithme, le marché de la biométrie, les déjà nombreuses applications existantes (commerciales, gouvernementales), évaluation des performances biométriques (FAR & FRR), normalisation, le sécurité des systèmes biométriques (cryptographie / détection de vitalité), introduction à la biométrie intriquée avec la cryptographie (le Grâal de la biométrie), protection de la vie privée, mythes et réalités.

Quantique : les postulats de la mécanique quantique ; comment utiliser l'information quantique pour faire des calculs, circuits et algorithmes quantiques ; description  de l'information quantique, matrices de densités, mesures POVM, Fidélité , entropie ; codes correcteurs d'erreur quantiques ; un peu de complexité de communication quantique ; utiliser l'information quantique pour faire de la cryptographie théoriquement "secure", protocole d’échange de clé BB84

Voir la page complète

Voir la page complète

The aim of this course is to present some advanced topics in cryptography. The exact content may vary from one year to another; as an indication past topics have included:
- Linear secret sharing schemes (code-based schemes, access structures...)
- Provable constructions in symmetric cryptography (building block cipher from ideal permutations)
- Symmetric cryptanalysis (statistical and algebraic)
- Algorithms and constructions in code-based cryptography (information-set decoding, LPN)
- Zero-knowledge proofs
- Advanced signatures (group signatures...)
- Advanced constructions (oblivious transfer, group encryption...)
- Post-quantum cryptography
- Elliptic-curve and isogeny-based cryptography

Voir la page complète

(en entreprise ou laboratoire)

Voir la page complète