|
12:00 PM - 02:00 PM
|
|
Lunch: Conversations with scientists
|
- Location
- --
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
|
02:00 PM - 03:30 PM
|
|
Mini Course: Mathematical Programming and Reasoning in Lean
Jeremy Avigad (Institute for Computer-Aided Reasoning in Mathematics (ICARM); Carnegie Mellon University)
|
- Location
- --
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
|
02:00 PM - 03:30 PM
|
|
Mini Course: Machine Learning for Mathematics
Blake Jackson (Institute for Computer-Aided Reasoning in Mathematics (ICARM))
|
- Location
- --
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
|
02:00 PM - 02:30 PM
|
|
IPAM Research Talk: Two Mathematical Perspectives on Intelligence: Spectral Learning and Adaptive Reservoir Computing
Cynthia Flores (California State University of Channel Islands)
|
- Location
- --
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
|
02:30 PM - 03:00 PM
|
|
IMSI Research Talk: Untangling Evolution: Challenges and Advances in Inferring Evolutionary Histories in the Presence of Hybridization
Hector Baños (California State University, San Bernardino)
|
- Location
- --
- Video
-
--
- Abstract
In evolution, hybridization occurs when two distinct species merge genetically to create a new species. Recent advances in phylogenetic analyses of DNA have revealed that hybridization has played an important role in the evolutionary history of many species. Reconstructing evolutionary relationships is already challenging because of the many processes that shape species' histories, and the presence of hybridization adds a layer of complexity. In this talk, we explore some of the challenges of inferring evolutionary relationships in the presence of hybridization under the Network Multispecies Coalescent model (NMSC). Specifically, we discuss which aspects of evolutionary history can be reliably recovered from data (are identifiable) and also present recent advances in statistically consistent inference methods. Additionally, we present some of the consequences of model misspecification when the true evolutionary process violates the assumptions of an inference model.
- Supplements
-
--
|
|
03:00 PM - 03:30 PM
|
|
ICARM Research Talk:
Hannah Fechtner (Carnegie Mellon University)
|
- Location
- --
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
|
03:30 PM - 04:00 PM
|
|
Break
|
- Location
- --
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
|
04:00 PM - 05:30 PM
|
|
Mini Course: Mathematical Programming and Reasoning in Lean
Jeremy Avigad (Institute for Computer-Aided Reasoning in Mathematics (ICARM); Carnegie Mellon University)
|
- Location
- --
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
|
04:00 PM - 05:30 PM
|
|
Mini Course: Machine Learning for Mathematics
Blake Jackson (Institute for Computer-Aided Reasoning in Mathematics (ICARM))
|
- Location
- --
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
|
04:00 PM - 04:30 PM
|
|
AIM Research Talk:
Andrés Vindas Meléndez (Harvey Mudd College)
|
- Location
- --
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
|
04:30 PM - 05:00 PM
|
|
ICERM Research Talk:
|
- Location
- --
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
|
05:00 PM - 05:30 PM
|
|
SLMath Research Talk: A Numerical Study of the Dirichlet Problem for the Elliptic Monge-Ampere Equation in 2D
Juan Meza (MSRI / Simons Laufer Mathematical Sciences Institute (SLMath))
|
- Location
- --
- Video
-
--
- Abstract
The Dirichlet problem for the real elliptic Monge-Ampère equation in two dimensions arises in many important applications including optimal transport, machine learning, and geometry. In this talk, I will discuss the performance of two numerical methods for the solution of this problem. The first method is an augmented Lagrangian based method that reformulates the problem as a saddle point problem. The second method is a relaxation algorithm using a least squares formulation. This work is part of an ongoing undergraduate research project, and I will present preliminary numerical experiments in two dimensions comparing the two methods with respect to accuracy, convergence behavior, and computational cost.
Work by J.C. Meza and Isaic Cruse, UC Merced.
- Supplements
-
--
|
|
06:30 PM - 07:30 PM
|
|
Reception
|
- Location
- --
- Video
-
--
- Abstract
- --
- Supplements
-
--
|