基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,588 浏览量: 1,875
应用数学进展 Vol.6 No.8, November 29 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.68123 被引量
箭头线索提示时序效应—主观意识控制的影响Sequence Effects of Arrow Cueing—The Role of Voluntary Control
钱 谦, 冯 勇, 王 锋 下载量: 2,778 浏览量: 13,165 国家自然科学基金支持
心理学进展 Vol.4 No.3B, May 21 2014, PDF, , DOI:10.12677/AP.2014.43B005 被引量
基于特征选择和幻象残差网络的在线手写签名认证Online Handwritten Signature Verification Based on Feature Selection and Ghost Residual Network
卞 浩, 栾方军, 袁 帅 下载量: 848 浏览量: 1,036 国家自然科学基金支持
计算机科学与应用 Vol.13 No.3, March 31 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.133063 被引量
消极自我概念者的自我验证动机:争论与反思The Self-Verification Motivation of People Who Hold Negative Self-Concept: Arguments and Reflections
岳 童, 高媛媛, 黄希庭 下载量: 3,332 浏览量: 18,358 科研立项经费支持
心理学进展 Vol.4 No.4, July 30 2014, PDF, , DOI:10.12677/AP.2014.44088 被引量
区域注浆扩散模拟及效果验证研究Study on Regional Grouting Diffusion Simulation and Effect Verification
党保全, 周继生, 罗江发 下载量: 254 浏览量: 380
矿山工程 Vol.11 No.2, April 20 2023, PDF, HTML, XML DOI:10.12677/ME.2023.112032 被引量
功能性消化不良的研究进展Research Progress of Functional Dyspepsia
劳铭霞, 张继红, 殷 磊, 刘 路, 罗 涛 下载量: 463 浏览量: 905
中医学 Vol.11 No.3, May 12 2022, PDF, , DOI:10.12677/TCM.2022.113055 被引量
基于Hopfield神经网络模型的验证码识别问题Hopfield Neural Network Based Approach to Recognizing the Verification Code
张靖文, 林萍芝, 肖思佳, 王浩华 下载量: 385 浏览量: 708 国家自然科学基金支持
应用数学进展 Vol.10 No.11, November 25 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1011426 被引量
认知风格对知觉序列学习的影响Effect of Cognitive Style on Perceptual Sequence Learning
彭 琳, 咸桂彩, 寇冬泉 下载量: 1,757 浏览量: 5,544
心理学进展 Vol.6 No.7, July 27 2016, PDF, , XML DOI:10.12677/AP.2016.67107 被引量
SHR/SCR和PLTs在植物中表达和功能多样性的研究进展Advances in the Expression and Functional Diversity of SHR/SCR and PLTs in Plants
赵滢滢, 李均瑶, 张汉马, 南文斌 下载量: 265 浏览量: 389 科研立项经费支持
植物学研究 Vol.13 No.2, March 27 2024, PDF, HTML, XML DOI:10.12677/br.2024.132019 被引量
基于翻转课堂理念的《数学分析》课程教学模式研究—以数列极限为例The Research of the Teaching Mode of Mathematical Analysis Based on the Concept of Flipped Classroom—Take the Limit of Sequence for Example
石少广, 张 蕾, 马 萌 下载量: 2,189 浏览量: 5,391 科研立项经费支持
创新教育研究 Vol.4 No.3, August 3 2016, PDF, , XML DOI:10.12677/CES.2016.43013 被引量