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

Concept

Rule of inference

Related courses (5)

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-556: Mathematics of data: from theory to computation

This course provides an overview of key advances in continuous optimization and statistical analysis for machine learning. We review recent learning formulations and models as well as their guarantees

PHYS-512: Statistical physics of computation

The students understand tools from the statistical physics of disordered systems, and apply them to study computational and statistical problems in graph theory, discrete optimisation, inference and machine learning. ...

AR-301(n): Studio BA5 (Lapierre)

Des communautés shakers aux USA à la question du logement à Bâle, le semestre interroge l'habitat comme lieu intime et collectif, en explorant la transformation des espaces de travail en nouveaux lieux de partage. ...

AR-301(o): Studio BA5 (elii)

Fiction is one of the laboratories that architecture uses for its tests. This should not come as a surprise, since architecture has always been a "science of fiction". The studio holds by elii [architecture office] will work in Madrid on housing, domestici ...