• 萨奇摩

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

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

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

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

  • 引用文献322篇[sw04125]
  • 通过符号验证模型检查。如果验证失败,那么海能科技产生诊断错误。。。
  • 班德拉

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

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

  • 在56篇文章中引用[sw09449]
  • 这个设置。特别地:模型 一代(对于反例重建),模型枚举(用于谓词抽象。。。
  • 克朗菲特

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

  • 引用48篇文章[sw08946]
  • 教会语言生成的 模型. 我们介绍Church,一种描述随机性的通用语言。。。生成的过程。教会是基于口齿不清模型lambda微积分,包含一个纯。。。
  • 迪纳雷

  • 引用68篇文章【sw12305】
  • 随机一般均衡与重叠几代人(OLG)模型. 这个模型由Dynare解决包括。。。
  • CGAL公司

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

  • 引用94篇文章[sw06476号]
  • 矩阵元一代和事件一代对于任何人模型可以写成。。。
  • gss公司

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

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

  • 引用了29篇文章[sw10392号文件]
  • 定理程序一代. 自动理论的形成包括产生感兴趣的对象,概念。。。通过(i)使用权杖模型 发电机生成从公理中感兴趣的对象。。。
  • 连接词

  • 参考文献112篇[sw07944]
  • 设计并易于扩展的多变量平台建模用R.S4级的连接词。。。评估,随机数一代,以及图形显示。基于copula的拟合模型用极大似然法。。。
  • SparseMatrix公司

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

  • 27条引用[sw08945]
  • 允许描述任意复杂生成的 模型. 此外,伊巴尔的观察语言使。。。
  • 莫代利卡

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