• 阿格达

  • 引用了187篇文章[sw09689]
  • 阿格达是依附类型化函数式程序设计语言:它具有归纳性家庭,它们是相似的。。。与其他证据助理的相似性基于依赖的类型,如Coq,警句和NuPRL。。。
  • 连接词

  • 引用137篇文章[sw14499]
  • 组合copula:多变量依赖用连接词。类(S4)常用椭圆,阿基米德,极值。。。更多的copula家庭. 密度、分布、随机数生成方法依赖措施,观点。。。
  • PLTMG公司

  • 引用215篇[sw00717]
  • 飞机。它基于家庭连续拉格朗日三角形有限元。PLTMG功能。。。使用参数处理pde的延续选项依赖关系. 它还提供了解决几个。。。
  • 尖峰

  • 引用了37篇文章[sw02780]
  • 尖峰家庭描述了。每种方法都以不同的方式处理简化后的系统依靠...
  • MIM公司

  • 引用128篇文章[sw26139]
  • 模型。这些图形显示了依赖关系变量之间的关联和因果关系。。。图形建模,后面的章节详细描述家庭包括对数线性模型,高斯模型。。。
  • 凯卡

  • 引用了70篇文章[sw09834]
  • 凯卡是一个家庭海绵功能。海绵函数是一个推广。。。表查找、算术运算或数据-依赖的旋转。凯卡有一个非常不同的设计理念。。。
  • 博鳌亚洲论坛

  • 引用21篇文章[sw07430]
  • 已经被证明是非常有用的依赖在多元数据中。那里有丰富的文学作品。。。适应指数测量的性状模型家庭. 然而,当推广到非高斯测量时。。。潜在变量通常会影响依赖边际分布的结构和形式。。。
  • 两条鱼

  • 在34篇文章中引用[sw13585]
  • 用于修改加密算法(密钥-依赖的S盒)。Twofish从。。。来自SAFER的伪Hadamard变换(PHT)家庭密码。Twofish有一个Feistel结构。。。
  • GENMOD程序

  • 引用了29篇文章[sw11741]
  • 允许人口平均数依赖通过一个非线性的线性预测器。。。指数成员家庭分配。许多广泛使用的统计模型是广义线性模型。。。
  • PDECHEB公司

  • 引用15篇文章[sw12905]
  • 时间-依赖的一个空间变量的偏微分方程。软件实现了家庭...
  • 方程

  • 参考6篇文章[sw28614]
  • 方程式:a依赖的模式匹配编译器。我们提出了一个由模式定义的编译器。。。归纳的家庭在Coq系统中。它允许编写结构化的、递归的依附-类型化函数。。。
  • B群集

  • 参考6篇文章[sw23381]
  • 估计可能很困难,依靠论数据结构与选择分布家庭...
  • 阿斯特2

  • 引用2篇文章[sw32136]
  • 响应向量可以有不同的家庭(例如,一些伯努利,一些泊松,一些零截断。。。泊松,一些正常)和可以是依赖的,的依赖用图形结构表示。离散的。。。指数型广义线性模型家庭(例如,逻辑回归和泊松回归。。。后代数量)。使用指数家庭规范参数化(通常参数化的aster变换)。不像。。。
  • 寄生体

  • 引用2篇文章[sw23704]
  • ANSYS与Delcam家庭所有CAM应用依赖在Parasolid上处理他们的。。。
  • fCopulae公司

  • 引用5篇文章[sw22144]
  • 包装:Rmetrics-双变量依赖有接合部的结构。提供要管理的函数集合。。。Copulae的财务收益。包括家庭阿基米德,椭圆,极端值,和经验。。。
  • 海绵状的

  • 引用18条[sw08445号]
  • 哈希函数。本文提出了spongent-a家庭具有哈希大小的轻量级哈希函数。。。参数技术含量高依赖的. spongent在序列化方面提供了很多灵活性。。。
  • 冒险

  • 引用9篇文章[sw14670]
  • 创业项目。有条件捕获宠物依赖关系,存在的依赖关系以及可更换联轴器。第三,我们描述分区。。。相干子问题。最后,我们描述一个家庭随机再生算法的有效修改。。。
  • 部落

  • 引用4篇文章[sw23217]
  • 核心形式主义。部落可以支持路径类型依赖的同时在类和对象上,这。。。对对象的无处不在的访问家庭,提供家庭不需要多态性。。。
  • fgac公司

  • 引用2篇文章[sw22143]
  • 附属国结构通过copula建模。一个算法被实现考虑到七家庭...
  • 阿尼玛

  • 引用4篇文章[sw10101]
  • 检验标准,可以自动导出家庭实用算法,如程序步进。。。控制和数据的动态检测依赖关系跨越计算树。我们的方法。。。