CS-628: Interactive Theorem Proving CSA hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code! ...
AR-463: UE E : Architectures in crisesLe patrimoine bâti est une ressource mais de nombreux bâtiments et sites n'arrivent pas à dévoiler leur potentiel architectural, urbain et social. Cette UE incite à étudier des édifices par l'analyse de leurs archives et à élaborer des idées d'intervention ...
CS-250: Algorithms IThe students learn the theory and practice of basic concepts and techniques in algorithms. The course covers mathematical induction, techniques for analyzing algorithms, elementary data structures, major algorithmic paradigms such as dynamic programming, s ...
EE-477: Multivariable control and coordination systemsThe objective is to enable students to design advanced digital solutions for the control and the coordination of distributed dynamic systems, such as production or distribution energy systems, as well as intelligent transportation systems. ...
ME-427: Networked control systemsThis course offers an introduction to control systems using communication networks for interfacing sensors, actuators, controllers, and processes. Challenges due to network non-idealities and opportunities offered by communication will be analyzed. ...
CIVIL-468: Dynamics of structuresDynamics loads on structures, equations of motion of linear single- and multiple-degree-of freedom systems; free an forced vibrations; damping in structures: modal superposition and response history analysis, earthquake effects ...
AR-452: Architecture and construction of the city IICe cours propose des approches croisées permettant de clarifier les articulations de deux échelles particulières: architecture et infrastructure. Il se propose d'étudier les modes de constitution d'un lieu par ses relations à ce qui lui est à la fois famil ...
AR-301(ak): Studio BA5 (Chavepayreo)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Évents, qui accueille des jeunes atteints de troubles psych ...
AR-402(aj): Studio MA2 (Baumgartner et Camponovo)STAY A LITTLE LONGER étudie les potentialités du bâti existant. Les outils de représentations du projet de transformation - Existant/Noir, Démolition/Jaune, Nouveau/Rouge -structureront l'exploration architecturale et graphique. Le deuxième semestre inves ...
AR-302(ak): Studio BA6 (Chavepayre)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Évents, qui accueille des jeunes atteints de troubles psych ...
AR-301(b): Studio BA5 (Graf F.)Le projet de sauvegarde et le projet dans l'existant font partie d'une discipline culturelle constituée qui élargit le projet d'architecture contemporain. ...
AR-202(o): Studio BA4 (Verschuere)In the early days of the Anthropocene, the concepts of "Nature and Culture" are being revisited by a number of contemporary thinkers. The studio will take this paradigm shift as an opportunity to address new narratives. ...
AR-401(ak): Studio MA1 (Chavepayre)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Évents, qui accueille des jeunes atteints de troubles psyc ...
AR-401(b): Studio MA1 (Graf)Le projet de sauvegarde et le projet dans l'existant font partie d'une discipline culturelle constituée qui élargit le projet d'architecture contemporain. ...
AR-402(ak): Studio MA2 (Chavepayre)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Évents, qui accueille des jeunes atteints de troubles psych ...
AR-481: Architecture in the age of accelerationThis course proposes to investigate six strategies for architecture in the age of acceleration: Acceleration, Regionalism, Participation, Transformation, Commonality and Resilience. Anchoring these strategies in recent architectural history, it will explor ...
AR-659: Minoring architectural researchA theoretical and practical reflection on the possibilities, positions and methodologies of a minor approach to architectural research will reveal key concepts and tools to establish a critical position, build a situated architectural investigation and pro ...
AR-302(aj): Studio BA6 (Baumgartner et Camponovo)STAY A LITTLE LONGER étudie les potentialités du bâti existant. Les outils de représentations du projet de transformation - Existant/Noir, Démolition/Jaune, Nouveau/Rouge -structureront l'exploration architecturale et graphique. Le deuxième semestre inves ...
