Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 24048 résultats Filtres Type de contenu Type de contenu (-) Enseignements (24021) Actualité (1750) Personne (1389) Éditions (362) Chaire (360) Page (228) (-) Recherche (27) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Recherche Événement Gérard Berry La vérification de modèles (model-checking) Cours Documents et médias Télécharger le support Résumé Ce cours termine la présentation générale des méthodes de vérification formelle par la vérification de modèles, plus connue sous son nom anglais original de model-checking . Cette méthode est bien … 25 Mar 2015 16:00 à 17:30 Événement Pierre Monsan De l'ingénierie métabolique à la biologie de synthèse et aux biotechnologies industrielles Séminaire 25 Mar 2015 11:00 à 12:00 Événement Marc Fontecave De l'ingénierie métabolique à la biologie de synthèse Cours Pour la production de molécules d’intérêt, les laboratoires disposent depuis longtemps de la synthèse chimique ainsi que – beaucoup plus récemment – des outils de l’ingénierie métabolique et de la biologie de synthèse. Une définition précise de ces … 25 Mar 2015 10:00 à 11:00 Événement Alain de Libera L'invention du sujet moderne (suite) : la volonté et l'action (9) Cours La première heure du cours du 24 mars a été consacrée à la controverse Hobbes-Bramhall vue par Leibniz, dans les « Réflexions sur l’ouvrage que M. Hobbes a publié en Anglois de la liberté, de la nécessité et du hazard ». Dans cette monographie, Leibniz … 24 Mar 2015 16:30 à 17:30 É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) (12) Cours 24 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 (8) Séminaire Une bonne connaissance du japonais classique est nécessaire pour le séminaire … 24 Mar 2015 11:45 à 13:15 Cycle Valeurs et pratiques confucéennes dans la Chine des Han Anne Cheng, chaire Histoire intellectuelle de la Chine Conférencier invité 10 fév 2011 Événement Sanjay Subrahmanyam Histoire connectée des sociétés de cour (2) Cours 23 Mar 2015 10:00 à 11:00 Événement Claude Cohen-Tannoudji Les états noirs. De l'optique quantique au refroidissement d'atomes et de molécules Séminaire 24 Mar 2015 11:00 à 12:00 Événement Serge Haroche Les gaz quantiques ultra-froids : condensats de Bose-Einstein et gaz de Fermions dégénérés Cours Documents et médias Télécharger le support Résumé La troisième leçon s’est intéressée à la physique des gaz quantiques, condensats de Bose Einstein (CBE) et gaz de fermions dégénérés (GFD). Les propriétés d’un CBE rappellent celles d’un faisceau laser … 24 Mar 2015 09:30 à 10:30 Événement Nicolas Grimal Le calame et la pierre (11) Cours 23 Mar 2015 14:00 à 15:00 Événement Nicolas Grimal Les annales de Thoutmosis III (suite) (11) Séminaire 23 Mar 2015 15:00 à 16:00 Événement François Charles Quelques progrès récents sur la géométrie arithmétique des surfaces (3) Conférencier invité 15 jan 2015 10:00 à 11:00 Cycle Deductive Proofs—Are They Objective? Anne Fagot-Largeault, chaire Philosophie des sciences biologiques et médicales Conférencier invité 07 avr 2009 Cycle The Evolution of Stories Stanislas Dehaene, chaire Psychologie cognitive expérimentale Conférencier invité 08 fév 2011 → 15 fév 2011 Événement Tamy Boubekeur Traitement, analyse et édition de formes 3D numérisées Séminaire Un modèle 3D numérisé se présente sous la forme d’un ensemble d’échantillons de surfaces nécessitant un traitement intensif avant d’être utilisable. Néanmoins, même les traitements les plus avancés ne fournissent qu’une représentation de bas niveau, à … 20 Mar 2015 11:30 à 12:30 Événement Hugo Duminil-Copin Représentations géométriques de modèles de spin sur les réseaux de basse dimension (1) Conférencier invité 13 jan 2015 10:00 à 11:00 Événement Marie-Paule Cani Réutilisation et transfert des modèles 3D Cours Quel que soit son mode de création, construire un nouveau modèle géométrique est une tâche difficile et chronophage. Aussi, différentes approches ont été développées pour pouvoir réutiliser les modèles dans un contexte différent, en automatisant dans la … 20 Mar 2015 10:30 à 11:30 Événement Frantz Grenet Le fait urbain dans l'Asie centrale pré-islamique : approche diachronique, approche synchronique (suite) (4) Cours La période « Kangju » (Minardi : « Antique 2 »), III e s-I er s. av n.è. Pourquoi « Kangju » ? Il s’agit d’une entité politique nomade mentionnée à partir du II e s. par les sources chinoises ; la dénomination, peu heureuse dans le cas du Khorezm, a … 19 Mar 2015 15:30 à 16:30 Événement Alain Supiot La justice sociale internationale (I) (5) Cours 19 Mar 2015 11:00 à 12:00 Événement Thomas Römer Massa et Meriba, la guerre avec Amaleq et la rencontre à la montagne de Dieu (Ex 17-18) Cours Documents et médias Télécharger le support … 19 Mar 2015 14:00 à 15:00 Événement Gabriele Lolli Les arbres et la logique : objets, instruments, métaphores Séminaire 19 Mar 2015 10:00 à 12:00 Événement Olivier Macherey Perception de la musique avec un implant cochléaire Séminaire 19 Mar 2015 11:30 à 13:00 Événement Christine Petit Modulation de la perception des sons par l'attention, l'apprentissage et l'émotion : rôles et mécanismes Cours Nous nous sommes intéressés aux mécanismes qui sous-tendent la modulation de la perception auditive par l’attention, et tout particulièrement à l’implication des oscillations électriques cérébrales dans ce processus. Le cours a été introduit par une … 19 Mar 2015 10:00 à 11:30 Pagination Première page « Premier Page précédente ‹‹ … Page 619 Page 620 Page 621 Page 622 Page 623 Page 624 Page 625 Page 626 Page 627 … Page suivante ›› Dernière page Dernier »
Événement Gérard Berry La vérification de modèles (model-checking) Cours Documents et médias Télécharger le support Résumé Ce cours termine la présentation générale des méthodes de vérification formelle par la vérification de modèles, plus connue sous son nom anglais original de model-checking . Cette méthode est bien … 25 Mar 2015 16:00 à 17:30
Événement Pierre Monsan De l'ingénierie métabolique à la biologie de synthèse et aux biotechnologies industrielles Séminaire 25 Mar 2015 11:00 à 12:00
Événement Marc Fontecave De l'ingénierie métabolique à la biologie de synthèse Cours Pour la production de molécules d’intérêt, les laboratoires disposent depuis longtemps de la synthèse chimique ainsi que – beaucoup plus récemment – des outils de l’ingénierie métabolique et de la biologie de synthèse. Une définition précise de ces … 25 Mar 2015 10:00 à 11:00
Événement Alain de Libera L'invention du sujet moderne (suite) : la volonté et l'action (9) Cours La première heure du cours du 24 mars a été consacrée à la controverse Hobbes-Bramhall vue par Leibniz, dans les « Réflexions sur l’ouvrage que M. Hobbes a publié en Anglois de la liberté, de la nécessité et du hazard ». Dans cette monographie, Leibniz … 24 Mar 2015 16:30 à 17:30
É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) (12) Cours 24 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 (8) Séminaire Une bonne connaissance du japonais classique est nécessaire pour le séminaire … 24 Mar 2015 11:45 à 13:15
Cycle Valeurs et pratiques confucéennes dans la Chine des Han Anne Cheng, chaire Histoire intellectuelle de la Chine Conférencier invité 10 fév 2011
Événement Sanjay Subrahmanyam Histoire connectée des sociétés de cour (2) Cours 23 Mar 2015 10:00 à 11:00
Événement Claude Cohen-Tannoudji Les états noirs. De l'optique quantique au refroidissement d'atomes et de molécules Séminaire 24 Mar 2015 11:00 à 12:00
Événement Serge Haroche Les gaz quantiques ultra-froids : condensats de Bose-Einstein et gaz de Fermions dégénérés Cours Documents et médias Télécharger le support Résumé La troisième leçon s’est intéressée à la physique des gaz quantiques, condensats de Bose Einstein (CBE) et gaz de fermions dégénérés (GFD). Les propriétés d’un CBE rappellent celles d’un faisceau laser … 24 Mar 2015 09:30 à 10:30
Événement Nicolas Grimal Les annales de Thoutmosis III (suite) (11) Séminaire 23 Mar 2015 15:00 à 16:00
Événement François Charles Quelques progrès récents sur la géométrie arithmétique des surfaces (3) Conférencier invité 15 jan 2015 10:00 à 11:00
Cycle Deductive Proofs—Are They Objective? Anne Fagot-Largeault, chaire Philosophie des sciences biologiques et médicales Conférencier invité 07 avr 2009
Cycle The Evolution of Stories Stanislas Dehaene, chaire Psychologie cognitive expérimentale Conférencier invité 08 fév 2011 → 15 fév 2011
Événement Tamy Boubekeur Traitement, analyse et édition de formes 3D numérisées Séminaire Un modèle 3D numérisé se présente sous la forme d’un ensemble d’échantillons de surfaces nécessitant un traitement intensif avant d’être utilisable. Néanmoins, même les traitements les plus avancés ne fournissent qu’une représentation de bas niveau, à … 20 Mar 2015 11:30 à 12:30
Événement Hugo Duminil-Copin Représentations géométriques de modèles de spin sur les réseaux de basse dimension (1) Conférencier invité 13 jan 2015 10:00 à 11:00
Événement Marie-Paule Cani Réutilisation et transfert des modèles 3D Cours Quel que soit son mode de création, construire un nouveau modèle géométrique est une tâche difficile et chronophage. Aussi, différentes approches ont été développées pour pouvoir réutiliser les modèles dans un contexte différent, en automatisant dans la … 20 Mar 2015 10:30 à 11:30
Événement Frantz Grenet Le fait urbain dans l'Asie centrale pré-islamique : approche diachronique, approche synchronique (suite) (4) Cours La période « Kangju » (Minardi : « Antique 2 »), III e s-I er s. av n.è. Pourquoi « Kangju » ? Il s’agit d’une entité politique nomade mentionnée à partir du II e s. par les sources chinoises ; la dénomination, peu heureuse dans le cas du Khorezm, a … 19 Mar 2015 15:30 à 16:30
Événement Thomas Römer Massa et Meriba, la guerre avec Amaleq et la rencontre à la montagne de Dieu (Ex 17-18) Cours Documents et médias Télécharger le support … 19 Mar 2015 14:00 à 15:00
Événement Gabriele Lolli Les arbres et la logique : objets, instruments, métaphores Séminaire 19 Mar 2015 10:00 à 12:00
Événement Olivier Macherey Perception de la musique avec un implant cochléaire Séminaire 19 Mar 2015 11:30 à 13:00
Événement Christine Petit Modulation de la perception des sons par l'attention, l'apprentissage et l'émotion : rôles et mécanismes Cours Nous nous sommes intéressés aux mécanismes qui sous-tendent la modulation de la perception auditive par l’attention, et tout particulièrement à l’implication des oscillations électriques cérébrales dans ce processus. Le cours a été introduit par une … 19 Mar 2015 10:00 à 11:30