k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国
应用数学进展Vol.11 No.11, 全文下载: PDF HTML XML DOI:10.12677/AAM.2022.1111817, November 10 2022
K-L-Nim博弈K-L-Nim Game
徐荣兴, 吕新忠, 田贵贤 国家自然科学基金支持
应用数学进展Vol.6 No.3, 全文下载: PDF HTML XML DOI:10.12677/AAM.2017.63027, May 22 2017
溴掺杂对非铅铋基钙钛矿太阳能电池性能的增强作用Bromine Doing for Performance Enhancement of Lead-Free Bismuth-Based Perovskite Solar Cells
孙振兴, 王星辰, 汪 慧, K. P. Homewood, 高 云, 雷丙龙 国家自然科学基金支持
材料科学Vol.10 No.9, 全文下载: PDF HTML XML DOI:10.12677/MS.2020.109084, September 2 2020
(2 + 1)-维K-P方程精确解的研究Study on Exact Solutions of (2 + 1)-Dimensional K-P Equation
卫慧芳
应用数学进展Vol.5 No.3, 全文下载: PDF HTML XML DOI:10.12677/AAM.2016.53056, August 30 2016
K-解析函数的洛必达法则L’Hospital Theorem of K-Analytic Functions
陈剑鹏, 潘燕婷, 孙钦秀, 李宏亮
理论数学Vol.10 No.6, 全文下载: PDF HTML XML DOI:10.12677/PM.2020.106073, June 28 2020
K-Means算法的研究分析及改进Research on K-Means Algorithm Analysis and Improvement
藏传宇, 沈勇, 张宇昊, 陈长庚, 张浩, 杨真谛 科研立项经费支持
计算机科学与应用Vol.6 No.9, 全文下载: PDF HTML XML DOI:10.12677/CSA.2016.69069, September 29 2016