Institute for Pure & Applied Mathematics (IPAM) Courses

Can ML Help in Solving Cargo Capacity Management Booking Control Problems

Explore ML applications in cargo capacity management, focusing on booking control problems and predicting solution costs for discrete optimization in revenue management.

• YouTube
• 27 minutes
• On-Demand
• Free Video

Neural Network Verification as Piecewise Linear Optimization

Neural network verification as piecewise linear optimization: exploring robust methods to prove model reliability against attacks, using LP and MIP formulations for efficient problem-solving in various network types.

• YouTube
• 26 minutes
• On-Demand
• Free Video

The Transformer Network for the Traveling Salesman Problem

Explore how Transformer networks can tackle the Traveling Salesman Problem, improving upon existing heuristics with promising results for combinatorial optimization challenges.

• YouTube
• 30 minutes
• On-Demand
• Free Video

Fair and Interpretable Decision Rules for Binary Classification

Explore fair and interpretable decision rules for binary classification using Boolean rule sets in DNF, with a focus on maximizing accuracy while maintaining group fairness constraints.

• YouTube
• 31 minutes
• On-Demand
• Free Video

Schrödinger Bridges - Classical and Quantum

Explore Schrödinger bridges in classical and quantum contexts, their applications to Markov chains and quantum channels, and their solutions for probability distributions and state evolutions.

• YouTube
• 22 minutes
• On-Demand
• Free Video

Oscillator-to-Oscillator Codes Do Not Have a Threshold

Explores limitations of oscillator-to-oscillator codes in quantum information, proving they lack a threshold property for error correction when using constant squeezing and maximum likelihood decoding.

• YouTube
• 20 minutes
• On-Demand
• Free Video

On Mix-Norms and the Rate of Decay of Correlations

Explores mix-norms and correlation decay rates in complex flows, discussing q-recurrence, q-transience, and their implications for measuring mixing intensity in various systems.

• YouTube
• 22 minutes
• On-Demand
• Free Video

Small Scale Formations in the Incompressible Porous Media Equation

Explore small scale formations in incompressible porous media equations, including infinite-time growth of Sobolev norms and potential finite-time blow-up scenarios.

• YouTube
• 27 minutes
• On-Demand
• Free Video

Analytical and Empirical Tools for Nonlinear Network Observability in Autonomous Systems

Explore nonlinear network observability in autonomous systems, covering analytical and empirical tools for sensor selection, network analysis, and applications in engineering and biology.

• YouTube
• 44 minutes
• On-Demand
• Free Video

A Multi-Population Traffic Flow Model on Networks Accounting for Vehicle Automation

Explore a multi-population traffic flow model accounting for vehicle automation, analyzing strategic choices based on information levels and their impact on traffic efficiency.

• YouTube
• 38 minutes
• On-Demand
• Free Video

Deployment of Autonomous Fleet Mobility Services at Scale

Explores deployment scenarios and network impacts of autonomous fleet mobility services, discussing optimization challenges, integration with existing transit, and potential societal benefits.

• YouTube
• 43 minutes
• On-Demand
• Free Video

Towards Assurance-Based Learning-Enabled Cyber-Physical Systems

Exploring formal verification, monitoring, and safety case formalization for assurance-based learning-enabled cyber-physical systems, focusing on autonomous vehicles and their complex components.

• YouTube
• 41 minutes
• On-Demand
• Free Video

Abstractions for Programming Distributed Robotic Applications

Explore programming abstractions for distributed robotic systems, focusing on platform-independent control and coordination code that's portable and verifiable, using the Koord language.

• YouTube
• 38 minutes
• On-Demand
• Free Video

Bridging the Gap Between Safety and Real-Time Performance for Autonomous Vehicle Control

Explores a novel trajectory planning method for autonomous vehicles, balancing safety and real-time performance through offline computations and runtime optimization to ensure persistent feasibility.

• YouTube
• 37 minutes
• On-Demand
• Free Video

From Connected and Autonomous Vehicles Control to Vehicular Traffic Control

Explore innovative traffic control strategies, from individual vehicle management to large-scale systems, addressing technological advancements and methodological challenges in road traffic management.

• YouTube
• 45 minutes
• On-Demand
• Free Video