Lectures related to Mozilla Thunderbird

Collaborative Data Science

Covers collaborative data science tools, big data concepts, Spark, and data stream processing, with tips for the final project.

Stainless Verification System Tutorial

Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.

Windows and Coatings: Heat Transfer

Explores heat transfer in windows and coatings, emphasizing reflection minimization and absorption optimization.

Radiative Properties of Small Spheres

Explores the radiative properties of small spheres, including Rayleigh scattering and absorption efficiencies, with a focus on Mie theory and particle characteristics.

Taylor Polynomials: Approximating Functions

Introduces Taylor polynomials for approximating functions around a point, showcasing their importance in accurately representing functions.

Sequences: Convergence and Limits

Explores sequences, convergence, and limits, emphasizing the importance of understanding how sequences approach specific values.