• SparseMatrix公司

  • 在601篇文章中引用[sw04629]
  • 结构工程,计算流体力学,模型 减少电磁学,半导体器件,热力学,材料,声学,计算机图形/视觉。。。几何(优化,电路模拟,经济和金融建模理论和量子化学模拟。。。
  • 李亚帕克

  • 参考58篇文章[sw12624]
  • 大Lyapunov和Riccati方程,模型 减少问题,和线性-二次最优控制问题用户。。。它还包含两个模型 减少牛顿法的方法和修正。。。
  • 长凳

  • 引用54篇文章[sw27644号]
  • 基准示例模型 减少线性时不变动力系统。我们提供一个基准。。。测试和比较数值方法模型 减少. 所有系统都可以从。。。
  • VTK公司

  • 引用97篇文章[sw10593]
  • 先进的建模技巧如:隐式建模,多边形减少,网格平滑,切割,轮廓和德劳奈。。。
  • 娄威纳

  • 引用了29篇文章[sw17575]
  • 在Loewner框架之间建立模型 减少奇异的广义逆。。。自然直接的施工方法模型根据测量的输入/输出数据。。。
  • PLT Redex公司

  • 引用23条[sw09921]
  • 文本是第一个综合呈现的减少语义学在一卷;它也介绍。。。支持对于快速成型和建模,这本书的主题是。。。制定模型作为语法和减少 模型在他们的电脑上用简单的纸张。。。
  • 一团糟

  • 引用了20篇文章[sw14886]
  • Lyapunov方程和Riccati方程模型 减少. 尽管混乱已经实施。。。
  • 莱布尼兹

  • 引用31篇文章[sw12871]
  • 懒惰学习者的评估-维度减少属于模型-图和矩阵的分解-解。。。
  • 叶片

  • 引用19篇文章[sw08612]
  • 与参数估计和模型 减少问题。在这两种情况下,微分消除。。。
  • PABTEC公司

  • 参考12篇文章[sw04061]
  • 最少,不可接受的时间和存储消耗。模型秩序减少提供了一条出路。。。困境。关于模型秩序减少是为了取代一个大规模的系统。。。电路设计用于模型秩序减少和数值积分模型方程。。。
  • 巴别塔

  • 引用71篇文章[sw03018]
  • 缩小作为懒惰的基础减少语义既体现了重写。。。它提供了一个最小Herbrand的概念模型为巴别塔节目。我们开发两种语义。。。最小赫布朗德模型,以及减少语义w.r.t。。。
  • 皮莫尔

  • 参考12篇文章[sw12978]
  • 皮莫尔-模型命令减少用Python。pyMOR是一个在大学开发的软件库。。。Münster建筑模型秩序减少使用Python编程语言的应用程序。它的主要焦点。。。
  • 拍打

  • 引用32篇文章[sw13258]
  • 有公平性假设,精化检查和概率模型检查。为了获得良好的性能,先进的优化。。。偏序减少,对称性减少,进程计数器抽象,并行模型检查。。。
  • 潜水员

  • 在10篇文章中引用[sw01938]
  • 基于证据的迭代抽象(PBIA)模型 减少,基于SAT的无界模型入职和检查。。。
  • emgr公司

  • 引用9篇文章[sw07554]
  • 广泛使用,例如:模型 减少分散控制,最优布局,灵敏度分析。。。
  • 帕雷斯特逯dae

  • 参考6篇文章[sw09087]
  • 物种集中度大。经典模型 减少称为准稳态假设的方法。。。基于QSSA是普遍存在于建模酶反应。在这一章中,我们关注。。。经典QSSA的古老方法模型 减少对很多人来说。。。很多例子。当然,减少模型(以及完整的模型就这点而言。。。
  • 上旋

  • 参考12篇文章[sw00972]
  • 自动对称减少为了旋转模型检查人员。上旋是自动对称的减少工具。。。
  • 比昂

  • 引用了29篇文章[sw08301]
  • 进化距离估计的协方差。这个模型当得到这些估计值时。。。从允许类中选择减少,的减少使方差最小化。。。对12个分类单元进行了模拟模型确定生物效率的树木。什么时候。。。模型树和进化条件测试,拓扑误差减少...
  • 高斯菲特

  • 参考6篇文章[sw04457]
  • 使其易于指定复杂减少 模型. GaussFit使用正交变换(Householder变换)来代替。。。