Titlebook: Reliable Implementation of Real Number Algorithms: Theory and Practice; International Semina Peter Hertling,Christoph M. Hoffmann,Nathalie

语源学

Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format,. is .. This work can be extended to other elementary functions in the decimal64 format and allows the design of reasonably fast routines that will evaluate these functions with correct rounding, at least in some domains.

Misnomer

Robustness and Randomness,al numbers. This paper reviews methods dealing with robustness and inaccuracy problems. It discusses approaches based on exact arithmetic, interval arithmetic and probabilistic methods. The paper investigates the possibility to use randomness at certain levels of reasoning to make geometric constructions more robust.

拾落穗

Validated Modeling of Mechanical Systems with ,: Improvement of Performance by ,,e an appropriate kind of arithmetic according to the modeling task. We consider different strategies for obtaining tight state enclosures in . including improvements in the underlying data types (Taylor models), modeling elements (rotation error reduction), and focus on enhancement through the choice of initial value problem solvers (.).

adhesive

Homotopy Conditions for Tolerant Geometric Queries,lent to the intended exact set. We show that the Nerve Theorem provides systematic means for identifying sufficient conditions for the required homotopy equivalence, and explain how these conditions are used in the context of geometric and solid modeling.

Override

0302-9743 n this book, the focus is on a problem arising particularly in real number computations: the problem of veri?edor reliablecomputations. Since real numbersare objects c- taining an in?nite amount of information, they cannot be represented precisely on a computer. This leads to the well-known problems

尖叫

Conference proceedings 2008k, the focus is on a problem arising particularly in real number computations: the problem of veri?edor reliablecomputations. Since real numbersare objects c- taining an in?nite amount of information, they cannot be represented precisely on a computer. This leads to the well-known problems caused by

BAIL

Validated Modeling of Mechanical Systems with ,: Improvement of Performance by ,,rectness of the results obtained with the help of a computer, various kinds of validating arithmetic and algorithms were developed. Their purpose is to provide bounds in which the exact result is guaranteed to be contained. Verified modeling of kinematics and dynamics of multibody systems is a chall

ALE

古文字学

daredevil

Verified Methods in Stochastic Traffic Modelling,ion of a semi-Markov arrival process can be described as a sum of exponential terms using validated numerics. Next, we use interval arithmetic as a reliable method to analyse the transient states of simple GI/G/1 queueing systems and compute the time required for the system to reach the equilibrium.