54

Pain after laparascopic bilateral hernioplasty

Année:
2008
Langue:
english
Fichier:
PDF, 229 KB
english, 2008
58

Computing predecessor and successor in rounding to

Année:
2009
Langue:
english
Fichier:
PDF, 353 KB
english, 2009
60

Proofs of numerical programs when the compiler optimizes

Année:
2011
Langue:
english
Fichier:
PDF, 584 KB
english, 2011
62

Standing waves in a high frequency sonoreactor: Visualization and effects

Année:
1998
Langue:
english
Fichier:
PDF, 806 KB
english, 1998
63

Superpropagators for explicitly broken 3D-supersymmetric theories

Année:
1999
Langue:
english
Fichier:
PDF, 71 KB
english, 1999
65

A Simple Test Qualifying the Accuracy of Horner'S Rule for Polynomials

Année:
2004
Langue:
english
Fichier:
PDF, 131 KB
english, 2004
67

Performances of two heat exchangers assisted by ultrasound

Année:
2012
Langue:
english
Fichier:
PDF, 701 KB
english, 2012
94

Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd

Année:
2008
Langue:
english
Fichier:
PDF, 1.12 MB
english, 2008
95

Formally Verified Argument Reduction with a Fused Multiply-Add

Année:
2009
Langue:
english
Fichier:
PDF, 866 KB
english, 2009
96

Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven

Année:
2009
Langue:
english
Fichier:
PDF, 628 KB
english, 2009
97

Exact and Approximated Error of the FMA

Année:
2011
Langue:
english
Fichier:
PDF, 1.37 MB
english, 2011
98

591 poster SURGICAL TIPS TO OPTIMICE BREAST IORT

Année:
2011
Langue:
english
Fichier:
PDF, 57 KB
english, 2011