深度学习在大数据分析中的应用研究Research of Deep Learning Applications in Big Data Analytics
贾美娟, 李 欣, 孔 靓, 刘 春, 邵国强 下载量: 463 浏览量: 1,784 科研立项经费支持
软件工程与应用 Vol.11 No.3, June 15 2022, PDF, HTML, XML DOI:10.12677/SEA.2022.113057 被引量
LIUF理论量词公式的插值算法Interpolation Algorithm for Quantifier Formulas in LIUF Theory
李千卉, 江建国, 刘文秀 下载量: 2,049 浏览量: 5,662
软件工程与应用 Vol.4 No.6, December 28 2015, PDF, , XML DOI:10.12677/SEA.2015.46016 被引量
基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,589 浏览量: 1,877
应用数学进展 Vol.6 No.8, November 29 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.68123 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,515 浏览量: 5,766
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
认识论信念、课堂认知闭合需要和高中生学习策略的关系The Relationship of Epistemological Beliefs, Need for Closure in Classroom, and Learning Strategies among Chinese High School Students
陈 萍, 陈 陈 下载量: 3,173 浏览量: 11,466 科研立项经费支持
心理学进展 Vol.4 No.6, November 12 2014, PDF, , DOI:10.12677/AP.2014.46103 被引量