Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 24252 résultats Filtres Type de contenu Type de contenu (-) Enseignements (24021) Actualité (1749) Personne (1389) Éditions (362) Chaire (360) (-) Page (231) Recherche (27) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Page Événement Matthieu Rey Violence en bord d'Euphrate Colloque 23 juin 2022 09:30 à 10:00 Événement Jean Delumeau Histoire des mentalités religieuses dans l'Occident moderne Leçon de clôture Jean Delumeau a entamé depuis vingt ans un travail de recherche pour comprendre les peurs des occidentaux dans le passé, puis les remèdes qu'ils apportèrent et enfin leurs rêves de bonheur. Ce parcours « long et solitaire » , destiné à « mieux … 09 fév 1994 18:00 à 19:00 Événement Guillaume Baudart Reactive Probabilistic Programming Colloque Résumé Synchronous modeling is at the heart of programming languages like Lustre, Esterel, or SCADE used routinely for implementing safety critical control software, e.g., fly-by-wire and engine control in planes. However, to date these languages have had … 30 juin 2022 14:45 à 15:30 Événement Francis Bach Formal Guarantees in Machine Learning, Statistics and Optimization Colloque Résumé This talk reviews formal guarantees in classical supervised machine learning, as well as a posteriori statistical guarantees, a priori statistical guarantees, and guarantees for optimization. Documents et médias Télécharger le … 30 juin 2022 14:00 à 14:45 Cycle Régulation des gènes du développement et syndromes génétiques : mécanismes, contraintes et atavismes Denis Duboule, chaire Évolution des génomes et développement Cours Cette année, le cours portera sur les relations de plus en plus étroites qui existent entre d’une part la régulation génétique au cours du développement précoce et d’autres part, l’existence de nombreux syndromes génétiques chez les humains. En effet, les … 04 mai 2021 → 08 juin 2021 Événement Jan-Willem van de Meent Thinking Compositionally about Inference Colloque Résumé Probabilistic programming draws on ideas from artificial intelligence, statistics, and programming languages. It attempts to combine these ideas in a manner that builds on their respective strengths. In this talk, I will discuss how we can … 30 juin 2022 11:15 à 12:00 Événement Christine Tasson Denotational Verification of Probabilistic Programming Colloque 30 juin 2022 10:30 à 11:15 Événement Andrew Gelman Social Science: From Prediction to Modeling to Understanding Colloque 29 juin 2022 18:00 à 19:00 Événement Xavier Rival Towards Verified Stochastic Variational Inference for Probabilistic Programs Colloque Résumé Probabilistic programming is the idea of writing models from statistics and machine learning using program notations and reasoning about these models using generic inference engines. Recently its combination with deep learning has been explored … 29 juin 2022 16:45 à 17:30 Cycle Histoire mondiale du Louvre Bénédicte Savoy, chaire Histoire culturelle des patrimoines artistiques en Europe, XVIIIe-XXe siècle Cours En raison de la pandémie, les cours de Bénédicte Savoy n'auront pas lieu en public. Ils seront enregistrés et les captations seront rendues disponibles ultérieurement sur notre site internet. Cette année, Bénédicte Savoy s’intéressera plus … 03 mai 2021 → 28 juin 2021 Événement Atılım Güneş Baydin Probabilistic and Differentiable Programming in Scientific Simulators Colloque Résumé Probabilistic and differentiable programming paradigms are being adopted by the scientific community, promising major advances in simulation pipelines, data analysis, and design optimization of experiments. This talk will cover ongoing work in the … 29 juin 2022 16:00 à 16:45 Événement Maria Gorinova Program Analysis of Probabilistic Programs Colloque 29 juin 2022 14:45 à 15:30 Événement Joseph Tassarotti Formally Verified Compilation of Probabilistic Programs Colloque Résumé The subtle semantics of probabilistic programs makes it difficult to correctly compile them. Moreover, because many inference algorithms for probabilistic programs are approximate and randomized, detecting miscompilation bugs is challenging. This … 29 juin 2022 14:00 à 14:45 Événement Nicolas Chopin Probabilistic Programming for Sequential Monte Carlo? Colloque Résumé In this talk, I give a brief and gentle introduction to Sequential Monte Carlo methods (with a particular focus on sequential inference in state-space models), I discuss the potential connections with probabilistic programming (from the perspective … 29 juin 2022 11:15 à 12:00 Événement Gilles Barthe Relational Proofs of Probabilistic Programs and Applications to Cryptography Colloque 29 juin 2022 10:00 à 11:15 Événement Andrew D. Gordon Why Statistical Thinking is Transforming Programming Language Research Colloque Résumé H. G. Wells wrote: "Statistical thinking will one day be as necessary for efficient citizenship as the ability to read and write!" The main thread of this talk argues that statistical thinking is transforming programming language research. It is a … 29 juin 2022 09:15 à 10:00 Événement Adeline Schebesch Les figurines anthropomorphes du Paléolithique supérieur – leurs gestes et attitudes. Une étude expérimentale Colloque 17 juin 2022 17:15 à 17:45 Événement Carole Fritz La figure humaine dans l’art paléolithique : l’image d’un monde Colloque 17 juin 2022 16:45 à 17:15 Événement Noël Coye À la charnière des XIXe et XXe siècles : une révolution pariétale ? Colloque 17 juin 2022 16:15 à 16:45 Événement Alain Beyneix Préhistoriens et archéologues d’hier et d’aujourd’hui dans l’objectif des photographes Colloque 17 juin 2022 15:00 à 15:30 Événement Claudine Cohen Fictions des origines. L’imaginaire littéraire de l’homme – et de la femme – fossile (XIXe-XXIe siècle) Colloque 17 juin 2022 14:30 à 15:00 Événement Élisabeth Daynes À la recherche des identités perdues Colloque 17 juin 2022 14:00 à 14:30 Événement Paige Madison Hobbits and Wild Grandmothers of the Forest: Imagining Homo floresiensis Colloque 17 juin 2022 11:45 à 12:15 Événement Yoel Rak Pithecanthropus: A Complicated and Loaded Term Colloque 17 juin 2022 11:15 à 11:45 Pagination Première page « Premier Page précédente ‹‹ … Page 209 Page 210 Page 211 Page 212 Page 213 Page 214 Page 215 Page 216 Page 217 … Page suivante ›› Dernière page Dernier »
Événement Jean Delumeau Histoire des mentalités religieuses dans l'Occident moderne Leçon de clôture Jean Delumeau a entamé depuis vingt ans un travail de recherche pour comprendre les peurs des occidentaux dans le passé, puis les remèdes qu'ils apportèrent et enfin leurs rêves de bonheur. Ce parcours « long et solitaire » , destiné à « mieux … 09 fév 1994 18:00 à 19:00
Événement Guillaume Baudart Reactive Probabilistic Programming Colloque Résumé Synchronous modeling is at the heart of programming languages like Lustre, Esterel, or SCADE used routinely for implementing safety critical control software, e.g., fly-by-wire and engine control in planes. However, to date these languages have had … 30 juin 2022 14:45 à 15:30
Événement Francis Bach Formal Guarantees in Machine Learning, Statistics and Optimization Colloque Résumé This talk reviews formal guarantees in classical supervised machine learning, as well as a posteriori statistical guarantees, a priori statistical guarantees, and guarantees for optimization. Documents et médias Télécharger le … 30 juin 2022 14:00 à 14:45
Cycle Régulation des gènes du développement et syndromes génétiques : mécanismes, contraintes et atavismes Denis Duboule, chaire Évolution des génomes et développement Cours Cette année, le cours portera sur les relations de plus en plus étroites qui existent entre d’une part la régulation génétique au cours du développement précoce et d’autres part, l’existence de nombreux syndromes génétiques chez les humains. En effet, les … 04 mai 2021 → 08 juin 2021
Événement Jan-Willem van de Meent Thinking Compositionally about Inference Colloque Résumé Probabilistic programming draws on ideas from artificial intelligence, statistics, and programming languages. It attempts to combine these ideas in a manner that builds on their respective strengths. In this talk, I will discuss how we can … 30 juin 2022 11:15 à 12:00
Événement Christine Tasson Denotational Verification of Probabilistic Programming Colloque 30 juin 2022 10:30 à 11:15
Événement Andrew Gelman Social Science: From Prediction to Modeling to Understanding Colloque 29 juin 2022 18:00 à 19:00
Événement Xavier Rival Towards Verified Stochastic Variational Inference for Probabilistic Programs Colloque Résumé Probabilistic programming is the idea of writing models from statistics and machine learning using program notations and reasoning about these models using generic inference engines. Recently its combination with deep learning has been explored … 29 juin 2022 16:45 à 17:30
Cycle Histoire mondiale du Louvre Bénédicte Savoy, chaire Histoire culturelle des patrimoines artistiques en Europe, XVIIIe-XXe siècle Cours En raison de la pandémie, les cours de Bénédicte Savoy n'auront pas lieu en public. Ils seront enregistrés et les captations seront rendues disponibles ultérieurement sur notre site internet. Cette année, Bénédicte Savoy s’intéressera plus … 03 mai 2021 → 28 juin 2021
Événement Atılım Güneş Baydin Probabilistic and Differentiable Programming in Scientific Simulators Colloque Résumé Probabilistic and differentiable programming paradigms are being adopted by the scientific community, promising major advances in simulation pipelines, data analysis, and design optimization of experiments. This talk will cover ongoing work in the … 29 juin 2022 16:00 à 16:45
Événement Maria Gorinova Program Analysis of Probabilistic Programs Colloque 29 juin 2022 14:45 à 15:30
Événement Joseph Tassarotti Formally Verified Compilation of Probabilistic Programs Colloque Résumé The subtle semantics of probabilistic programs makes it difficult to correctly compile them. Moreover, because many inference algorithms for probabilistic programs are approximate and randomized, detecting miscompilation bugs is challenging. This … 29 juin 2022 14:00 à 14:45
Événement Nicolas Chopin Probabilistic Programming for Sequential Monte Carlo? Colloque Résumé In this talk, I give a brief and gentle introduction to Sequential Monte Carlo methods (with a particular focus on sequential inference in state-space models), I discuss the potential connections with probabilistic programming (from the perspective … 29 juin 2022 11:15 à 12:00
Événement Gilles Barthe Relational Proofs of Probabilistic Programs and Applications to Cryptography Colloque 29 juin 2022 10:00 à 11:15
Événement Andrew D. Gordon Why Statistical Thinking is Transforming Programming Language Research Colloque Résumé H. G. Wells wrote: "Statistical thinking will one day be as necessary for efficient citizenship as the ability to read and write!" The main thread of this talk argues that statistical thinking is transforming programming language research. It is a … 29 juin 2022 09:15 à 10:00
Événement Adeline Schebesch Les figurines anthropomorphes du Paléolithique supérieur – leurs gestes et attitudes. Une étude expérimentale Colloque 17 juin 2022 17:15 à 17:45
Événement Carole Fritz La figure humaine dans l’art paléolithique : l’image d’un monde Colloque 17 juin 2022 16:45 à 17:15
Événement Noël Coye À la charnière des XIXe et XXe siècles : une révolution pariétale ? Colloque 17 juin 2022 16:15 à 16:45
Événement Alain Beyneix Préhistoriens et archéologues d’hier et d’aujourd’hui dans l’objectif des photographes Colloque 17 juin 2022 15:00 à 15:30
Événement Claudine Cohen Fictions des origines. L’imaginaire littéraire de l’homme – et de la femme – fossile (XIXe-XXIe siècle) Colloque 17 juin 2022 14:30 à 15:00
Événement Paige Madison Hobbits and Wild Grandmothers of the Forest: Imagining Homo floresiensis Colloque 17 juin 2022 11:45 à 12:15
Événement Yoel Rak Pithecanthropus: A Complicated and Loaded Term Colloque 17 juin 2022 11:15 à 11:45