AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一种在医疗报警中发现同时掩蔽的计算上有效的正式方法
Matthew L. Bolton; Judy Edworthy; Andrew D. Boyd; Jiajun Wei; Xi Zheng;
机译:在医疗警报中发现同时掩蔽的高效计算形式方法
机译:在听觉医疗警报之间发现同时加性掩蔽的正式方法
机译:使用模型检查检测医疗警报中的同时掩蔽
机译:IEC 60601-1-8国际医疗警报标准中保留的警报声音之间的掩蔽形式分析
机译:一种检测医疗警报中掩蔽的正式方法
机译:社论:理解复杂性的计算方法:生物学中形式方法的使用
机译:多个神经网络的高效同时推理计算
机译:高效的同步标量产品计算
机译:建立医疗指令正式模型的医疗急救标准规范化方法,涉及使用严格的词汇表,这些因素会影响紧急医疗和医疗的潜在价值
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。