退出
我的积分:
中文文献批量获取
外文文献批量获取
李舟军;
验证算法; 验证理论; CCS; π-演算; 模拟等价;
机译:H〜∞函数演算与平方函数估计值的等价尖锐对等
机译:基于实值遗传算法的二元神经网络学习算法
机译:关于基于实值遗传算法的二元神经网络学习算法
机译:1.57-μm双脉冲IPDA LIDA算法验证大气CO2测量的反演算法验证
机译:使用通信系统演算(CCS)对OSI会话层进行正式规范和验证。
机译:诊断和放射的质量保证评估头颈放射疗法的治疗-模拟CT图像配准:基于解剖学区域的刚性和可变形比较演算法
机译:可计算过程和互模拟等价
机译:用于验证卫星天文导航算法的模拟器和使用该模拟器的天文导航算法验证方法
机译:验证深度学习人工神经网络模拟神经存储器中非易失性存储单元编程期间存储值的算法和电路
机译:用于验证在深度学习人工神经网络中的模拟神经存储器中的非易失性存储器单元的编程操作期间存储的值的算法和电路
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。