Start date cannot be after end date.
Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory
Presenter
- Peter Dybjer
November 30, 2012
IAS
The Probability that a Slight Perturbation of a Numerical Analysis Problem is Difficult
Presenter
- Peter Bürgisser
April 20, 2007
IMA
Space Mission Design with Dynamical Systems Theory - Lecture 2
Presenter
- Martin Lo
June 29, 2011
IMA
Martin boundary and local limit theorem of Brownian motion on negatively-curved manifolds
Presenter
- Seonhee Lin
February 6, 2015
MSRI
Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization
Presenter
- Louis-Martin Rousseau
February 25, 2021
IPAM
Foam structure and rheology: The shape and feel of random soap froth
Presenter
- Andrew Kraynik
October 15, 2009
IMA
Optimization-based computational modeling, or how to achieve better predictiveness with less complexity
Presenter
- Pavel Bochev
November 5, 2010
IMA
Least-squares methods for PDEs: A fair and balanced perspective
Presenter
- Pavel Bochev
October 31, 2010
IMA