退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过鲁棒方法改进的贝叶斯模型规范并检查先验数据冲突
WANG XUEOU;
机译:在检查多个贝叶斯模型是否存在数据冲突以及为减轻被拒绝先验的影响而进行的应用后进行推断
机译:使用高级功能和协议规范模型验证RTL设计的统一顺序等效性检查方法
机译:空间自适应贝叶斯P样模型的粗糙度罚款的粗糙度规范
机译:使用检查点提取方法的模型检查的高效规范
机译:用于模型检查,检查先验数据冲突和贝叶斯推断的不变过程。
机译:改进的用于路径分析的统计模型检查方法
机译:检查模型失败以及与约束多项式模型的先前数据冲突
机译:使用CrossCheck检查型号规格
机译:规格模型检查方法及规格模型检查装置
机译:基于模型检查的组合服务冲突检测装置及方法
机译:基于模型检查的复合服务冲突检测装置及方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。