In: International journal for numerical methods in biomedical engineering, 2021, vol. 37, no. 10, p. 23
In electrocardiography, the “classic” inverse problem is the reconstruction of electric potentials at a surface enclosing the heart from remote recordings at the body surface and an accurate description of the anatomy. The latter being affected by noise and obtained with limited resolution due to clinical constraints, a possibly large uncertainty may be perpetuated in the inverse ...
|
In: Computer aided geometric design, 2021, vol. 88, p. 11
Bézier curves are indispensable for geometric modelling and computer graphics. They have numerous favourable properties and provide the user with intuitive tools for editing the shape of a parametric polynomial curve. Even more control and flexibility can be achieved by associating a shape parameter with each control point and considering rational Bézier curves, which comes with the...
|
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 ...
|
In: Computers and mathematics with applications, 2021, vol. 99, p. 162-170
We consider two parallel-in-time approaches applied to a (reaction) diffusion problem, possibly non-linear. In particular, we consider PFASST (Parallel Full Approximation Scheme in Space and Time) and space-time multigrid strategies. For both approaches, we start from an integral formulation of the continuous time dependent problem. Then, a collocation form for PFASST and a discontinuous ...
|
In: Annales Henri Poincaré, 2015, vol. 16, no. 12, p. 2713-2782
|
In: Phytochemistry Reviews, 2015, vol. 14, no. 2, p. 299-315
|
In: Designs, Codes and Cryptography, 2015, vol. 75, no. 2, p. 335-357
|
In: Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry, 2015, vol. 56, no. 1, p. 351-371
|
In: Foundations of Computational Mathematics, 2015, vol. 15, no. 6, p. 1357-1411
|
Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO003.
A software library for the solution of large-scale structured nonconvex optimization problems is presented in this work, with the purpose of accelerating the solution on single- core, multicore, or massively parallel high-performance distributed memory computing infrastructures. A large class of industrial and engineering problems possesses a particular structure, motivating the development of...
|