School of Computer Science Engineering, University of New South Wales, NSW 2052 Australia;
probability; program correctness; generalised substitutions; weakest preconditions; the B Method (B); probabilistic algorithms;
机译:不变和半不变概率范空间
机译:几乎不变集和不变流形-流中相干结构的概率和几何描述的连接
机译:概率均匀化和概率收敛群的概率分析
机译:概率不变的概率机械
机译:使用尺度不变特征提取和概率建模进行场景分析。
机译:具有概率突触的递归网络中的Fano因子恒定性和尺度不变采样
机译:不变和半不变的概率赋范空间
机译:在用于推进机器学习的概率编程(ppamL)中推广概率编程系统(pps)开发。