• 迪马奇

  • 参考515篇文章[sw08221]
  • 确定真实算法的几个问题性能最坏的情况是什么分析过于悲观和概率。。。提供现实算法指南性能哪里分析失败。实验也使算法问题更接近。。。其他测试和比较方法性能算法。这是一个步骤。。。
  • 棱镜

  • 引用406篇文章[sw01186]
  • 过程与连续时间马尔可夫链。分析执行通过对这些系统的模型检查。。。
  • PMA公司

  • 在106篇文章中引用[sw19126]
  • 套餐PMA:惩罚多元分析.表演惩罚多变量分析:一个惩罚矩阵分解,稀疏主。。。
  • 科学实验室

  • 引用166篇文章[sw00834]
  • 科学应用,包括数学运算和数据分析. 二维和三维可视化:图形功能。。。离散优化问题。统计信息:工具表演数据分析并对控制系统进行建模设计&分析...
  • 高斯

  • 引用116篇文章[sw00322]
  • 灵活的或强大的足以表演复杂的分析或者解决大问题。无论什么。。。
  • 达科他州

  • 引用64篇文章[sw05202号]
  • 非线性最小二乘法;灵敏度/方差分析通过实验设计和参数研究。。。为设计和性能 分析计算模型的性能计算机。。。
  • 麦克西马

  • 引用716篇文章[sw01209]
  • 函数的不定积分),或表演非常复杂的计算方法。。。代数、微积分和数值求解能力分析二维和三维报告质量图形交互。。。
  • ABAQUS/标准

  • 引用了183篇文章[sw07161]
  • 开始于表演非线性发动机盖安装分析包括复杂的垫圈机械装置。跟踪。。。
  • 龙骨

  • 在102篇文章中引用[sw06791]
  • 处理技术,允许它表演一个完整的分析任何学习模式的比较。。。
  • 归档正式证据

  • 在152篇文章中引用[sw28613]
  • 校对助理伊莎贝尔。我们表演深入分析在档案馆里,看着各种各样的。。。
  • z3型

  • 引用496篇文章[sw04887]
  • 高-性能定理证明程序正在微软研究所开发。Z3支持线性实数和整数运算。。。与多个程序集成分析,Microsoft Research的测试和验证工具。这些。。。
  • 比洛格

  • 参考61篇文章[sw13946]
  • BILOG是为高效分析包括多项选择。。。项目或受访者。它可以表演项目分析以及任何子测验的得分。。。
  • 急流

  • 在38篇文章中引用[sw01249]
  • EADLs在进化发展和严格分析大规模系统的。急流设计。。。用于正确性和性能 分析分布式时间敏感系统。。。
  • 毛毛虫

  • 引用54篇文章[sw20106]
  • 毛虫计划表演扩展分析一维时间序列的预测与变点检测。。。记住程序的顺序和表演它们会自动添加(参见宏说明。。。天。书中所有的例子”分析时间序列结构:SSA及相关。。。
  • CGAL公司

  • 引用了355篇文章[sw00118]
  • 点的最小封闭椭球,主分量分析),以及动力学数据结构。所有这些数据。。。几何对象,如点和线段,以及表演几何测试。这些物体。。。
  • 佩蒂加

  • 引用了43篇文章[sw12420]
  • 佩蒂加:高-性能等几何分析. 该软件框架实现了一个基于NURBS的伽辽金有限元程序。。。方法(FEM),通常称为等几何分析(IGA)。它主要基于PETSc。。。尺寸,包括高性能平行是必须的。佩蒂加。。。
  • 乔治

  • 引用52篇文章[sw04489]
  • 用乔治的数据命令分析显示一些图形输出。。。试图表演定义分析在整个例子中使用的数据集也没有。。。
  • 叮当声

  • 参考61篇文章[sw04581]
  • 开源全基因组协会分析工具集,设计用于表演一系列基本的,大的。。。普林克的重点是分析基因型/表型数据,所以没有支持。。。
  • 鳞片

  • 在14篇文章中引用[sw02477]
  • 鳞片:A性能 分析用于分布式和并行程序的工具。在本文中,我们提出。。。鳞片,这是一个性能仪器、测量,分析以及用于并行和分布式的可视化工具。。。在线和事后分析支持这一点性能 分析. SCALEA目前专注于性能 分析... 分类。SCALEA还支持多个实验性能 分析这样可以比较和评估。。。
  • 雏菊

  • 引用44篇文章[sw09059]
  • 表演实际的生物医学实验。许多有趣的生物模型都是非线性的,但具有可辨识性分析对于非线性。。。微分代数算法表演参数可辨识性分析对于描述的(线性和)非线性动力学模型。。。实验特别昂贵和/或难以表演. 软件使用的实际例子。。。