Operating Systems Courses

The Julia Programming Language

cadCAD.jl - A Modeling Library for Generalized Dynamical Systems

Explore generalized dynamical systems modeling with cadCAD.jl. Learn to simulate complex systems, evolve data structures, and gain iterative insights for enhanced system engineering and data science workflows.

• YouTube
• 27 minutes
• Self-Paced
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Grounding Large Language Models in Execution - From Code Generation to Formal Systems

Explore new training paradigms for grounding large language models in execution feedback, focusing on code generation and Lean proofstep prediction to bridge informal and formal LLM usages.

• YouTube
• 1 hour 3 minutes
• Self-Paced
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Scaling Limits of Disordered Systems

Explore scaling limits of disordered systems, focusing on the Poland-Scheraga model for DNA denaturation and its phase transition effects.

• YouTube
• 51 minutes
• Self-Paced
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

DT Invariants and Holomorphic Curves in Complex Integrable Systems

Explore the correspondence between Donaldson-Thomas invariants and holomorphic curves, focusing on mirror symmetry and applications in enumerative geometry.

• YouTube
• 1 hour 9 minutes
• Self-Paced
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Blow Up for the 1D Cubic NLS and Related Systems

Explore singularity formation in 1D Schrödinger equations with cubic nonlinearity and its connections to Schrödinger map and vortex filament equation.

• YouTube
• 1 hour 1 minute
• Self-Paced
• Free Video

Galileo Galilei Institute

Theoretical Models for Binary Systems in Einstein Scalar Gauss-Bonnet Gravity

Explore theoretical models for binary systems, focusing on Einstein scalar Gauss-Bonnet gravity and its implications for black hole dynamics and gravitational wave astronomy.

• YouTube
• 49 minutes
• Self-Paced
• Free Video

Galileo Galilei Institute

Quantum Thermodynamics and Relativistic Hydrodynamics for Relativistic Systems - Lecture 3

Explore quantum thermodynamics and relativistic hydrodynamics in high-energy physics, delving into advanced concepts and their applications in particle collisions and cosmology.

• YouTube
• 1 hour 52 minutes
• Self-Paced
• Free Video

Galileo Galilei Institute

Quantum Thermodynamics and Relativistic Hydrodynamics for Relativistic Systems - Part II

Explore quantum thermodynamics and relativistic hydrodynamics in high-energy physics, delving into advanced concepts and their applications in particle collisions and cosmology.

• YouTube
• 1 hour 55 minutes
• Self-Paced
• Free Video

Galileo Galilei Institute

Introduction to the Dynamics of Disordered Systems - Equilibrium and Gradient Descent - Part 3

Explore equilibrium dynamics and gradient descent in disordered systems, focusing on theoretical concepts and practical applications in statistical physics and optimization.

• YouTube
• 1 hour 36 minutes
• Self-Paced
• Free Video

Galileo Galilei Institute

Introduction to the Dynamics of Disordered Systems - Part II

Explore advanced concepts in disordered system dynamics, focusing on theoretical frameworks and analytical techniques for understanding complex physical phenomena.

• YouTube
• 1 hour 42 minutes
• Self-Paced
• Free Video

TabletClass Math

Steps to Solve a System - Elimination Method for 2 Variable Linear Systems

Comprehensive tutorial on solving 2-variable linear systems using the Elimination Method, with clear examples and step-by-step guidance for mastering this essential algebra technique.

• YouTube
• 26 minutes
• Self-Paced
• Free Video

TheIACR

Bootstrapping Techniques in Cryptographic Hardware and Embedded Systems

Explore bootstrapping techniques in cryptography at CHES 2024, chaired by Jiafeng Xie. Gain insights into advanced cryptographic methods and their applications.

• YouTube
• 1 hour 5 minutes
• Self-Paced
• Free Video

ADC - Audio Developer Conference

AudioworX: A Framework for Streamlining Development of Audio Post Processing for Car Audio Systems

Streamline car audio post-processing development with AudioworX. Learn about its framework, tuning tools, measurement module, and simulation environment for efficient audio software creation.

• YouTube
• 25 minutes
• Self-Paced
• Free Video

GoLab conference

Building Location-Based Recommendation Systems Using Google Geocoding and Go

Explore building location-based recommendation systems using Google's Geocoding API and Go. Learn about geospatial data analysis, SurrealDB's Geo functions, and the benefits of Go for this application.

• YouTube
• 39 minutes
• Self-Paced
• Free Video

MuST Program for Disordered Materials

Calculating the Electrical Resistivity of Large Systems from First Principles

Explore an efficient first-principles method for calculating electrical conductivity in disordered structures, combining Kubo-Greenwood equation with LSMS method for large systems.

• YouTube
• 56 minutes
• Self-Paced
• Free Video