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. ...
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 ...
EE-570: Power system restructuring and deregulationThis course presents different types and mechanisms of electricity markets. It addresses in particular their impacts on power/distribution systems operation and consequently the appropriate strategies capable to ensure a secure and reliable functioning. ...
MICRO-435: Quantum and nanocomputingThe course teaches non von-Neumann architectures. The first part of the course deals with quantum computing, sensing, and communications. The second focuses on field-coupled and conduction-based nanocomputing, in-memory and molecular computing, cellular au ...
ENG-410: Energy supply, economics and transitionThis course examines energy systems from various angles: available resources, how they can be combined or substituted, their private and social costs, whether they can meet the energy demand, and how the transition to a renewable energy system can be foste ...
EE-566: Adaptation and learningIn this course, students learn to design and master algorithms and core concepts related to inference and learning from data and the foundations of adaptation and learning theories with applications.
PHYS-314: Quantum physics IIThe aim of this course is to familiarize the student with the concepts, methods and consequences of quantum physics. ...
ENG-209: Data science for engineers with PythonCe cours propose une immersion progressive et complète dans le domaine de la Data Science à travers le langage Python. Il guide les étudiants depuis la manipulation de données brutes jusqu'à la modélisation et l'extraction de connaissances utiles à partir ...
HUM-345: Quand les super-héros nous disent qui nous sommesL'objectif de ce cours est de réfléchir à la présence de plus en plus importante des super-héros au cinéma, dans les librairies et, finalement, dans nos vies. A quoi servent-ils? Quelle est leur histoire? Que nous disent-ils de nous-mêmes? ...
HUM-226: Wellbeing and Planetary BoundariesCe cours approfondit les acquis d'ENV-101 pour mieux comprendre et mettre en œuvre la durabilité : comment transformer la société vers le bien-être pour tous dans les limites écologiques, avec des approches et solutions sectorielles (énergie, bâtiments, mo ...
MATH-474: Statistics for genomic data analysisAfter a short introduction to basic molecular biology and genomic technologies, this course covers the most useful statistical concepts and methods for the analysis of genomic data. ...
ENV-417: Urban hydrologyCe cours en hydrologie urbaine aborde la gestion de l'eau urbaine d'un point de vue global, incluant notamment les impacts des rejets pluviaux sur les milieux récepteurs. Des solutions concrètes de gestion des eaux en ville sont présentées, en lien avec le ...
MGT-426: Logistics and demand analysisLa logistique, fonction transversale par excellence, intègre toutes les dimensions des processus industriels à ajout de valeur, de l'approvisionnement à la distribution aux clients et au-delà en intégrant le développement durable. Un focus particulier sera ...
CS-214: Software constructionLearn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and
fundamental software construction concepts (reusability, abstr ...
ME-213: Programmation pour ingénieurMettre en pratique les bases de la programmation vues au semestre précédent. Développer un logiciel structuré. Méthode de debug d'un logiciel. Introduction à la programmation scientifique. Introduction à l'instrumentation virtuelle. ...
ME-373: Finite element modelling and simulationL'objectif de ce cours est d'apprendre à réaliser de manière rigoureuse et critique des analyses par éléments finis de problèmes concrets en mécanique des solides à l'aide d'un logiciel CAE moderne. ...
