基于活性编码的EUF公式的判定过程A Decision Procedure of EUF Formulas Based on Eager Encoding
程梦奇, 雷斯然, 江建国 下载量: 708 浏览量: 1,067
软件工程与应用 Vol.9 No.1, February 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91006 被引量
两个微分算子乘积的自伴性The Self-Adjointness of the Product of Two Differential Operators
王红军 下载量: 544 浏览量: 767
应用数学进展 Vol.10 No.3, March 30 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.103088 被引量
基于CiteSpace的BIM应用研究热点及趋势分析Research Hotspot and Trend Analysis of BIM Application Based on CiteSpace
张 帆 下载量: 380 浏览量: 601
社会科学前沿 Vol.11 No.2, February 15 2022, PDF, HTML, XML DOI:10.12677/ASS.2022.112064 被引量
基于组合关系翻译的知识表示学习模型Knowledge Representation Learning Model Based on Composing Relations with Translation
区恩海 下载量: 411 浏览量: 606
计算机科学与应用 Vol.12 No.3, March 21 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.123066 被引量
叶形图的广义连通度The Generalized Connectivity of Leaf-Sort Graphs
李红梅, 王世英 下载量: 249 浏览量: 419 国家自然科学基金支持
应用数学进展 Vol.12 No.6, June 30 2023, PDF, HTML, XML DOI:10.12677/AAM.2023.126300 被引量
基于局部特征移位网络的手部骨架动作识别Hand Skeleton Action Recognition Based on Local Feature Shift Network
田文浩, 陈俊洪, 钟经谋, 刘文印 下载量: 425 浏览量: 2,560
计算机科学与应用 Vol.12 No.8, August 5 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.128188 被引量
等能量树的新判定方法A New Criterion for Determining Equienergetic Trees
苏 柯, 申 悦 下载量: 119 浏览量: 1,046
运筹与模糊学 Vol.14 No.1, February 29 2024, PDF, HTML, XML DOI:10.12677/ORF.2024.141085 被引量
一类连通图的Tutte多项式The Tutte Polinomials of a Kind of Connected Graphs
祁 禄 下载量: 392 浏览量: 583
应用数学进展 Vol.12 No.2, February 28 2023, PDF, HTML, XML DOI:10.12677/AAM.2023.122074 被引量
超网络与知识超网络研究简述Research Review on Super-Network and Knowledge Super-Network
席运江, 杨茜, 廖晓 下载量: 1,068 浏览量: 3,685 科研立项经费支持
现代管理 Vol.9 No.4, August 29 2019, PDF, HTML, XML DOI:10.12677/MM.2019.94069 被引量
一种基于属性显著度的实体解析算法An Entity Resolution Algorithm Based on Attribute Salience
褚良旭, 李贵, 李征宇, 韩子扬, 曹科研 下载量: 579 浏览量: 1,280
数据挖掘 Vol.11 No.2, March 30 2021, PDF, HTML, XML DOI:10.12677/HJDM.2021.112004 被引量