-
臀部
- 在26篇文章中引用[sw09786]
- 堆操作程序。臀部是分离基于逻辑的自动验证系统。。。方法/循环,HIP将构造一组分离逻辑证明义务的形式。。。给圆滑的暗示分离逻辑校准器。SLEEK是全自动的。。。校准器分离具有帧推断能力的逻辑。。。
-
苏格
- 引用25篇文章[sw08373]
- 许多科技领域分离化学种类。电泳传输的模拟与模拟。。。电泳过程中产生的物理化学过程分居以及各种参数的优化。。。
-
疯狂的
- 引用25篇文章[sw12534]
- 这个MATLAB实现的特点是分离向量的线性导数组合。。。变成一个分离导数向量类。这允许直接的性能优化。。。
-
克米诺
- 引用19篇文章[sw09739]
- 分离小步进cminor的逻辑。cminor是一种中级命令式编程语言;在那里。。。我们设计了一个分离cminor逻辑。在本文中。。。机器检查证明分离逻辑。这是第一次大规模。。。机器检查证明分离逻辑w.r.t.一个小步骤的语义学。介绍的作品。。。
-
三峡工程
- 引用了35篇文章[sw07921]
- 线性模型,CART,treed线性模型,静态可分离的和各向同性GPs和GP单指数。。。