-
SparseMatrix公司
- 引用文献638篇[sw04629]
- 结构工程,计算流体力学,模型 减少电磁学,半导体器件,热力学,材料,声学,计算机图形/视觉。。。几何(优化,电路模拟,经济和金融建模理论与量子化学,化学过程模拟。。。
-
李亚帕克
- 引用了60篇文章[sw12624]
- 大Lyapunov和Riccati方程,模型 减少问题,和线性-二次最优控制问题用户。。。它还包含两个模型 减少牛顿法的方法和修正。。。
-
长凳
- 在56篇文章中引用[sw27644号]
- 基准示例模型 减少线性时不变动力系统。我们提供一个基准。。。测试和比较数值方法模型 减少. 所有系统都可以从。。。
-
娄威纳
- 引用36篇[sw17575]
- 在Loewner框架之间建立模型 减少奇异的广义逆。。。自然直接的施工方法模型根据测量的输入/输出数据。。。
-
PLT Redex公司
- 引用23条[sw09921]
- 文本是第一个综合呈现的减少语义学在一卷;它也介绍。。。支持对于快速成型和建模,这本书的主题是。。。制定模型作为语法和减少 模型在他们的电脑上用简单的纸张。。。
-
PABTEC公司
- 参考12篇文章[sw04061]
- 最少,不可接受的时间和存储消耗。模型秩序减少提供了一条出路。。。困境。关于模型秩序减少是为了取代一个大规模的系统。。。电路设计用于模型秩序减少和数值积分模型方程。。。
-
巴别塔
- 引用71篇文章[sw03018]
- 缩小作为懒惰的基础减少语义既体现了重写。。。它提供了一个最小Herbrand的概念模型为巴别塔节目。我们开发两种语义。。。最小赫布朗德模型,以及减少语义w.r.t。。。
-
皮莫尔
- 在14篇文章中引用[sw12978]
- 皮莫尔-模型命令减少用Python。pyMOR是一个在大学开发的软件库。。。Münster建筑模型秩序减少使用Python编程语言的应用程序。它的主要焦点。。。
-
拍打
- 引用31篇文章[sw13258]
- 有公平性假设,精化检查和概率模型检查。为了获得良好的性能,先进的优化。。。偏序减少,对称性减少,进程计数器抽象,并行模型检查。。。
-
潜水员
- 在10篇文章中引用[sw01938]
- 基于证据的迭代抽象(PBIA)模型 减少,基于SAT的无界模型入职和检查。。。
-
帕雷斯特逯dae
- 参考7篇文章[sw09087]
- 物种集中度大。经典模型 减少称为准稳态假设的方法。。。基于QSSA是普遍存在于建模酶反应。在这一章中,我们关注。。。经典QSSA的古老方法模型 减少对很多人来说。。。很多例子。当然,减少模型(以及完整的模型,就这件事而言。。。
-
比昂
- 引用了29篇文章[sw08301]
- 进化距离估计的协方差。这个模型当得到这些估计值时。。。从允许类中选择减少,的减少使方差最小化。。。对12个分类单元进行了模拟模型确定生物效率的树木。什么时候。。。模型树和进化条件测试,拓扑误差减少...
-
高斯菲特
- 参考6篇文章[sw04457]
- 使其易于指定复杂减少 模型. GaussFit使用正交变换(Householder变换)来代替。。。