• 欧米茄

  • 引用了50篇文章[sw11878]
  • 欧米茄是麦克马洪分区分析的数学实现由阿克塞尔瑞斯。。。理查德·斯坦利。目标欧米茄这个项目是通过展示。。。
  • 埃拉托

  • 在39篇文章中引用[sw11922]
  • 有足够的准确性。特征值问题Ax=欧米茄平方Bx由VEKIT求解。。。
  • 欧米茄

  • 引用15篇文章[sw15037]
  • 欧米茄项目:科学计划分析和转换的框架和算法。。。
  • 阿丽娅

  • 引用19篇文章[sw08539]
  • 接口。Spalart Allmaras和SST$k$-${欧米茄}$湍流模型已经过测试,但没有显示出显著的。。。
  • 引用18条[sw04136]
  • 对…进行定性或定量分析欧米茄-正则线性时间特性。。。
  • 欧米茄

  • 引用9篇文章[sw06581]
  • 欧米茄为广泛使用的霍尔定理证明器提出了一种新的逻辑。。。通用类型。新系统称为HOL-欧米茄或者$mathrm{HOL}_{欧米茄}$,是一个合并。。。HOL2P和系统的主要方面$F_{欧米茄}$来自章节。。。
  • 目标

  • 参考7篇文章[sw21229]
  • 还部分支持欧米茄-自动机。目标工具可以用来。。。最初源于“图形工具欧米茄-自动机与逻辑学”。它也代表“游戏。。。欧米茄-当我们逐渐增加对欧米茄-常规比赛。我们的长。。。处理欧米茄-自动机和逻辑的表达等价。。。
  • 法伊姆斯

  • 引用5篇文章[sw06425]
  • 向量的Born运算符。par If$N_{欧米茄}$是照明频率。。。运算符需要$O(min(N{s}N_{欧米茄}N{d},N)]^{2}时间。。。欧米茄}N{d},N))$操作。将Born算子应用于向量需要。。。欧米茄}N{s}mu(N))$工作,其中$mu(N)$是解决问题的成本。。。
  • 欧米茄

  • 引用8篇文章[sw09793]
  • 想法来自于欧米茄统计计算项目。该项目提供。。。
  • 1毫升

  • 引用4篇文章[sw19983]
  • 可以用普通的$mathrm{F}表示_{欧米茄}$,稍有变化。。。系统$mathrm{F}的友好表面语法_{欧米茄}$,允许组合术语和类型抽象。。。
  • 巴普雷尔

  • 引用3篇文章[sw15385]
  • BACprior包:超参数的选择欧米茄在贝叶斯混杂校正算法中。。。关于参数的超文本欧米茄. 该软件包还提供了指导用户。。。他们选择合适的欧米茄价值观。该方法是基于列斐伏尔,阿瑟顿。。。
  • 巴哈马

  • 引用4篇文章【sw20222】
  • 关于标准分析:我们发现欧米茄_M=0.399+/-0.027,比。。。
  • 欧米茄

  • 引用2篇文章[sw03120]
  • 欧米茄程序计算了探测器/目标共模系统中的动态重合立体角。。。
  • 欧米茄++

  • 1条引用[sw32372]
  • 这些改进在不牺牲可判定性的前提下。我们发展欧米茄++,一个Coq认证的Preburger决策程序。。。性能。程序和证明欧米茄++用户选择了参数化语义。。。