• 围裙

  • 引用67篇文章[sw00045]
  • 围裙:图书馆数字的摘要用于静态分析。本文介绍围裙。。。致力于数字的程序变量的抽象解释。。。统一API,鼓励研究数字的摘要通过提供集成平台。。。
  • 背包

  • 引用182篇文章[sw16046]
  • 浸入式界面法--数字的含界面和不规则的偏微分方程的求解志林。。。
  • PDDL

  • 引用92篇文章[sw07079]
  • 控制. 其他时间和资源密集型包括物流规划,工厂控制和制造。。。社区应对时间和数字资源。这就需要发展。。。能够表达时间和数字规划的性质. 在本文中我们描述。。。
  • PHC包装

  • 引用210篇文章[sw00705]
  • 应用. 同伦延拓法是一种可靠而有力的计算方法数字近似值。。。
  • 张量流

  • 引用284篇文章[sw15170]
  • 的开源软件库数字的使用数据流图进行计算。图中的节点。。。适用于各种其他也。。。
  • SparseMatrix公司

  • 参考文献617篇[sw04629]
  • 收藏广泛用于数字的线性代数社区的发展与表现。。。矩阵涵盖了广泛的,包括那些由潜在问题引起的。。。
  • Mfree2D型

  • 在303篇文章中引用【sw15725】
  • 用户比现有的许多数字的包装。MFree2D的第一个版本。。。MFree2D的主要特点包括:问题离散化是利用离散节点和离散化。。。
  • 克里斯托费尔

  • 引用225篇文章[sw00833]
  • 一般需要一台计算机,尽管数字的已经研究了这些转换的各个方面。。。圆盘、半平面、条形和矩形从多边形内部,从磁盘。。。
  • 参考6篇文章[sw21178]
  • 象征性抽象盒子。数字摘要广泛地。。。用于程序分析。最简单的数字 通过一个不精确的连接超过近似析取。。。
  • 聚合器

  • 引用110篇文章[sw13340]
  • 依赖于对几何学。网格生成器可以提供。。。被证明不易受数字的不稳定性,如棋盘图案对比。。。生成器是质心Voronoi图。。。
  • 液化石油气

  • 参考12篇文章[sw20690]
  • 处理PDDL2.1的规划图涉及数字的数量和持续时间。系统可以解决。。。可能地数字)先决条件。动作持续时间和数字的数量(例如燃油消耗量)表示为。。。在评估函数中建模。在时间上,使用“优先图…”对操作进行排序。。。
  • LAF-SPEM公司

  • 参考7篇文章[sw09702]
  • 基于无条件稳定时间 数字的方案,面向电磁暂态仿真。。。
  • 马索尔

  • 引用24篇文章[sw12419]
  • 他们的平行和数字的可伸缩性用于分解。生成的类。。。
  • RIM U DOM.F90型

  • 参考33篇文章[sw25510]
  • 单数的积分。列出并描述了一个自包含的Fortran代码数字的实施。。。那只是整合的边界需要离散成元素。这个。。。
  • SPGL1公司

  • 引用159篇文章[sw08365]
  • 在综合大楼里的那些. 在每次迭代中,谱梯度投影法。。。根查找方法所需的信息。数字的一套综合测试的实验。。。
  • 不明飞行物

  • 引用了50篇文章[sw11183]
  • 统一格式语言(UFL),它是一个-代表弱公式的特定语言。。。偏微分方程数字的近似值。UFL的功能包括支持。。。
  • 德沃克

  • 引用28篇文章[sw20429]
  • 公众的由Hull、Enright和Jackson为数字的解决方案。。。
  • 固定袋

  • 引用4篇文章[sw10096]
  • 已经为数字的 对于较低的水平来说可能足够了。。。
  • 疯狂

  • 参考7篇文章[sw06887]
  • 任意形状问题使用疯狂(多分辨率自适应数字的科学模拟环境。。。从实现先前报告的漫反射开始嵌入... 兴趣更大(Li等人,2009[1])。数字的分析测试。。。边界。这种过度平滑会导致数字的消除和混淆动态自适应,多分辨率。。。