Publications
Chosen filters:
Chosen filters:
Fast and backward stable computation of roots of polynomials, Part II: Backward error analysis; companion matrix and companion pencil KU Leuven
This work is a continuation of Fast and backward stable computation of roots of polynomials by J.L. Aurentz, T. Mach, R. Vandebril, and D.S. Watkins, SIAM Journal on Matrix Analysis and Applications, 36(3): 942–973, 2015. In that paper we introduced a companion QR algorithm that finds the roots of a polynomial by computing the eigenvalues of the companion matrix in O(n2) time using O(n) memory. We proved that the method is backward stable. Here ...
Stable isotope studies on humans and animals from Tell Tweini, Syria (2600-550 BC) Ghent University
Tell Tweini is a coastal Syrian site with settlement remains of diverse periods between the Early Bronze Age and the Iron Age (2600-550 BC). Inside urban contexts in Field A at the site, eleven burials have been unearthed. Most date to the Middle Bronze Age (2000-1600 BC), including one collective grave. Stable isotope ratio analysis (δ13C and δ15N) was carried out on human remains from these Middle Bronze Age graves in order to reconstruct ...
Modeling Stable Matching Problems with Answer Set Programming Vrije Universiteit Brussel
The Stable Marriage Problem (SMP) is a well-known matching problem fi rst introduced and
solved by Gale and Shapley [7]. Several variants and extensions to this problem have since been
investigated to cover a wider set of applications. Each time a new variant is considered, however,
a new algorithm needs to be developed and implemented. As an alternative, in this paper we
propose an encoding of the SMP using Answer Set ...
solved by Gale and Shapley [7]. Several variants and extensions to this problem have since been
investigated to cover a wider set of applications. Each time a new variant is considered, however,
a new algorithm needs to be developed and implemented. As an alternative, in this paper we
propose an encoding of the SMP using Answer Set ...
Effects of consolidants and their removal by polar solvents on the stable isotope compositions of bone Vrije Universiteit Brussel
Although conservation practices facilitate the preservation of museum collections, procedures used to stabilize ancient materials can alter their chemical and isotopic compositions, impacting the viability of such specimens for life history investigations. In this study, we applied two common consolidants – polyvinyl acetate (PVAc) and acrylic resin (Paraloid B-72™) – followed by two consolidant removal procedures to assess the impacts of these ...
Putting logic-based distributed systems on stable grounds Hasselt University
In the Declarative Networking paradigm, Datalog-like languages are used to express distributed computations. Whereas recently formal operational semantics for these languages have been developed, a corresponding declarative semantics has been lacking so far. The challenge is to capture precisely the amount of nondeterminism that is inherent to distributed computations due to concurrency, networking delays, and asynchronous communication. This ...
A broadband stable addition theorem for the two dimensional MLFMA Ghent University
Integral equations arising from the time-harmonic Maxwell equations contain the Green function of the Helmholtz equation as the integration kernel. The structure of this Green function has allowed the development of so-called fast multipole methods (FMMs), i.e. methods for accelerating the matrix-vector products that are required for the iterative solution of integral equations. Arguably the most widely used FMM is the multilevel fast multipole ...
Weaning and stunting affect nitrogen and carbon stable isotope natural abundances in the hair of young children Ghent University
Solving stable matching problems using answer set programming Vrije Universiteit Brussel Ghent University
Since the introduction of the stable marriage problem (SMP) by Gale and Shapley (1962), several variants and extensions have been investigated. While this variety is useful to widen the application potential, each variant requires a new algorithm for finding the stable matchings. To address this issue, we propose an encoding of the SMP using answer set programming (ASP), which can straightforwardly be adapted and extended to suit the needs of ...
Stable force identification in structural dynamics using Kalman filtering and dummy-measurements KU Leuven
Many engineering applications require the knowledge of input forces to mechanical systems. However, in practice, it is quite difficult to measure these forces directly. In order to obtain an estimate of the input forces to structural systems, Kalman filtering based techniques have recently been introduced. These state-estimation techniques allow estimating the forces concurrent with the states of a system, based on a limited number of ...