-
ICFP24_Based_代数效应与处理验证规范支持数据
2026年1月30日 30 198 50
数据集概述 本数据集是提交至ICFP24的论文《Specification and Verification for Unrestricted Algebraic Effects and Handling》的支持数据,包含论文相关的源代码和基准测试样例,所有内容压缩为一个归档文件。 文件详解 文件名称:AlgebraicEffect-...
-
基于先验估计的BME选择随机抽样数据集30_270
2025年12月24日 30 74 54
数据集概述 本数据集包含基于先验估计的BME选择随机抽样相关的统计数据、处理结果及运行记录。核心内容涉及BME、RE、IE等指标的数值数据、归一化结果可视化图表、运行时间记录等,为相关统计预测与数据处理研究提供支持。 文件详解 统计数据文件(CSV格式,共16个):...
-
未来条件指定与验证数据集
2025年12月6日 30 172 112
数据集概述 该数据集包含用于"未来条件指定与验证"工具的人工制品评估与试用资料,主要提供Docker镜像构建指南及实验结果复现方法,核心围绕医学CT相关的未来条件验证任务展开。 文件详解 文件名称: README.md 文件格式: MD (.md) 内容说明: 包含Docker镜像构建命令、实验结果复现步骤(如生成论文中Table 3的方法)...
-
Interaction_yTop1_Rpc82_Based_生物分子相互作用模型完整数据
2025年12月5日 30 94 68
数据集概述 本数据集围绕Interaction yTop1-Rpc82主题,包含三个压缩文件,涉及模型、医学CT等相关内容,具体数据内容需解压后查看。 文件详解 文件名称: Docking_interaction.zip,文件格式: ZIP,为存档文件,具体内容需解压后获取 文件名称: Top1_model.zip,文件格式:...



