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
MSE-237: Practice in materialsLes TPs matériaux BA4 ont pour but d'illustrer de manière pratique les notions acquises dans les cours Introduction à la Science des Matériaux et Métaux et Alliages. L'accent est mis sur le lien entre
CIVIL-225: Continuum mechanics (for GC)Ce cours fondamental couvre les notions de déformations et de contraintes, les grands principes de conservation, les équations d'équilibres, et les lois constitutives. Des applications en mécanique de
MATH-476: Optimal transportThe first part is devoted to Monge and Kantorovitch problems, discussing the existence and the properties of the optimal plan. The second part introduces the Wasserstein distance on measures and devel
CIVIL-124: Statics (for GC)Ce cours a pour but de développer une compréhension des modèles statiques de structures. Il présente l'étude du jeu des forces dans les constructions isostatiques formées de barres, poutres et câbles.
EE-552: Media securityThis course provides attendees with theoretical and practical issues in media security. In addition to lectures by the professor, the course includes laboratory sessions, a mini-project, and a mid-ter
PHYS-431: Quantum field theory IThe goal of the course is to introduce relativistic quantum field theory as the conceptual and mathematical framework describing fundamental interactions.
PHYS-452: Radiation detectionThe course presents the detection of ionizing radiation in the keV and MeV energy ranges. Physical processes of radiation/matter interaction are introduced. All steps of detection are covered, as well
