...
机译:具有符号泰勒展开数的浮点舍入误差的严格估计
Univ Utah, Sch Comp, 50 South Cent Campus Dr, Salt Lake City, UT 84112 USA;
Univ Utah, Sch Comp, 50 South Cent Campus Dr, Salt Lake City, UT 84112 USA;
Univ Utah, Sch Comp, 50 South Cent Campus Dr, Salt Lake City, UT 84112 USA;
Univ Utah, Sch Comp, 50 South Cent Campus Dr, Salt Lake City, UT 84112 USA;
Univ Utah, Sch Comp, 50 South Cent Campus Dr, Salt Lake City, UT 84112 USA;
Univ Utah, Sch Comp, 50 South Cent Campus Dr, Salt Lake City, UT 84112 USA;
Floating-point arithmetic; IEEE floating-point standard; mixed-precision arithmetic; round-off error; global optimization; formal verification;
机译:使用具有较大舍入误差的测量值来估计正常过程方差
机译:四舍五入误差,微观市场价格调整和随机抽样下的协方差和套期保值系数的SIML估计
机译:根据具有较大舍入误差的测量值估算正常过程方差
机译:具有符号泰勒展开数的浮点舍入误差的严格估计
机译:高效的浮点错误测试和严格的混合精度调整。
机译:符号和非符号数字线估计的发展:横截面和纵向数据内的三个发展帐户
机译:用符号泰勒展开严格估计浮点舍入误差