Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 23189 résultats Filtres Type de contenu Type de contenu (-) Enseignements (23189) Actualité (1640) Personne (1331) Chaire (352) Éditions (350) Page (229) Recherche (27) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Événement François Déroche Figures bibliques dans le Coran (4) Cours 19 déc 2019 14:00 à 15:00 Événement Sylvie Boldo L'arithmétique des ordinateurs et sa formalisation Séminaire Résumé Le deuxième séminaire était consacré à la sémantique formelle des calculs numériques. La conférencière a rappelé les principes de la représentation approchée des nombres réels par des nombres en virgule flottante à précision limitée, ainsi que les … 19 déc 2019 11:15 à 12:15 Événement Xavier Leroy Compiler mieux : optimisations, analyses statiques, et leur vérification Cours Résumé Dans le troisième cours, nous avons étudié les optimisations dans les compilateurs. Ce sont des transformations de programmes que le compilateur applique automatiquement afin d’améliorer les performances du code engendré. Certaines optimisations … 19 déc 2019 09:30 à 11:00 Événement Louis Lambrechts Des moustiques, des virus et des hommes Séminaire Ce séminaire complétait parfaitement la leçon en développant la dimension vectorielle de la transmission de certaines épidémies / pandémies émergentes ou réémergentes comme Zika, Chikungunya, Dengue, transmises par des moustiques vecteurs dont l’extension … 18 déc 2019 17:30 à 18:30 Événement Philippe Sansonetti Infections émergentes, le « Destin des maladies infectieuses » revisité Cours Cette troisième leçon traitait des conditions de survenue des émergences infectieuses, surtout zoonotiques, nécessitant la complétion d’un « cahier des charges » complexe d’étapes successives permettant un saut d’espèce du pathogène animal à l’homme. … 18 déc 2019 16:00 à 17:30 Événement Henry Laurens Crises d'Orient : les origines de l'autoritarisme à partir de 1949 (5) Cours 18 déc 2019 15:00 à 17:00 Événement Jean-Marc de La Sablière Culture politique arabe (5) Séminaire 18 déc 2019 11:00 à 12:30 Événement Françoise Lorcerie La doctrine française officieuse de l'intégration : comment et pourquoi a-t-elle évolué ? Séminaire L'intégration par l'école : les doctrines à l'épreuve de la réalité … 18 déc 2019 09:30 à 10:30 Événement Walter Fontana L'acquisition de l'information biologique : l'apprentissage dans les systèmes moléculaires ? Cours Individus (et autres animaux) peuvent être considérés comme des modèles probabilistes de leur univers − un modèle incarné qui guide la perception et l’action. Beaucoup de travaux sur les réalisations biologiques de l’inférence probabiliste sont concentrés … 17 déc 2019 14:00 à 15:30 Événement Thomas Lecuit Coordination et symétrie – Conclusion Cours Documents et médias Télécharger le support … 17 déc 2019 10:00 à 11:30 Événement David Elbaz Observations en millimétrique Séminaire Documents et médias Télécharger le support … 16 déc 2019 17:45 à 18:45 Événement Françoise Combes Les galaxies durant l'époque de réionisation Cours Résumé Les principales questions que l’on se pose dans l’époque de la réionisation, sont relatives au taux de formation d’étoiles, et leur contribution à la réionisation. Quel est le rôle des trous noirs et noyaux actifs dans la réionisation ? Les … 16 déc 2019 16:45 à 17:45 Cycle Great Earthquakes: Observations and Modeling Barbara Romanowicz, chaire Physique de l'intérieur de la Terre Colloque Colloque en anglais, organisé avec Yann Klinger, IPG de Paris. … 30 nov 2017 → 01 déc 2017 Cycle Algorithmes Claire Mathieu, chaire Informatique et sciences numériques Séminaire 28 nov 2017 → 30 jan 2018 Cycle Algorithmes Claire Mathieu, chaire Informatique et sciences numériques Cours Claire Mathieu présente son cours dans la série les courTs du Collège de France La recherche en conception et analyse d’algorithmes a beaucoup évolué ces dernières années. De nouveaux modèles de calcul sont apparus, car les données, désormais trop … 28 nov 2017 → 30 jan 2018 Événement Yarden Katz Cells as Cognitive Creatures Séminaire 13 déc 2019 14:00 à 15:00 Événement Benjamin Seeger Scaling Limits and Homogenization of Hamilton-Jacobi Equations with Stochastic Forcing Séminaire 13 déc 2019 11:15 à 12:45 Événement Pierre-Louis Lions HJB, MFG et les autres (suite) (6) Cours 13 déc 2019 09:00 à 11:00 Événement François Recanati Philosophie du langage et de l'esprit Leçon inaugurale Résumé Pragmatique de l’énonciation ; contextualisme ; théorie de la référence directe ; indexicalité mentale et subjectivité ; dossiers mentaux . Autant de concepts et de thèmes majeurs de la philosophie contemporaine auxquels le nom de François … 12 déc 2019 18:00 à 19:00 Événement François-Xavier Fauvelle Pourquoi offrir une girafe ? (2) Cours Les « routes » transsahariennes : problèmes de représentation. Ibn Battûta (1353) et sa route de retour du Mâli à Fès. Le Maaden Ijâfen : un témoin archéologique isolé du commerce transsaharien dans le « empty quarter » du Sahara. De la nécessité de … 12 déc 2019 14:00 à 15:00 Événement François Déroche Figures bibliques dans le Coran (3) Cours 12 déc 2019 14:00 à 15:00 Événement Philip Wadler Lambda, the Ultimate Teaching Assistant (Agda Version) Séminaire Résumé Dans le premier séminaire, le conférencier a partagé son expérience d’utilisation d’assistants à la démonstration pour enseigner les fondations des langages de programmation. Initialement, il a utilisé Software Foundations , le cours interactif en … 12 déc 2019 11:15 à 12:15 Événement Xavier Leroy Traduttore, traditore : vérification formelle d'un compilateur Cours Résumé Le deuxième cours a porté sur la compilation : la traduction automatique d’un langage de programmation de haut niveau en code exécutable par la machine. Accompagnant l’évolution des langages de programmation, de nombreux algorithmes de compilation … 12 déc 2019 09:30 à 11:00 Événement Simon Cauchemez Peut-on anticiper le devenir d'une épidémie ? Séminaire Ce cours et ce séminaire résonnaient étrangement alors que des nouvelles inquiétantes commençaient à émaner de Wuhan en Chine à propos d’une pneumonie atypique d’étiologie encore inconnue. Documents et médias Télécharger le … 11 déc 2019 17:30 à 18:30 Pagination Première page Page précédente … Page 301 Page 302 Page 303 Page 304 Page courante 305 Page 306 Page 307 Page 308 Page 309 … Page suivante Dernière page
Événement Sylvie Boldo L'arithmétique des ordinateurs et sa formalisation Séminaire Résumé Le deuxième séminaire était consacré à la sémantique formelle des calculs numériques. La conférencière a rappelé les principes de la représentation approchée des nombres réels par des nombres en virgule flottante à précision limitée, ainsi que les … 19 déc 2019 11:15 à 12:15
Événement Xavier Leroy Compiler mieux : optimisations, analyses statiques, et leur vérification Cours Résumé Dans le troisième cours, nous avons étudié les optimisations dans les compilateurs. Ce sont des transformations de programmes que le compilateur applique automatiquement afin d’améliorer les performances du code engendré. Certaines optimisations … 19 déc 2019 09:30 à 11:00
Événement Louis Lambrechts Des moustiques, des virus et des hommes Séminaire Ce séminaire complétait parfaitement la leçon en développant la dimension vectorielle de la transmission de certaines épidémies / pandémies émergentes ou réémergentes comme Zika, Chikungunya, Dengue, transmises par des moustiques vecteurs dont l’extension … 18 déc 2019 17:30 à 18:30
Événement Philippe Sansonetti Infections émergentes, le « Destin des maladies infectieuses » revisité Cours Cette troisième leçon traitait des conditions de survenue des émergences infectieuses, surtout zoonotiques, nécessitant la complétion d’un « cahier des charges » complexe d’étapes successives permettant un saut d’espèce du pathogène animal à l’homme. … 18 déc 2019 16:00 à 17:30
Événement Henry Laurens Crises d'Orient : les origines de l'autoritarisme à partir de 1949 (5) Cours 18 déc 2019 15:00 à 17:00
Événement Françoise Lorcerie La doctrine française officieuse de l'intégration : comment et pourquoi a-t-elle évolué ? Séminaire L'intégration par l'école : les doctrines à l'épreuve de la réalité … 18 déc 2019 09:30 à 10:30
Événement Walter Fontana L'acquisition de l'information biologique : l'apprentissage dans les systèmes moléculaires ? Cours Individus (et autres animaux) peuvent être considérés comme des modèles probabilistes de leur univers − un modèle incarné qui guide la perception et l’action. Beaucoup de travaux sur les réalisations biologiques de l’inférence probabiliste sont concentrés … 17 déc 2019 14:00 à 15:30
Événement Thomas Lecuit Coordination et symétrie – Conclusion Cours Documents et médias Télécharger le support … 17 déc 2019 10:00 à 11:30
Événement David Elbaz Observations en millimétrique Séminaire Documents et médias Télécharger le support … 16 déc 2019 17:45 à 18:45
Événement Françoise Combes Les galaxies durant l'époque de réionisation Cours Résumé Les principales questions que l’on se pose dans l’époque de la réionisation, sont relatives au taux de formation d’étoiles, et leur contribution à la réionisation. Quel est le rôle des trous noirs et noyaux actifs dans la réionisation ? Les … 16 déc 2019 16:45 à 17:45
Cycle Great Earthquakes: Observations and Modeling Barbara Romanowicz, chaire Physique de l'intérieur de la Terre Colloque Colloque en anglais, organisé avec Yann Klinger, IPG de Paris. … 30 nov 2017 → 01 déc 2017
Cycle Algorithmes Claire Mathieu, chaire Informatique et sciences numériques Séminaire 28 nov 2017 → 30 jan 2018
Cycle Algorithmes Claire Mathieu, chaire Informatique et sciences numériques Cours Claire Mathieu présente son cours dans la série les courTs du Collège de France La recherche en conception et analyse d’algorithmes a beaucoup évolué ces dernières années. De nouveaux modèles de calcul sont apparus, car les données, désormais trop … 28 nov 2017 → 30 jan 2018
Événement Benjamin Seeger Scaling Limits and Homogenization of Hamilton-Jacobi Equations with Stochastic Forcing Séminaire 13 déc 2019 11:15 à 12:45
Événement François Recanati Philosophie du langage et de l'esprit Leçon inaugurale Résumé Pragmatique de l’énonciation ; contextualisme ; théorie de la référence directe ; indexicalité mentale et subjectivité ; dossiers mentaux . Autant de concepts et de thèmes majeurs de la philosophie contemporaine auxquels le nom de François … 12 déc 2019 18:00 à 19:00
Événement François-Xavier Fauvelle Pourquoi offrir une girafe ? (2) Cours Les « routes » transsahariennes : problèmes de représentation. Ibn Battûta (1353) et sa route de retour du Mâli à Fès. Le Maaden Ijâfen : un témoin archéologique isolé du commerce transsaharien dans le « empty quarter » du Sahara. De la nécessité de … 12 déc 2019 14:00 à 15:00
Événement Philip Wadler Lambda, the Ultimate Teaching Assistant (Agda Version) Séminaire Résumé Dans le premier séminaire, le conférencier a partagé son expérience d’utilisation d’assistants à la démonstration pour enseigner les fondations des langages de programmation. Initialement, il a utilisé Software Foundations , le cours interactif en … 12 déc 2019 11:15 à 12:15
Événement Xavier Leroy Traduttore, traditore : vérification formelle d'un compilateur Cours Résumé Le deuxième cours a porté sur la compilation : la traduction automatique d’un langage de programmation de haut niveau en code exécutable par la machine. Accompagnant l’évolution des langages de programmation, de nombreux algorithmes de compilation … 12 déc 2019 09:30 à 11:00
Événement Simon Cauchemez Peut-on anticiper le devenir d'une épidémie ? Séminaire Ce cours et ce séminaire résonnaient étrangement alors que des nouvelles inquiétantes commençaient à émaner de Wuhan en Chine à propos d’une pneumonie atypique d’étiologie encore inconnue. Documents et médias Télécharger le … 11 déc 2019 17:30 à 18:30