Lectures related to Long tail | EPFL Graph Search

Explores heavy-tailed distributions, the Hill estimator, convergence to Gaussian, and distribution comparison.

Explores the Large Deviations Principle, focusing on exponential tail decay and Laplace transform analysis.

Covers Levy flights, Central Limit Theorem, and Mesoscopic Master Equation with transition rates in an assurance system.

Covers the concept of maximum step size in series increments and long-tailed distributions.

Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.