• 荷兰语

  • 引用490篇文章[sw05492]
  • 定理可以被证明和证明工具 实施. 内置的决策程序和定理证明程序。。。
  • S-加

  • 引用588篇文章[sw02892]
  • 数据分析。它提供了工具实施许多标准和现代统计方法。。。
  • LMI工具箱

  • 在1417篇文章中引用[sw06383]
  • 技术已经成为强大的设计工具从控制工程到系统。。。结构设计。LMI控制工具箱工具最先进的内部点LMI解算器。。。
  • 莫纳

  • 参考文献118篇[sw06170]
  • 莫纳实施秘密。蒙纳工具提供实施基于自动机的决策程序。。。理论上最坏的情况。这个实施已经成熟了一段时间。。。第一个天真的版本,现在工具速度快了好几个数量级。这个加速。。。MONA概述和精选实施已经被发现的秘密。。。
  • UTV公司

  • 在233篇文章中引用[sw05213]
  • 对UTV进行了补充工具从1999年开始,包括实施特殊目的的等级揭示。。。
  • gss公司

  • 引用268篇文章[sw06099]
  • 计算和数据分析工具书中讨论的是实施在R,一个开放的。。。
  • 可爱的

  • 引用59篇文章[sw00177]
  • 这些测试输入。最后,可爱的,a工具 实施文中还介绍了该方法。。。
  • 算盘

  • 参考文献115篇[sw02948]
  • 它为实施使用线性规划的分枝定界算法。。。基本数据结构和有用的工具对于实施这些算法。它的设计。。。
  • Simulink公司

  • 引用717篇文章[sw04348]
  • 块库可以让你设计,模拟,实施,并测试各种时变。。。可立即访问广泛的工具让你开发算法,分析。。。
  • 雏菊

  • 引用了43篇文章[sw09059]
  • 本文介绍了一个软件工具 实施一个执行参数的微分代数算法。。。深入理解数学工具. DAISY(系统可辨识微分代数)软件。。。
  • PETSc公司

  • 参考文献1127篇[sw04012]
  • 实施大规模并行应用程序代码。。。PETSc是一套复杂的软件工具因此,对于一些用户来说,它最初。。。它所采用的算法可能会使实施许多比“滚动”更简单的应用程序代码。。。
  • ILOG计划

  • 参考文献62篇[sw21243]
  • 实施ILOG计划中的资源约束:基于约束的开发库。。。基于约束的技术和工具启用实施精确、灵活、高效和可扩展的调度。。。或者,在最坏的情况下实施额外的决策模块(无需。。。工具类似的时间表将使业界朝着实施...
  • 乌帕阿尔提加

  • 引用了40篇文章[sw12913]
  • UPPAAL[BDL04]及其扩展工具第一个高效的动态算法。。。底层数据结构。我们的工具 工具基本符号算法的各种优化,以及。。。
  • 文字2vec

  • 引用94篇文章[sw14978号]
  • 这个工具提供高效实施一袋又一袋的单词和跳克。。。应用和进一步研究。单词2vec工具以文本语料库作为输入。。。
  • MU-TERM公司

  • 在34篇文章中引用[sw10015]
  • 自动证明CSR终止。这个工具 工具生成适当的顺序。。。事实上,穆条款是第一个终止工具它根据这样的。。。无任何更换限制)也实施就mu而言。。。
  • 琼博

  • 引用52篇文章[sw04316号]
  • 方程。Chombo提供了一组工具对于实施解的有限差分法。。。LBNL。Chombo是一个斯瓦希里语单词,意思是“工具“或”容器。。。
  • 火焰

  • 在38篇文章中引用[sw00293]
  • 推导,验证正确,实施测试,通常在几分钟内。。。这些API不仅仅是工具对于实施图书馆,也是一个宝贵的工具... 从算法到MATLAB的迁移路径实施高性能顺序实施平行实施...
  • 切布丰

  • 引用321篇文章[sw05897]
  • 连续函数或分段连续函数。它也是工具线性代数概念的连续类比,如。。。系统的数学基础工具切比雪夫展开,快速傅立叶变换,重心插值。。。
  • 系统网络

  • 27条引用[sw28216]
  • 横向基因转移。而大多数系统发育学工具 实施一系列系统进化算法。。。
  • UG公司

  • 引用了187篇文章[sw04596]
  • 足够成熟,适合日常应用。其次是实施在所有这些技术中。。。克服这些问题。它提供了非常一般的工具对于非结构化的生成和操作。。。一方面作为工具为了探索新算法。。。手,已经有一整套算法了实施可以应用于复杂问题。。。