Refine my results

Specific Collection

Language

Università della Svizzera italiana

Using linear algebra in decomposition of Farkas interpolants

Blicha, Martin ; Hyvärinen, Antti E. J. ; Kofroň, Jan ; Sharygina, Natasha

In: International journal on software tools for technology transfer, 2021, p. 15

The use of propositional logic and systems of linear inequalities over reals is a common means to model software for formal verification. Craig interpolants constitute a central building block in this setting for over-approximating reachable states, e.g. as candidates for inductive loop invariants. Interpolants for a linear system can be efficiently computed from a Simplex refutation by ...

Université de Fribourg

Treating the Gibbs phenomenon in barycentric rational interpolation and approximation via the S-Gibbs algorithm

Berrut, Jean-Paul ; Marchi, S. De ; Elefante, Giacomo ; Marchetti, F.

In: Applied Mathematics Letters, 2020, vol. 103, p. 106196

In this work, we extend the so-called mapped bases or fake nodes approach to the barycentric rational interpolation of Floater–Hormann and to AAA approximants. More precisely, we focus on the reconstruction of discontinuous functions by the S-Gibbs algorithm introduced in De Marchi et al. (2020). Numerical tests show that it yields an accurate approximation of discontinuous functions.

Università della Svizzera italiana

Advances in barycentric rational interpolation of a function and its derivatives

Cirillo, Emiliano ; Hormann, Kai (Dir.)

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...

Consortium of Swiss Academic Libraries

Shape Optimization by Pursuing Diffeomorphisms

Hiptmair, Ralf ; Paganini, Alberto

In: Computational Methods in Applied Mathematics, 2015, vol. 15, no. 3, p. 291-305

Consortium of Swiss Academic Libraries

Surgical planning tool for robotically assisted hearing aid implantation

Gerber, Nicolas ; Bell, Brett ; Gavaghan, Kate ; Weisstanner, Christian ; Caversaccio, Marco ; Weber, Stefan

In: International Journal of Computer Assisted Radiology and Surgery, 2014, vol. 9, no. 1, p. 11-20