Mathematics
and Interactions
-
Videos linked to Guillaume HennenfentMore +
![Applicative bisimulation for higher-order probabilistic languages]()
01:27:45published on May 26, 2026Applicative bisimulation for higher-order probabilistic languages
By Raphaëlle Crubillé
![Expressive probabilistic programming : discrete-time stochastic processes]()
01:14:40published on May 26, 2026Expressive probabilistic programming : discrete-time stochastic processes
By Sam Staton
![Non-selfadjoint operators in gravity: two case studies]()
38:45published on May 21, 2026Non-selfadjoint operators in gravity: two case studies
By José Luis Jaramillo
![Theory of the general circulation of atmospheres and oceans - lecture 2]()
01:10:17published on May 11, 2026Theory of the general circulation of atmospheres and oceans - lecture 2
By Geoffrey Vallis
![Theory of the general circulation of atmospheres and oceans - lecture 1]()
01:04:13published on May 11, 2026Theory of the general circulation of atmospheres and oceans - lecture 1
By Geoffrey Vallis
