-
模式SQL
- 引用8篇文章[sw24371]
- 多数据库互操作性。我们提供有原则的 延伸一个名为SchemaSQL的SQL,它提供了以下功能。。。
-
名义伊莎贝尔
- 引用了76篇文章[sw12055]
- 单一的粘合剂,例如lambda抽象集。我们的延伸包括α-等价的新定义。。。相等的条件。我们也证明了强归纳原则已经有了通常的变量约定。。。
-
金纳克
- 引用80篇文章[sw01609]
- 不试图提供广泛的代数能力和简单的编程语言,但是。。。更多细节。它还涉及一些设计原则以及效率问题,尽管有些实施。。。
-
迪普
- 引用21篇文章[sw11887]
- 马尔奎斯特全要素生产率指数。这个节目有三个原理DEA选项:标准。。。技术和规模效率(如适用)。这个延伸以上模型中的。。。
-
LPTP
- 参考7篇文章【sw01822】
- 延伸纯粹的序言程序。这是一个包含归纳法的一阶理论原则... 内置谓词的公理。归纳法延伸允许表达模式和类型。。。
-
斜坡
- 在10篇文章中引用[sw02493]
- 延伸(PD-坡道)。在第一级,RAMP方法通过结合基本的原则...
-
PAMR公司
- 引用13篇文章[sw15437]
- 风险和反映均值回归交易原理. 我们还介绍了几种不同的PAMR。。。混合了PAMR和其他策略。我们的行为广泛的数值实验来评估经验性能。。。
-
打开AD/F
- 引用24篇文章[sw09380]
- 而代码转换遵循基本原则自动微分,工具实现。。。Open/AD框架,支持相对简单的延伸语言中的代码转换。。。
-
OOFEM公司
- 在14篇文章中引用[sw08872]
- 元素分析。本文介绍了设计方案原则以及面向对象的有限元结构。。。提出的框架包括模块化设计,可扩展性,以及健壮性。代码本身是免费的。。。
-
泰洛斯
- 引用21篇文章[sw00954]
- 分解模型。实施的方法遵循原则以序数回归为主的多准则分析。。。简要介绍了管理技术扩展TELOS的特性和功能。。。