退出
我的积分:
中文文献批量获取
外文文献批量获取
Liu Ke; 刘科; Yang Hongli; 杨红丽; Liao Husheng; 廖湖声; Lv Guanfeng; 吕关锋; Gao Yanfei; 高雁飞;
中国计算机学会;
信息处理; 时态逻辑公式; 特征提取; 模型检查;
机译: p fc> p regncancy R < / fc> r elated b fc> b eliefs q fc> q uestionnaire( prbq fc> prbq):检查围产期样本中的心理测量特性
机译:重新检查 罪孽 mml:mi> ? mml:mo> 2 mml:mn> β mml:mi> < / mml:math>和 < mml:mi mathvariant =“ normal”>Δ mml:mi> m mml:mi> mml:mrow> <从 d mml:mi> mml:mrow> mml:msub> mml:math> / 1998 / Math / MathML“ altimg =” si3.gif“ display =” inline“ overflow =” scroll“> B mml:mi> mml :mrow> d mml:mi> mml:mrow> 0 mml:mn> mml:mrow> < / mml:msubsup> mml:math>具有退相干的介子
机译:改进的基于模型,与平台无关的质谱特征提取
机译:基于模型的基于模型的自动化特征提取方法
机译:基于增量约束检查的XML更新事务执行。
机译:双重荧光检查和基于模型的跟踪在临床检查期间定量体内髋关节运动学的准确性和可行性
机译:一种新的基于模型的蛋白质序列特征提取方法一种基于模型的新方法提取蛋白质序列属性的方法
机译:基于模型的自动目标识别(aTR)的属性散射中心模型特征提取
机译:基于模型的签名特征提取方法及系统
机译:基于模型的签名特征提取方法和系统
机译:基于模型的药动学特征提取用于监测周围组织灌注
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。