Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Markov Chains: Applications and Coupled Chains

Related lectures (35)

Coupling of Markov Chains: Ergodic Theorem

Explores the coupling of Markov chains and the proof of the ergodic theorem, emphasizing distribution convergence and chain properties.

Markov Chains and Applications

Explores Markov chains and their applications in algorithms, focusing on user impatience and faithful sample generation.

Lower Bound on Total Variation Distance

Explores the lower bound on total variation distance in Markov chains and its implications on mixing time.

Proofs: Logic, Mathematics & Algorithms

Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.

Hitting Probabilities: Markov Chains

Covers hitting probabilities in Markov chains with disjoint subsets, the function h(i), theorems, proofs, and expected time to hit calculations.

Markov Chains and Algorithm Applications

Covers Markov chains and their applications in algorithms, focusing on Markov Chain Monte Carlo sampling and the Metropolis-Hastings algorithm.

Ergodic Theorem: Proof and Applications

Explains the proof of the ergodic theorem and the concept of positive-recurrence in Markov chains.

Coq: Introduction

Introduces Coq, covering defining propositions, proving theorems, and using tactics.

Markov Chains: Recurrence and Transience

Explores recurrence, transience, and invariant distributions in Markov chains with proofs and examples.

The Languages of Isabelle: Isar, ML, and Scala

Explores the languages of Isabelle, focusing on Isar, ML, and Scala, covering proof schemes, Natural Deduction rules, inductive definitions, and the LCF approach.

Continuous Time Markov Chains

Covers the basic theory for continuous time Markov chains and discusses communication, hitting probabilities, recurrence, and transience.

Markov Chains: Introduction and Properties

Covers the introduction and properties of Markov chains, including transition matrices and stochastic processes.

Birth and Death Chains

Explores transience and recurrence in Markov chains, emphasizing birth and death chains and random walks.

MCMC Examples and Error Estimation

Covers Markov Chain Monte Carlo examples and error estimation methods.

Quantum Entropy: Markov Chains and Bell States

Explores quantum entropy in Markov chains and Bell states, emphasizing entanglement.

Markov Chains: Applications and Analysis

Explores Markov chains, focusing on the coloring problem and algorithm analysis.

Coq Workshop: Introduction to Interactive Theorem Proving

Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.

Hidden Markov Models: Primer

Introduces Hidden Markov Models, explaining the basic problems and algorithms like Forward-Backward, Viterbi, and Baum-Welch, with a focus on Expectation-Maximization.

Markov Chains and Algo Applications

Covers Markov chains, Metropolis algorithm, Glauber dynamics, and heat bath dynamics.

Markov Chains: Ergodicity and Stationary Distribution

Explores ergodicity and stationary distribution in Markov chains, emphasizing convergence properties and unique distributions.