Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 24823 résultats Filtres Type de contenu Type de contenu (-) Enseignements (24464) Actualité (1665) Personne (1350) (-) Chaire (359) Éditions (351) Page (230) Recherche (27) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Chaire Événement Christine Paulin Langages et systèmes pour la preuve interactive Séminaire Documents et médias Télécharger le support Résumé Vérifier que des systèmes informatiques ont le comportement attendu est une tâche complexe. L’expérience montre en effet que ces systèmes contiennent en général des erreurs plus ou moins critiques pour … 18 Mar 2015 17:30 à 18:30 Événement Gérard Berry Des logiques d'ordre supérieur à la programmation vérifiée en Coq Cours Documents et médias Télécharger le support Résumé Ce cours complète le précédent en terminant la présentation des méthodes générales de preuve de programmes par celle fondée sur les logiques d’ordre supérieur (celles où l’on peut aussi quantifier sur les … 18 Mar 2015 16:00 à 17:30 Événement Marc Fontecave Biocatalyseurs : usines cellulaires et enzymes Cours Les procédés biotechnologiques utilisent aussi bien des microorganismes, comme la levure ou Escherichia coli, que des systèmes enzymatiques. Dans ce cours sont présentées les différentes familles d’enzymes les plus utilisées, l’histoire de l’ingénierie … 18 Mar 2015 10:00 à 11:00 Événement Jean-Christophe Yoccoz Quelques aspects de la théorie des systèmes dynamiques hyperboliques (17) Cours Documents et médias Télécharger le support … 18 Mar 2015 10:00 à 11:00 Événement Jean Weissenbach Quelques faits marquants de la brève histoire de la biologie synthétique Séminaire 18 Mar 2015 11:00 à 12:00 Événement Alain de Libera Les fonctions psychiques. Intuition, représentation, jugement (7) Séminaire Retour sur la théorie brentanienne des deux objets dans ses deux composants : 'T2O' et "T2O" Reformulations alternatives Mark Textor : DRM (« Dual relation of the mental ») et DOT ( Dual Object Thesis ) DRM : « every mental phenomenon has an object and … 17 Mar 2015 16:00 à 17:45 Événement Jean-Noël Robert La joute des langues : Le Recueil des poèmes chinois et japonais dignes d'être récités (Wa-kan rôei shû) (XIe siècle) (11) Cours 17 Mar 2015 10:30 à 11:30 Événement Jean-Noël Robert Lecture de poèmes sino-japonais en relation avec le sujet du cours (7) Séminaire Une bonne connaissance du japonais classique est nécessaire pour le séminaire … 17 Mar 2015 11:45 à 13:15 Cycle Modèles computationnels du mouvement humain Alain Berthoz, chaire Physiologie de la perception et de l'action Conférencier invité L’objet de cette série de leçons est d’expliquer comment on peut comprendre le mouvement humain en exploitant les nouveaux développements de l’informatique. À travers ces quatre leçons, le Pʳ Pai va expliquer comment l’informatique s’est engagée dans une … 19 mai 2009 → 09 juin 2009 Événement Sanjay Subrahmanyam Histoire connectée des sociétés de cour (1) Cours 16 Mar 2015 10:00 à 11:00 Événement Serge Haroche Manipulation des atomes par la lumière : les atomes froids Cours Le refroidissement et le piégeage des atomes par la lumière laser ont connu un développement considérable au cours des trente dernières années. D’abord conçues dans le but d’augmenter la précision des mesures spectroscopiques en diminuant – voire … 17 Mar 2015 09:30 à 10:30 Événement Thomas Udem Hydrogen, Quantum Electrodynamics and the Proton Size Puzzle Séminaire Version anglaise uniquement disponible. … 17 Mar 2015 10:45 à 11:45 Événement Danielle Gonbeau La spectroscopie photoélectronique à rayonnement X (XPS) et son apport à la chimie des matériaux pour l'énergie Séminaire La spectroscopie photoélectronique à rayonnement X est basée sur un phénomène connu de longue date, la photoémission, mais c’est aux progrès des techniques du vide, de l’électronique ainsi qu’aux talents et à la ténacité de Kai Siegbahn (prix Nobel de … 16 Mar 2015 17:30 à 18:30 Événement François Charles Quelques progrès récents sur la géométrie arithmétique des surfaces (1) Conférencier invité 08 jan 2015 10:00 à 11:00 Cycle Vers l'éradication de la faim Ismail Serageldin, chaire Savoirs contre pauvreté Colloque Alors que la crise alimentaire menace de nouveau, près d'un milliard d'habitants ne mange toujours pas à sa faim. Lutter contre cette injustice requiert la mobilisation de tous. À la veille du G20 agricole, Ismail Serageldin, professeur titulaire de la … 19 mai 2011 → 20 mai 2011 Événement Jean-Marie Tarascon Autres approches de synthèse chimie douce (micro-ondes, sonification) Cours La synthèse par « chimie douce » dont J. Livage et J. Rouxel, anciens professeurs au Collège, sont les pionniers, clôt cette série de cours. Qu’est-ce en réalité que cette chimie douce ? Elle repose sur le principe de réactions topotactiques, c’est-à-dire … 16 Mar 2015 16:30 à 17:30 Événement Dominique Charpin Les temples en Mésopotamie : approche fonctionnelle (11) Cours 14 jan 2015 14:30 à 15:30 Cycle Vincent Eltschinger Gérard Fussman, chaire Histoire du monde indien Conférencier invité 09 Mar 2011 Cycle Art History and Neuroscience: the Challenge for the Humanities Antoine Compagnon, chaire Littérature française moderne et contemporaine : histoire, critique, théorie Conférencier invité 18 mai 2011 → 08 juin 2011 Événement Adrien Bousseau Interprétation de croquis pour le design Séminaire Les croquis à main levée sont omniprésents en design produit, de la naissance d'une idée à sa réalisation sous forme de concept 3D. Dans ce séminaire, je vais présenter trois algorithmes pour estimer des formes 3D à partir de croquis de design. Deux de … 13 Mar 2015 11:30 à 12:30 Événement Marie-Paule Cani Modélisation 3D à partir de dessins 2D Cours Le dessin est une activité souvent plus accessible pour l’ébauche de formes et leur communication rapide que la sculpture ou le modelage. Ce cours explique comment une métaphore de dessin 2D peut être mise en place pour la création de formes … 13 Mar 2015 10:30 à 11:30 Événement Edouard Bard Déconvolution des isotopes du carbone et flux globaux Cours Le carbone est constitué de trois isotopes, principalement de 12 C, d’environ 1 % de 13 C et d’une infime proportion de 14 C radioactif. L’effet des équilibres thermodynamiques et de la cinétique des réactions chimiques conduit à des fractionnements … 13 Mar 2015 15:00 à 16:00 Événement Frantz Grenet Le fait urbain dans l'Asie centrale pré-islamique : approche diachronique, approche synchronique (suite) (3) Cours 3) Le chorasmocentrisme. Extrapolant à l’Antiquité le rôle dominant que le Khorezm eut effectivement sous la dynastie médiévale des Khwârazmshâh, Tolstov considère qu’il fut l’agent principal de la lutte des peuples centrasiatiques contre les … 12 Mar 2015 15:30 à 16:30 Événement Thomas Römer Exode 16 : La découverte de la manne et du sabbat Cours Documents et médias Télécharger le support … 12 Mar 2015 14:00 à 15:00 Pagination Première page « Premier Page précédente ‹‹ … Page 652 Page 653 Page 654 Page 655 Page 656 Page 657 Page 658 Page 659 Page 660 … Page suivante ›› Dernière page Dernier »
Événement Christine Paulin Langages et systèmes pour la preuve interactive Séminaire Documents et médias Télécharger le support Résumé Vérifier que des systèmes informatiques ont le comportement attendu est une tâche complexe. L’expérience montre en effet que ces systèmes contiennent en général des erreurs plus ou moins critiques pour … 18 Mar 2015 17:30 à 18:30
Événement Gérard Berry Des logiques d'ordre supérieur à la programmation vérifiée en Coq Cours Documents et médias Télécharger le support Résumé Ce cours complète le précédent en terminant la présentation des méthodes générales de preuve de programmes par celle fondée sur les logiques d’ordre supérieur (celles où l’on peut aussi quantifier sur les … 18 Mar 2015 16:00 à 17:30
Événement Marc Fontecave Biocatalyseurs : usines cellulaires et enzymes Cours Les procédés biotechnologiques utilisent aussi bien des microorganismes, comme la levure ou Escherichia coli, que des systèmes enzymatiques. Dans ce cours sont présentées les différentes familles d’enzymes les plus utilisées, l’histoire de l’ingénierie … 18 Mar 2015 10:00 à 11:00
Événement Jean-Christophe Yoccoz Quelques aspects de la théorie des systèmes dynamiques hyperboliques (17) Cours Documents et médias Télécharger le support … 18 Mar 2015 10:00 à 11:00
Événement Jean Weissenbach Quelques faits marquants de la brève histoire de la biologie synthétique Séminaire 18 Mar 2015 11:00 à 12:00
Événement Alain de Libera Les fonctions psychiques. Intuition, représentation, jugement (7) Séminaire Retour sur la théorie brentanienne des deux objets dans ses deux composants : 'T2O' et "T2O" Reformulations alternatives Mark Textor : DRM (« Dual relation of the mental ») et DOT ( Dual Object Thesis ) DRM : « every mental phenomenon has an object and … 17 Mar 2015 16:00 à 17:45
Événement Jean-Noël Robert La joute des langues : Le Recueil des poèmes chinois et japonais dignes d'être récités (Wa-kan rôei shû) (XIe siècle) (11) Cours 17 Mar 2015 10:30 à 11:30
Événement Jean-Noël Robert Lecture de poèmes sino-japonais en relation avec le sujet du cours (7) Séminaire Une bonne connaissance du japonais classique est nécessaire pour le séminaire … 17 Mar 2015 11:45 à 13:15
Cycle Modèles computationnels du mouvement humain Alain Berthoz, chaire Physiologie de la perception et de l'action Conférencier invité L’objet de cette série de leçons est d’expliquer comment on peut comprendre le mouvement humain en exploitant les nouveaux développements de l’informatique. À travers ces quatre leçons, le Pʳ Pai va expliquer comment l’informatique s’est engagée dans une … 19 mai 2009 → 09 juin 2009
Événement Sanjay Subrahmanyam Histoire connectée des sociétés de cour (1) Cours 16 Mar 2015 10:00 à 11:00
Événement Serge Haroche Manipulation des atomes par la lumière : les atomes froids Cours Le refroidissement et le piégeage des atomes par la lumière laser ont connu un développement considérable au cours des trente dernières années. D’abord conçues dans le but d’augmenter la précision des mesures spectroscopiques en diminuant – voire … 17 Mar 2015 09:30 à 10:30
Événement Thomas Udem Hydrogen, Quantum Electrodynamics and the Proton Size Puzzle Séminaire Version anglaise uniquement disponible. … 17 Mar 2015 10:45 à 11:45
Événement Danielle Gonbeau La spectroscopie photoélectronique à rayonnement X (XPS) et son apport à la chimie des matériaux pour l'énergie Séminaire La spectroscopie photoélectronique à rayonnement X est basée sur un phénomène connu de longue date, la photoémission, mais c’est aux progrès des techniques du vide, de l’électronique ainsi qu’aux talents et à la ténacité de Kai Siegbahn (prix Nobel de … 16 Mar 2015 17:30 à 18:30
Événement François Charles Quelques progrès récents sur la géométrie arithmétique des surfaces (1) Conférencier invité 08 jan 2015 10:00 à 11:00
Cycle Vers l'éradication de la faim Ismail Serageldin, chaire Savoirs contre pauvreté Colloque Alors que la crise alimentaire menace de nouveau, près d'un milliard d'habitants ne mange toujours pas à sa faim. Lutter contre cette injustice requiert la mobilisation de tous. À la veille du G20 agricole, Ismail Serageldin, professeur titulaire de la … 19 mai 2011 → 20 mai 2011
Événement Jean-Marie Tarascon Autres approches de synthèse chimie douce (micro-ondes, sonification) Cours La synthèse par « chimie douce » dont J. Livage et J. Rouxel, anciens professeurs au Collège, sont les pionniers, clôt cette série de cours. Qu’est-ce en réalité que cette chimie douce ? Elle repose sur le principe de réactions topotactiques, c’est-à-dire … 16 Mar 2015 16:30 à 17:30
Événement Dominique Charpin Les temples en Mésopotamie : approche fonctionnelle (11) Cours 14 jan 2015 14:30 à 15:30
Cycle Vincent Eltschinger Gérard Fussman, chaire Histoire du monde indien Conférencier invité 09 Mar 2011
Cycle Art History and Neuroscience: the Challenge for the Humanities Antoine Compagnon, chaire Littérature française moderne et contemporaine : histoire, critique, théorie Conférencier invité 18 mai 2011 → 08 juin 2011
Événement Adrien Bousseau Interprétation de croquis pour le design Séminaire Les croquis à main levée sont omniprésents en design produit, de la naissance d'une idée à sa réalisation sous forme de concept 3D. Dans ce séminaire, je vais présenter trois algorithmes pour estimer des formes 3D à partir de croquis de design. Deux de … 13 Mar 2015 11:30 à 12:30
Événement Marie-Paule Cani Modélisation 3D à partir de dessins 2D Cours Le dessin est une activité souvent plus accessible pour l’ébauche de formes et leur communication rapide que la sculpture ou le modelage. Ce cours explique comment une métaphore de dessin 2D peut être mise en place pour la création de formes … 13 Mar 2015 10:30 à 11:30
Événement Edouard Bard Déconvolution des isotopes du carbone et flux globaux Cours Le carbone est constitué de trois isotopes, principalement de 12 C, d’environ 1 % de 13 C et d’une infime proportion de 14 C radioactif. L’effet des équilibres thermodynamiques et de la cinétique des réactions chimiques conduit à des fractionnements … 13 Mar 2015 15:00 à 16:00
Événement Frantz Grenet Le fait urbain dans l'Asie centrale pré-islamique : approche diachronique, approche synchronique (suite) (3) Cours 3) Le chorasmocentrisme. Extrapolant à l’Antiquité le rôle dominant que le Khorezm eut effectivement sous la dynastie médiévale des Khwârazmshâh, Tolstov considère qu’il fut l’agent principal de la lutte des peuples centrasiatiques contre les … 12 Mar 2015 15:30 à 16:30
Événement Thomas Römer Exode 16 : La découverte de la manne et du sabbat Cours Documents et médias Télécharger le support … 12 Mar 2015 14:00 à 15:00