-
Dryad_上传_单颗粒冷冻电镜云处理数据
2026年2月1日 30 172 137
数据集概述 本数据集为单颗粒冷冻电镜(cryo-EM)云处理相关数据,源自针对低成本、高性能云处理方案的研究。包含在亚马逊弹性云计算基础设施上构建的公开计算环境相关内容,支持创建多CPU规模的计算集群,可用于处理冷冻电镜数据,降低用户计算资源限制。 文件详解 文件名称:Cianfrocco_Leschziner_Dryad_Upload.zip...
-
SMT公式高效体积计算数据集KR_25
2025年12月13日 30 96 33
数据集概述 该数据集包含复现KR-25会议论文《Efficient Volume Computation for SMT Formulas》结果所需的必要数据,主要由基准测试数据和计算集群生成的日志文件组成,为验证SMT公式体积计算方法的效率提供数据支持。 文件详解 文件名称:benchmarks.zip 文件格式:ZIP压缩包...
-
SOWH测试自动化与评估数据集
2025年12月10日 30 195 110
数据集概述 本数据集围绕Swofford–Olsen–Waddell–Hillis(SOWH)测试的自动化与评估展开,包含测试分析相关的文档、命令说明及压缩文件,为研究SOWH测试在系统发育拓扑检验中的应用与优化提供数据支持。 文件详解...



