CNRS, UMR 7606, LIP6, University Pierre et Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France;
rnCNRS, UMR 7606, LIP6, University Pierre et Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France;
rnLaboratoire LIP, CNRS-ENSL-INRIA-UCBL, 46 alle d'Italie, 69364 Lyon Cedex 07, France;
机译:验证数值计算的必要性,舍入误差分析,间隔算术和无差错变换
机译:往返工程UML类模型和Java模型:使用QVT-R进行双向转换的实际用例
机译:使用矩阵乘法的快速例程进行矩阵乘法的无错误转换及其应用
机译:舍入模式下的无差错变换为零
机译:天然和模型环境介质中零价铁和银纳米材料的化学转化
机译:通过将大回合转变为右护理回合来探索医疗过度使用的驱动因素
机译:答复“对“标准模型的夸克区的纹理零点和WB转换的评论””
机译:圆形和圆形射流的各种布置对零前进速度矩形基础模型的提升和俯仰特性的影响