Verification; Static Analysis; Abstract Interpretation; Strategy Iteration;
机译:通过凸松弛和最大策略迭代的数值不变量
机译:计算机断层扫描图像质量评估腹部(自适应统计迭代重建-V)中的新迭代重建算法与模型的迭代重建,自适应统计迭代重建和滤波后投影重建的比较
机译:基于迭代的高阶内模模型,具有时间迭代 - 变化参数的离散时间非线性系统的基于迭代学习控制
机译:Logico数值最大策略迭代
机译:分布迭代:是源迭代的可靠替代方案,用于求解平板和XY几何中的离散纵坐标辐射传输方程
机译:基于BREGMAN迭代的强大声学成像及快速迭代收缩阈值算法
机译:Logico-Numerical max-strategyIteration⋆