CIVIL-510: Quantitative imaging for engineersFirst 2 courses are Tuesday 16-19h!This course will arm students with knowledge of different imaging techniques for practical measurements in many different fields of civil engineering. Modalities wil
EE-726: Sparse stochastic processesWe cover the theory and applications of sparse stochastic processes (SSP). SSP are solutions of differential equations driven by non-Gaussian innovations. They admit a parsimonious representation in a
FIN-616: Financial Econometrics II (2020 -2024)This course has 3 parts
- We understand how to use moment based estimations to obtain the parameters for explicit or implicit models.
- We learn how to estimate latent parameters in a time series cont
CS-628: Interactive Theorem Proving CSA hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!
MATH-660: Numerical methods for data assimilationThis course will review modern techniques for parameter and state estimation in a Bayesian framework for models involving differential equations, with particular attention to the high dimensional sett
CS-233(a): Introduction to machine learning (BA3)Machine learning and data analysis are becoming increasingly central in many sciences and applications. In this course, fundamental principles and methods of machine learning will be introduced, analy
