CIVIL-124: Statique (pour 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. ...
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 use formal verification tools and explain the theory and ...
ME-326: Automatique et commande numériqueCe 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 et dans l'espace d'état, et la commande de systèmes dis ...
ENG-430: Risk managementThis course provides students with the opportunity to acquire the methods and tools necessary for modern risk management from an engineering perspective. It emphasizes stakeholders, resources, and objectives, while ensuring economic and social sustainabili ...
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. ...
MGT-410: Applied corporate & industry analysisThe intent of this project is to encourage interchange between students and their mentors. Each student, in consultation with her or his mentor, will choose a company that the student will analyze in context of its primary industry. The company may be that ...
PHYS-100: Physique avancée I (mécanique)La Physique Générale I (avancée) couvre la mécanique du point et du solide indéformable. Apprendre la mécanique, c'est apprendre à mettre sous forme mathématique un phénomène physique, en modélisant la situation et appliquant les lois de la physique. ...
QUANT-400: Introduction to quantum science and technologyA broad view of the diverse aspects of the field is provided: quantum physics, communication, quantum computation, simulation of physical systems, physics of qubit platforms, hardware technologies. Students will grasp the field as a whole and better orient ...
MATH-106(f): Analyse IIÉtudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieurs
variables. ...
MATH-101(f): Analyse IÉtudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable. ...
CS-308: Introduction to quantum computationThe course introduces the paradigm of quantum computating in an axiomatic way. We introduce the notions of quantum bits, gates, and circuits. We introduce themost important quantum algorithms. We also touch upon error-correcting codes. This course is indep ...
ME-221: Dynamical systemsProvides the students with basic notions and tools for the analysis of dynamic systems. Shows them how to develop mathematical models of dynamic systems and perform analysis in time and frequency domains. ...
ENV-501: Material flow analysis and resource managementThis course provides the basis to understand material and energy production and consumption processes. Students learn how to develop a material flow analysis and apply it to resource management cases. They analyze the implications of their models on resour ...
BIO-467: Scientific literature analysis in bioengineeringStudents are given the means to dig effectively into modern scientific literature in the multidisciplinary field of bioengineering.
The method relies on granting sufficient time to become familiar with the background and hypotheses, on effective support d ...
MATH-105(b): Analyse avancée IIÉtudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieurs variables. ...
PHYS-512: Statistical physics of computationThe 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. ...
HUM-408: Design industriel ILe cours propose d'expérimenter les spécificités du design industriel en confrontant les étudiant.e.s à la création d'un objet. Il s'agit d'un enseignement pratique dont le résultat est un objet fonctionnel réalisé en collaboration avec un artisan ou une e ...
MATH-659: Topics in dispersive PDEThis course assumes familiarity with beginning graduate level real analysis, complex analysis and functional analysis, and also basic
harmonic analysis, as well as fundamental concepts from differential geometry. ...
