This 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 optimization of figures-of-merit applied to circuits includ ...
Probabilistic 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 hardness of approximation. This course covers the found ...
This course offers an introduction to numerical methods for the solution of mathematical problems as: solution of systems of linear and non-linear equations, functions approximation, integration and differentiation and solution of differential equations. ...
The summer school gives an introduction to the basic MOR tools employed to obtain surrogate models of problems in engineering and other applied fields, often stemming from the numerical discretization of PDE models. Details on more recent developments in t ...
The introduction to asymptotic analysis provides the basis for constructing many simplified analytical models in mechanics and for testing computations in limiting cases. ...