Concept

Homogeneous relation

Cours associés (32)

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 u

MATH-502: Distribution and interpolation spaces

The goal of this course is to give an introduction to the theory of distributions and cover the fundamental results of Sobolev spaces including fractional spaces that appear in the interpolation theor

PHYS-202: Analytical mechanics (for SPH)

Présentation des méthodes de la mécanique analytique (équations de Lagrange et de Hamilton) et introduction aux notions de modes normaux et de stabilité.

HUM-306: Industrial design - form, function and materials

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'u

ME-324: Discrete-time control of dynamical systems

On introduit les bases de l'automatique linéaire discrète qui consiste à appliquer une commande sur des intervalles uniformément espacés. La cadence de l'échantillonnage qui est associée joue un rôle

AR-226: History of Architecture V/VI

This is a survey course on the history of architecture of the twentieth century.

AR-485: Political economy of design

Political Economy of Design (PED) seeks to position and discuss architecture in relation to the world of production, economic interests and community benefits or decisions, at a local and global scale

MGT-427: Project management and risk analysis

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.

HUM-426: Phasing-out, innovation through withdrawal II

The course aims at the acquisition of concepts and methods of Science and Technology Studies in order to learn how to decipher the intricacies of science and technology in society by mobilizing these

AR-505: Modernity, architecture and the environment

Theory course on modernist environmental aesthetics in architecture.

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 m

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 pr