• GHC公司

  • 引用了43篇文章[sw23765号]
  • 二是选择权的引入不确定性. 前者是通用的。。。
  • 帕洛格

  • 在39篇文章中引用[sw23764号]
  • 每个调用都使用不确定性. 所有解关系的合取调用。。。
  • 在14篇文章中引用[sw12372]
  • 编写可重用模块的子类型,以及不确定性用于处理组合爆炸。这些特征被证明。。。
  • 轻松检查

  • 参考12篇文章[sw09735]
  • 实施和使用。自由变量,不确定性封装的搜索结果是优雅的。。。
  • NModel公司

  • 参考11篇文章[sw11364]
  • 与数据和历史相关的行为不确定性,其中有许多不同的变体(数据值、交错。。。
  • 斯纳兹克

  • 参考11篇文章【sw22495】
  • 利用证明系统的场结构和不确定性,我们实现了第一个zk SNARK实现。。。
  • 茶包

  • 参考6篇文章[sw08980]
  • 特点,尤其是不确定性,控制非确定性步骤的能力。。。
  • 普斯茅德

  • 第3条引用[sw10125]
  • 伪随机数抽样,所有来源不确定性必须首先量化。但是,当前的工具。。。用户定义不确定性应该量化。在本文中,我们建议。。。定义用于量化不确定性在概率重写理论中。我们已经实施了PSMaude。。。
  • 贾维斯

  • 引用4篇文章[sw00469号]
  • 因为多重流动和内在控制不确定性. 它需要传统技术所不能提供的。。。
  • LRinv公司

  • 第3条引用[sw34346]
  • 基于堆栈的语言,局部反转,并消除不确定性运用句法分析理论的方法。。。
  • 简单

  • 1条引用[sw32234]
  • 闭包、动态方法调用以及无界不确定性...
  • 随机序列

  • 在0篇文章中引用[sw24325]
  • 程序的顺序版本不确定性. 这种不确定性的序列规范允许。。。程序的版本,一个带有受控不确定性但是没有并行线程的交错。。。
  • 棱镜

  • 引用397篇文章[sw01186]
  • PRISM:概率符号模型检查器。在本文中。。。
  • 毫升

  • 在502篇文章中引用[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 生物PEPA

  • 在102篇文章中引用[sw01361]
  • 在这项工作中,我们提出了生物PEPA,一个。。。
  • Ada95型

  • 引用185篇[sw01753]
  • Ada是一个结构化的,静态类型的,命令式的,广泛的。。。