-
经典规划领域无关实例生成代码与实验数据2025
2025年12月14日 30 19 6
数据集概述 本数据集包含2025年KR论文《Domain-Independent Instance Generation for Classical Planning》的配套资源，涵盖规划领域基准数据、实例生成器代码、实验各阶段日志及实验脚本，支撑论文研究的复现与扩展分析。 文件详解 benchmarks-inst-...
-
MPI_API使用要求契约验证研究复现数据集
2025年12月13日 30 120 88
数据集概述 本数据集包含论文《Verifying MPI API Usage Requirements with Contracts》中呈现的研究结果，以及用于复现这些结果的脚本，以压缩包形式提供，可通过解压后查看README.md获取详细信息。 文件详解 文件名称: Paper_Repro.zip 文件格式: ZIP压缩包 (.zip) 文件内容:...
-
考古学受控实验机械装置电子补充材料数据集
2025年12月13日 30 170 61
数据集概述 本数据集为考古学受控实验机械装置的电子补充材料，包含实验测试图像、实验脚本、设备规格及实验过程视频等内容，记录了不同机械装置（线性、旋转、撞击、振荡）的实验参数与结果，为考古实验方法研究提供支持。 文件详解 实验测试图像文件（ESM1.png）：PNG格式，包含Universal Robot UR5和inotec...
-
容器镜像可复现性问题分类论文实验数据脚本与结果
2025年12月13日 30 185 145
数据集概述 本数据集是论文《容器镜像可复现性问题分类》的补充工件，包含实验数据、脚本及结果，通过README.md提供复现步骤，辅助验证论文研究结论。 文件详解 README.md：Markdown格式文档，包含复现前提条件（如Docker、Python v3.11+）、克隆实验仓库的步骤及对应命令，指导用户复现差异结果 supplementary-...
-
TUS_MRI项目图像处理流程数据集
2025年12月12日 30 136 28
数据集概述 该数据集包含用于TUS-MRI项目神经影像数据预处理与分析的全部脚本，对应论文《用于人类深部脑回路精确神经调控的超声系统》。脚本按规划、在线、离线三种不同实验会话类型分类，为复现研究中的影像处理流程提供支持。 文件详解 文件名称: tus_mri_project-main.zip 文件格式: ZIP压缩包（.zip） 内容说明:...
-
CWSA_Model_Based_置信度感知模型评估完整数据
2025年12月11日 30 138 88
数据集概述 该数据集支持研究“Trust, or Don’t Predict: Introducing the CWSA Family for Confidence-Aware Model Evaluation”的发现，包含预处理的MNIST和CIFAR-10数据集、实验相关脚本或元数据，以及置信度分数等评估输出，用于确保研究的透明度与可重复性。...
-
可解释人工智能识别新型哺乳动物增强子及其表观遗传编码数据集
2025年12月10日 30 140 58
数据集概述 本数据集围绕可解释人工智能识别新型哺乳动物增强子及其表观遗传编码的研究展开，包含相关实验脚本、数据文件及软件测试文件，为研究表观遗传调控机制提供数据支持。 文件详解 该数据集包含三个压缩文件，具体说明如下： - 实验脚本文件: - Paper_scripts-main.zip: 压缩格式，可能包含研究论文相关的实验脚本文件。 -...
-
代数数据类型的快速理论探索程序变换可复现性包
2025年12月9日 30 126 73
数据集概述 本数据集是一个可复现性包，包含论文中提出的工具LemmaCalc、基准测试文件、TheSy二进制文件、适用于Linux系统的Z3二进制文件及实验复现脚本，支持论文中图表1的主要结果及算法1至3的实现验证。 文件详解 LICENSE: 无扩展名文件，包含数据集的许可协议说明。 README.md:...
-
论文_代码生成提示建议的迷思_配套实验材料
2025年12月5日 30 7 4
数据集概述 本数据集是论文《The Myth of Prompt Advice for Code Generation》的配套实验材料，包含支撑论文研究的实验数据、脚本及基础设施相关文件，以压缩包形式呈现。 文件详解 文件名称: experimental-data.zip 文件格式: ZIP压缩包 内容说明:...
