Start date cannot be after end date.
Verified Mathematical Reasoning with Lean and Language Models
Presenter
- Robert Joseph George
April 26, 2025
ICERM
Lyapunov exponents and Multiplicative Ergodic Theorem for random systems in a separable Banach space
Presenter
- Zeng Lian
October 25, 2012
IMA
Team 5: Fast computational methods for reservoir flow models
Presenter
- Robert Shuttleworth
August 5, 2009
IMA
Are adaptive wavelet discretizations dissipative? Application to inviscid Burgers and incompressible Euler equations
Presenter
- Kai Schneider
January 12, 2017
IPAM
Optimal Actuator/sensor Location for Distributed Parameter Systems
Presenter
- Kirsten Morris
March 17, 2016
IMA
Modeling and Simulation of Ion Flow in Biological Channels Including Electrochemical, Fluid, Thermal and Mechanical Forces
Presenter
- Riccardo Sacco
November 19, 2015
MBI
Multiscale modeling and simulation of soft matter materials
Presenter
- Paul Atzberger
November 4, 2008
IMA
Tingwei Meng - Bayesian sampler for inverse problems of a stochastic process by leveraging HJ PDEs
Presenter
- Tingwei Meng
July 17, 2025
IPAM
Discretizations of anisotropic PDEs using Voronoi's reduction of quadratic forms.
Presenter
- Jean-Marie Mirebeau
March 11, 2024
ICERM
Yuehaw Khoo - High-dimensional PDEs, tensor-network, and convex optimization - IPAM at UCLA
Presenter
- Yuehaw Khoo
February 6, 2024
IPAM
Yuehaw Khoo - New approaches in simulation of transition paths - IPAM at UCLA
Presenter
- Yuehaw Khoo
November 17, 2022
IPAM