k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国 下载量: 314 浏览量: 458
应用数学进展 Vol.11 No.11, November 10 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111817 被引量
K-解析函数的洛必达法则L’Hospital Theorem of K-Analytic Functions
陈剑鹏, 潘燕婷, 孙钦秀, 李宏亮 下载量: 757 浏览量: 1,610
理论数学 Vol.10 No.6, June 28 2020, PDF, HTML, XML DOI:10.12677/PM.2020.106073 被引量
基于改进K-Means算法的手机处理器聚类分析Clustering Analysis of Mobile Processor Based on Improved K-Means Algorithm
林 挺, 蔡 静, 李东升 下载量: 1,044 浏览量: 1,418 科研立项经费支持
应用数学进展 Vol.9 No.11, November 25 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911235 被引量
树上k-奖励收集多割问题的近似算法 An Approximation Algorithm for the k-Prize-Collecting Multicut on a Tree Problem
侯晨菲 下载量: 616 浏览量: 827 科研立项经费支持
应用数学进展 Vol.10 No.8, August 6 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.108280 被引量
基于机器学习的K-Means聚类优化算法研究Research on K-Means Clustering Optimization Algorithm Based on Machine Learning
李 贞, 刘海燕, 刘 策, 李庆钰, 刘 刚 下载量: 891 浏览量: 2,564 科研立项经费支持
数据挖掘 Vol.12 No.1, January 6 2022, PDF, HTML, XML DOI:10.12677/HJDM.2022.121003 被引量
薛定谔映射问题的k等变解的性质The Nature for k-Equivariant Solutions to the Schrodinger Map Problem
李 良 下载量: 1,728 浏览量: 3,871
应用数学进展 Vol.7 No.1, January 25 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.71009 被引量
一种基于特征加权的K-Means算法研究A K-Means Algorithm Based on Feature Weighting
徐 艳, 付学良, 李宏慧, 董改芳, 王 晴 下载量: 1,291 浏览量: 4,613 国家自然科学基金支持
计算机科学与应用 Vol.8 No.8, August 10 2018, PDF, HTML, XML DOI:10.12677/CSA.2018.88128 被引量
基于K-Means聚类的股票分类研究 Re-search on Stock Classification Based on K-Means Clustering
张梦涵, 杨 牧, 陈 宰 下载量: 1,164 浏览量: 5,159 科研立项经费支持
统计学与应用 Vol.8 No.2, April 10 2019, PDF, HTML, XML DOI:10.12677/SA.2019.82031 被引量
获得性维生素K依赖性凝血因子缺乏症诊治进展Progress in the Diagnosis and Treatment of Acquired Vitamin K-Dependent Coagulation Factor Deficiency
杨文舒, 李永萍 下载量: 472 浏览量: 740 科研立项经费支持
临床医学进展 Vol.12 No.5, May 9 2022, PDF, HTML, XML DOI:10.12677/ACM.2022.125542 被引量
几类笛卡尔乘积图的k路顶点覆盖数问题The k-Path Vertex Cover in Several Cartesian Product Graphs
李 钊, 左连翠 下载量: 1,741 浏览量: 5,390
应用数学进展 Vol.6 No.9, December 26 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69143 被引量