-
Korn软件验证工具SV_COMP2023竞赛后评估数据集
2025年12月22日 30 187 104
数据集概述 本数据集记录了Korn软件验证工具在SV-COMP2023竞赛后的实验结果。Korn工具基于Horn子句求解器（如Z3、Eldarica）自动推断正确性证书，数据集包含竞赛相关的结果文件、表格数据及文档，为评估工具性能提供支持。 文件详解 结果文件（.bz2格式）：共十个压缩文件，包含不同日期和类别的SV-...
-
斯洛伐克食品和饲料中化学污染物国家检测项目结果数据集
2025年12月22日 30 84 70
数据集概述 本数据集包含斯洛伐克依据国家检测项目开展的食品和饲料化学污染物监测结果，涵盖2020至2024年数据收集周期、按采样年份分类的污染物检测数据，为食品饲料安全风险评估提供实证支持。 文件详解 压缩文件（共十五个，格式为ZIP）：...
-
DIC_C2DH_HeLa_Based_细胞图像分析数据集完整归档文件
2025年12月22日 30 165 103
数据集概述 本数据集包含一个名为DIC-C2DH-HeLa.zip的压缩文件，未提供具体内容描述，文件类型单一，为归档文件。 文件详解 文件名称: DIC-C2DH-HeLa.zip 文件格式: ZIP（.zip） 文件内容: 压缩归档文件，未提供内部文件结构及字段信息 适用场景 生物医学图像分析: 若包含细胞图像数据，可用于细胞追踪、分割等研究...
-
双叶片与三叶片风力机尾流中的涡旋相互作用数据集
2025年12月22日 30 148 6
数据集概述 该数据集记录了双叶片与三叶片风力机的转子设计规格及实验结果，基于《双叶片与三叶片风力机尾流中的涡旋相互作用》一文，为研究风力机尾流涡旋特性提供数据支持。 文件详解 Exp_results_data.zip：压缩文件，包含风力机尾流涡旋相互作用的实验结果数据...
-
MoMA馆藏自动更新数据集2025_08_19
2025年12月22日 30 106 70
数据集概述 该数据集为MoMA馆藏自动更新的相关数据，包含一个2025年8月19日的压缩文件，可能涉及馆藏资源的更新信息，但未提供具体内容预览。 文件详解 文件名称：collection-v2025-08-19.zip 文件格式：ZIP压缩包 内容说明：未提供文件内部字段或内容预览，推测为MoMA馆藏相关的归档数据 适用场景...
-
三阴性乳腺癌数据集扩展_脑切片与细胞类型数据集
2025年12月22日 30 36 18
数据集概述 本数据集是三阴性乳腺癌（TNBC）数据集的扩展，补充了细胞类型标注信息，同时新增18张来自TCGA的脑切片标注图像。数据未正式发表，使用需引用指定论文，包含3个压缩文件。 文件详解 TNBC_and_Brain_dataset.zip：ZIP格式压缩文件，包含扩展后的TNBC数据集及新增脑切片图像的基础数据...
-
四川盆地夏季干旱研究的DRM_Fortran代码与处理结果数据集
2025年12月22日 30 48 40
数据集概述 本数据集包含用于四川盆地夏季干旱研究的DRM Fortran代码及相关处理结果，以压缩文件形式存储，为该区域干旱研究提供代码工具与结果数据支持。 文件详解 文件名称: DRM_program.zip 文件格式: ZIP压缩包（.zip） 内容说明: 压缩包内包含DRM...
-
扭曲三层石墨烯中门可调双穹顶超导数据集
2025年12月22日 0 69 52
数据集概述 本数据集围绕扭曲三层石墨烯中的门可调双穹顶超导现象展开，包含相关研究的核心数据，以压缩文件形式存储，为探究该材料的超导特性提供数据支持。 文件详解 文件名称: data.zip 文件格式: ZIP (.zip) 内容说明: 压缩包内包含与扭曲三层石墨烯门可调双穹顶超导相关的研究数据，具体内容需解压后查看。 适用场景 凝聚态物理研究:...
-
Araguatins电离层地磁暴观测数据集2024
2025年12月22日 30 145 16
数据集概述 本数据集包含 Araguatins 站在2024年5月11-12日地磁超级风暴期间的电离层观测数据，核心记录午夜时段的扩展F层（Range Spread-F）和多F层分层现象，支撑相关研究论文的实证分析。 文件详解 文件名称: Ionograma_2024_05_Ara_MD3.zip 文件格式: ZIP (.zip) 内容说明:...
-
University_Hospital_Leipzig_NeuroLF_Hoffman_Based_神经影像数据集基础数据
2025年12月22日 30 13 12
数据集概述 本数据集为NeuroLF Hoffman数据集，由单一压缩文件构成，未提供文件内部内容预览，未划分训练/测试集、数据/标签集或原始/处理数据集，整体结构简洁。 文件详解 文件名称：NeuroLF_Hoffman_Dataset.zip 文件格式：ZIP压缩包（.zip） 内容说明：未提供压缩包内具体文件及字段信息，需解压后查看 数据来源...
-
IODP探险397地层对比数据集
2025年12月21日 30 59 32
数据集概述 本数据集为IODP探险397的地层对比研究资料，包含用于地层相关性分析的仿射文件和拼接文件，通过调整钻孔岩心位置与合并不同钻孔区间，实现多钻孔数据的对齐与连续化展示。 文件详解 CORRELATION-README.txt：文本格式说明文档，解释仿射文件（提供岩心位置偏移信息）和拼接文件（合并多钻孔区间形成连续岩心数据）的用途与内容。...
-
IODP第355次考察地层对比数据集
2025年12月21日 30 76 31
数据集概述 本数据集为IODP第355次考察的地层对比研究成果，包含用于地层对比的仿射文件和拼接文件，旨在实现不同钻孔间岩心数据的对齐与整合，提供连续的岩心信息，支持地层相关研究。 文件详解 文件名称: CORRELATION-...
-
无序Kitaev链长程配对与外部浴耦合相图数据集
2025年12月21日 30 8 3
数据集概述 本数据集包含了论文《无序Kitaev链长程配对与外部浴耦合相图》中所有图表的原始数据。Kitaev链是描述一维拓扑超导体的理论模型，本数据聚焦于其在无序、长程配对及外部浴耦合条件下的相图研究。 文件详解 该数据集仅包含一个压缩文件，具体说明如下： - 文件名称: Data.zip - 文件格式: ZIP (.zip) - 内容说明:...
-
欧洲建筑脆弱性数据存储库
2025年12月21日 30 8 0
数据集概述 该数据集是欧洲地震风险模型2020（ESRM20）的一部分，包含欧洲建筑脆弱性数据库。数据以压缩文件形式存储，为研究欧洲建筑存量的地震脆弱性评估提供数据支持。 文件详解 文件名称: hcrowley/esrm20_vulnerability-v2.1.zip 文件格式: ZIP (.zip) 文件内容:...
-
中文隐喻语料库
2025年12月21日 30 194 38
数据集概述 该数据集为中文隐喻语料库，包含一个压缩文件，未提供训练/测试、数据/标签、原始/处理数据的划分，主要用于隐喻相关的自然语言处理研究与应用。 文件详解 文件名称: ChineseMetaphorCorpus-metaphor.zip 文件格式: ZIP（压缩文件） 内容说明:...
-
CETAF_DiSSCo_COVID19_TAF生物多样性相关知识中心工作组_索引生物相互作用与综述摘要数据集2020
2025年12月21日 30 192 76
数据集概述 本数据集是CETAF与DiSSCo联合发起的COVID19-TAF生物多样性知识中心工作组的成果，包含2020年4月至10月期间通过该工作组活动识别并由GloBI索引的生物相互作用数据，以及相关的综述摘要文件，为研究COVID-19相关生物多样性关联提供支持。 文件详解 该数据集包含多个文件，具体说明如下： - 综述摘要与统计文件： -...
-
大沼泽地涉禽数据集1_89_0
2025年12月21日 30 133 16
数据集概述 本数据集为大沼泽地涉禽相关的归档文件，版本号为1.89.0，包含1个压缩文件，未检测到训练/测试、数据/标签或原始/处理等数据划分结构，整体目录深度为1级。 文件详解 文件名称: weecology/EvergladesWadingBird-1.89.0.zip 文件格式: ZIP (.zip) 内容说明:...
-
Riff_Diff设计的催化阵列数据集_逆羟醛与Morita_Baylis_Hillman反应
2025年12月21日 30 192 137
数据集概述 该数据集围绕Riff-Diff设计的催化阵列展开，聚焦逆羟醛反应与Morita-Baylis-Hillman反应相关的催化研究数据，以压缩文件形式存储，为相关化学反应的催化机制研究提供数据支持。 文件详解 文件名称：catalytic_arrays.zip 文件格式：ZIP（.zip）...
-
基于CEGAR的组合优化模量化线性算术问题求解方法_代码与附录
2025年12月21日 30 29 6
数据集概述 本数据集包含发表于AAAI 2024的论文配套材料，核心为基于CEGAR方法求解组合优化模量化线性算术问题的技术附录、代码及基准测试生成数据，为相关算法研究提供可复现的技术支持。 文件详解 文件名称：technical-appendix.pdf，文件格式：PDF，内容为论文的技术附录文档，提供研究方法的详细补充说明...
-
媒体识别与基于身份的复员文章复现数据集
2025年12月21日 30 210 68
数据集概述 本数据集是用于复现“媒体识别与基于身份的复员”相关文章的研究数据，包含一个压缩格式的文件，为相关研究的可重复性验证提供数据支持。 文件详解 文件名称: Data_directory.zip 文件格式: ZIP压缩文件 内容说明: 该压缩文件包含复现相关文章所需的全部数据，具体内容需解压后查看，无额外预览信息 适用场景 学术研究复现:...
