On Future Synergies for Stochastic and Learning Algorithms / Sur les synergies futures autour des algorithmes d'apprentissage et stochastiques

Collection On Future Synergies for Stochastic and Learning Algorithms / Sur les synergies futures autour des algorithmes d'apprentissage et stochastiques

Organizer(s) Durmus, Alain ; Michel, Manon ; Roberts, Gareth ; Zdeborova, Lenka
Date(s) 27/09/2021 - 01/10/2021
linked URL https://conferences.cirm-math.fr/2389.html

All the collection videos (5)

50:12

published on November 18, 2021

Coupling rare event algorithms and deep neural network to predict extreme heat waves

By Freddy Bouchet

59:26

published on November 18, 2021

Molecular dynamics algorithms: numerical and mathematical analysis

By Tony Lelièvre

45:07

published on November 18, 2021

MCMC for systems with glassy dynamics

By Ludovic Berthier

52:01

published on November 18, 2021

Irreversible Monte Carlo methods for particle simulations

By Anthony Maggs

47:19

published on November 18, 2021

Biased Monte Carlo sampling in RBMs

By Beatriz Seoane

Mathematics
and Interactions

Arithmetic Geometry – A Conference in Honor of Hélène Esnault on the Occasion of Her 70th Birthday

Not Only Scalar Curvature Seminar

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models

Lean for the curious mathematician / Lean pour mathématiciens

Collection On Future Synergies for Stochastic and Learning Algorithms / Sur les synergies futures autour des algorithmes d'apprentissage et stochastiques

Coupling rare event algorithms and deep neural network to predict extreme heat waves

Molecular dynamics algorithms: numerical and mathematical analysis

MCMC for systems with glassy dynamics

Irreversible Monte Carlo methods for particle simulations

Biased Monte Carlo sampling in RBMs

Interplay between Stochastic Partial Differential Equations and Quantum Field Theory on Curved Backgrounds

Local measurement theory for quantum fields

The Klein-Gordon equation on asymptotically flat spacetimes

The timelike tube theorem and analytic vectors in QFT

Scattering for wave equations with sources and slowly decaying data

Complex analysis in Lean

Finite Type Properties of (Tame) Fundamental Groups

Stone duality and its formalization

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

Working with Mathlib