-
章鱼工具包_利用多样化子公式对SMT求解器进行模糊测试的文物
2026年1月29日 30 21 11
数据集概述 本数据集为Octopus工具的 artifacts 包，Octopus是用于检测SMT求解器可靠性漏洞的工具，通过多样化子公式模糊测试方法，已向Z3求解器提交10份有效漏洞报告，其中7份已确认或修复。数据集包含工具安装、使用说明及已发现的Z3漏洞列表。 文件详解 文件名称：octopus.zip 文件格式：ZIP...
-
COFFERS_Horizon2020_财政欺诈洗钱法律数据库
2026年1月28日 30 31 30
数据集概述 本数据集是Horizon 2020项目COFFERS的成果，耗时近两年构建，包含欧盟所有成员国关于逃税和洗钱的立法，以及各司法管辖区立法的法律起源等相关法律变量，助力监管机构获取权威法律信息。 文件详解 AML_Tax_Toolkit_Description_.docx 文件格式：DOCX...
-
agroBRIDGES_Based_SFSCs工具实践摘要数据集_v1
2026年1月22日 30 80 59
数据集概述 本数据集是agroBRIDGES项目框架下生成的实践摘要集合，采用EIP-AGRI通用格式。包含13份实践摘要，对应项目开发的12种面向短食品供应链（SFSCs）的实用工具及工具包本身，旨在为农业食品领域参与者提供可复用的项目成果，展示知识实施的价值与收益。 文件详解...
-
CYJAX_Based_Calabi_Yau度量数值近似精度数据_压缩包
2026年1月22日 30 181 8
数据集概述 本数据集包含论文“CYJAX: A package for Calabi-Yau metrics with JAX”中呈现的、通过CYJAX工具包实现的数值近似Calabi-Yau度量的精度数据，用于支撑相关研究结果验证与可视化。 文件详解 压缩包文件 文件名称：cyjax-examples-figures.zip 文件格式：ZIP...
-
MainstreamBIO_利益相关者调研_MIPs与工具包商业模式分析数据集2025_06_06_v1
2026年1月1日 30 25 6
数据集概述 本数据集为支持MIPs及工具包商业计划制定，通过调研与访谈收集利益相关者反馈，用于评估、优化及验证初步设计的商业模式。数据记录了利益相关者针对自身关注维度及市场适配性的具体评价，共包含1个文件。 文件详解 文件名称：MainstreamBIO_BM Analytics.xlsx 文件格式：XLSX...
-
Beyond_Volume_Supplementary_人类大脑几何遗传学研究补充数据与代码_v1_1_0
2025年12月31日 30 92 64
数据集概述 本数据集是论文“Beyond Volume: Unraveling the Genetics of Human Brain Geometry”的补充数据与代码，包含FUMA SNP-to-Gene输出结果、质量控制、拉普拉斯-...
-
nichevol_ecological_niche_evolution_生态位演化重建不确定性整合方法数据
2025年12月30日 30 174 14
数据集概述 本数据集包含用于重建生态位演化的方法框架相关数据，通过整合不确定性改进祖先状态重建，以解决物种生态位特征描述不足和依赖摘要统计的问题。提供新热带区拟黄鹂（Icterus spp.）生态位演化的实证案例，含温度、降水耐受性分析结果，以及相关工具包和文档。 文件详解 压缩包文件（Archive files）...
-
列支敦士登基础设施气候韧性评估数据启动工具包
2025年12月22日 30 141 35
数据集概述 本数据集是针对列支敦士登的基础设施气候韧性评估数据启动工具包，收集了全球开放数据集中与气候灾害、基础设施系统相关的提取数据，覆盖灾害、暴露度及背景信息等维度，为气候风险分析提供基础数据支持。 文件详解 文件名称: LIE.zip 文件格式: ZIP压缩包 内容说明:...
-
阿道夫_米卡尔森工具包中的特雷克鲁贝三维模型数据集
2025年12月20日 30 179 8
数据集概述 该数据集包含特雷克鲁贝（Treklubbe）的三维模型及预览图片。特雷克鲁贝来自挪威布斯克吕德郡托夫特的阿道夫·米卡尔森（生于1859年）的工具包，通过RealityCapture软件从246张图像重建生成。 文件详解...
-
COVID_19相关生物医学自然语言处理词典与标注语料库工具包
2025年12月13日 30 154 45
数据集概述 本数据集为生物医学自然语言处理任务提供工具包，包含COVID-19相关的英文词典、标注语料库及代码工作流。词典覆盖疾病、病毒、变异株等术语，用于从CORD-19数据集提取信息，构建大型银标准语料库，辅以人工标注的金标准语料库，支持命名实体识别等文本分析任务。 文件详解...
-
特征模型语义差异分析工具包
2025年12月12日 30 100 70
数据集概述 本数据集是用于分析特征模型语义差异的工具包，包含代码、测试脚本、评估数据及文档。核心基于命题逻辑和QSAT形式化定义，实现特征模型语义差异的分类与枚举，支持在标准化UVL格式工业模型上的评估。 文件详解 核心代码与工具文件： 上游仓库代码：来自booleguru、outercount、kissat等仓库的代码，用于特征模型处理与逻辑求解...
-
CHEMSMART化学模拟与建模自动化工具包高效计算化学工作流示例数据集
2025年12月11日 30 25 12
数据集概述 本数据集包含标题为“CHEMSMART: Chemistry Simulation and Modeling Automation Toolkit for High-Efficiency Computational Chemistry Workflows”的论文中所展示的工作流示例文件，为理解该工具包的应用流程提供数据支持。 文件详解...
-
Adolf_Mikalsen工具包中的Sotsnor数据集
2025年12月10日 30 115 14
数据集概述 该数据集包含Adolf Mikalsen（1869年生）工具包中的Sotsnor物品的三维重建数据，通过RealityCapture软件从302张图像生成，用于记录和展示该传统工具的数字化模型。 文件详解 文件名称：thumb0.jpeg、thumb1.jpeg、thumb2.jpeg、thumb3.jpeg、thumb4.jpeg...
-
精益研究启动评估数据集
2025年12月8日 30 152 100
数据集概述 本数据集围绕"精益研究启动"主题，包含评估研究问题实际相关性的工作坊数据、工具包、模板及调查数据，覆盖医疗CT等领域关键词，以压缩包、图片和表格格式存储，为研究问题实用性评估提供多类型支持。 文件详解 文件名称: Workshop Session Collected Data.zip，文件格式:...
-
空间引力波天文台杂散光分析数据集
2025年12月8日 30 48 18
数据集概述 本数据集关联于Wencai Xu等人的研究，包含空间引力波天文台杂散光分析的相关数据，涉及杂散光数据、噪声源数据，以及用于计算和绘制谱密度的工具包与代码，需参考readme.txt使用。 文件详解 文件名称: data.zip 文件格式: ZIP压缩包 内容说明:...
-
斯洛伐克基础设施气候韧性评估数据启动工具包
2025年12月8日 30 64 20
数据集概述 该数据集是针对斯洛伐克的基础设施气候韧性评估启动工具包，收集了全球开放数据集中与气候灾害、基础设施系统相关的提取数据，覆盖灾害、暴露和背景信息三类内容，为气候风险分析提供基础数据支持。 文件详解 文件名称: SVK.zip 文件格式: ZIP压缩包 内容说明:...
-
UKRI净零数字研究基础设施范围界定项目技术报告互动建议与行动清单
2025年12月7日 30 127 125
数据集概述 该数据集提供英国研究与创新署（UKRI）净零数字研究基础设施范围界定项目的互动式建议与行动清单，包含三种格式文件，支持按证据类型、交付路径等维度筛选，映射建议与战略主题、路线图行动的关联。 文件详解 文件名称：Interactive recommendations list for technical report.csv，文件格式：CSV...
-
MORTY调式识别与主音识别工具包实验数据集
2025年12月7日 30 158 133
数据集概述 本数据集为论文《MORTY: A Toolbox for Mode Recognition and Tonic Identification》的配套实验数据，包含调式识别与主音识别任务的训练测试集、特征、结果及评估文件，基于分层10折方案划分数据，支持相关音乐计算研究。 文件详解 压缩文件:...
-
棕熊遗传多样性校准与比较研究数据集
2025年12月6日 30 8 4
数据集概述 该数据集以棕熊为案例，提供了利用参考种群校准不同研究遗传多样性结果的方法验证数据。包含斯洛文尼亚513只棕熊的20个微卫星位点基因型数据，以及用于校准和比较全球30个棕熊种群遗传多样性的工具文件，支持跨研究的遗传多样性指标对比分析。 文件详解 说明文档类：...
-
SPLC_25论文Pick_Me_样本质量评估工具与数据
2025年12月5日 30 192 37
数据集概述 本数据集为SPLC'25收录论文《Pick Me: Judging Sample Quality with Binary Decision Diagrams》的评估工具与原始数据，可复现论文全部图表结果，支持新增输入模型的结果复现，包含文档、工具包等文件。 文件详解 文件名称：README.md，格式：Markdown...
