Carnegie Mellon University;
Carnegie Mellon University;
abstract interpretation; bottom-up linear logic programming; operational semantics;
机译:守恒律不连续解的线性近似和伴随近似的收敛性。第1部分:线性近似和线性输出函数
机译:高阶及其协方差近似的最佳反复间逻辑动态滤波器
机译:最优循环逻辑的分析-数字近似:动态低阶滤波器预测器
机译:线性逻辑逼近
机译:基于线性时间周期逼近的非线性系统辨识实验方法
机译:通过有限差分逼近评估一致线性化本征问题的解
机译:线性逻辑近似*