机译:类不变量作为轨迹语义的抽象解释
机译:类分析作为跟踪语义的抽象解释
机译:并发计算的痕迹语义的抽象解释
机译:概率抽象解释:从迹线语义到DTMC和线性回归
机译:六种预测公司破产的模型的比较:多个线性回归分析,多个线性判别分析,逐步回归分析,逐步判别分析,多个带岭点回归的线性回归分析,以及多个线性离散
机译:统计和概率分析。分析和表示的新工具:XS:通过集成图形统计系统关系数据库系统和专家系统外壳构建的线性回归分析和综合系统
机译:线性,共享和状态:具有主动表达式的理想化Algol的完全抽象游戏语义扩展的摘要
机译:识别多元线性回归中的代理集:对更好的系数解释的帮助