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
ENV-471: Environmental economicsIntroduction to economic analysis applied to environmental issues: all the necessary basic concepts, including cost-benefit analysis, for environmental policy making and its instruments (examples: cli
AR-597(a): Superstudio ASous le titre "DOMESTICATED FOODSCAPES", Superstudio explore des perspectives oubliées et des approches proactives pour repositionner l'architecture dans le contexte de l'alimentation.
AR-682: Citation PoliticsAttendees will gain insights into emerging trends, challenges, and opportunities in citation practices, as well as practical strategies for engaging with AI, promoting diversity in citations, and inco
CIVIL-526: Steel structuresMaîtrise de la conception et du calcul des structures porteuses en charpentes métalliques, avec accent sur les particularités que sont les méthodes d'analyse et de dimensionnement d'éléments mixte, à
CS-330: Artificial intelligenceIntroduction aux techniques de l'Intelligence Artificielle, complémentée par des exercices de programmation qui montrent les algorithmes et des exemples de leur application à des problèmes pratiques.
ME-326: Control systems and discrete-time controlCe cours inclut la modélisation et l'analyse de systèmes dynamiques, l'introduction des principes de base et l'analyse de systèmes en rétroaction, la synthèse de régulateurs dans le domain fréquentiel