• Z-树

  • 引用585篇文章[sw11707]
  • 简正态程序设计形式游戏,广泛的 形式游戏,双重拍卖,或钟表拍卖。。。
  • 爪包

  • 引用126篇文章[sw01069]
  • 保护形式. 我们正在积极地扩展也适用于抛物方程。“波浪。。。
  • 伟大的SPN

  • 引用57篇文章[sw00384]
  • Petri网及其着色延伸:随机井-形成网。这个工具提供了一个友好的。。。
  • PySP公司

  • 引用18条[sw04921]
  • 第一种选择是通过广泛的 形式一个标准的确定性求解器。对于更复杂的。。。
  • 缩配子

  • 参考11篇文章[sw12511]
  • 游戏。找到一个平衡点广泛的 形式不完全信息博弈是一个基本的。。。
  • 安非斯

  • 引用266篇[sw08730]
  • 基于人类的知识(在形式模糊if-then规则)和规定。。。列出并讨论了模糊建模。其他扩展所提出的ANFIS和有前途的应用。。。
  • 塑料

  • 引用18条[sw07403]
  • 用不同的扩展,在形式一个校对助理。键入。。。类型理论可以被定义(Luo,1994)。扩展包括归纳类型,普遍性,和强制子类型。。。
  • 佩蒂加

  • 引用了43篇文章[sw12420]
  • 延伸它增加了NURBS离散化能力和形式... 应用程序要求广泛的计算资源。。。
  • MPT公司

  • 参考文献212篇[sw04732]
  • 代码由广泛的从计算几何领域的算法库。。。嵌入到应用程序中形式或者部署到目标。。。
  • 色域

  • 引用16条[sw30178]
  • 需要法向的算法-形式游戏作为输入。色域不能与。。。有限元的构造与分析广泛的正常的形式游戏。色域是由。。。
  • 皮科拉

  • 17条引用[sw06408]
  • 通信并发代理的方法。灵活性,可扩展性通过对两个界面的建模,获得了鲁棒性。。。他们赖以生存的形式一个特殊的概念可扩展记录。举一个具体的例子。。。
  • AMRCLAW公司

  • 引用了60篇文章[sw15478]
  • 更通用的框架中的算法。这个延伸可用于各种。。。不是守恒方程形式,关于容量函数源项的问题。。。
  • LISP-STAT公司

  • 引用116篇文章[sw01111]
  • 探索动态图形方法的使用。可扩展性是通过基于Lisp Stat实现的。。。代数函数。便携式窗口系统接口形式动态图形系统的基础。。。
  • Coq/S参考

  • 引用63篇文章[sw09360]
  • S反射延伸Coq证明助理图书馆。Ssreflect这个名字代表“小规模。。。以更具体的方式重申(“反映”)问题形式,因此得名。例如。。。
  • 痛饮

  • 引用47篇文章[sw04607]
  • 可扩展用于创建可编写脚本的科学软件的编译器。像Python和Tcl这样的脚本语言有。。。解释解决问题的环境和他们形式一个控制软件组件的模块化框架。。。水平翻译。本文介绍了SWIG,an可扩展自动完成集成任务的编译器。。。
  • 秃鹰

  • 引用23条[sw02490]
  • 算法。本文提出了一种算法延伸鲍威尔的UOBYQA算法。。。形式. 之后,我们报告了UOBYQA、DFO和并行、约束的数值结果延伸...
  • ACRITH-XSC公司

  • 引用49篇文章[sw00015]
  • 除了少数例外,ACRITH-XSC是一个延伸FORTRAN 77的。各种语言概念。。。在或多或少相似的地方发现的形式在Fortran 90中。其他ACRITH-XSC功能。。。
  • DIMSYM公司

  • 引用72篇文章[sw04279]
  • 向量场或微分分布形式在有限维流形上,几何对象的对称性。。。交互式或批处理广泛的跟踪选项。。。