分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 895 浏览量: 2,747
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
全科医学规范化培训住院医师优化能力培养模式探讨及研究Discussion and Research on Optimal Ability Training Model for Residents in General Medicine Standardized Training
耿凡琪, 吕文旭, 韩 迪, 张雪娟 下载量: 172 浏览量: 281
教育进展 Vol.14 No.2, February 26 2024, PDF, HTML, XML DOI:10.12677/AE.2024.142244 被引量
基于改进卷积神经网络的滚动轴承故障诊断模型A Fault Diagnosis Model for Rolling Bearings Based on Improved Convolutional Neural Network
陈子浩, 李仁旺 下载量: 232 浏览量: 443 国家自然科学基金支持
建模与仿真 Vol.13 No.1, January 11 2024, PDF, HTML, XML DOI:10.12677/MOS.2024.131018 被引量
雷达探测技术在月球科学探测研究中的进展The Application Research of Ground Penetrating Radar Technology to Lunar Exploration
尚可, 钱荣毅 下载量: 2,087 浏览量: 3,582
地球科学前沿 Vol.7 No.2, April 27 2017, PDF, , XML DOI:10.12677/AG.2017.72017 被引量
提高医学硕士研究生毕业课题创新性的途径探索Exploration on the Way to Improve the Innovation of Graduation Project for Medical Postgraduates
阴新强, 敬媛媛 下载量: 147 浏览量: 234 科研立项经费支持
创新教育研究 Vol.11 No.12, December 27 2023, PDF, HTML, XML DOI:10.12677/CES.2023.1112593 被引量
护理硕士专业学位研究生临床能力考核方法的Meta整合 Meta Integration of Clinical Competence Assessment Methods for Master of Nursing Specialist Students
涂 琎, 李金秀, 彭 涛, 刘志宏, 黄 利, 彭 静 下载量: 350 浏览量: 529 科研立项经费支持
护理学 Vol.12 No.2, April 21 2023, PDF, HTML, XML DOI:10.12677/NS.2023.122019 被引量
老年衰弱前期住院患者孤独感的现状及影响因素研究 To Study the Current Situation and Influencing Factors of Loneliness in Elderly Inpatients with Pre-Frailty
刘旭琴, 李 玲, 楼 婷 下载量: 153 浏览量: 338
护理学 Vol.12 No.6, December 6 2023, PDF, HTML, XML DOI:10.12677/NS.2023.126127 被引量
吸烟者肺癌组织T7噬菌体cDNA文库构建Construction of a T7 Phage Display cDNA Library from Lung Cancer of Smokers
薛雯, 钟理, 康现江, 王瑞 下载量: 4,314 浏览量: 14,169
生物医学 Vol.2 No.2, April 20 2012, PDF, , XML DOI:10.12677/hjbm.2012.22004 被引量
山东省农村老年人衰弱和认知功能障碍相关性的分析 Analysis of Correlation between Frailty and Cognitive Dysfunction in Rural Elderly in Shandong Province
范淑冉, 刘翠萍, 周 颖, 武 帆, 孔 雪, 刘雪梅, 解欣然 下载量: 303 浏览量: 545 科研立项经费支持
护理学 Vol.11 No.4, August 11 2022, PDF, HTML, XML DOI:10.12677/NS.2022.114085 被引量
认知训练对阿尔茨海默病的作用机制及其影响研究Study on the Mechanism and Influence of Cognitive Training on Alzheimer’s Disease
林晓璇, 蓝 萍, 车土玲, 苏裕盛 下载量: 276 浏览量: 729 科研立项经费支持
生物医学 Vol.13 No.2, April 11 2023, PDF, HTML, XML DOI:10.12677/HJBM.2023.132017 被引量