退出
我的积分:
中文文献批量获取
外文文献批量获取
陈泽华; 谢刚; 谢克明;
中国人工智能学会;
中国计算机学会;
泛函分析; 不动点原理; 思维进化算法; 收敛性;
机译:将Cauchy-Binet公式用于带偏移的三对角QR算法的收敛性证明中[关于将Cauchy-Binet公式用于带偏移的三对角QR算法的收敛性证明中]
机译:证明理论中基于约简和基于模型的方法的收敛性
机译:基于思维进化算法的小波神经网络短期交通流量预测模型
机译:基于泛函分析的思维进化算法的收敛性分析
机译:降低基于证明助手的形式验证的成本或:无需证明负担的定罪。
机译:联动基因表达和关联数据的收敛性证明了RAR相关孤儿受体α(RORA)基因对新生血管AMD的影响:基于系统的系统
机译:粗糙不动点原理的度理论证明
机译:动力学方程的流体动态极限II Boltzmann方程的收敛性证明
机译:用于配置基于ID的哈希证明系统的设备,基于ID的加密设备,用于配置基于ID的哈希证明系统的方法和程序
机译:如何创建密文明文在区间内的证明系统和证明文本,基于证明文本的验证方法
机译:基于属性的证明系统使用零知识证明来证明配备TPM的计算设备的完整性,而不会公开配置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。