分离逻辑断言的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
陈子浩, 李仁旺 下载量: 230 浏览量: 441 国家自然科学基金支持
建模与仿真 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 被引量
基于互联网 + 新媒体的乳腺癌全程专业化管理模式的临床实践及效果 Effectiveness and Clinical Practice of Whole-Course Professional Management Model Based on Internet and New Media in Patients with Breast Cancer
蒋春儿, 虞亚梅, 蔡喜喜, 张永芳, 倪建芬, 王方正, 邹德宏 下载量: 382 浏览量: 1,244 科研立项经费支持
护理学 Vol.11 No.5, October 20 2022, PDF, HTML, XML DOI:10.12677/NS.2022.115105 被引量
提高医学硕士研究生毕业课题创新性的途径探索Exploration on the Way to Improve the Innovation of Graduation Project for Medical Postgraduates
阴新强, 敬媛媛 下载量: 146 浏览量: 233 科研立项经费支持
创新教育研究 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
涂 琎, 李金秀, 彭 涛, 刘志宏, 黄 利, 彭 静 下载量: 349 浏览量: 528 科研立项经费支持
护理学 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,313 浏览量: 14,168
生物医学 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
范淑冉, 刘翠萍, 周 颖, 武 帆, 孔 雪, 刘雪梅, 解欣然 下载量: 299 浏览量: 541 科研立项经费支持
护理学 Vol.11 No.4, August 11 2022, PDF, HTML, XML DOI:10.12677/NS.2022.114085 被引量