Because of the importance of special functions, several books and a large collection of papers have been devoted to the numerical computation of these functions, the most well-know...
Franky Backeljauw, Stefan Becuwe, Annie A. M. Cuyt
A fundamental problem of modelling in Systems Biology is to precisely characterise quantitative parameters, which are hard to measure experimentally. For this reason, it is common ...
Hendrik Rohn, Bashar Ibrahim, Thorsten Lenser, Tho...
The key step in the construction of the Delaunay triangulation of a finite set of planar points is to establish correctly whether a given point of this set is inside or outside t...
This paper focuses on tractable instances of interval data minmax regret graph problems. More precisely, we provide polynomial and pseudopolynomial algorithms for sets of particul...
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...