• 库贝

  • 引用28篇文章[sw11381号文件]
  • 关于知识的推理,非单调的推理[2],可以直接地映射到问题中。。。
  • 餐巾纸

  • 引用9篇文章[sw23701]
  • 乘数和更新猜测单调地方向解决方案。最初的猜测。。。根,然后是基于堆的单调的断点搜索,可以比。。。
  • NLPQLP公司

  • 引用了40篇文章[sw04073]
  • 非线性规划-单调的以及分布式线路搜索。NLPQLP是一个特殊的实现。。。沿搜索预先确定的测试点方向. 平行线搜索是针对。。。增广拉格朗日价值函数。而且,一个-单调的在错误情况下执行行搜索。。。
  • 嫌疑犯

  • 1条引用[sw33156]
  • 指导优化问题的无环图表示:边界收紧,边界传播,单调性...
  • IRMHD公司

  • 引用4篇文章[sw08878号]
  • 不同的有效预处理,如ADI(交替方向隐式),近似因子分解法和直线法。。。集成了自适应时间步进控制和单调的多级网格分布以及矢量化。。。允许交替使用直接的规定了方法。我们调查效率。。。
  • PPCG_lrep公司

  • 引用2篇文章[sw29678号]
  • Thouless极小化的子空间版本直接地. 我们证明PPCG\u lrep。。。同时还享有包括单调性以及Thouless最小化原理中的约束保持。。。
  • 网络安全策略验证

  • 1条引用[sw32204]
  • 政策。安全策略表示为指导图表。要检查高级安全目标。。。对政策的表达。我们掩护单调的安全不变量,即禁止更多。。。
  • QPALM公司

  • 引用2篇文章【sw35397】
  • 用半光滑牛顿迭代求解子问题方向再加上精确的搜索。前者。。。后者需要a的零单调的,分段仿射函数。QPALM是在开放的。。。
  • 圆锥形的

  • 引用4篇文章[sw19757]
  • 这些函数满足的递推关系直接的与枫树相比,我们认为一个亲戚。。。区域单调的计算积分表示的函数的状态。。。
  • 男爵

  • 在330篇文章中引用[sw00066]
  • 巴龙是一个计算系统,用于解决非凸。。。
  • 差距

  • 引用了3003篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • gmp

  • 引用274篇文章[sw00363]
  • GMP是一个任意精度的免费库。。。
  • 高铁

  • 引用274篇文章[sw00418]
  • HSL(以前的哈韦尔子程序库)是一个。。。
  • 炒作

  • 引用287篇文章[sw00426]
  • hypre是一个解决方案的软件库。。。
  • 兰斯洛特

  • 在304篇文章中引用[sw00500]
  • 兰斯洛特。大型非线性问题的Fortran程序包。。。
  • 拉帕克

  • 在1654篇文章中引用[sw00503]
  • LAPACK是用Fortran 90编写的,它提供。。。