formal specification; graph theory; process algebra; statistical analysis; chain complex; degree of freedom; dual space; formal analysis; homological algebra; homological analysis; statistical dependency graph model; Calculus; Mathematical model; Polynomials; Tensile stress; Vectors; Cohomology; Homology; Pearson Residua; Statistical Independence;
机译:从形式证明生成认证代码:同源代数的案例研究
机译:基于随机过程代数的网络可生存性形式化分析新方法
机译:基于随机过程代数的网络生存能力形式化分析新方法
机译:基于统计依赖性的同源代数的正式分析
机译:算子空间中的同调代数及其在谐波分析中的应用
机译:微型计算机的统计信息。在生物医学研究和病理实验室实践中适当使用统计软件包的非代数指南。 5.分类数据分析。
机译:通过废水分析估算出非法和药物消耗量。 B部分:将反向计算放置在正式的统计框架中:将反向计算放置在正式的统计框架中