机译:通过浮点数细化有理端点实数
Exact real number computation; Interval analysis; Floating-point arithmetic; Denotational semantics' c lness' Comnleteness;
机译:基于事件的操作语义和具有动作细化的实时并发过程的一致性结果
机译:完善传染病研究;改善终点评估
机译:MeshFREE方法的一致弱形式:全面实现H-细化,P精炼和强大的基本边界条件执法中的一种细化
机译:具有动作细化功能的实时流程的操作语义
机译:使用地理信息系统完善操作健康物理学方法。
机译:我们是否可以通过降低CKD中的磷酸盐来改善心血管预后?慢性肾脏病(IMPROVE-CKD)研究中磷酸盐还原对血管终点的影响的原理和方案
机译:通过浮点数完善有理端点实数
机译:浮点数中的有理算法