• 萨奇摩

  • 引用96篇文章[sw06619]
  • 使用的第一个系统模型 一代,即自下而上的证明程序。证明人。。。
  • 琳达

  • 参考文献103篇[sw09427]
  • 生成的琳达的沟通。生成的通信是一种新的分布式编程语言的基础。。。特别的。它不同于以前的进程间通信模型在指定要添加的消息时。。。直到某个进程选择接收它们。生成的沟通的结果是许多区别。。。动态全局命名空间生成的通信模型要求。。。
  • SCIP公司

  • 引用508篇文章[sw01091]
  • 建模语言ZIMPL,并行化框架UG和generic列一代解算器。。。
  • Mplus公司

  • 在340篇文章中引用[sw06511]
  • Mplus为研究人员提供了广泛的选择模型,估计器,和程序中的算法。。。数据可以是生成根据模型包括。。。
  • 高超声速

  • 在330篇文章中引用[sw04125]
  • 通过符号验证模型检查。如果验证失败,那么海能科技产生诊断错误。。。
  • 克朗菲特

  • 引用44篇文章[sw20428]
  • 图论建模网络。我们怎么能生成现实的网络?此外。。。随着时间的推移,直径不断缩小。当前网络模型发电机要么不匹配几个。。。两者兼而有之。在这里我们提议生成的 模型对于数学上可处理的网络。。。Kronecker图的拟合算法一代 模型去大型的真实网络。天真的方法。。。
  • 班德拉

  • 在134篇文章中引用[sw07663]
  • 可视化组件旨在促进实验模型-正在检查Java源代码。班德拉需要。。。时态规范语言产生程序模型以及输入语言中的规范。。。
  • Java探路者

  • 参考文献123篇[sw07658]
  • 声明的断言。JPF公司产生舞会模型具有相同的状态空间特征。。。
  • 数学卫星

  • 参考58篇文章[sw09449]
  • 这个设置。特别地:模型 一代(对于反例重建),模型枚举(用于谓词抽象。。。
  • 教堂

  • 引用了50篇文章[sw08946]
  • 教会语言生成的 模型我们介绍Church,一种描述随机性的通用语言。。。生成的过程。Church是基于Lisp的模型lambda微积分,包含一个纯。。。
  • CGAL公司

  • 引用381篇文章[sw00118]
  • 建模,地理信息系统,分子生物学,医学影像学,机器人学和运动规划,mesh一代,数字。。。
  • 迪纳雷

  • 引用72篇文章【sw12305】
  • 随机一般均衡与重叠几代人(奥尔格)模型. The模型由Dynare解决包括。。。
  • 马德格

  • 参考文献95篇[sw06476号]
  • 矩阵元一代和事件一代对于任何人模型可以写成。。。
  • GTM公司

  • 引用的第57条[sw39434]
  • 生成的地形测绘。潜变量模型表示空间中数据的概率密度。。。线性潜变量模型称为生成的地形图的参数。。。
  • gss公司

  • 引用289篇文章[sw06099]
  • 平滑样条方差分析模型具有随机数据的非参数函数估计,也称为平滑。。。被几个人研究过几代人统计学家。最近有大量可用的桌面。。。设置的数量要少得多。平滑样条方差分析模型是一个多功能的平滑方法。。。
  • 莫代利卡

  • 参考文献115篇[sw04352]
  • 多域建模例如,机电一体化模型在机器人,汽车和航空航天应用涉及机械。。。面向过程的应用程序和一代以及电力分配。模型在Modelica中是数学上的。。。
  • 连接词

  • 在139篇文章中引用[sw07944]
  • 设计并易于扩展的多变量平台建模用R.S4级的连接词。。。评估,随机数一代,以及图形显示。基于copula的拟合模型用极大似然法。。。
  • Visual Basic

  • 在303篇文章中引用[sw03518]
  • visualbasic是第三种-一代事件驱动编程语言和集成开发环境。。。微软的COM编程模型1991年首次发行并宣布遗产。。。
  • SparseMatrix公司

  • 在686篇文章中引用[sw04629]
  • 实验:健壮,因为人工操作的结果-生成矩阵可能是误导的,而且是可重复的,因为。。。几何学(如结构工程,计算流体力学,模型还原,电磁学,半导体器件,热力学,材料,声学。。。
  • HLM公司

  • 引用44篇文章[sw06516]
  • 模型结果变量生成线性的模型用解释变量解释。。。