分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 909 浏览量: 2,769
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
基于汉明距离分类算法的精准营销Precision Marketing Based on Hamming Distance Classification Algorithm
谢 缘, 刘 璇, 文雅妮, 肖 勇 下载量: 1,026 浏览量: 3,320
计算机科学与应用 Vol.8 No.9, September 14 2018, PDF, HTML, XML DOI:10.12677/CSA.2018.89152 被引量
基于Taguchi方法的乒乓球场照明设计对于场地照明均匀度影响的研究The Study of Illumination for Table Tennis Venue Influenced by Illumination Design Based on Taguchi Method
王至知, 马丙戌, 焦飞宇, 张 博, 卢允乐 下载量: 425 浏览量: 654
光电子 Vol.12 No.1, March 31 2022, PDF, HTML, XML DOI:10.12677/OE.2022.121005 被引量
昆明市主城区城市森林建设定量评价The Quantitative Evaluation of Urban Forest Construction in Kunming City
张 琴 下载量: 2,709 浏览量: 8,105 科研立项经费支持
地理科学研究 Vol.4 No.3, August 18 2015, PDF, , XML DOI:10.12677/GSER.2015.43014 被引量
昆明市育龄人群地中海贫血基因检测结果分析 Analysis of Gene Test Results of Thalassemia in Reproductive Age Population in Kunming
李 彬, 谢 敏, 孔 艳, 田 梦 下载量: 288 浏览量: 843
生物过程 Vol.13 No.2, May 8 2023, PDF, HTML, XML DOI:10.12677/BP.2023.132010 被引量
浅析王阳明知行观的价值启示On the Value Enlightenment of Wang Yangming’s Concept of Knowing and Doing
周 灵 下载量: 553 浏览量: 942
哲学进展 Vol.11 No.4, August 5 2022, PDF, HTML, XML DOI:10.12677/ACPP.2022.114093 被引量
面向工业照明系统的智能网关设计Intelligent Gateway Design for Industrial Lighting System
庞小林, 陈 星, 袁 军 下载量: 1,735 浏览量: 3,195
软件工程与应用 Vol.7 No.3, May 15 2018, PDF, HTML, XML DOI:10.12677/SEA.2018.73014 被引量
企业ESG表现、信息透明度与财务绩效Corporate ESG Performance, Information Transparency and Financial Performance
江 伟 下载量: 107 浏览量: 271 国家社会科学基金支持
金融 Vol.14 No.3, May 11 2024, PDF, HTML, XML DOI:10.12677/fin.2024.143081 被引量
肠膜明串珠菌基因失活体系的建立Construction of Gene Inactivation System for Leuconostoc mesenteroides
莒晓艳, 张 舟, 成文玉, 金红星 下载量: 2,743 浏览量: 11,107 科研立项经费支持
微生物前沿 Vol.3 No.3, October 7 2014, PDF, , DOI:10.12677/AMB.2014.33007 被引量
转氨酶明显升高的病因及诊治Etiology and Diagnosis and Treatment of Markedly Elevated Transaminases
谢晓月, 俞慧宏 下载量: 436 浏览量: 638
临床医学进展 Vol.13 No.10, October 24 2023, PDF, HTML, XML DOI:10.12677/ACM.2023.13102352 被引量