Institute for Pure & Applied Mathematics (IPAM) Courses

More is Different - Non-Scalability of Approximation in Modeling Noncovalent Interaction

2 reviews

Exploring the limitations of common approximations in modeling non-covalent interactions at the nanoscale, revealing complex scaling behaviors and the need for advanced quantum-mechanical methods.

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

Quantum Walk, Efficient Implementation, and Potential Application - IPAM at UCLA

1 review

Explore quantum walk algorithms, efficient implementations, and potential applications in scientific computation with insights on quantum circuit design for various graph types.

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

Neural Cross-Frequency Coupling - Delta-Alpha, Resting State, Anesthesia, Sleep

1 review

Explore neural cross-frequency coupling functions, focusing on delta-alpha interactions in resting state, anesthesia, and sleep. Discover how Bayesian inference reveals functional mechanisms of brainwave oscillations.

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

Fast, Accurate and Large-Scale Ab-Initio Calculations for Materials Modeling

Explore advanced computational methods for large-scale density functional theory calculations, their applications in materials modeling, and the performance of the DFT-FE open-source code.

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

The Pitfalls of Using ML-Based Optimization - IPAM at UCLA

Explore pitfalls of ML-based optimization in graph problems, comparing traditional approaches for Force Path Cut and Hypergraph Discovery. Gain insights on limitations and potential improvements in AI applications.

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

Discrete Optimization-Aided Structured Learning at Scale - IPAM at UCLA

Explore discrete optimization techniques for structured learning, featuring algorithmic aspects, statistical setups, and approaches to feature selection and learning trees.

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

Optimization-in-the-Loop AI for Energy and Climate - IPAM at UCLA

Optimization-in-loop AI framework for climate action: enhancing ML models with physics, constraints, and decision-making processes for energy grids, building efficiency, and more.

• YouTube
• 1 hour
• On-Demand
• Free Video

Learning to Untangle Genome Assembly Graphs - IPAM at UCLA

Explore deep learning techniques for untangling genome assembly graphs, improving accuracy and efficiency in DNA sequencing without manual intervention.

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

Quantum Simulation - IPAM at UCLA

Explore quantum simulation's origins, relevance, and key concepts with Nathan Wiebe. Delve into Schrödinger equations, Hamiltonian simulation, and Taylor's theorem in this comprehensive lecture.

• YouTube
• 2 hours 42 minutes
• On-Demand
• Free Video

Introduction to Quantum Algorithms - IPAM at UCLA

Explore quantum algorithms, focusing on Grover's algorithm, with mathematical foundations, quantum circuits, and practical applications in this comprehensive introduction.

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

Mathematical and Computational Challenges in Quantum Computing - IPAM UCLA

Explore mathematical and computational challenges in quantum computing through workshops and collaborations, focusing on empowering mathematics to impact quantum information science and vice versa.

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

Computer-Assisted Proofs in the Arithmetic of Quadratic Forms - IPAM at UCLA

Explore computer-assisted proofs in quadratic forms arithmetic, covering equivalence, representation, local-global principles, and modular forms. Gain insights into complex computations across mathematics.

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

Verifying Symbolic Computation in the HolPy Theorem Prover - IPAM at UCLA

Explore HolPy, a new proof assistant for verifying symbolic computation using a user-friendly interface similar to computer algebra systems, with examples and future directions.

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

Deep Learning in Interactive Theorem Proving - IPAM at UCLA

Explore deep learning's impact on interactive theorem proving, challenges in formal mathematics, and future possibilities in machine-assisted proofs.

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

Autoformalization with Large Language Models - IPAM at UCLA

Explore autoformalization using large language models for translating natural language math to formal proofs, advancing formal verification and AI in mathematics.

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