Technologies quantiques & information quantique

Save this PDF as:

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

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

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

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

Solution to Test Traitement Quantique de l Information

Solution to Test Traitement Quantique de l Information Traitement Quantique de l Information EPFL Semestre d hiver 3 Dr. Nicolas Macris Solution to Test Traitement Quantique de l Information Exercice (a) Initial state is h. After the first semi transparent

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

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

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

Creating Classes CHAPTER 9 DEFINING CLASSES & CREATING OBJECTS. Defining Classes 4/23/2013. Example 9.1: Class Definition Syntax

Creating Classes CHAPTER 9 DEFINING CLASSES & CREATING OBJECTS. Defining Classes 4/23/2013. Example 9.1: Class Definition Syntax Creating Classes CHAPTER 9 DEFINING CLASSES & CREATING OBJECTS Introduction to Computer Science Using Ruby Ruby has built-in classes, but you can create your own Imagine organizing a database for bank

Plus en détail

Fondements de l information quantique. Sophie Laplante Université Paris-Diderot

Fondements de l information quantique. Sophie Laplante Université Paris-Diderot Fondements de l information quantique Sophie Laplante Université Paris-Diderot Feuille de route Modèle de calcul, états, circuits classiques Etats quantiques, mesures Circuits quantiques La téléportation

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

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

Electricité Electricity Ref 302 189 Moteur triphasé très basse tension Français p 1 English p 4 Extra-low voltage three-phase motor

Electricité Electricity Ref 302 189 Moteur triphasé très basse tension Français p 1 English p 4 Extra-low voltage three-phase motor Electricité Régime sinusoïdal triphasé Electricity Three-phase sinusoidal mode Français p 1 English p 4 Version : 8009 Moteur triphasé très basse tension Extra-low voltage three-phase motor Electricité

Plus en détail

Tooxy Capteur. Tooxy Sensor. Capteur ph-mètre ph-meter sensor. Ref : Français p 1. English p 3. Version : 0112

Tooxy Capteur. Tooxy Sensor. Capteur ph-mètre ph-meter sensor. Ref : Français p 1. English p 3. Version : 0112 Capteur Tooxy Sensor Français p 1 English p 3 Capteur ph-mètre ph-meter sensor Version : 0112 Capteur ph-mètre 1 Généralités Ce capteur permet de mesurer le ph d une solution avec une sonde ph à connecteur

Plus en détail

From classical circuits to quantum circuits. Alexis De Vos and Stijn De Baerdemacker. Waterloo, 9 June 2015

From classical circuits to quantum circuits. Alexis De Vos and Stijn De Baerdemacker. Waterloo, 9 June 2015 From classical circuits to quantum circuits Alexis De Vos and Stijn De Baerdemacker Waterloo, 9 June 2015 Un bonjour de Waterloo, Belgique pour Waterloo, Ontario From classical circuits to quantum circuits

Plus en détail

A Bimagic. Order. Cube. Holger Danielsson

A Bimagic. Order. Cube. Holger Danielsson 5590 6570 10675 15380 860 8861 10466 14571 526 4631 9512 14367 2847 3802 8532 13413 1893 3623 7703 12433 1689 5794 7399 11604 12584 4049 8129 9859 13964 3069 7950 12030 13635 2240 3220 11846 12801 1281

Plus en détail

National French Contest Level 1

National French Contest Level 1 National French Contest 2006 - Level 1 Time - 1 hour Number of questions 70 General instructions Indicate all your answers to questions in this test on the separate answer sheet. No credit will be given

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

Physics in Canada La Physique au Canada

Physics in Canada La Physique au Canada Physics in Canada La Physique au Canada Book Review Critique de livre Quantum Information, Computation and Communication, by Jonathan A. Jones and Dieter Jaksch, Cambridge University Press, 2012, ISBN

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

ADDENDUM A. Dessins et tracés des parcours

ADDENDUM A. Dessins et tracés des parcours ADDENDUM A ADDENDUM A ILLUSTRATING THE COURSE Shown here are diagrams of course shapes. The kiteboard s track is represented by a discontinuous line so that each diagram can describe courses with different

Plus en détail

Informatique quantique. Alain Tapp Laboratoire d informatique théorique et quantique Université de Montréal Septembre 2008

Informatique quantique. Alain Tapp Laboratoire d informatique théorique et quantique Université de Montréal Septembre 2008 Informatique quantique Alain Tapp Laboratoire d informatique théorique et quantique Université de Montréal Septembre 008 ENIAC 946 Electrical Numerical Integrator And Calculator ENIAC 946 Poids: 30 tonnes

Plus en détail

Semaine 3 : Série d exercices sur les algorithmes

Semaine 3 : Série d exercices sur les algorithmes Information, calcul et communication (MT-EL) EPFL Semaine 3 : Série d exercices sur les algorithmes 1 Que font ces algorithmes? Voici quatre algorithmes : algo1 sortie k 0 Pour j allant de 1 à 2n 1 Si

Plus en détail

Cryptographie quantique et téléportation en pratique

Cryptographie quantique et téléportation en pratique Cryptographie quantique et téléportation en pratique Eleni Diamanti eleni.diamanti@upmc.fr FSMP, Maths en mouvement 2017 1 Introduction Nous avons vu des protocoles de téléportation et de cryptographie,

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

CA6240 FIRMWARE UPDATE TROUGH A PC

CA6240 FIRMWARE UPDATE TROUGH A PC CA6240 FIRMWARE UPDATE TROUGH A PC 1. Requirements IBM PC or compatible (Pentium or better) Microsoft(R) Windows(R) 98 / NT 4 / 2000 / Me / XP / Vista USB/RS-232 optical link FLASHSTA.EXE program The program

Plus en détail

Université Paris 13 Année 2014-2015 M2 Introduction à la théorie spectrale

Université Paris 13 Année 2014-2015 M2 Introduction à la théorie spectrale Université Paris 13 Année 014-015 M Introduction à la théorie spectrale Examen Les exercices sont indépendants 1. Spectre des opérateurs annihilation-création. On considère sur R les opérateurs différentiels

Plus en détail

LOGICIEL EMBARQUE LA GESTION DU COUNTER/TIMER

LOGICIEL EMBARQUE LA GESTION DU COUNTER/TIMER LOGICIEL EMBARQUE LA GESTION DU COUNTER/TIMER Finalité Technologie de l Informatique Haute Ecole Namur Liège Luxembourg LA GESTION DU COUNTER/TIMER Un compteur/minuteur (counter/timer) est un périphérique

Plus en détail

Public Assistance Pilot Program

Public Assistance Pilot Program Public Assistance Pilot Program Deana Platt Public Assistance Policy Specialist FEMA Headquarters Background June 1, 2007 PA Pilot Roll-out June 1, 2007 through December 31, 2008 Implement Pilot Procedures

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

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

Chemistry - Ch 5 Prep-Test

Chemistry - Ch 5 Prep-Test Chemistry - Ch 5 Prep-Test Multiple Choice Identify the letter of the choice that best completes the statement or answers the question. 1. A volume of 1 cubic centimeter is equivalent to a. 1 milliliter.

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

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

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

Jérôme Garin - CEA Grenoble

Jérôme Garin - CEA Grenoble Couplage NanoLC-NanoESI-MS nanolc nanoesi-ms Colonne capillaire RP (75 µm x 15 cm) Jérôme Garin - CEA Grenoble 1 spectre MS / seconde (6 000 spectres MS / nanolc) 1 Couplage NanoLC-NanoESI-MS/MS nanolc

Plus en détail

Data issues in species monitoring: where are the traps?

Data issues in species monitoring: where are the traps? Data issues in species monitoring: where are the traps? French breeding bird monitoring : Animations locales : - dealing with heterogenous data - working with multi-species multi-sites monitoring schemes

Plus en détail

PROFESSIONAL MEMORY SAVER MODEL #3177 USERS MANUAL

PROFESSIONAL MEMORY SAVER MODEL #3177 USERS MANUAL PROFESSIONAL MEMORY SAVER MODEL #3177 USERS MANUAL Operating Instructions Please read these instructions thoroughly before using the product. Charge the Memory Saver before first use. The Memory Saver

Plus en détail

Sorting Algorithms. Introduction to non-recursive sorting algorithms. Cours Premier Cycle (IBIS), INSA de Rouen Habib Abdulrab

Sorting Algorithms. Introduction to non-recursive sorting algorithms. Cours Premier Cycle (IBIS), INSA de Rouen Habib Abdulrab Sorting Algorithms Introduction to non-recursive sorting algorithms Cours Premier Cycle (IBIS), INSA de Rouen Habib Abdulrab Cours IBIS 2003-2004, HA - Contents (I) Basic Definitions: relation, total relation,

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

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

CHAPTER2. Le Problème Economique

CHAPTER2. Le Problème Economique CHAPTER2 Le Problème Economique Les Possibilités de Production et Coût d Opportunité La courbe des possibilités de production représente (CPP) représente la limite entre les différentes combinaisons en

Plus en détail

Extending statecharts with process algebra operators. Marc Frappier, B. Fraikin, R. St-Denis : Sherbrooke F. Gervais, R. Laleau : Paris-Est

Extending statecharts with process algebra operators. Marc Frappier, B. Fraikin, R. St-Denis : Sherbrooke F. Gervais, R. Laleau : Paris-Est Extending statecharts with process algebra operators Marc Frappier, B. Fraikin, R. St-Denis : Sherbrooke F. Gervais, R. Laleau : Paris-Est 1 Plan Statecharts and Information systems specifications ASTD

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

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

ENCART 5. Les types d intersections des coniques et la décomposition polynomiale du déterminant.

ENCART 5. Les types d intersections des coniques et la décomposition polynomiale du déterminant. ENCART 5. Les types d intersections des coniques et la décomposition polynomiale du déterminant. 1er type : 3 racines distinctes. D(λ) = (λ-a)(λ-b)(λ-c) et D 1 (λ) = 1. 3 points d intersection. Le faisceau

Plus en détail

RESULTING FROM THE ANTI-SEMITIC LEGISLATION IN FORCE DURING THE OCCUPATION. (Decree 99-778 of September 10, 1999) QUESTIONNAIRE. Family Name...

RESULTING FROM THE ANTI-SEMITIC LEGISLATION IN FORCE DURING THE OCCUPATION. (Decree 99-778 of September 10, 1999) QUESTIONNAIRE. Family Name... COMMISSION FOR THE COMPENSATION OF VICTIMS OF SPOLIATION RESULTING FROM THE ANTI-SEMITIC LEGISLATION IN FORCE DURING THE OCCUPATION (Decree 99-778 of September 10, 1999) Case Number : (to remind in all

Plus en détail

24-26 APRIL KICC-NAIROBI-KENYA TELE-COMMUNICATIONS,ELECTRONICS,MOBILES&SYSTEMS. Kenyatta International Convention Centre, Nairobi

24-26 APRIL KICC-NAIROBI-KENYA TELE-COMMUNICATIONS,ELECTRONICS,MOBILES&SYSTEMS. Kenyatta International Convention Centre, Nairobi AFRICA EXP 24-26 APRIL KICC-NAIROBI-KENYA TELE-COMMUNICATIONS,ELECTRONICS,MOBILES&SYSTEMS Application Form & Contract 1. Exhibitor Information COMPANY NAME Street Address: No. CITY: STATE: COUNTRY ZIP/POSTAL

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

Relative entropy and squashed entanglement

Relative entropy and squashed entanglement Relative entropy and squashed entanglement Ke Li (CQT, NUS) Andreas Winter (Universitat Autònoma de Barcelona) QIP2013 Beijing Entanglement and entanglement measures Entanglement is an important concept

Plus en détail

Final exam (May, 23rd)

Final exam (May, 23rd) ENS LYON L3 PROBABILITY 2016 2017 Final exam (May, 23rd) Problem 1 (Basics) Give a concise (but justified) answer to the following questions theorem from the course, state it clearly When using a 1 Let

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

Scientific Test : 1 st Part

Scientific Test : 1 st Part Family Name: Given Name: University: Department: Candidate Number: Scientific Test : 1 st Part Mathematics DO NOT OPEN THE BOOKLET BEFORE BEING INVITED Instructions: - You have 1h30 for answering this

Plus en détail

French near future battleships

French near future battleships Worksheet Exercise 1 Write four Xs. Do not show your partner. First time: find your partner s Xs: Nous allons jouer au foot. Second time: find your partner s Xs: Nous allons jouer au foot? jouer au foot.

Plus en détail

2015/16 International Exchange Students. Application Form. Etudiants Internationaux en Echange 2015/16. Dossier de Candidature

2015/16 International Exchange Students. Application Form. Etudiants Internationaux en Echange 2015/16. Dossier de Candidature 2015/16 International Exchange Students Application Form Etudiants Internationaux en Echange 2015/16 Dossier de Candidature 1. PERSONAL DATA/ COORDONNEES PERSONNELLES (block letters only / en majuscule)

Plus en détail

Bluetooth. Adaptateur USB USB Adapter. Guide d exploitation User manual VW3 A8115 09/2009. www.schneider-electric.com

Bluetooth. Adaptateur USB USB Adapter. Guide d exploitation User manual VW3 A8115 09/2009. www.schneider-electric.com Bluetooth Adaptateur USB USB Adapter Guide d exploitation User manual VW3 A8115 09/2009 1629225 www.schneider-electric.com Bluetooth Adaptateur USB bluetooth Page 3 FRANÇAIS USB Bluetooth adapter Page

Plus en détail

LES LE CAPTEUR SOUPLE ECA DANS LE MONDE INDUSTRIEL TUDES ET DE RECHERCHECHRISTIAN MARCEAU LABORATOIRE D ETUDES ET DE RECHERCHE

LES LE CAPTEUR SOUPLE ECA DANS LE MONDE INDUSTRIEL TUDES ET DE RECHERCHECHRISTIAN MARCEAU LABORATOIRE D ETUDES ET DE RECHERCHE LES LE CAPTEUR SOUPLE ECA DANS LE MONDE INDUSTRIEL TUDES ET DE RECHERCHECHRISTIAN MARCEAU LABORATOIRE D ETUDES ET DE RECHERCHE P. CABANIS, OLYMPUS - OISE Résumé Aujourd hui les industriels tendent à utiliser

Plus en détail

Erdington, Birmingham, B24 9PZ Kingsbury Road

Erdington, Birmingham, B24 9PZ Kingsbury Road Proposed 1,114 sq ft Retail Unit To Let Erdington, Birmingham, B24 9PZ 1016-1018 Kingsbury Road Prominent Retail Units To Let LOCATION KEY DETAILS: L ocated on one of the busiest roundabouts in the whole

Plus en détail

Transformée de Laplace

Transformée de Laplace ère année R&T TD M3207c n Pose ta question, tu seras idiot une seconde. Ne la pose pas, tu seras idiot toute ta vie. Albert Einstein. Exercice.. Déterminer la transformée de Laplace de Exercice.2. Transformée

Plus en détail

Test scientifique : 1 ère Partie

Test scientifique : 1 ère Partie Nom : Prénom : Université : Département: Numéro ParisTech : Test scientifique : 1 ère Partie Mathématiques NE PAS ouvrir le fascicule avant d y avoir été invité Instructions : - La durée de cette première

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

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

Scientific Test : 1 st Part

Scientific Test : 1 st Part Family Name: Given Name: University: Department: Candidate Number: Scientific Test : 1 st Part Mathematics DO NOT OPEN THE BOOKLET BEFORE BEING INVITED Instructions: - You have 1h30 for answering this

Plus en détail

National French Contest 2015 Level 2

National French Contest 2015 Level 2 General instructions National French Contest 2015 Level 2 Time - 1 hour Number of questions 70 Indicate all your answers to questions in this test on the separate answer sheet. No credit will be given

Plus en détail

NSI INTERNET COOPERATION QUARTERLY WEB SITE MONITORING INDICATORS. 1st QUARTER 2008

NSI INTERNET COOPERATION QUARTERLY WEB SITE MONITORING INDICATORS. 1st QUARTER 2008 EUROPEAN COMMISSION EUROSTAT Directorate B: Statistical methods and tools; Dissemination Luxembourg, 01/04/2008 NSI INTERNET COOPERATION QUARTERLY WEB SITE MONITORING INDICATORS 1st QUARTER 2008 Please

Plus en détail

Chimie structurale Propriétés de la matière. Structural Chemistry Properties of Matter. Structure de l atome. Atom Structure.

Chimie structurale Propriétés de la matière. Structural Chemistry Properties of Matter. Structure de l atome. Atom Structure. Chimie structurale Propriétés de la matière Properties of Matter Réf : 702 852 Français p 1 Structure de l atome English p 6 Version : 8108 Chimie structurale Structure de l atome Réf : 702 852 1. Description

Plus en détail

Guide d exploitation User s manual. Adaptateur USB, USB Adapter

Guide d exploitation User s manual. Adaptateur USB, USB Adapter Guide d exploitation User s manual Adaptateur USB, USB Adapter 88 970 110 15000336 Bluetooth Adaptateur USB Bluetooth Page 2 Configuration matérielle 2 Configuration logicielle 3 Remarques 8 USB Bluetooth

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

[6%] [5%] [5%] COMP , Assignment 2 Due Thursday February 18 th 2016 (no programming this time) 1. Prove that if limn f(n)/g(n) = 0

[6%] [5%] [5%] COMP , Assignment 2 Due Thursday February 18 th 2016 (no programming this time) 1. Prove that if limn f(n)/g(n) = 0 COMP 250 2016, Assignment 2 Due Thursday February 18 th 2016 (no programming this time) [6%] 1. Prove that if limn f(n)/g(n) = 0 then f(n) is O(g(n)) but f(n) is not θ(g(n)). 2.Solve the following Exercises

Plus en détail

SEG 2506 Construction de logiciels

SEG 2506 Construction de logiciels SEG 2506 Construction de logiciels Devoir 04: Programmation avec concurrence présenté à: prof. G. Bochmann, Ph.D. par: Alexandre Bradley 4548582 abrad087@uottawa.ca et Kevin Mottashed 4490866 kmott071@uottawa.ca

Plus en détail

L alphabet A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

L alphabet A B C D E F G H I J K L M N O P Q R S T U V W X Y Z PHONICS REVISION L alphabet A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Les voyelles Prononcez la le lu do mi fa si du de Combinations of letters The combination of some letters makes new sounds:

Plus en détail

IFT2015 A12 Examen Intra

IFT2015 A12 Examen Intra IFT2015 A12 Examen Intra Miklós Csűrös 14 novembre 2012 English translation on the last three pages. Aucune documentation n est permise. L examen vaut 100 points. Vous pouvez avoir jusqu à 15 points de

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

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

Data Acquisition. Mesh Reconstruction. Sensors. Scan Conversion. Scanner types Laser Imaging (2D/3D) Probing Mixed

Data Acquisition. Mesh Reconstruction. Sensors. Scan Conversion. Scanner types Laser Imaging (2D/3D) Probing Mixed Mesh Reconstruction Data Acquisition Show Scan Conversion Main phases: Sensing - capture raw data Point set Boundary contours Voxels Conversion to polygonal model Followed by Mesh improvement Smoothing

Plus en détail

- 3 questions. La Probabilité

- 3 questions. La Probabilité La Probabilité - 3 questions 1. Deux enfants jouent avec une roulette en tournant la flèche. La roulette est divisée en 5 parties comme la roulette attachée. Colorie la plus grande partie rouge, les plus

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

Propositional Encoding - Decision Procedure. Daniel Kroening, Ofer Strichman Presented by Changki Hong

Propositional Encoding - Decision Procedure. Daniel Kroening, Ofer Strichman Presented by Changki Hong Propositional Encoding - Decision Procedure Daniel Kroening, Ofer Strichman Presented by Changki Hong Decision procedures so far.. The decision procedures so far focus on one specific theory We know how

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

STATUTES OF CANADA 2010 LOIS DU CANADA (2010) CHAPITRE 9 CHAPTER 9 ASSENTED TO SANCTIONNÉE. An Act to amend the Employment Insurance Act

STATUTES OF CANADA 2010 LOIS DU CANADA (2010) CHAPITRE 9 CHAPTER 9 ASSENTED TO SANCTIONNÉE. An Act to amend the Employment Insurance Act Third Session, Fortieth Parliament, 59 Elizabeth II, 2010 Troisième session, quarantième législature, 59 Elizabeth II, 2010 STATUTES OF CANADA 2010 LOIS DU CANADA (2010) CHAPTER 9 CHAPITRE 9 An Act to

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

1 Questions qualitatives (1 point each)

1 Questions qualitatives (1 point each) Relativité Générale 1 1 Questions qualitatives (1 point each) 1. L idée fondamentale de la relativité restreinte est que : (a) La vitesse d un objet est relative de référentiel? (b) La vitesse de la lumière

Plus en détail

Analyse et Commande de Microscope à Effet Tunnel (STM)

Analyse et Commande de Microscope à Effet Tunnel (STM) Analyse et Commande de Microscope à Effet Tunnel (STM) Présenté par: Irfan Ahmad (Doctorant en 2 éme année) Encadré par: Alina Voda & Gildas Besançon GIPSA-lab, Département Automatique Grenoble, France

Plus en détail

Province of Alberta LANGUAGES ACT. Revised Statutes of Alberta 2000 Chapter L-6. Current as of January 1, 2002. Office Consolidation

Province of Alberta LANGUAGES ACT. Revised Statutes of Alberta 2000 Chapter L-6. Current as of January 1, 2002. Office Consolidation Province of Alberta LANGUAGES ACT Revised Statutes of Alberta 2000 Chapter L-6 Current as of January 1, 2002 Office Consolidation Published by Alberta Queen s Printer Alberta Queen s Printer 7 th Floor,

Plus en détail

Foxy Capteur. Foxy Sensor. Capteur pression Foxy Foxy pressure sensor. Réf : Français p 1. English p 4. Version : 2101

Foxy Capteur. Foxy Sensor. Capteur pression Foxy Foxy pressure sensor. Réf : Français p 1. English p 4. Version : 2101 Capteur Foxy Sensor Réf : Français p 1 English p 4 Capteur pression Foxy Foxy pressure sensor Version : 2101 Capteur pression Foxy Réf : 1 Généralités Ce capteur mesure la pression absolue ou relative

Plus en détail

NORME INTERNATIONALE INTERNATIONAL STANDARD

NORME INTERNATIONALE INTERNATIONAL STANDARD NORME INTERNATIONALE INTERNATIONAL STANDARD CEI IEC 60661 1999 AMENDEMENT 1 AMENDMENT 1 2003-02 Amendement 1 Méthodes de mesure de l'aptitude à la fonction des cafetières électriques à usage domestique

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

Level 2 French, 2015

Level 2 French, 2015 91121 911210 2SUPERVISOR S Level 2 French, 2015 91121 Demonstrate understanding of a variety of written and / or visual French text(s) on familiar matters 2.00 p.m. Thursday 19 November 2015 Credits: Five

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

Level 3 French, 2015

Level 3 French, 2015 91546 915460 3SUPERVISOR S Level 3 French, 2015 91546 Demonstrate understanding of a variety of extended written and / or visual French texts 9.30 a.m. Wednesday 18 November 2015 Credits: Five Achievement

Plus en détail

LibQUAL Canada 2010: Participants Survey / Sondage auprès des participants

LibQUAL Canada 2010: Participants Survey / Sondage auprès des participants LibQUAL Canada 2010: Participants Survey / Sondage auprès des participants The goal of this survey is to assess your library's experience with LibQUAL+ in 2010: (1) whether 2010 participants would be interested

Plus en détail

Méthodes d approximation

Méthodes d approximation Méthodes d approximation «The underlying physical laws necessary for the mathematical theory of a large part of physics and the whole of chemistry are thus completely known, and the difficulty is only

Plus en détail

Level 1 French, 2015

Level 1 French, 2015 90881 908810 1SUPERVISOR S Level 1 French, 2015 90881 Demonstrate understanding of a variety of French texts on areas of most immediate relevance 9.30 a.m. Wednesday 18 November 2015 Credits: Five Achievement

Plus en détail

ODE Background: Complex Variables (4A) Young Won Lim 12/21/15

ODE Background: Complex Variables (4A) Young Won Lim 12/21/15 ODE Background: Copyright (c) 2011-2014 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later

Plus en détail

PRÉSENTATION TRAVAIL EN COURS - APPRENTISSAGE INTERACTIF. Ianis Lallemand, 21 janvier 2013

PRÉSENTATION TRAVAIL EN COURS - APPRENTISSAGE INTERACTIF. Ianis Lallemand, 21 janvier 2013 PRÉSENTATION TRAVAIL EN COURS - APPRENTISSAGE INTERACTIF Ianis Lallemand, 21 janvier 2013 APPRENTISSAGE INTERACTIF definition Contours encore assez flous dans le champ de l apprentissage automatique. Néanmoins,

Plus en détail

Simulation en Imagerie Médicale

Simulation en Imagerie Médicale Simulation en Imagerie Médicale Fabien Baldacci LaBRI 15 Novembre 2012 Fabien Baldacci Simulation en Imagerie Médicale 1 / 37 Plan 1 Introduction 2 Principes de la simulation 3 Accélération des calculs

Plus en détail

Career Development. A Second Entrepreneurial Experience

Career Development. A Second Entrepreneurial Experience Career Development Secondary Cycle Two (604-402/604-404) A Second Entrepreneurial Experience LOG Project Student s name Group Class code 1 TABLE OF CONTENTS Preparation Diagram of the competency Determines

Plus en détail

Network Address Translation

Network Address Translation Network Address Translation "Qu'est-ce que la translation d'adresse?" Notions d'adressage privé ou public, techniques de masquerading, NAT et quand les employer What s in a range? The first address in

Plus en détail

Quantum Algorithms for the k-xor Problem

Quantum Algorithms for the k-xor Problem Quantum Algorithms for the k-xor Problem Lorenzo Grassi 1, María Naya-Plasencia 2, André Schrottenloher 2 1 IAIK, Graz University of Technology, Austria 2 Inria, France December 3, 2018 L. Grassi, M. Naya-Plasencia,

Plus en détail

XtremWeb-HEP 8.0.0. Interconnecting jobs over DG. Virtualization over DG. Oleg Lodygensky Laboratoire de l Accélérateur Linéaire

XtremWeb-HEP 8.0.0. Interconnecting jobs over DG. Virtualization over DG. Oleg Lodygensky Laboratoire de l Accélérateur Linéaire XtremWeb-HEP 8.0.0 Interconnecting jobs over DG Virtualization over DG Oleg Lodygensky Objectives 1.Deploy Virtual Machines in XtremWeb-HEP desktop grid to: protect volunteer resources generalize «pilot

Plus en détail