找到2个数据集

标签: Minho大学

过滤结果

  • Micoteca_Based_Minho大学真菌标本馆采集者与鉴定者关联数据

    2026年1月20日 30 57 53

    数据集概述 本数据集包含Minho大学真菌标本馆（Micoteca da Universidade do Minho）的自然历史标本数据，关联了标本的采集者与鉴定者信息。数据由志愿者在Bionomia平台标注，基于全球生物多样性信息机构（GBIF）聚合的标本数据，以Frictionless Data数据包格式组织，共包含九个文件。 文件详解...
    packageimg

  • Alloy4Fun_Based_2022_23_学生形式化方法课程挑战模型数据集

    2026年1月15日 30 84 73

    数据集概述 本数据集包含2019年秋季至2023年春季期间，Minho大学和Porto大学学生在Alloy4Fun平台提交的形式化方法课程挑战模型，共约十万条记录。覆盖Trash FOL、Classroom FOL、Production line等11类挑战主题，涉及EM、MFES、MFS等多门硕士课程，用于教学评估与形式化方法研究。 文件详解...
    packageimg