MICRO-101: Electrotechnics IIEn régime alternatif, les différents types de puissance sont introduites.
Les systèmes alternatifs triphasés et leurs charges sont traités.
Finalement, le cours traite des régimes transitoires, base d
ENV-425: LimnologyFocus is on lakes, rivers and reservoirs as aquatic systems. Specific is the quantitative analyse (incl. exercises) of physical, biogeochemical and sedimentological processes. The goal is to understan
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
CS-119(a): Information, Computation, CommunicationD'une part, le cours aborde: (1) la notion d'algorithme et de représentation de l'information, (2) l'échantillonnage d'un signal et la compression de données et (3) des aspects
liés aux systèmes: ordi
ENG-436: Food biotechnologyThe course will deliver basic knowledge on the principles of food fermentation and enzyme technology. The course will also present benefits that food biotechnology can bring in terms of Nutrition & He
MSE-441: Electrochemistry for materials technologyThis course aims at familiarizing the student with state of the art applications of electrochemistry in materials science and technology as well as material requirements for electrochemical engineerin
MATH-478: Dispersive PDEsThis course will give an introduction to some aspects of nonlinear dispersive partial differential equations. These are time evolution problems that arise in many contexts in physics, such as quantum
