Technologies quantiques & information quantique

Dimension: px
Commencer à balayer dès la page:

Download "Technologies quantiques & information quantique"

Transcription

1 Technologies quantiques & information quantique Edouard Brainis (Dr.) Service OPERA, Faculté des sciences appliquées, Université libre de Bruxelles Séminaire V : Ordinateurs quantiques

2 Contenu de la leçon Ordinateurs à ions froid Ordinateurs optiques Rappels Porte de Cirac-Zoller Algorithme de Deutsch-Jozsa Perspectives Téléportation quantique Portes logiques avec de l'optique linéaire 7 mai

3 Ordinateurs à ions froids 7 mai

4 Rappels Initialisation et lecture du qubit Portes à 1 qubit Initialisation : efficacité >0.99, 1µs Lecture : efficacité >0.99, 1ms 7 mai

5 Rappels Couplage au mode d'oscillation de la chaîne dans le piège 7 mai

6 La porte de Cirac-Zoller 7 mai

7 La porte de Cirac-Zoller 7 mai

8 De la porte de Cirac-Zoller au C-NOT 7 mai

9 Réalisation expérimentale du C-NOT 2003 : Schmidt-Kaller et al, Nature 422, Temps de cohérence : 800 µs Fidélité : 73% 2006 : Riebe et al, Phys. Rev. Lett. 97, Temps de cohérence : 2 ms Fidélité : 91% 7 mai

10 Algorithme de Deutsch-Jozsa Classes des fonctions : Constantes Balancées Comment les distinguer? Un algorithme classique a besoin de 2 n /2+1 appels à la fonction. Un algorithme quantique distingue les fonctions constantes des fonctions balancées en un seul appel! 7 mai 2010 gain exponentiel 10

11 Algorithme de Deutsch-Jozsa Classes des fonctions : Constantes Balancées Comment les distinguer? Un algorithme classique a besoin de 2 n /2+1 appels à la fonction. Un algorithme quantique distingue les fonctions constantes des fonctions balancées en un seul appel! 7 mai 2010 gain exponentiel 11

12 Algorithme de Deutsch-Jozsa 7 mai

13 Algorithme de Deutsch-Jozsa 7 mai

14 Perspectives Pièges segmentés Puce à ions 7 mai

15 "Technologie quantique et information quantique" Séminaire 5 : ORDINATEURS QUANTIQUE Implémentation optique Evgueni Karpov (Nicolas Cerf) Centre for Quantum Information & Communication Université libre de Bruxelles

16 QUANTUM TELEPORTATION Entanglement Dense coding PORTE LOGIQUE Non-deterministic conditional sign flip

17 QUANTUM TELEPORTATION A remarkable use of quantum entanglement The fact that Alice and Bob share 2 entangled photons enables them to teleport the state of a particle (a qubit) 0 = = 0 1 3

18 Entanglement of 2 qubits : ( Bell states ) ± = 1 2 ± = ± ± 10 4 maximally-entangled orthonormal states which form a basis of the 2-qubit Hilbert space Unitary operators in the 2-qubit Hilbert space z = 1 0 SIGN FLIP 0 1 x = BIT FLIP I I = I z = I x = I x z = x z = i y = BOTH Local operation changes the whole non-local state! x z 0 = 1 x z 1 = 0 4

19 Causality is respected! ± = 1 2 ± = ± ± ±1 0 0 ± Tr 1 ± =Tr 1 ± = Tr 2 ± =Tr 2 ± = Whatever Bob does (e.g., applying any Pauli operation), the state of Alice remains the same. 5

20 But it enables dense coding! I I = I z = 4 possible operations (22 bits) are virtually encoded in 1 single qubit. I x = I x z = ALICE BOB I z x x z 1 qubit Bell measurement

21 7

22 8

23 Quantum teleportation ALICE = 0 1 = = = x = applying associativity: z 1 0 x z BOB 0 00 = 000 =

24 Quantum teleportation ALICE = 0 1 = = 1 2 z x x z BOB Bell measurement projection on one of four Bell states Result of measurement bits I z x x z... teleported state: =

25 Teleportation does not violate no-cloning theorem (Alice's qubit is destroyed) Bob's qubit contains no information (not causally linked with Alice's qubit) Transmitted classical bits contain no information (otherwise qubit would be disturbed) Teleportation dual to dense coding: EPR EPR +1 B U 1 qubit 1 qubit 1 qubit 2 bits 2 bits 2 bits U B 11

26 Performing a Bell measurement using a balanced beam splitter a V a H b V ' b V b H ' b H a V ' a H ' Horizontally polarized mode: a H '= 1 2 a H b H b H '= 1 2 a H b H Vertically polarized mode: a V ' = 1 2 a V b V b V '= 1 2 a V b V Impinging Bell state? = 1 2 a H b H a V b V 0 a V = 1 Inverse relations: a H = 1 2 a H ' b H ' b H = 1 2 a H ' b H ' 2 a V ' b V ' b V = 1 2 a V ' b V ' 12

27 = 1 2 a H b H a V b V 0 = a H ' b H ' a H ' b H ' a V ' b V ' a V ' b V ' 0 = a H ' 2 b H ' 2 a V ' 2 b V ' 2 0 Outcome: 2 photons of same polarization in same port = 1 2 a H b H a V b V 0 = Outcome: 2 photons of same polarization in same port thus, indistinguishable (without further interference) or 13

28 = 1 2 a H b V a V b H 0 = a H ' b H ' a V ' b V ' a V ' b V ' a H ' b H ' 0 = 1 2 a H ' a V ' b H ' b V ' 0 Outcome: 2 photons of opposite polarizations in same port thus, indistinguishable (without polarization meas.) 14

29 = 1 2 a H b V a V b H 0 = a H ' b H ' a V ' b V ' a V ' b V ' a H ' b H ' 0 = 1 2 a V ' b H ' a H ' b V ' 0 Outcome: 2 photons of opposite polarizations in different ports The singlet state can be discriminated via a coincidence 15

30 Experimental quantum teleportation teleporting the polarization state of a single photon ( Vienna experiment, 1997 ) 2 passages via nonlinear crystal discriminating using a beam splitter success probability = 25 % (keep only events) 16

31 Linear Optics Quantum Computation Basic elements bosonic qubits states of optical modes Optical mode superposition of the number states Basic states of a bosonic qubit encoded in two modes: State preparation single photon source n 0 1 Computation manipulation of quantum states via optical elements Simplest optical elements are phase shifters and beam splitters all one-qubit rotations Full power of computation is achieved by adding a two-qubit gate Example: Conditional sign flip a b 1 ab a b a,b=0, 1 How to implement with optical elements? - come back later Readout measurement with photodetectors 17

32 Readout with photodetectors Measuring photon number: Avalanche photodetector discriminates vacuum state 0 n 0 two possible outcomes: or, n unknown In LOQC: n N Probability of undercounting: n P= n n 1 / 2N 18

33 Basic operations Implementing Conditional sign flip Evolution implementable by passive linear optics preserves the number of photons U 0 l = 0 l Unitary operation is given by a unitary matrix U 1 l = k u kl 1 l Phase shifter u(p θ ) = e iθ Beam splitter Action on bosonic qubits: exp (- iθσ z /2) u(b θ,φ ) = cos(θ) - e iφ sin(θ) e -iφ sin(θ) cos(θ) exp (- iθσ y /2) for φ=0 19

34 Implementing Conditional sign flip Nondeterministic nonlinear sign change NS: is a particular case of nonlinear phase shift of one mode NS x implemented with phase shifters, beam splitters and post-selection x= 1 θ 1 = 22.5, φ 1 = 0 θ 2 = , φ 2 = 0 θ 3 = , φ 3 = 0 Φ 4 = 180 Post-selection: keeping only the outcomes with Probability of success

35 Implementing Conditional sign flip Nondeterministic Conditional sign flip Two independent applications of NS achieves a conditional sign flip with success probability 1/16 Bosonic modes First beamsplitter: Second beamsplitter:

36 Improving nondeterministic conditional sign flip Quantum gates by teleportation : using 4 ancillas, success probability 1/4 Using near-deterministic quantum teleportation : increasing the number of ancillas, success probability n 2 /(n+1) 2 Using less detection in order to return the state into the qubit space 22

37 Conclusion Possibility of implementing a universal quantum computation via linear passive optics no particle interaction Hidden nonlinearity all nonlinear elements are effectively put into state preparation (single photon source) measurement (photo detectors) post selection (non-deterministic gates) Possibility of implementing a universal quantum computation via linear passive optics no particle interaction Scalability? 23

Sujet de TPE PROPOSITION

Sujet de TPE PROPOSITION Single photon source made of single nanodiamonds This project will consist in studying nanodiamonds as single photon sources. The student will study the emission properties of such systems and will show

Plus en détail

MAT 2377 Solutions to the Mi-term

MAT 2377 Solutions to the Mi-term MAT 2377 Solutions to the Mi-term Tuesday June 16 15 Time: 70 minutes Student Number: Name: Professor M. Alvo This is an open book exam. Standard calculators are permitted. Answer all questions. Place

Plus en détail

TABLE DES MATIÈRES CHAPITRE I. Les quanta s invitent

TABLE DES MATIÈRES CHAPITRE I. Les quanta s invitent TABLE DES MATIÈRES AVANT-PROPOS III CHAPITRE I Les quanta s invitent I-1. L Univers est en constante évolution 2 I-2. L âge de l Univers 4 I-2.1. Le rayonnement fossile témoigne 4 I-2.2. Les amas globulaires

Plus en détail

Finance des matières premières (6b) De la formation des prix sur les marchés financiers à la possibilité d un équilibre (non walrasien)

Finance des matières premières (6b) De la formation des prix sur les marchés financiers à la possibilité d un équilibre (non walrasien) Finance des matières premières (6b) De la formation des prix sur les marchés financiers à la possibilité d un équilibre (non walrasien) Alain Bretto & Joël Priolon - 25 mars 2013 Question Dans un équilibre

Plus en détail

Cryptologie et physique quantique : Espoirs et menaces. Objectifs 2. distribué sous licence creative common détails sur www.matthieuamiguet.

Cryptologie et physique quantique : Espoirs et menaces. Objectifs 2. distribué sous licence creative common détails sur www.matthieuamiguet. : Espoirs et menaces Matthieu Amiguet 2005 2006 Objectifs 2 Obtenir une compréhension de base des principes régissant le calcul quantique et la cryptographie quantique Comprendre les implications sur la

Plus en détail

2 players Ages 8+ Note: Please keep these instructions for future reference. WARNING. CHOKING HAZARD. Small parts. Not for children under 3 years.

2 players Ages 8+ Note: Please keep these instructions for future reference. WARNING. CHOKING HAZARD. Small parts. Not for children under 3 years. Linja Game Rules 2 players Ages 8+ Published under license from FoxMind Games NV, by: FoxMind Games BV Stadhouderskade 125hs Amsterdam, The Netherlands Distribution in North America: FoxMind USA 2710 Thomes

Plus en détail

Les défis de l ordinateur quantique

Les défis de l ordinateur quantique Les défis de l ordinateur quantique Frédéric Magniez http://www.lri.fr/quantum Vers la nanotechnologie 2 Fin de la loi de Moore? "No exponential is forever. Your job is to delay forever.", Andrew Gordon

Plus en détail

Comment réaliser physiquement un ordinateur quantique. Yves LEROYER

Comment réaliser physiquement un ordinateur quantique. Yves LEROYER Comment réaliser physiquement un ordinateur quantique Yves LEROYER Enjeu: réaliser physiquement -un système quantique à deux états 0 > ou 1 > -une porte à un qubitconduisant à l état générique α 0 > +

Plus en détail

Transport in quantum cascade lasers

Transport in quantum cascade lasers Diss. ETH No. 20036 Transport in quantum cascade lasers A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by ROMAIN LÉON TERAZZI Diplôme de Physicien, Université de

Plus en détail

Qu est-ce qu un ordinateur quantique et à quoi pourrait-il servir?

Qu est-ce qu un ordinateur quantique et à quoi pourrait-il servir? exposé UE SCI, Valence Qu est-ce qu un ordinateur quantique et à quoi pourrait-il servir? Dominique Spehner Institut Fourier et Laboratoire de Physique et Modélisation des Milieux Condensés Université

Plus en détail

Mesure Measurement Réf 322 033 Etiquettes Terre, Jupiter, Mars, Français p 1 Lune pour dynamomètre 10 N English p 4 Earth, Jupiter, Mars, Moon,

Mesure Measurement Réf 322 033 Etiquettes Terre, Jupiter, Mars, Français p 1 Lune pour dynamomètre 10 N English p 4 Earth, Jupiter, Mars, Moon, Mesure Measurement Français p 1 English p 4 Version : 8006 Etiquettes Terre, Jupiter, Mars, Lune pour dynamomètre 10 N Earth, Jupiter, Mars, Moon, labels for 10 N dynamometer Mesure Etiquettes Terre, Jupiter,

Plus en détail

physicien diplômé EPFZ originaire de France présentée acceptée sur proposition Thèse no. 7178

physicien diplômé EPFZ originaire de France présentée acceptée sur proposition Thèse no. 7178 Thèse no. 7178 PROBLEMES D'OPTIMISATION DANS LES SYSTEMES DE CHAUFFAGE A DISTANCE présentée à l'ecole POLYTECHNIQUE FEDERALE DE ZURICH pour l'obtention du titre de Docteur es sciences naturelles par Alain

Plus en détail

Décodage de l activité neuronale

Décodage de l activité neuronale Décodage de l activité neuronale Neurophysiologie et neuro-prosthétique Musallan et al, 2004 Utiliser les signaux physiologiques pour activer des prothèses distantes, plus ou moins intelligentes Neurophysiologie

Plus en détail

Photo Manipulations in the 2011 CES

Photo Manipulations in the 2011 CES Canadian Election Study Methodological Briefs Methodological Brief #2013-A Photo Manipulations in the 2011 CES Patrick Fournier, Université de Montréal Stuart Soroka, McGill University Fred Cutler, University

Plus en détail

Expérience de Stern et Gerlach et décohérence: l'ordinateur quantique est-il vraiment possible?

Expérience de Stern et Gerlach et décohérence: l'ordinateur quantique est-il vraiment possible? Expérience de Stern et Gerlach et décohérence: l'ordinateur quantique est-il vraiment possible? Michel Gondran 1 Alexandre Gondran 1 University Paris Dauphine Lamsade, Paris, France Ecole Nationale de

Plus en détail

Once the installation is complete, you can delete the temporary Zip files..

Once the installation is complete, you can delete the temporary Zip files.. Sommaire Installation... 2 After the download... 2 From a CD... 2 Access codes... 2 DirectX Compatibility... 2 Using the program... 2 Structure... 4 Lier une structure à une autre... 4 Personnaliser une

Plus en détail

Enquête publique pour normes ETSI

Enquête publique pour normes ETSI Enquête publique pour normes ETSI (Update 19 mars 2014) Contenu Général Note explicative concernant l'approbation des projets de normes Formulaire-réponse Général Dans le cadre du fonctionnement belge

Plus en détail

En route vers l ordinateur quantique?

En route vers l ordinateur quantique? En route vers l ordinateur quantique? Patrice Bertet QUAN UM ELECT RONICS GROUP CEA Saclay 1. Idées et concepts 2. Processeurs quantiques supraconducteurs élémentaires? L ordinateur classique : n=log 2

Plus en détail

Générateur de pages WEB et serveur pour supervision accessible à partir d un navigateur WEB

Générateur de pages WEB et serveur pour supervision accessible à partir d un navigateur WEB AUTOMGEN 8.009 Générateur de pages WEB et serveur pour supervision accessible à partir d un navigateur WEB version 2 : support de sources vidéo, support 3D, support de l ensemble des objets IRIS 2D WEB

Plus en détail

Experiences TCM QUALITY MARK. Project management Management systems ISO 9001 ISO 14001 ISO 22000

Experiences TCM QUALITY MARK. Project management Management systems ISO 9001 ISO 14001 ISO 22000 TCM QUALITY MARK Jean-Marc Bachelet Tocema Europe workshop 4 Project management Management systems ISO 9001 ISO 14001 ISO 22000 + lead auditors for certification bodies Experiences Private and state companies,

Plus en détail

Application Form/ Formulaire de demande

Application Form/ Formulaire de demande Application Form/ Formulaire de demande Ecosystem Approaches to Health: Summer Workshop and Field school Approches écosystémiques de la santé: Atelier intensif et stage d été Please submit your application

Plus en détail

Chapitre 16. Particules identiques en physique quantique

Chapitre 16. Particules identiques en physique quantique Chapitre 16 Particules identiques en physique quantique Addition de N spins ½ Si vous avez changé de canal, tapez: [Ch]-[4]-[1]-[Ch] ou [Go]-[4]-[1]-[Go] Que peut-on dire du spin total d un ensemble de

Plus en détail

Communication quantique: jongler avec des paires de photons dans des fibres optiques

Communication quantique: jongler avec des paires de photons dans des fibres optiques Communication quantique: jongler avec des paires de photons dans des fibres optiques Nicolas Gisin GAP-Optique, University of Geneva H. De Riedmatten, J.-D. Gautier, O. Guinnard, I. Marcikic, G. Ribordy,

Plus en détail

Nouvelles classes de problèmes pour la fouille de motifs intéressants dans les bases de données 2

Nouvelles classes de problèmes pour la fouille de motifs intéressants dans les bases de données 2 Nouvelles classes de problèmes pour la fouille de motifs intéressants dans les bases de données 2 Lhouari Nourine 1 1 Université Blaise Pascal, CNRS, LIMOS, France SeqBio 2012 Marne la vallée, France 2.

Plus en détail

Andrei A. Pomeransky pour obtenir le grade de Docteur de l Université Paul Sabatier. Intrication et Imperfections dans le Calcul Quantique

Andrei A. Pomeransky pour obtenir le grade de Docteur de l Université Paul Sabatier. Intrication et Imperfections dans le Calcul Quantique THÈSE présentée par Andrei A. Pomeransky pour obtenir le grade de Docteur de l Université Paul Sabatier Intrication et Imperfections dans le Calcul Quantique Directeur de thèse : Dima L. Shepelyansky Co-directeur

Plus en détail

Improving the breakdown of the Central Credit Register data by category of enterprises

Improving the breakdown of the Central Credit Register data by category of enterprises Improving the breakdown of the Central Credit Register data by category of enterprises Workshop on Integrated management of micro-databases Deepening business intelligence within central banks statistical

Plus en détail

Qu est-ce qu un ordinateur quantique et à quoi pourrait-il servir?

Qu est-ce qu un ordinateur quantique et à quoi pourrait-il servir? exposé Ateliers de l information Bibliothèque Universitaire, Grenoble Qu est-ce qu un ordinateur quantique et à quoi pourrait-il servir? Dominique Spehner Institut Fourier et Laboratoire de Physique et

Plus en détail

Estelle Carrière Email/courriel : estelle.carriere@csc-scc.gc.ca

Estelle Carrière Email/courriel : estelle.carriere@csc-scc.gc.ca RETURN BIDS TO : RETOURNER LES SOUMISSIONS À : Bid Receiving - Réception des soumissions: Correctional Service Canada (CSC) Service Correctionnel Canada (SCC) 340 Laurier Avenue West 340 avenue Ouest Ottawa,

Plus en détail

Exemple PLS avec SAS

Exemple PLS avec SAS Exemple PLS avec SAS This example, from Umetrics (1995), demonstrates different ways to examine a PLS model. The data come from the field of drug discovery. New drugs are developed from chemicals that

Plus en détail

Sélectionner la Ville liée ou l Arrondissement hébergeant la propriété recherchée. Select the City or the Borough where is located the property.

Sélectionner la Ville liée ou l Arrondissement hébergeant la propriété recherchée. Select the City or the Borough where is located the property. 4 méthodes de recherche s offrent à vous / 4 search methods may be used. Par adresse; / by Address Par numéro de lot rénové; / by Renovated lot number Par numéro de matricule; / by Matricule Par numéro

Plus en détail

Please find attached a revised amendment letter, extending the contract until 31 st December 2011.

Please find attached a revised amendment letter, extending the contract until 31 st December 2011. Sent: 11 May 2011 10:53 Subject: Please find attached a revised amendment letter, extending the contract until 31 st December 2011. I look forward to receiving two signed copies of this letter. Sent: 10

Plus en détail

GUIDE D INSTALLATION / INSTALLATION GUIDE

GUIDE D INSTALLATION / INSTALLATION GUIDE GUIDE D INSTALLATION / INSTALLATION GUIDE STORES / SHADES sur solariums modulaire / on modular solariums FRANÇAIS et ANGLAIS FRENCH and ENGLISH 1 INSTALLATION DES STORES PLISSÉS SUR LES SOLARIUMS MODULAIRES

Plus en détail

"Come to the dark side"

Come to the dark side "Come to the dark side" L informatique est-elle neutre? Stéphane Bortzmeyer stephane+security@bortzmeyer.org ESGI Security Day, 12 mars 2015 Come to the dark side, we have pizzas L informatique est partout

Plus en détail

Information quantique

Information quantique Information quantique J.M. Raimond LKB, Juin 2009 1 Le XX ème siècle fut celui de la mécanique quantique L exploration du monde microscopique a été la grande aventure scientifique du siècle dernier. La

Plus en détail

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming THÈSE N O 5007 (2011) PRÉSENTÉE le 20 mai 2011 À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS LABORATOIRE DE MÉTHODES DE PROGRAMMATION

Plus en détail

Physique quantique au lycée

Physique quantique au lycée Physique quantique au lycée Une expérience au Liceo di Locarno Christian Ferrari Cours de formation CRP/CPS Champéry, 23 septembre 2011 Plan de l exposé 1 1 L expérience dans l option spécifique (OS) et

Plus en détail

Exercices sur SQL server 2000

Exercices sur SQL server 2000 Exercices sur SQL server 2000 La diagramme de classe : Exercices sur SQL server 2000 Le modèle relationnel correspondant : 1 Créer les tables Clic-droit on Tables et choisir «New Table» Créer la table

Plus en détail

Association des Doctorants du campus STIC. Séminaires doctorants 11

Association des Doctorants du campus STIC. Séminaires doctorants 11 Association des Doctorants du campus STIC Séminaires doctorants 11 07 mars 2007 Actes édités par l association des doctorants du campus STIC. Les travaux individuels publiés restent l unique propriété

Plus en détail

MOVILISE-Le cours en anglais pour les hommes de sport sportsman par l usage des methodes nouvelles

MOVILISE-Le cours en anglais pour les hommes de sport sportsman par l usage des methodes nouvelles MOVILISE-Le cours en anglais pour les hommes de sport sportsman par l usage des methodes nouvelles 2009-1-TR1-LEO05-08709 1 Information sur le projet Titre: Code Projet: Année: 2009 Type de Projet: Statut:

Plus en détail

QUICK START GUIDE. for the LiftMaster Internet Gateway

QUICK START GUIDE. for the LiftMaster Internet Gateway QUICK START GUIDE for the LiftMaster Internet Gateway Before Starting Before starting STOP you MUST have: a router active internet connection internet gateway serial number Look at the label on the bottom

Plus en détail

APPENDIX 6 BONUS RING FORMAT

APPENDIX 6 BONUS RING FORMAT #4 EN FRANÇAIS CI-DESSOUS Preamble and Justification This motion is being presented to the membership as an alternative format for clubs to use to encourage increased entries, both in areas where the exhibitor

Plus en détail

MAXI SPEED-ROLL Course à boules

MAXI SPEED-ROLL Course à boules Course à boules Notice de montage 1. Posez le jeu à plat sur une table. 2. A l aide de la clé de service, dévissez les vis qui maintiennent la plaque de plexiglas et déposez la. 3. Dévissez les 4 vis fixant

Plus en détail

Excellence dedicated to nuclear medicine, public health and environment

Excellence dedicated to nuclear medicine, public health and environment Excellence dedicated to nuclear medicine, public health and environment TOC 1. Introduction 2. Quick win 3. External events not in the original design basis 3. Costs 4. Perspectives Excellence dedicated

Plus en détail

UN NOUVEL ASSISTANT DE PREUVE POUR REVISITER THÉORIE DES TYPES HOMOTOPIQUES LA THÉORIE SUPPORTANT COQ AVEC LA NICOLAS TABAREAU

UN NOUVEL ASSISTANT DE PREUVE POUR REVISITER THÉORIE DES TYPES HOMOTOPIQUES LA THÉORIE SUPPORTANT COQ AVEC LA NICOLAS TABAREAU COQHOTT UN NOUVEL ASSISTANT DE PREUVE POUR REVISITER LA THÉORIE SUPPORTANT COQ AVEC LA THÉORIE DES TYPES HOMOTOPIQUES NICOLAS TABAREAU Le projet 2 The CoqHoTT project Design and implement a brand-new proof

Plus en détail

QUICK START GUIDE. for the LiftMaster Internet Gateway

QUICK START GUIDE. for the LiftMaster Internet Gateway QUICK START GUIDE for the LiftMaster Internet Gateway Before Starting Before starting STOP you MUST have: a router active internet connection internet gateway serial number Look at the label on the bottom

Plus en détail

Projet Datalift : retour d expérience sur les standards

Projet Datalift : retour d expérience sur les standards ign.fr Les outils du web Sémantique comme supports des données et métadonnées géographiques Projet Datalift : retour d expérience sur les standards Forum Décryptagéo Marne La Vallée 8 avril 2014 Bénédicte

Plus en détail

Paxton. ins-20605. Net2 desktop reader USB

Paxton. ins-20605. Net2 desktop reader USB Paxton ins-20605 Net2 desktop reader USB 1 3 2 4 1 2 Desktop Reader The desktop reader is designed to sit next to the PC. It is used for adding tokens to a Net2 system and also for identifying lost cards.

Plus en détail

Des objections d Einstein aux bits quantiques: les stupéfiantes propriétés de l intrication

Des objections d Einstein aux bits quantiques: les stupéfiantes propriétés de l intrication Des objections d Einstein aux bits quantiques: les stupéfiantes propriétés de l intrication Alain ASPECT et Philippe GRANGIER Institut d Optique. Orsay Pour la Science, déc. 2004 Einstein aujoud hui, CNRS

Plus en détail

0 h(s)ds et h [t = 1 [t, [ h, t IR +. Φ L 2 (IR + ) Φ sur U par

0 h(s)ds et h [t = 1 [t, [ h, t IR +. Φ L 2 (IR + ) Φ sur U par Probabilités) Calculus on Fock space and a non-adapted quantum Itô formula Nicolas Privault Abstract - The aim of this note is to introduce a calculus on Fock space with its probabilistic interpretations,

Plus en détail

THE SUBJUNCTIVE MOOD. Twenty-nineth lesson Vingt-neuvième leçon

THE SUBJUNCTIVE MOOD. Twenty-nineth lesson Vingt-neuvième leçon THE SUBJUNCTIVE MOOD Twenty-nineth lesson Vingt-neuvième leçon SOMMAIRE 1) Definition 2) Uses 2.1) Common expressions of doubt 2.2) Common expressions of necessity 2.3) Common expressions of desirability

Plus en détail

Master de sociologie : double diplôme possible

Master de sociologie : double diplôme possible Master de sociologie : double diplôme possible Parcours du master «changements sociaux en Europe» en partenariat avec l Université de Vienne Version française Information générale Les étudiants s inscrivent

Plus en détail

De la sphère de Poincaré aux bits quantiques :! le contrôle de la polarisation de la lumière!

De la sphère de Poincaré aux bits quantiques :! le contrôle de la polarisation de la lumière! De la sphère de Poincaré aux bits quantiques :! le contrôle de la polarisation de la lumière! 1. Description classique de la polarisation de la lumière!! Biréfringence, pouvoir rotatoire et sphère de Poincaré!

Plus en détail

Sniffing et analyse de paquets

Sniffing et analyse de paquets 1 Outils Sniffing et analyse de paquets Analyser : http://analyzer.polito.it/install/default.htm RASPPPoE : http://user.cs.tu-berlin.de/~normanb/ 2 Prérequis DSLAM (Digital Subscriber Line Multiplexer)

Plus en détail

Bill 157 Projet de loi 157

Bill 157 Projet de loi 157 2ND SESSION, 39TH LEGISLATURE, ONTARIO 60 ELIZABETH II, 2011 2 e SESSION, 39 e LÉGISLATURE, ONTARIO 60 ELIZABETH II, 2011 Bill 157 Projet de loi 157 An Act to amend the Pesticides Act Loi modifiant la

Plus en détail

La physique quantique couvre plus de 60 ordres de grandeur!

La physique quantique couvre plus de 60 ordres de grandeur! La physique quantique couvre plus de 60 ordres de grandeur! 10-35 Mètre Super cordes (constituants élémentaires hypothétiques de l univers) 10 +26 Mètre Carte des fluctuations du rayonnement thermique

Plus en détail

DynDNS. Qu est-ce que le DynDNS?

DynDNS. Qu est-ce que le DynDNS? DynDNS. Qu est-ce que le DynDNS? Le DynDNS (Dynamic Domain Name Server) sert à attribuer un nom de domaine à une adresse ip dynamique. Chaque ordinateur utilise une adresse ip pour communiquer sur le réseau.

Plus en détail

Guide à l usage des conférenciers (-ières) et des président(e)s de séance de TCPM2013 1

Guide à l usage des conférenciers (-ières) et des président(e)s de séance de TCPM2013 1 [AN ENGLISH VERSION FOLLOWS] Guide à l usage des conférenciers (-ières) et des président(e)s de séance de TCPM2013 1 Conférenciers (- ières) 1) Les communications en séances régulières ont une durée de

Plus en détail

Quick Start Guide Guide de démarrage rapide

Quick Start Guide Guide de démarrage rapide Platinum App Bridge Kit Trousse de pont pour App Platinum MC Quick Start Guide Guide de démarrage rapide 1 Check kit contents. Vérifier le contenu de la trousse. A B E CA DB E C D A B E C D A B E C D C

Plus en détail

Master of Science ParisTech Année / Year 20... - 20...

Master of Science ParisTech Année / Year 20... - 20... PHOTOGRAPHIE PHOTOGRAPH http:www.paristech.org DOSSIER DE CANDIDATURE APPLICATION FORM Master of Science ParisTech Année Year 20... - 20..., 352*5$00( 628+$,7( 0$67(5 352*5$0 (19,6$*(',, &225'211((6 3(56211((6

Plus en détail

LA NETWORK MANAGER remote control software CUSTOM PRESET CREATION PROCEDURE

LA NETWORK MANAGER remote control software CUSTOM PRESET CREATION PROCEDURE LA NETWORK MANAGER remote control software CUSTOM PRESET CREATION PROCEDURE TECHNICAL BULLETIN - VERSION 1.0 Document reference: NWM-CUSTOM-PRS_TB_ML_1-0 Distribution date: July 21 st, 2010 2010 L-ACOUSTICS.

Plus en détail

LE PHYSICIEN FRANCAIS SERGE HAROCHE RECOIT CONJOINTEMENT LE PRIX NOBEL DE PHYSIQUE 2012 AVEC LE PHYSICIEN AMERCAIN DAVID WINELAND

LE PHYSICIEN FRANCAIS SERGE HAROCHE RECOIT CONJOINTEMENT LE PRIX NOBEL DE PHYSIQUE 2012 AVEC LE PHYSICIEN AMERCAIN DAVID WINELAND LE PHYSICIEN FRANCAIS SERGE HAROCHE RECOIT CONJOINTEMENT LE PRIX NOBEL DE PHYSIQUE 0 AVEC LE PHYSICIEN AMERCAIN DAVID WINELAND SERGE HAROCHE DAVID WINELAND Le physicien français Serge Haroche, professeur

Plus en détail

EN/FR. Europaudvalget 2013 Rådsmøde 3229 - transport, tele og energi Bilag 3 Offentligt COUNCIL OF THE EUROPEAN UNION. Brussels, 11 March 2013 7342/13

EN/FR. Europaudvalget 2013 Rådsmøde 3229 - transport, tele og energi Bilag 3 Offentligt COUNCIL OF THE EUROPEAN UNION. Brussels, 11 March 2013 7342/13 Europaudvalget 2013 Rådsmøde 3229 - transport, tele og energi Bilag 3 Offentligt COUNCIL OF THE EUROPEAN UNION Brussels, 11 March 2013 7342/13 TRANS 106 INFORMATION NOTE from: General Secretariat to: Council

Plus en détail

Cours de Programmation Orientée Objet

Cours de Programmation Orientée Objet Contrat et application à la librairie standard JAVA mailto:marc.champesme@lipn.univ-paris13.fr 6 février 2011 1 Qu est ce qu une classe? Un exemple en JAVA Résumé Expression du contrat Par des commentaires

Plus en détail

UML : Unified Modeling Language

UML : Unified Modeling Language UML : Unified Modeling Language Recommended: UML distilled A brief guide to the standard Object Modeling Language Addison Wesley based on Frank Maurer lecture, Univ. of Calgary in french : uml.free.fr/index.html

Plus en détail

Force and Torque Sensor with inboard Electronics

Force and Torque Sensor with inboard Electronics Force and Torque Sensor with inboard Electronics The force and torque sensors of the KMS series are high-capacity measuring systems. The KMS sensors enable 6 axis measurements in 3-dimensional space. The

Plus en détail

NOTICE D UTILISATION Option USB 2-Ports USB FRANCAIS

NOTICE D UTILISATION Option USB 2-Ports USB FRANCAIS NOTICE D UTILISATION Option USB 2-Ports USB FRANCAIS Introduction Ce supplément vous informe de l utilisation de la fonction USB qui a été installée sur votre table de mixage. Disponible avec 2 ports USB

Plus en détail

Gestion de la configuration et contrôle du code source

Gestion de la configuration et contrôle du code source MGL7460 Automne 2015 Gestion de la configuration et contrôle du code source Guy Tremblay Professeur Département d informatique UQAM http://www.labunix.uqam.ca/~tremblay 10 septembre 2015 Parmi les premières

Plus en détail

Quick start. Pulsar ellipse 300/500/650/800/1200. Pulsar ellipse premium 500/650/800/1200

Quick start. Pulsar ellipse 300/500/650/800/1200. Pulsar ellipse premium 500/650/800/1200 Quick start Pulsar ellipse 300/500/650/800/1200 Pulsar ellipse premium 500/650/800/1200 Using the additional functions available on your Pulsar ellipse Utilisation des fonctions additionnelles de votre

Plus en détail

1 2 3 4 5 6 Trust is the foundation of any collaboration Collaboration always implies an underlying contract or even unwritten agreement Formal or not, agreement violations must be sanctioned by accountability

Plus en détail

Calculateur quantique: factorisation des entiers

Calculateur quantique: factorisation des entiers Calculateur quantique: factorisation des entiers Plan Introduction Difficulté de la factorisation des entiers Cryptographie et la factorisation Exemple RSA L'informatique quantique L'algorithme quantique

Plus en détail

Section B: Receiving and Reviewing the Technician Inspection Report & Claims Decision Process

Section B: Receiving and Reviewing the Technician Inspection Report & Claims Decision Process Phoenix A.M.D. International Inc. - Claim Procedures, Timelines & Expectations Timelines & Expectations 1. All telephone messages and e-mail correspondence is to be handled and responded back to you within

Plus en détail

Handle side member change on vertical P/O, installed Changement du coté de poignée, fenêtre d'urgence verticale installée WARNING / AVERTISSEMENT

Handle side member change on vertical P/O, installed Changement du coté de poignée, fenêtre d'urgence verticale installée WARNING / AVERTISSEMENT INDEPENDENT INSTRUCTION INSTRUCTION INDÉPENDANTE II 003 REV E Handle side member change on vertical P/O, installed Changement du coté de poignée, fenêtre d'urgence verticale installée WARNING / AVERTISSEMENT

Plus en détail

Autres termes clés (Other key terms)

Autres termes clés (Other key terms) Carve-out method Autres termes clés (Other key terms) Norme Rapports d assurance sur les contrôles d une société de services extérieurs (, Assurance Reports on Controls at a Third Party Service Organization)

Plus en détail

CONSULTATION PUBLIQUE DE L'IBPT CONCERNANT LA MISE EN ŒUVRE D'UN MODELE COLLECTING POUR LES SERVICES A VALEUR AJOUTEE ET INTERNET

CONSULTATION PUBLIQUE DE L'IBPT CONCERNANT LA MISE EN ŒUVRE D'UN MODELE COLLECTING POUR LES SERVICES A VALEUR AJOUTEE ET INTERNET CONSULTATION PUBLIQUE DE L'IBPT CONCERNANT LA MISE EN ŒUVRE D'UN MODELE COLLECTING POUR LES SERVICES A VALEUR AJOUTEE ET INTERNET INSTITUT BELGE DES SERVICES POSTAUX ET DES TELECOMMUNICATIONS 14 MARS 2001

Plus en détail

ASSEMBLÉE LÉGISLATIVE DU YUKON LEGISLATIVE ASSEMBLY OF YUKON. First Session of the Thirty-third Legislative Assembly

ASSEMBLÉE LÉGISLATIVE DU YUKON LEGISLATIVE ASSEMBLY OF YUKON. First Session of the Thirty-third Legislative Assembly LEGISLATIVE ASSEMBLY OF YUKON First Session of the Thirty-third Legislative Assembly ASSEMBLÉE LÉGISLATIVE DU YUKON Première session de la trente-troisième Assemblée législative BILL NO. 46 ACT TO AMEND

Plus en détail

90558-CDT-06-L3French page 1 of 10. 90558: Listen to and understand complex spoken French in less familiar contexts

90558-CDT-06-L3French page 1 of 10. 90558: Listen to and understand complex spoken French in less familiar contexts 90558-CDT-06-L3French page 1 of 10 NCEA LEVEL 3: FRENCH CD TRANSCRIPT 2006 90558: Listen to and understand complex spoken French in less familiar contexts New Zealand Qualifications Authority: NCEA French

Plus en détail

The new consumables catalogue from Medisoft is now updated. Please discover this full overview of all our consumables available to you.

The new consumables catalogue from Medisoft is now updated. Please discover this full overview of all our consumables available to you. General information 120426_CCD_EN_FR Dear Partner, The new consumables catalogue from Medisoft is now updated. Please discover this full overview of all our consumables available to you. To assist navigation

Plus en détail

Control your dog with your Smartphone. USER MANUAL www.pet-remote.com

Control your dog with your Smartphone. USER MANUAL www.pet-remote.com Control your dog with your Smartphone USER MANUAL www.pet-remote.com Pet-Remote Pet Training Pet-Remote offers a new and easy way to communicate with your dog! With the push of a single button on your

Plus en détail

Compléter le formulaire «Demande de participation» et l envoyer aux bureaux de SGC* à l adresse suivante :

Compléter le formulaire «Demande de participation» et l envoyer aux bureaux de SGC* à l adresse suivante : FOIRE AUX QUESTIONS COMMENT ADHÉRER? Compléter le formulaire «Demande de participation» et l envoyer aux bureaux de SGC* à l adresse suivante : 275, boul des Braves Bureau 310 Terrebonne (Qc) J6W 3H6 La

Plus en détail

Thyroid Scan. To Prepare

Thyroid Scan. To Prepare Thyroid Scan A thyroid scan checks your thyroid gland for problems. The thyroid gland is located in your neck. It speeds up or slows down most body functions. You will be asked to swallow a pill that contains

Plus en détail

Multi Beam antenna informations and assembly instructions. Notice d utilisation et de pointage antenne multi - satellites. Informations Importantes

Multi Beam antenna informations and assembly instructions. Notice d utilisation et de pointage antenne multi - satellites. Informations Importantes Notice d utilisation et de pointage antenne multi - satellites Multi Beam antenna informations and assembly instructions Informations Importantes Cette antenne permet de recevoir jusqu à 8 satellites de

Plus en détail

Etudiants entrants / Incoming students 2014-2015

Etudiants entrants / Incoming students 2014-2015 Etudiants entrants / Incoming students 2014-2015 Service Relations Internationales de l IAE Karine MICHELET, Bureau AF114 www.iae-toulouse.fr international@iae-toulouse.fr Tel: 05 61 63 57 10 Ce guide

Plus en détail

Rational Team Concert

Rational Team Concert Une gestion de projet agile avec Rational Team Concert Samira Bataouche Consultante, IBM Rational France 1 SCRUM en Bref Events Artifacts Development Team Source: Scrum Handbook 06 Décembre 2012 Agilité?

Plus en détail

that the child(ren) was/were in need of protection under Part III of the Child and Family Services Act, and the court made an order on

that the child(ren) was/were in need of protection under Part III of the Child and Family Services Act, and the court made an order on ONTARIO Court File Number at (Name of court) Court office address Applicant(s) (In most cases, the applicant will be a children s aid society.) Full legal name & address for service street & number, municipality,

Plus en détail

COPYRIGHT Danish Standards. NOT FOR COMMERCIAL USE OR REPRODUCTION. DS/EN 61303:1997

COPYRIGHT Danish Standards. NOT FOR COMMERCIAL USE OR REPRODUCTION. DS/EN 61303:1997 COPYRIGHT Danish Standards. NOT FOR COMMERCIAL USE OR REPRODUCTION. DS/EN 61303:1997 COPYRIGHT Danish Standards. NOT FOR COMMERCIAL USE OR REPRODUCTION. DS/EN 61303:1997 COPYRIGHT Danish Standards. NOT

Plus en détail

Le passé composé. C'est le passé! Tout ça c'est du passé! That's the past! All that's in the past!

Le passé composé. C'est le passé! Tout ça c'est du passé! That's the past! All that's in the past! > Le passé composé le passé composé C'est le passé! Tout ça c'est du passé! That's the past! All that's in the past! «Je suis vieux maintenant, et ma femme est vieille aussi. Nous n'avons pas eu d'enfants.

Plus en détail

This is a preview - click here to buy the full publication NORME INTERNATIONALE INTERNATIONAL STANDARD. Partie 1: Emetteurs d'infrarouge cou rt

This is a preview - click here to buy the full publication NORME INTERNATIONALE INTERNATIONAL STANDARD. Partie 1: Emetteurs d'infrarouge cou rt NORME INTERNATIONALE INTERNATIONAL STANDARD CEI lec 240-1 Deuxième édition Second edition 1992-07 Caractéristiques des émetteurs électriques d'infrarouge pour chauffage industriel Partie 1: Emetteurs d'infrarouge

Plus en détail

Institut français des sciences et technologies des transports, de l aménagement

Institut français des sciences et technologies des transports, de l aménagement Institut français des sciences et technologies des transports, de l aménagement et des réseaux Session 3 Big Data and IT in Transport: Applications, Implications, Limitations Jacques Ehrlich/IFSTTAR h/ifsttar

Plus en détail

DMX CONTROLEUR. Indicateurs LED : Ils indiquent les fonctionnalités correspondantes.

DMX CONTROLEUR. Indicateurs LED : Ils indiquent les fonctionnalités correspondantes. DMX CONTROLEUR CA-24D CA-2405 Le CA-24D est un contrôleur DMX 24 canaux spécialement conçu pour une utilisation avec le CA-2405. Il est muni d un panneau de commande convivial, de 24 scènes programmables,

Plus en détail

RFP 1000162739 and 1000163364 QUESTIONS AND ANSWERS

RFP 1000162739 and 1000163364 QUESTIONS AND ANSWERS RFP 1000162739 and 1000163364 QUESTIONS AND ANSWERS Question 10: The following mandatory and point rated criteria require evidence of work experience within the Canadian Public Sector: M3.1.1.C / M3.1.2.C

Plus en détail

Cours 3 : Flot de concep6on et FPGA. Flot de concep6on. La synthèse 22/02/09. Architecture 2 Ensimag. Entrée : Descrip6on du circuit.

Cours 3 : Flot de concep6on et FPGA. Flot de concep6on. La synthèse 22/02/09. Architecture 2 Ensimag. Entrée : Descrip6on du circuit. Cours 3 : Flot de concep6on et FPGA Architecture 2 Ensimag Flot de concep6on Source : Spartan 3 Genera0on FPGA User Guide La synthèse Entrée : Descrip6on du circuit Schéma Langage de descrip6on (exemple

Plus en détail

SERVEUR DÉDIÉ DOCUMENTATION

SERVEUR DÉDIÉ DOCUMENTATION SERVEUR DÉDIÉ DOCUMENTATION Release 5.0.6.0 19 Juillet 2013 Copyright 2013 GIANTS Software GmbH, All Rights Reserved. 1/9 CHANGE LOG Correction de bug divers (5.0.6.0) Ajout d une option de relance automatique

Plus en détail

BILL C-539 PROJET DE LOI C-539 C-539 C-539 HOUSE OF COMMONS OF CANADA CHAMBRE DES COMMUNES DU CANADA. An Act to promote local foods

BILL C-539 PROJET DE LOI C-539 C-539 C-539 HOUSE OF COMMONS OF CANADA CHAMBRE DES COMMUNES DU CANADA. An Act to promote local foods C-539 C-539 First Session, Forty-first Parliament, Première session, quarante et unième législature, HOUSE OF COMMONS OF CANADA CHAMBRE DES COMMUNES DU CANADA BILL C-539 PROJET DE LOI C-539 An Act to promote

Plus en détail

Assoumta Djimrangaye Coordonnatrice de soutien au développement des affaires Business development support coordinator

Assoumta Djimrangaye Coordonnatrice de soutien au développement des affaires Business development support coordinator 2008-01-28 From: [] Sent: Monday, January 21, 2008 6:58 AM To: Web Administrator BCUC:EX Cc: 'Jean Paquin' Subject: RE: Request for Late Intervenorship - BCHydro Standing Offer C22-1 Dear Bonnie, Please

Plus en détail

et Active Directory Ajout, modification et suppression de comptes, extraction d adresses pour les listes de diffusion

et Active Directory Ajout, modification et suppression de comptes, extraction d adresses pour les listes de diffusion et Active Directory Ajout, modification et suppression de comptes, extraction d adresses pour les listes de diffusion Copyright 2009 Alt-N Technologies. 3 allée de la Crabette Sommaire Résumé... 3 MDaemon

Plus en détail

Data Carrier System (code 5641090)

Data Carrier System (code 5641090) Instructions for Use Instructions d utilisation 2 5 Data Carrier System (code 5641090) 5009756-E 05/2011 2 ENGLISH PARTS OF THE DATA CARRIER READ/WRITE HARDWARE The Data Carrier consists of three parts:

Plus en détail

Solution d hébergement de "SWIFTAlliance ENTRY R7" Politique de Sauvegarde et de Restauration

Solution d hébergement de SWIFTAlliance ENTRY R7 Politique de Sauvegarde et de Restauration Solution d hébergement de "SWIFTAlliance ENTRY R7" Politique de Sauvegarde et de Restauration Avril 2012 I- Introduction Le présent document présente la politique de sauvegarde et de restauration à adopter

Plus en détail

I. COORDONNÉES PERSONNELLES / PERSONAL DATA

I. COORDONNÉES PERSONNELLES / PERSONAL DATA DOSSIER DE CANDIDATUREAPPLICATION FORM 2012 Please tick the admission session of your choice FévrierFebruary SeptembreSeptember MASTER OF ART (Mention the subject) MASTER OF SCIENCE (Mention the subject)

Plus en détail

Règlement modifiant le Règlement général sur la circulation routière. Highway Traffic (General) Regulation, amendment

Règlement modifiant le Règlement général sur la circulation routière. Highway Traffic (General) Regulation, amendment THE HIGHWAY TRAFFIC ACT (C.C.S.M. c. H60) Highway Traffic (General) Regulation, amendment CODE DE LA ROUTE (c. H60 de la C.P.L.M.) Règlement modifiant le Règlement général sur la circulation routière Regulation

Plus en détail

C D. 4 fixation de la gâche fixe Fixer la gâche fixe à l aide des 3 vis fournies (E) en respectant la hauteur notée dans le gabarit.

C D. 4 fixation de la gâche fixe Fixer la gâche fixe à l aide des 3 vis fournies (E) en respectant la hauteur notée dans le gabarit. 4 2 3 3 2 4 B 2 mm 2 mm 2 2 A Fig/Abb. E C D Fig/Abb 2 F E Fig/Abb 3 Fig/Abb 4 F caracteristiques Serrure électrique ouverture à droite. Déclenchement par impulsion électrique ou badges de proximité. Fonctionne

Plus en détail