Partager Facebook X (ex-Twitter) Linkedin Copier le lien Résultats de recherche Rechercher 22957 résultats Filtres Type de contenu Close Type de contenu Type de contenu (-) Enseignements (22957) Actualité (1445) Personne (1295) Chaire (351) Éditions (325) Page (225) Recherche (26) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Événement Gérard Berry À la chasse aux bugs : la vérification des programmes et circuits Cours Documents et médias Télécharger le support … 22 fév 2008 10:30 à 11:30 Événement Patrick Cousot La vérification des programmes par interprétation abstraite Séminaire Résumé Patrick Cousot, professeur à l’École Normale Supérieure, a présenté l’interprétation abstraite, qu’il développe avec son équipe depuis trente ans. L’idée est de faire calculer symboliquement le programme selon les mêmes lois d’exécution mais sur … 22 fév 2008 11:30 à 12:30 Événement Serge Haroche Physique quantique Leçon inaugurale Une coproduction Collège de France – CNED Résumé De l'infiniment petit à l'infiniment grand, couvrant plus de soixante ordres de grandeur de dimension spatiale, la théorie quantique est invoquée, tant pour décrire les vibrations encore largement … 13 déc 2001 18:00 à 19:00 Événement Nicolas Grimal Le temple d'Amon-Rê à Karnak : Héliopolis et l'Empire (suite) (8) Cours 25 fév 2008 16:30 à 17:30 Événement Nicolas Grimal Les annales de Thoutmosis III (suite) (8) Séminaire 25 fév 2008 15:00 à 16:00 Événement Serge Haroche Comptage QND de 0 ou 1 photon Cours Résumé La cinquième leçon a été consacrée aux expériences d’électrodynamique en cavité micro-onde détectant, sans les détruire, des photons uniques piégés. Les sondes du champ sont des atomes de Rydberg traversant un à un la cavité C. Le champ laisse une … 25 fév 2008 09:30 à 10:30 Événement Vahid Sandoghdar Cavity-Free Efficient Coupling of Single Photons and Single Emitters Séminaire 25 fév 2008 11:00 à 12:00 Événement Alain Connes Caractérisation spectrale des variétés (8) Cours 28 fév 2008 14:30 à 15:30 Événement Edward Hughes Perspectives sur la culture populaire Séminaire 19 fév 2008 17:30 à 18:30 Événement Antoine Compagnon Morales de Proust (7) Cours 19 fév 2008 16:30 à 17:30 Événement Michel Zink La poésie comme récit (suite). Des nouvelles de l'amour (7) Séminaire 19 fév 2008 11:30 à 12:30 Événement Michel Zink La poésie comme récit (suite). Des nouvelles de l'amour (8) Cours 19 fév 2008 10:30 à 11:30 Événement Denis Knoepfler Lecture commentée d'inscriptions grecques en relation avec l'histoire de l'île d'Eubée (1) Séminaire 22 fév 2008 11:00 à 12:00 Événement Denis Knoepfler Une cité au cœur du monde méditerranéen antique : Érétrie et son territoire, histoire et institutions (1) Cours 22 fév 2008 09:45 à 10:45 Événement Armand de Ricqlès L'évolution secondaire des tétrapodes vers les milieux aquatiques 2. Les formes mésozoïques (7) Cours 22 fév 2008 16:00 à 17:00 Événement Riccardo Barbieri The Precision Tests Séminaire Documents et médias Télécharger le support … 22 fév 2008 11:00 à 12:00 Événement Jean-Christophe Yoccoz Cocycles uniformément hyperboliques (8) Cours 26 fév 2008 10:00 à 11:00 Événement Gabriele Veneziano Standard Model Higgs and one-family Lagrangian. Tree-level predictions: one family Cours Documents et médias Télécharger le support (1) Télécharger le support (2) … 22 fév 2008 09:45 à 10:45 Événement Jean-Marie Durand Divination et pouvoir en Mésopotamie (3) Cours 21 fév 2008 16:00 à 17:00 Événement Pierre Briant Alexandre le Grand aujourd'hui (VI) : Histoire d'Alexandre et histoire de l'expansion européenne (III) (2) Cours 21 fév 2008 14:00 à 16:00 Événement Jon Elster Les croyances motivées (2) Cours Documents et médias Télécharger le support … 21 fév 2008 15:00 à 16:00 Événement Pierre-Etienne Will Ingénieurs, philanthropes et militaristes dans la Chine républicaine (suite) (6) Cours 20 fév 2008 14:00 à 15:00 Événement Philippe Kourilsky Les systèmes immunitaires dans l'évolution des espèces (4) Cours Documents et médias Télécharger le support … 20 fév 2008 17:00 à 18:00 Événement Jocelyn Benoist Le prix du réalisme Séminaire 20 fév 2008 16:30 à 17:30 Pagination Première page Page précédente … Page 933 Page 934 Page 935 Page 936 Page courante 937 Page 938 Page 939 Page 940 Page 941 … Page suivante Dernière page
Événement Gérard Berry À la chasse aux bugs : la vérification des programmes et circuits Cours Documents et médias Télécharger le support … 22 fév 2008 10:30 à 11:30
Événement Patrick Cousot La vérification des programmes par interprétation abstraite Séminaire Résumé Patrick Cousot, professeur à l’École Normale Supérieure, a présenté l’interprétation abstraite, qu’il développe avec son équipe depuis trente ans. L’idée est de faire calculer symboliquement le programme selon les mêmes lois d’exécution mais sur … 22 fév 2008 11:30 à 12:30
Événement Serge Haroche Physique quantique Leçon inaugurale Une coproduction Collège de France – CNED Résumé De l'infiniment petit à l'infiniment grand, couvrant plus de soixante ordres de grandeur de dimension spatiale, la théorie quantique est invoquée, tant pour décrire les vibrations encore largement … 13 déc 2001 18:00 à 19:00
Événement Nicolas Grimal Le temple d'Amon-Rê à Karnak : Héliopolis et l'Empire (suite) (8) Cours 25 fév 2008 16:30 à 17:30
Événement Nicolas Grimal Les annales de Thoutmosis III (suite) (8) Séminaire 25 fév 2008 15:00 à 16:00
Événement Serge Haroche Comptage QND de 0 ou 1 photon Cours Résumé La cinquième leçon a été consacrée aux expériences d’électrodynamique en cavité micro-onde détectant, sans les détruire, des photons uniques piégés. Les sondes du champ sont des atomes de Rydberg traversant un à un la cavité C. Le champ laisse une … 25 fév 2008 09:30 à 10:30
Événement Vahid Sandoghdar Cavity-Free Efficient Coupling of Single Photons and Single Emitters Séminaire 25 fév 2008 11:00 à 12:00
Événement Michel Zink La poésie comme récit (suite). Des nouvelles de l'amour (7) Séminaire 19 fév 2008 11:30 à 12:30
Événement Michel Zink La poésie comme récit (suite). Des nouvelles de l'amour (8) Cours 19 fév 2008 10:30 à 11:30
Événement Denis Knoepfler Lecture commentée d'inscriptions grecques en relation avec l'histoire de l'île d'Eubée (1) Séminaire 22 fév 2008 11:00 à 12:00
Événement Denis Knoepfler Une cité au cœur du monde méditerranéen antique : Érétrie et son territoire, histoire et institutions (1) Cours 22 fév 2008 09:45 à 10:45
Événement Armand de Ricqlès L'évolution secondaire des tétrapodes vers les milieux aquatiques 2. Les formes mésozoïques (7) Cours 22 fév 2008 16:00 à 17:00
Événement Riccardo Barbieri The Precision Tests Séminaire Documents et médias Télécharger le support … 22 fév 2008 11:00 à 12:00
Événement Jean-Christophe Yoccoz Cocycles uniformément hyperboliques (8) Cours 26 fév 2008 10:00 à 11:00
Événement Gabriele Veneziano Standard Model Higgs and one-family Lagrangian. Tree-level predictions: one family Cours Documents et médias Télécharger le support (1) Télécharger le support (2) … 22 fév 2008 09:45 à 10:45
Événement Pierre Briant Alexandre le Grand aujourd'hui (VI) : Histoire d'Alexandre et histoire de l'expansion européenne (III) (2) Cours 21 fév 2008 14:00 à 16:00
Événement Jon Elster Les croyances motivées (2) Cours Documents et médias Télécharger le support … 21 fév 2008 15:00 à 16:00
Événement Pierre-Etienne Will Ingénieurs, philanthropes et militaristes dans la Chine républicaine (suite) (6) Cours 20 fév 2008 14:00 à 15:00
Événement Philippe Kourilsky Les systèmes immunitaires dans l'évolution des espèces (4) Cours Documents et médias Télécharger le support … 20 fév 2008 17:00 à 18:00