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 ...
CH-120: Advanced general chemistry IIAcquisition des notions fondamentales liées à la réactivité des molécules organiques, identification de la structure de petites molécules organiques au moyen des techniques de spectrométrie de masse, spectroscopie infra-rouge et résonance magnétique nucléa ...
MATH-101(g): Analysis IÉtudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable. ...
CH-160(g): Advanced general chemistryCet enseignement vise l'acquisition des notions essentielles relatives à la structure de la matière, aux équilibres et à la réactivité chimiques. Le cours et les exercices fournissent la méthodologie permettant de résoudre par le raisonnement et le calcul ...
MATH-101(c): Analysis IÉtudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable. ...
MATH-251(a): Numerical analysisThis course presents numerical methods to solve mathematical problems such as systems of linear and nonlinear equations, function approximation, integration and differentiation, and differential equations. ...
MATH-203(b): Analysis IIILe cours étudie les concepts fondamentaux de l'analyse vectorielle et l'analyse de Fourier en vue de leur utilisation pour
résoudre des problèmes pluridisciplinaires d'ingénierie scientifique. ...
CH-210: BiochemistryLes constituants biochimiques de l'organisme, protéines, glucides, lipides, à la lumière de l'évolution des concepts et des progrès en biologie moléculaire et génétique, sont étudiés. ...
MATH-421: Evolutional partial differential equationsTechniques et théories de base pour les équations aux dérivées partielles d'évolution. Etude d'exemples fondamentaux: équations du premier ordre, équation des ondes, équation de la chaleur. Théorème de Cauchy-Kowalevsky, problèmes abstraits d'évolution. ...
PHYS-426: Quantum physics IVIntroduction to the path integral formulation of quantum mechanics. Derivation of the perturbation expansion of Green's functions in terms of Feynman diagrams. Several applications will be presented, including non-perturbative effects, such as tunneling an ...
MSE-211: Organic chemistryThis course provides a basic foundation in organic
chemistry and polymer chemistry, including chemical nomenclature of organic compounds and polymers, an understanding of chemical structures, chemical reaction mechanisms, as well as methods of organic and ...
CH-419: Protein mass spectrometry and proteomicsIn systems biology, proteomics represents an essential pillar. The understanding of protein function and regulation provides key information to decipher the complexity of living systems. Proteomic technology now enables deep quantitative proteome mapping v ...
ME-413: Introduction to additive manufacturingThe state of the art in the domain of additive production processes
(the part is built by material addition without use of a shape tool) will be presented.
The main application/benefits/shortcomings of the common additive processes as well as
technologi ...
MATH-101(f): Analysis IÉtudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable. ...
EE-200: Electromagnetics I : Transmission lines and wavesLe signal électrique est un vecteur essentiel pour la transmission d'information et d'énergie. En haute fréquence elle se manifeste comme un signal électromagnétique dont l'étude demande le développement de modèles physiques et mathématiques spécifiques ba ...
CS-101: Advanced information, computation, communication IDiscrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics as diverse as mathematical reasoning, combinatorics, disc ...
ME-273: Introduction to control of dynamical systemsCours introductif à la commande des systèmes dynamiques. On part de quatre exemples concrets et on introduit au fur et à mesure un haut niveau d'abstraction permettant de résoudre de manière unifiée les problèmes d'asservissement et de régulation, en parti ...
