• 高超声速

• 参考331篇文章[sw04125]
• 计算线性混合的系统满足时间需求。混合的系统。。。

• 安非斯

• 引用279篇文章[sw08730]
• 自适应网络框架。通过使用混合的学习过程中，所提出的ANFIS可以构造出一个新的学习过程。。。

• MPT公司

• 引用了230篇文章[sw04732]
• 约束线性、非线性和非线性的最优控制器混合的系统。代码的效率是有保证的。。。

• 邦明

• 引用211篇文章[sw04766]
• 优化软件。一类混合的其中分枝定界法和多面体法是一种新的算法。。。

• 科学实验室

• 引用了173篇文章[sw00834]
• 使用外部工具管理数据交换。Xcos公司-混合的动态系统建模和模拟器：建模机械。。。

• 法弗

• 参考117篇文章[sw04123]
• 用于验证的潜在强大工具混合的系统-但它仍然受到严重限制。。。安全性能的精确验证混合的导数上具有分段常数界的系统。。。

• 游泳池++

• 参考101篇文章[sw11964]
• 求解二维椭圆有限元问题杂交间断Galerkin（HDG）案例研究。数值方法。。。连续和杂交间断Galerkin（HDG）框架共享相同的。。。

• SpaceEx公司

• 引用75篇文章[sw10939]
• SpaceEx:可伸缩验证混合的系统。我们提出了一个可伸缩的可达性算法混合的系统。。。SpaceEx，一个新的验证平台混合的系统，可从spaceex获得。图像。完整的实验结果。。。定点计算混合的超过100个变量的系统说明了可扩展性。。。

• 比克斯塔布

• 引用128篇文章[sw04022]
• Biggstab（$l$）和其他混合的Bi CG方法。修改BiCGstab的各种实现。。。

• PPL公司

• 参考101篇文章[sw05357]
• 语言和同步协议，实时和混合的系统。自从开创性的工作。。。

• 岩浆

• 引用了55篇文章[sw12741]
• 应对新兴市场的复杂挑战混合的环境、最佳软件解决方案本身将具有。。。杂交，将不同算法的优势结合在一个框架中。基于这个想法。。。设计线性代数算法和框架混合的许多Core和GPU系统可以使。。。利用每一个混合的组件提供。。。

• 细胞倍体

• 引用90篇文章[sw09126]
• 最近开发的Web服务器包杂交“更高层次”的方法。。。

• GpBiCg公司

• 引用64篇文章[sw07030]
• 迭代法是一种混合的提出了比基斯塔法和GPBiCG法。。。BiCGSTAB2方法是一个混合的类型方法，biggstab方法的两个参数。。。

• 凯玛拉

• 引用44篇文章[sw03709]
• 凯玛拉：A混合的定理证明器混合的系统。凯玛拉是个混合的验证工具。。。混合的结合演绎，实代数和计算机代数证明技术的系统。。。自然规范和验证逻辑混合的系统。KeYmaera支持差分动态逻辑，它。。。一阶实值动态逻辑混合的程序，程序符号混合的自动机。。。

• KEM-DEM公司

• 引用59篇文章[sw03093]
• 机制），用于形式化和实现单向性混合的加密；KEM是非对称的形式化。。。加密。本文研究了一个更一般的混合的协议，安全通道，使用。。。

• 格洛米库

• 引用了77篇文章[sw06266号]
• 顺序、废水处理和整个水系统，混合的能源系统，换热器网络，反应器分离器。。。

• B学习

• 引用了77篇文章[sw08265]
• 基于（爬山和禁忌搜索）和混合的（MMHC和RSMAX2）结构学习算法。。。

• 结构

• 引用75篇文章[sw13672]
• 不同的群体，将个体分配给群体，研究混合的区域，识别移民和混入者。。。

• Ninf-G/MPI

• 引用了45篇文章[sw03461]
• 混合的网格计算环境下大型稀疏特征值问题的并行算法。。。在本论文中，我们建议混合的大型稀疏特征值问题的并行方法。。。为了提高方法的效率，我们提出了一个混合的使用GridRPC系统Ninf实现。。。

• 陶

• 引用69篇文章[sw04967]
• 概述混合的RANS代码TAU。首先介绍了。。。