Department of Computer Science Brooklyn College Graduate Center The City University of New York;
prolog; optimization techniques; recursion; tabling; mem-oization; linear tabling;
机译:使用计算流体动力学线性化方法对非定常空气动力载荷进行有效计算
机译:LNL-FPC:线性/非线性固定点微积分
机译:线性分布类别的反馈:跟踪和固定点
机译:线性制作中的高效固定点计算
机译:精确而有效的线性化技术的发展,用于复杂化学反应的吸收建模。
机译:调整树突状非线性以在皮质电路中进行有效的基于峰的计算
机译:内存高效的FixPoint计算
机译:用于计算线性化机翼干扰灯的辅助表