Operating Systems Courses

QuantumTopology

Matching Groups and Gliding Systems

Explore matching groups and gliding systems in topology, delving into advanced mathematical concepts and their applications in quantum mechanics and related fields.

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

Hausdorff Center for Mathematics

Marcello Porta: On the Correlation Energy of Interacting Fermionic Systems in the Mean-Field Regime

Explore ground state properties of homogeneous, interacting Fermi gas in mean-field regime, focusing on correlation energy and recent progress in understanding its precise value through rigorous bosonization techniques.

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

Hausdorff Center for Mathematics

On a Class of Singular Perturbed Elliptic Systems with Asymptotic Phase Segregation

Explores elliptic singular perturbed systems and their convergence to phase segregating systems. Examines existence, uniqueness, and asymptotic behavior, presenting a novel method for solving limiting problems.

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

Hausdorff Center for Mathematics

Refinement Type Systems and Martin Lof Type Theory

Explores refinement type systems, their connection to Martin-Lof type theory, and various notions of comprehension. Discusses recent work on functors as type refinement systems and Isbell duality theorem.

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

Michel van Biezen

Astrophysics - Binary Systems & Kepler's Laws

Comprehensive exploration of binary star systems, Kepler's laws, and related astrophysical concepts, including orbital mechanics, mass determination, and reduced mass theory.

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

NahamSec

Continuous Intrusion - Hacking CI Systems

Explore techniques for exploiting vulnerabilities in Continuous Integration systems, focusing on security risks and potential attack vectors in the software development pipeline.

• YouTube
• 25 minutes
• On-Demand
• Conference Talk

NahamSec

You've Got Pwned - Exploiting E-Mail Systems

Explore email system vulnerabilities and exploitation techniques in this informative talk by @securinti, covering key security risks and potential attack vectors.

• YouTube
• 25 minutes
• On-Demand
• Conference Talk

Bugcrowd

From IVI to CAR in a Box - Building and Testing Automotive Systems

Explore building a simulated car system, from in-vehicle infotainment to a complete "Car in a Box" setup, with insights on ECU integration and safety precautions.

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

HackerOne

You've Got Pwned - Exploiting E-Mail Systems

Explore common technical attacks on email systems and real-world examples from bug bounty programs, enhancing your understanding of email security beyond spam and phishing.

• YouTube
• 47 minutes
• On-Demand
• Conference Talk

HackerOne

Bug Bounty Field Manual - Cliff Notes for Planning and Operating Successful Programs

Comprehensive guide on planning, launching, and operating successful bug bounty programs, covering team formation, scope setting, bounty structures, and program management strategies.

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

Systems That Make Sense - Wai Ola - Water of Life Springs

Explore Hawaiian wisdom on positive thinking and connecting with nature through vivid folklore. Learn ancient knowledge to reconnect with Mother Earth and embrace life's sacred journey.

• YouTube
• 16 minutes
• On-Demand
• Conference Talk

Simons Institute

Tutorial on Proof Systems

Explore minimal complexity assumptions in cryptography, focusing on proof systems and their applications in secure computation and blockchain technology.

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

Simons Institute

Learning to Control Safety-Critical Systems

Explore techniques for integrating AI tools in safety-critical systems, focusing on guaranteeing performance, stability, and safety while addressing challenges in networked environments.

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

Strong Medicine

Blood Types - An Introduction to the ABO and Rh Systems

Explore the biology and genetics of ABO and Rh blood systems, their history, and medical implications including transfusion reactions and newborn health.

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

International Centre for Theoretical Sciences

Dynamical Systems Applied to Biology - Part 1

Explore dynamical systems in biology, focusing on applications and mathematical approaches to understand complex biological processes and phenomena.

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