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

Concept

Relation réflexive

Cours associés (28)

HUM-306: Design industriel - forme, fonction et matériaux

Le cours propose d'expérimenter les spécificités du design industriel en confrontant les étudiant-e-s à la création d'un objet. Il s'agit d'un enseignement pratique qui repose sur le développement d'un projet de semestre. ...

MGT-427: Management de projet et analyse du risque

Ce cours a pour objectif de présenter l'approche générale du management de projet en intégrant la gestion du risque dans toutes les étapes du projet. ...

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. ...

PENS-201: Making structural logic

The ENAC week provides students the possibility to engage into an iterative process of testing and exploring structural and material limits and possibilities through the collaborative design and construction of structural elements in folded steel. The ENAC ...

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 ...

PHYS-202: Mécanique analytique (pour SPH)

Ce cours propose une introduction à la mécanique analytique. Il introduit les formalismes lagrangien et hamiltonien, en insistant sur leur capacité à simplifier la description des systèmes contraints, des symétries et des lois de conservation. Il présente ...

COM-501: Advanced cryptography

This course reviews some failure cases in public-key cryptography. It introduces some cryptanalysis techniques. It also presents fundamentals in cryptography such as interactive proofs. Finally, it presents some techniques to validate the security of crypt ...

ENG-635: Coaching for Communicating in English in an Academic Context

If you wish to improve your academic communication skills in English by means of professional personalized guidance and by working independently on your own projects (e.g. presentations, article-writing), then this module is for you. ...