Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 23092 résultats Filtres Type de contenu Type de contenu (-) Enseignements (23086) Actualité (1601) Personne (1327) Chaire (352) Éditions (343) Page (230) Recherche (27) Bibliothèque (14) Chaire annuelle (12) (-) Prix (6) Filtres actifs Enseignements Prix Événement Nathalie Boulanger Dynamics of Ticks and Tick-borne diseases: Is it just the climate change? Colloque Nathalie Boulanger Nathalie Boulanger est entomologiste médicale, dirige une équipe de recherche sur les maladies vectorielles à tique ; elle est membre du Centre national de référence Borrelia. Après un doctorat en Suisse (paludisme), puis un stage … 16 juin 2022 11:35 à 11:55 Événement Kristie Ebi Overview of the Health Impacts of Our Changing Climate Colloque Kristie Ebi Professor Kristie L. Ebi, Ph.D., MPH has been conducting research on climate variability and health for 25 years, including understanding sources of vulnerability; estimating current impacts and future health risks; designing adaptation … 16 juin 2022 11:10 à 11:35 Événement Grégory Quenet Climate and Societies: A Historical Perspective Colloque Grégory Quenet Grégory Quenet est professeur en histoire de l’environnement à l’université UVSQ-Paris Saclay, membre senior de l'Institut universitaire de France et titulaire de la chaire Laudato si’ « Pour une nouvelle exploration de la terre » au … 16 juin 2022 10:45 à 11:10 Événement Anne Cheng Discussions et conclusions Colloque 23 juin 2022 17:15 à 18:00 Événement Ursula Gauthier Notes sur la répression des Ouïghours en Chine Colloque 23 juin 2022 16:15 à 17:15 Événement Chloé Froissart Perspectives sur le centenaire du Parti communiste chinois 1921-2021 Colloque 23 juin 2022 15:45 à 16:15 Événement Victor Louzon « Civilisation » et sortie de la violence politique dans la Chine post-maoïste Colloque 23 juin 2022 15:15 à 15:45 Événement Arnaud Nanta Les sources primaires des officiers japonais lors du massacre de Nankin : construction du fonds, typologie, débats Colloque 23 juin 2022 14:30 à 15:00 Événement François Guillemot Viêt Nam, de la guerre du peuple à la guerre civile révolutionnaire : pratiques polémologiques Colloque 23 juin 2022 14:00 à 14:30 Événement Pierre Singaravélou Généalogie euro-asiatique du panasiatisme pacifique indien pendant la première moitié du XXe siècle Colloque 23 juin 2022 11:15 à 11:45 Événement Manon-Nour Tannous « Gravement préoccupé par l'escalade de violence » : violence et relations internationales au Moyen-Orient Colloque 23 juin 2022 10:30 à 11:00 Événement Eberhard Kienle Violences « politiques » au Moyen-Orient : le legs perpétuellement reconstitué d'inégalités mondiales Colloque 23 juin 2022 10:00 à 10:30 Événement Matthieu Rey Violence en bord d'Euphrate Colloque 23 juin 2022 09:30 à 10: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 É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 É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 Pagination Première page Page précédente … Page 174 Page 175 Page 176 Page 177 Page courante 178 Page 179 Page 180 Page 181 Page 182 … Page suivante Dernière page
Événement Nathalie Boulanger Dynamics of Ticks and Tick-borne diseases: Is it just the climate change? Colloque Nathalie Boulanger Nathalie Boulanger est entomologiste médicale, dirige une équipe de recherche sur les maladies vectorielles à tique ; elle est membre du Centre national de référence Borrelia. Après un doctorat en Suisse (paludisme), puis un stage … 16 juin 2022 11:35 à 11:55
Événement Kristie Ebi Overview of the Health Impacts of Our Changing Climate Colloque Kristie Ebi Professor Kristie L. Ebi, Ph.D., MPH has been conducting research on climate variability and health for 25 years, including understanding sources of vulnerability; estimating current impacts and future health risks; designing adaptation … 16 juin 2022 11:10 à 11:35
Événement Grégory Quenet Climate and Societies: A Historical Perspective Colloque Grégory Quenet Grégory Quenet est professeur en histoire de l’environnement à l’université UVSQ-Paris Saclay, membre senior de l'Institut universitaire de France et titulaire de la chaire Laudato si’ « Pour une nouvelle exploration de la terre » au … 16 juin 2022 10:45 à 11:10
Événement Ursula Gauthier Notes sur la répression des Ouïghours en Chine Colloque 23 juin 2022 16:15 à 17:15
Événement Chloé Froissart Perspectives sur le centenaire du Parti communiste chinois 1921-2021 Colloque 23 juin 2022 15:45 à 16:15
Événement Victor Louzon « Civilisation » et sortie de la violence politique dans la Chine post-maoïste Colloque 23 juin 2022 15:15 à 15:45
Événement Arnaud Nanta Les sources primaires des officiers japonais lors du massacre de Nankin : construction du fonds, typologie, débats Colloque 23 juin 2022 14:30 à 15:00
Événement François Guillemot Viêt Nam, de la guerre du peuple à la guerre civile révolutionnaire : pratiques polémologiques Colloque 23 juin 2022 14:00 à 14:30
Événement Pierre Singaravélou Généalogie euro-asiatique du panasiatisme pacifique indien pendant la première moitié du XXe siècle Colloque 23 juin 2022 11:15 à 11:45
Événement Manon-Nour Tannous « Gravement préoccupé par l'escalade de violence » : violence et relations internationales au Moyen-Orient Colloque 23 juin 2022 10:30 à 11:00
Événement Eberhard Kienle Violences « politiques » au Moyen-Orient : le legs perpétuellement reconstitué d'inégalités mondiales Colloque 23 juin 2022 10:00 à 10:30
É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
É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
É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