-
Evonne_Based_IJCAR22交互式证明可视化系统资源数据
2026年1月25日 30 48 16
数据集概述 本数据集包含与论文《Evonne: Interactive Proof Visualization for Description Logics (System Description)》相关的资源，涉及Evonne工具的版本文件及实验所用数据与脚本，支持对描述逻辑交互式证明可视化工具的研究与应用。 文件详解 文件名称：evonne-...
-
Cold_Pools_Based_冷池减少森林砍伐对对流影响研究代码与数据
2026年1月21日 30 146 143
数据集概述 本数据集是与论文“Cold Pools Reduce the Impacts of Deforestation on Convection Initiation”相关的代码与数据打包文件，包含研究所需的全部资源，用于支持冷池对森林砍伐影响对流过程的研究分析，仅包含一个压缩文件。 文件详解 文件名称：for_zenodo.zip...
