• 高超声速

  • 在330篇文章中引用[sw04125]
  • 计算线性混合的系统满足时间需求。混合的系统。。。
  • 安非斯

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

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

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

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

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

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

  • 引用126篇文章[sw04022]
  • Biggstab($l$)和其他混合的Bi CG方法。修改BiCGstab的各种实现。。。
  • 游泳池++

  • 引用86篇文章[sw11964]
  • 求解二维椭圆问题杂交间断Galerkin(HDG)案例研究。数值方法。。。连续和杂交间断Galerkin(HDG)框架共享相同的。。。
  • PPL公司

  • 引用97篇文章[sw05357]
  • 语言和同步协议,实时和混合的系统。自从开创性的工作。。。
  • 岩浆

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

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

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

  • 参考61篇文章[sw07030]
  • 迭代法是一种混合的提出了比基斯塔法和GPBiCG法。。。BiCGSTAB2方法是一个混合的类型方法,biggstab方法的两个参数。。。
  • KEM-DEM公司

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

  • 引用75篇文章[sw06266号]
  • 顺序、废水处理和整个水系统,混合的能源系统,换热器网络,反应器分离器。。。
  • Ninf-G/MPI

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

  • 引用71篇文章[sw13672]
  • 分配不同的群体,研究群体混合的区域,识别移民和混入者。。。
  • 引用68篇文章[sw04967]
  • 概述混合的RANS代码TAU。首先介绍了。。。
  • B学习

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