CS-602: Foundation of probabilistic proofsProbabilistic proof system (eg PCPs and IPs) have had a tremendous impact on the theoretical computer science, and have also found practical uses. They underlie delegation of computation protocols and
CS-726: Machine Learning for Database SystemsThis course covers the emerging interdisciplinary field targeting the intersection of Machine Learning and Database Systems. The students will read, review and present papers from recent venues across
EE-206: Méthodes de mesureCe cours vise à transférer les concepts théoriques et les savoir-faire nécessaires à la réalisation de mesures de bonne qualité. Les contenus méthodologiques et technologiques seront exposés sous form
EE-520: Low-power analog IC designThis course presents the design of low-power analog CMOS integrated circuits. The techniques are based on the concept of inversion coefficient that can be used as the main design parameter for the opt
EE-605: Statistical Sequence ProcessingThis course discusses advanced methods extensively used for the processing, prediction, and classification of temporal (multi-dimensional and multi-channel) sequences. In this context, it also describ
EE-714: Nonlinear signal modeling and predictionThe literature on nonlinear signal processing has exploded, and it becomes more and more difficult to identify the most useful approaches for specific contexts. This course presents promising developm
EE-717: Learning to controlThis course offers an overview of direct data-driven approaches to control design. In such methods, learning tools are used to compute optimal control laws from data without relying on a model of the
ENG-274: Programmation MatlabIntroduction au calcul scientifique, à la programmation et à la gestion et visualisation de données avec MATLAB / GNU Octave et Python sous GNU/Linux.
