Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO007.
Linear barycentric rational interpolants are a particular kind of rational interpolants, defined by weights that are independent of the function f. Such interpolants have recently proved to be a viable alternative to more classical interpolation methods, such as global polynomial interpolants and splines, especially in the equispaced setting. Other kinds of interpolants might indeed suffer...
|
In: Annals of Biomedical Engineering, 2008, vol. 36, no. 12, p. 2068-2084
|
Thèse de doctorat : Università della Svizzera italiana, 2016 ; 2016INFO009.
Model checking is a well established technique to verify systems, exhaustively and automatically. The state space explosion, known as the main difficulty in model checking scalability, has been successfully approached by symbolic model checking which represents programs using logic, usually at the propositional or first order theories level. Craig interpolation is one of the most successful...
|
Thèse de doctorat : Università della Svizzera italiana, 2017 ; 2017INFO007.
Barycentric coordinates provide a convenient way to represent a point inside a triangle as a convex combination of the triangle's vertices, and to linearly interpolate data given at these vertices. Due to their favourable properties, they are commonly applied in geometric modelling, finite element methods, computer graphics, and many other fields. In some of these applications it is desirable...
|
