Department of Mathematics and Computer Science of University of La Rioja;
Department of Mathematics and Computer Science of University of La Rioja;
Department of Mathematics and Computer Science of University of La Rioja;
Discrete Vector Fields; Haskell; Coq; SSReflect; Integration;
机译:矢量场滤波算法在数字图像相关估计材料应变中的效率
机译:基于卫星图像的海流矢量估计的松弛-轮廓算法及其概要验证
机译:SU-F-J-77:由移动的螺旋,轴向和锥形CT图像中使用的不同可变形图像配准算法计算的位移矢量场的变化
机译:验证计算数字成像的离散矢量字段的算法
机译:向量和张量场的拉格朗日分析:医学成像和计算流体动力学的算法基础和应用。
机译:通过应用于4DCT肺研究的三种可变形图像配准算法获得的可变形矢量场的逐个体素比较
机译:验证算法计算用于数字成像的离散矢量场?