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

Concept

Validity (statistics)

Cours associés (24)

PHYS-427: Relativity and cosmology I

Introduce the students to general relativity and its classical tests. ...

CS-550: Formal verification

We introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to use formal verification tools and explain the theory and ...

EE-203: Electronics II

Ce cours introduit les composants à semiconducteurs électroniques de base : diodes à jonction PN, transistors bipolaires et MOS. Leurs modes de fonctionnement en DC et AC sont étudiés. Les circuits élémentaires à base de transistors bipolaires sont prése ...

MATH-614: Foundations of causal inference

This seminar will provide a survey of the canonical literature in causal inference. At the end of this course, students will gain a broad understanding of the most important methodological concepts and tools in this field, and will be equipped to criticall ...