找到2个数据集

标签: Theta

过滤结果

  • Lasallia_pustulata_Based_地衣真菌海拔梯度生物气候适应性分化研究数据

    2026年1月12日 30 48 46

    数据集概述 本数据集围绕地衣真菌Lasallia pustulata沿地中海海拔梯度的适应性分化展开，包含6个种群的基因组重测序数据及分析结果。通过检测高度分化的基因组区域、基因-环境关联，并结合生理实验验证，揭示其适应不同生物气候条件的遗传基础，涉及应激响应、环境适应及有性生殖相关基因。 文件详解 基因组分化与群体遗传分析文件...
    packageimg

  • Theta抽象验证并发C程序数据集

    2025年12月14日 30 124 71

    数据集概述 本数据集为论文“Verifying Concurrent C Programs with Abstraction in Theta”的配套数据，包含7篇PDF文档、1个压缩结果文件及1个Python代码文件，支撑并发C程序抽象验证研究。 文件详解 文档文件（.pdf格式，共7个）：...
    packageimg