University of Florida.;
机译:通过插值细分方案进行数字地形建模的严格数值范围
机译:TACO:使用对称破缺和紧密边界的基于SAT的有效边界验证
机译:一种快速的高平均实用程序项目集,具有高效更严格的上限和新颖的列表结构
机译:细分曲面的紧边界体积
机译:Hermite细分方案和射流细分曲面。
机译:中性粒细胞对粘附在生物表面的金黄色葡萄球菌的杀菌活性。表面结合的细胞外基质蛋白通过氧依赖性和非依赖性机制激活细胞内杀伤作用。
机译:差异私人经验风险最小化:有效算法 和严重的错误界限