-
自主机器人形式化模型保障案例演进补充材料
2025年12月22日 30 51 46
数据集概述 本数据集为论文《自主机器人形式化模型保障案例演进》的补充材料，包含保障案例模式的详细说明、Isabelle/SACM实现、实例化内容及相关Isabelle脚本，为理解论文核心内容提供补充支持。 文件详解 文件名称: main-suppl.pdf 文件格式: PDF (.pdf) 文件内容: 包含论文相关的补充材料，具体涵盖：...
-
PhyloBayes_MPI系统发育重建研究数据集
2025年12月21日 30 183 117
数据集概述 本数据集围绕PhyloBayes MPI展开，该工具通过并行环境下的无限混合模型实现系统发育重建，结合Dirichlet过程混合模型、经典经验矩阵及有限混合模型，提升计算效率，支持复杂混合模型下的快速系统发育分析。 文件详解 文件名称: LartillotSB2013suppmat.pdf 文件格式: PDF (.pdf) 文件内容:...
-
ServLessSense无服务器代码异味检测工具及相关研究数据集
2025年12月18日 30 96 43
数据集概述 本数据集包含ServLessSense无服务器代码异味检测工具的源代码及相关研究数据，该研究已被2025年第19届欧洲软件架构会议（ECSA 2025）接收，为无服务器应用代码异味检测研究提供支持。 文件详解 README.md: 文档格式，说明仓库结构，包括工具模块（仪表盘、OpenAI...
-
AI在销售优化与自动化应用数据集
2025年12月14日 30 145 64
数据集概述 该数据集包含一份关于AI在销售优化与自动化领域应用的文档，聚焦于利用人工智能技术提升销售流程效率与效果的相关内容，为研究销售自动化技术应用提供参考资料。 文件详解 文件名称：Abdullakhuja Kodirov Ravshankhuja Ugli.pdf 文件格式：PDF（.pdf）...
-
单细胞RNA测序高变基因选择方法系统评估数据集
2025年12月11日 30 182 155
数据集概述 本数据集围绕单细胞RNA测序中高变基因选择方法的系统评估展开，核心为相关的源代码文件，为研究不同高变基因选择算法的性能与适用性提供技术实现支持。 文件详解 文件名称: Source_code_mixhvg.zip 文件格式: ZIP压缩包（.zip） 内容说明:...
-
InsightQL辅助模糊测试工具实现与查询数据集
2025年12月10日 30 116 102
数据集概述 本数据集包含InsightQL工具的实现文件与评估查询，InsightQL是用于推进人机协同模糊测试的工具，基于统一代码数据库和参数化查询接口设计。数据集以压缩包形式提供VS Code插件、后端辅助函数及评估用查询文件。 文件详解 文件名称: extend-vscode-codeql.zip 文件格式: ZIP压缩包 内容说明: VS...
-
SECO_RCR软件生态系统需求变更管理工具演示数据集
2025年12月5日 30 81 63
数据集概述 本数据集包含SECO-RCR工具的演示材料，该工具用于管理软件生态系统中的需求变更。数据集由演示视频和PDF文档组成，为了解SECO-RCR工具的功能和应用场景提供直观资料。 文件详解 文件名称: SECO-RCR tool demonstration_2.mp4 文件格式: MP4 内容说明: SECO-...
