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 primordial pour assurer la stabilité et la performance d ...
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. ...
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. ...
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 ...
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 ...
Le cours vise a familiariser les etudiants avec l'histoire de l'environnement et des paysages, et avec la maniere dont les preoccupations environnementales amenent a repenser aujourd'hui le sens et les principes de l'architecture et des disciplines de pr ...
Construction Policy seeks to familiarise architecture and engineering students with instruments of policy analysis, evaluation and, eventually, design. This by introducing elements of policy theory, examining historical and contemporary case studies, and p ...