• 奎特拉布

  • 引用57篇文章[sw20493]
  • 包含不断增长的目录可分性标准,正地图,和相关的功能感兴趣。。。
  • 网状部分

  • 引用了55篇文章[sw04178]
  • 生成递归多路分区、顶点的例程分离器,以及嵌套的解剖顺序。。。
  • CVRPSEP公司

  • 在38篇文章中引用[sw11809]
  • 用C语言编写,用于分离在树枝上的各种切口。。。数学规划-见出版物)。包中包含分离四舍五入容量不等式,齐次多星。。。
  • 吉咪

  • 引用49篇文章[sw10494]
  • 研究结果)。这些结果通常分别地分析;然而,在很多情况下,一个关节。。。
  • 网络图

  • 引用48篇文章[sw30097]
  • Facebook只有四度分离. 一个完整的,有文档记录的算法实现。。。
  • 臀部

  • 27条引用[sw09786]
  • 堆操作程序。臀部是分离基于逻辑的自动验证系统。。。方法/循环,HIP将构造一组分离逻辑证明义务的形式。。。给圆滑的暗示分离逻辑校准器。SLEEK是全自动的。。。校准器分离具有帧推断能力的逻辑。。。
  • 康林

  • 引用47篇文章[sw14151]
  • 结构。显式子问题是凸的和可分离的它们可以被有效地解决。。。
  • 卡特尔

  • 引用44篇文章[sw09025]
  • 必修的。一套特别设计的分离进行了效果实验和分析。考虑到。。。
  • 咖喱

  • 引用42篇文章[sw08981]
  • 结合当前分开的函数和逻辑编程社区的研究工作。。。
  • 多面体

  • 引用41篇文章[sw07629]
  • 分析程序和优化算法是分开的从具体的拓扑优化选择。。。
  • 苏格

  • 引用28篇文章[sw08373]
  • 许多科技领域分离化学种类。电泳传输的模拟与模拟。。。电泳过程中产生的物理化学过程分居以及各种参数的优化。。。
  • 模数

  • 在39篇文章中引用[sw01072]
  • 随着温度或位移,或分别地. 有限元库包含。。。
  • 诽谤2

  • 在39篇文章中引用[sw01230]
  • 自伴Sturm-Liouville问题分开的和耦合边界条件,以及近似。。。
  • 帕洛格

  • 在39篇文章中引用[sw23764号]
  • 有效实施的原因分离与-并行和或并行计算。帕洛格。。。
  • 三峡工程

  • 在38篇文章中引用[sw07921]
  • 线性模型,CART,treed线性模型,静态可分离的和各向同性GPs和GP单指数。。。
  • 拉戈

  • 引用25篇文章[sw02040]
  • 块的分支和剪切解算器-可分离的不一定是凸的。这个算法被说明。。。非凸块的LaGO分支和切割-可分离的在没有代数公式的情况下。。。
  • 疯狂的

  • 引用25篇文章[sw12534]
  • 这个MATLAB实现的特点是分离导数向量的线性组合。。。变成一个分离导数向量类。这允许直接的性能优化。。。
  • 克米诺

  • 引用19篇文章[sw09739]
  • 分离小步进cminor的逻辑。cminor是一种中级命令式编程语言;在那里。。。我们设计了一个分离cminor的逻辑。在本文中。。。机器检查证明分离逻辑。这是第一次大规模。。。机器检查证明分离逻辑w.r.t.一个小步骤的语义学。介绍的作品。。。
  • 电容器

  • 引用了35篇文章[sw04946]
  • 一次生成所有边或分开的对于每个模型参数。作为一个模块。。。