• 国际实验室

  • 引用471篇文章[sw04004]
  • Matlab工具箱计算和自我-正在验证算法。它由自我组成-正在验证方法。。。非常快)自动微分(正向模式,矢量化计算,快速)梯度(解决非线性系统。。。
  • 撒谎

  • 参考文献165篇[sw01075]
  • 群和代数本身;是的计算有重量,根,字符和类似的对象。一些。。。理论概念与现状有效的定义和价值。电脑类代数系统。。。
  • 掷骰法

  • 引用了78篇文章[sw07783]
  • 包装DiceKriging:Kriging方法计算机实验。估计,验证以及kriging模型的预测。重要的是。。。
  • 瓦伦西亚静脉注射

  • 引用了29篇文章[sw04846]
  • 已验证所有州的附件。然而,已验证 计算经常受到高估的影响。。。高估。本文介绍了最近发展起来的已验证求解器VALENCIA-IVP及几种实现方法。。。
  • 群集验证

  • 引用了35篇文章[sw34195]
  • 计算的集群验证在后基因组数据分析中。结果:本综述旨在使大家了解。。。
  • 瓦伦西亚

  • 引用19篇文章[sw08735]
  • 已验证所有州的附件。然而,已验证 计算经常受到高估的影响。。。高估。本文介绍了最近发展起来的已验证求解器瓦伦西亚IVP和几种实现方法。。。
  • 费尔索斯

  • 引用25篇文章[sw18095]
  • 问题的物理参数。提议计算的该方法基本上依赖于三个基本组成部分。。。瑞利-泰勒不稳定性验证这个计算的方法。。。
  • CAPD公司

  • 引用了77篇文章[sw07620]
  • 设计用于计算集合与映射的同调与非严格与已验证数字。。。
  • ACRITH-XSC公司

  • 引用49篇文章[sw00015]
  • 为自我发展而设计的语言-正在验证数值算法。这样的算法会产生结果。。。经核实无误计算机. 所以没有必要表演。。。手来做这些计算。例如,自我-正在验证数值技术已成功应用于。。。之间没有机器号计算的结果和精确解。确切地说。。。
  • ABF公司++

  • 27条引用[sw14153]
  • 几年前提出的,可以证明有效的低拉伸共形参数化。然而。。。参数失真。参数化计算的由ABF++证明有效的,也就是说它们包含。。。
  • msgl公司

  • 17条引用[sw26552]
  • 可能性估计。平行线的使用计算为了十字架验证子抽样是通过。。。
  • 缩醛

  • 参考7篇文章[sw00014]
  • ACETAF:一个用于计算 已验证解析函数泰勒系数的界。这个。。。
  • 小姐森林

  • 引用了40篇文章[sw19483]
  • 精心制作的十字架-验证. 它可以并行运行以保存计算时间。。。
  • 生物香料

  • 在10篇文章中引用[sw17246]
  • 实验分析与信息挖掘验证属于计算的细胞系统的模型,我们的环境。。。
  • 塞萨尔

  • 引用161篇[sw08510]
  • 分布式应用程序。塞萨尔允许进步验证一个系统的算法描述。。。其时间运算符可以是计算的作为单调谓词变换器的不动点。。。
  • 变形杆菌

  • 在106篇文章中引用[sw41563]
  • 每一步。它也使计算对于不规则形状的粒子更简单。。。三维空间。这种新方法已验证通过将其结果与。。。
  • abc公司

  • 引用51篇文章[sw14871]
  • 近似贝叶斯工具计算(ABC)。实现了几个ABC算法来执行参数估计,模型。。。选择和拟合度。十字架-验证工具也可用于测量精度。。。
  • 秃鹰

  • 引用24篇文章[sw02490]
  • 高-计算加载功能)。实验结果令人鼓舞验证方法。他们。。。