COM-502: Dynamical system theory for engineersLinear and nonlinear dynamical systems are found in all fields of science and engineering. After a short review of linear system theory, the class will explain and develop the main tools for the quali
HUM-467: Picture history IILe séminaire propose un travail collectif de recherche, de réflexion ou de projet en lien à l'histoire des expositions universelles, à leurs formes et à leurs enjeux de 1851 à aujourd'hui.
CS-550: Formal verificationWe 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
HUM-283: Infrastructures et sciences socialesCe cours présente des clés d'analyse des sciences humaines pour réfléchir aux infrastructures, de leur planification à leur gouvernance. Il abordera les enjeux d'écologie, d'accessibilité, de contesta
CIVIL-212: Fundamentals of indoor climateThe indoor climate impacts building performance and human well-being. This course covers fundamental knowledge of indoor air quality and thermal environment, with their assessment methods. It also out