EE-530: Test of VLSI systemsTest of VLSI Systems covers theoretical knowledge related to the major algorithms used in VLSI test, and design for test techniques. Basic knowledge related to computer-aided design for test technique
MATH-436: Homotopical algebraThis course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous
CH-401: Advanced nuclear magnetic resonancePrinciples of Magnetic Resonance Imaging (MRI) and applications to medical imaging. Principles of modern multi-dimensional NMR in liquids and solids. Structure determination of proteins & materials. M
MICRO-200: Mechanism Design ICe cours introduit les bases de la mécanique des structures : calcul des contraintes et déformations provoquées par les forces extérieures et calcul des déformations. Ces enseignements théoriques sont
MATH-506: Topology IV.b - cohomology ringsSingular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a
CS-119(h): Information, Computation, CommunicationL'objectif de ce cours est d'initier les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'informatique et des communications et de développer une première compétence
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 doma