Search
Search Results
-
An inexact alternating direction method of multipliers for the solution of linear complementarity problems arising from free boundary problems
A large number of free boundary problems can be formulated as linear-complementarity problems. In this paper, we propose an inexact alternating...
-
Shrink wrap** for Taylor models revisited
Taylor models have been used successfully to calculate verified inclusions of the solutions of initial value problems for ordinary differential...
-
Enclosing the solution set of parametric interval matrix equation A(p)X = B(p)
Consider the parametric matrix equation A ( p ) X = B ( p ), where the elements of the matrices A ( p ) and B ( p ) depend linearly on a number of uncertain...
-
Accelerated modulus-based matrix splitting iteration methods for a restricted class of nonlinear complementarity problems
To solve a class of nonlinear complementarity problems, accelerated modulus-based matrix splitting iteration methods are presented and analyzed....
-
Parametric AE-solution sets to the parametric linear systems with multiple right-hand sides and parametric matrix equation A(p)X = B(p)
In this paper, the parametric matrix equation A ( p ) X = B ( p ) whose elements are linear functions of uncertain parameters varying within intervals are...
-
On the unbounded parametric tolerable solution set
We consider a linear algebraic system A ( p ) x = b ( q ), where the elements of the matrix and the right-hand side vector are linear functions of uncertain...
-
MSSOR-based alternating direction method for symmetric positive-definite linear complementarity problems
Finding the solution of linear complementarity problem (LCP) is an important subject in scientific computing, engineering and economic applications....
-
Accelerated modulus-based matrix splitting iteration methods for linear complementarity problem
For the large sparse linear complementarity problem, a class of accelerated modulus-based matrix splitting iteration methods is established by...
-
A class of problems that can be solved using interval algorithms
The paper discusses several theoretical and implementational problems of interval branch-and-bound methods. A trial to define a class of problems...
-
Towards interval techniques for model validation
Most physical models are approximate. It is therefore important to find out how accurate are the predictions of a given model. This can be done by validating...
-
Multiple/arbitrary precision interval computations in C-XSC
As a new feature, C-XSC provides so-called wrapper classes to some external arbitrary precision real and interval packages. Operator and function...
-
Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
In this paper we will discuss different realizations for an efficient interval arithmetic implementation using expression templates and template meta...
-
Extended interval Newton method based on the precise quotient set
The interval Newton method can be used for computing an enclosure of a single simple zero of a smooth function in an interval domain. It can...
-
Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests
The Krawczyk and the Hansen-Sengupta interval operators are closely related to the interval Newton operator. These interval operators can be used as...
-
Interval Arithmetic with Containment Sets
The idea of containment sets (csets) is due to Walster and Hansen, and the theory is mainly due to the first author. Now that floating point...
-
A Generalized Kahan-Babuška-Summation-Algorithm
In this article, we combine recursive summation techniques with Kahan-Babuška type balancing strategies [1], [7] to get highly accurate summation...
-
ICTM: An Interval Tessellation-Based Model for Reliable Topographic Segmentation
This work introduces a tessellation-based model for the declivity analysis of geographic regions. The analysis of the relief declivity, which is...
-
The Interval Geometric Machine Model
This paper introduces the interval version of the Geometric Machine (GM) model, to model the semantics of algorithms of interval mathematics. Based...
-
Guaranteed Nonlinear State Estimator for Cooperative Systems
This paper is about state estimation for continuous-time nonlinear models, in a context where all uncertain variables can be bounded. More precisely, c...
-
A Full Function-Based Calculus of Directed and Undirected Intervals: Markov'S Interval Arithmetic Revisited
This paper proposes a new interpretation of intervals as classes of functions having the same domain. Interval operations are seen as operations on...