语源学
发表于 2025-3-23 10:43:58
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
发表于 2025-3-23 14:15:36
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.
拾落穗
发表于 2025-3-23 18:26:25
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
发表于 2025-3-23 23:06:29
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
发表于 2025-3-24 03:23:19
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
尖叫
发表于 2025-3-24 09:23:02
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
发表于 2025-3-24 14:22:22
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
发表于 2025-3-24 16:26:57
http://reply.papertrans.cn/83/8265/826441/826441_18.png
古文字学
发表于 2025-3-24 20:00:14
http://reply.papertrans.cn/83/8265/826441/826441_19.png
daredevil
发表于 2025-3-25 00:22:38
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.