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: Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry, 2015, vol. 56, no. 1, p. 351-371
|
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.
|
In: Applied Mathematics and Computation, 2020, vol. 371, p. 124924
|
In: Non-coding RNA, 2019, vol. 5, no. 3, p. 47
Diffuse large B-cell lymphoma (DLBCL), marginal zone lymphoma (MZL) and follicular lymphoma (FL) are the most common B-cell lymphomas (BCL) in dogs. Recent investigations have demonstrated overlaps of these histotypes with the human counterparts, including clinical presentation, biologic behavior, tumor genetics, and treatment response. The molecular mechanisms that underlie canine BCL are...
|
In: IEEE Access, 2019, vol. 7, p. 184145–184159
Community structure discovery can help us better understand the capabilities and functions of the network. However, many existing methods have failed to identify nodes in communities accurately. In this paper, we proposed a heuristic community detection method based on node similarities that are computed by assigning different edge weight influence factors based on different neighbor types of...
|
In: Journal of computational and applied mathematics, 2019, vol. 349, p. 292-301
Barycentric rational Floater–Hormann interpolants compare favourably to classical polynomial interpolants in the case of equidistant nodes, because the Lebesgue constant associated with these interpolants grows logarithmically in this setting, in contrast to the exponential growth experienced by polynomials. In the Hermite setting, in which also the first derivatives of the interpolant are...
|
In: Journal of computational and applied mathematics, 2019, vol. 350, p. 114-129
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...
|
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...
|