78 research outputs found
Analysis of Nonlinear Systems via Bernstein Expansions
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/106482/1/AIAA2013-4557.pd
Reduction of diabetes risk in routine clinical practice: are physical activity and nutrition interventions feasible and are the outcomes from reference trials replicable? A systematic review and meta-analysis
Responses of Kit Foxes (Vulpes macrotis) to Antipredator Blood-Squirting and Blood of Texas Horned Lizards (Phrynosoma cornutum)
Traitement de la tourbe et de la lignite avec un mélange gazeux CO / N2 dans un réacteur à lit fluidisé
Some text in Frenc
Efficient and reliable methods for rounded interval arithmetic, Computer Aided Design
We present an efficient and reliable method for computing the unit–in–the–last–place (ulp) of a double precision floating–point number, taking advantage of the standard binary representation for floating– point numbers defined by IEEE Std 754–1985. The ulp is necessary to perform software rounding for robust rounded interval arithmetic (RIA) operations. Hardware rounding, using two of the standard rounding modes defined by IEEE-754, may be more efficient. RIA has been used to produce robust software systems for the solution of systems of nonlinear equations, interrogation of geometric and differential properties of curves and surfaces, curve and surface intersections, and solid modeling. Key words: binary representation, denormalized number, IEEE Std 754–1985, rounded interval arithmetic, unit–in–the–last–plac
Research on optimization of spare parts inventory policy considering maintenance priority
- …