Mathematics/Psychology : 106 ·
Title: The Hamilton-Jacobi Formulation of Optimal Path Planning for Autonomous Vehicles Speaker: Christian Parkinson (University of Arizona) Abstract: We present a...
Upcoming Events
Feb 3
12 PM
Mathematics/Psychology : 106 ·
Title: Extending mathematical frameworks to investigate stochastic fluctuations in diverse cell types Speaker: Gregory Handy (University of Chicago) Abstract: Stochastic fluctuations drive...
Feb 6
12 PM
Mathematics/Psychology : 106 ·
Title: Negative resistance in small-noise dynamics and obstructions to stabilization Speaker: Matthew Kvalheim (University of Michigan) Abstract: In this two-part talk I will first discuss...
Feb 8
12 PM
Mathematics/Psychology : 106 ·
Title: A PDE Interpretation of Prediction with Expert Advice Speaker: Nadejda Drenska (Johns Hopkins University) Abstract: We study the problem of prediction of binary sequences with expert...
Feb 10
12 PM
Mathematics/Psychology : 106 ·
Title: On the Computational Complexity of Semidefinite and Polynomial Optimization: A real Algebraic Geometry Approach Speaker: Ali Mohammad Nezhad (Carnegie Mellon University) Abstract:...
Feb 24
11 AM
Lean Theorem Prover
Mathematics/Psychology : 106 ·
Title: Formalizing Theorems in Mathematics and Theories in Science and Engineering Abstract: Lean is an interactive theorem prover for writing and verifying mathematical proofs with...
Apr 21
2 PM
University of Maryland, College Park
Mathematics/Psychology : 101 ·
Title: TBA Abstract: TBA