cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.15156/bio/sh1388740.10fu
title: SH1388740.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.15156/bio/sh1388741.10fu
title: SH1388741.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.15156/bio/sh1388743.10fu
title: SH1388743.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.5281/zenodo.17441552
title: Replication Dataset for Provably Relevant HAL Interface Requirements for Embedded Systems

description: This archive contains the replication dataset for the REFSQ 2026 paper Provably Relevant HAL Interface Requirements for Embedded Systems.

The replication dataset includes the experimental results from the preliminary case study, specifically the source code of the application programs with annotated HAL functions, as well as the verification results produced by the software model checker Ultimate Automizer. The files are organized into directories for source code, verification results, and the configuration files and scripts needed to rerun the experiments.

A README.md file in the archive provides detailed instructions for viewing the source code of the application programs, accessing the verification results, and rerunning Ultimate Automizer to reproduce the verification outcomes. The dataset requires CMake (>= 3.10), GNU C Compiler, GNU Make, and Ultimate Automizer (0.3.0) for successful replication.
DOI: 10.5281/zenodo.18230292
title: Replication Dataset for Provably Relevant HAL Interface Requirements for Embedded Systems

description: This archive contains the replication dataset for the REFSQ 2026 paper Provably Relevant HAL Interface Requirements for Embedded Systems.

The replication dataset includes the experimental results from the preliminary case study, specifically the source code of the application programs with annotated HAL functions, as well as the verification results produced by the software model checker Ultimate Automizer. The files are organized into directories for source code, verification results, and the configuration files and scripts needed to rerun the experiments.

A README.md file in the archive provides detailed instructions for viewing the source code of the application programs, accessing the verification results, and rerunning Ultimate Automizer to reproduce the verification outcomes. The dataset requires CMake (>= 3.10), GNU C Compiler, GNU Make, and Ultimate Automizer (0.3.0) for successful replication.
DOI: 10.15156/bio/sh1388745.10fu
title: SH1388745.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.15156/bio/sh1388747.10fu
title: SH1388747.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.15156/bio/sh1388751.10fu
title: SH1388751.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.15156/bio/sh1388752.10fu
title: SH1388752.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.15468/dl.j5ezk3
title: Occurrence Download

description: A dataset containing 23366 species occurrences available in GBIF matching the query:
{
 "and" : [
 "VerbatimScientificName is Mimus longicaudatus",
 "BasisOfRecord is one of (Machine Observation, Human Observation)",
 "Year 2011-2021",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen, Specimen, Material citation, Material sample)"
 ]
 }
 }
 ]
}

 The dataset includes 23366 records from 6 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0076662-230530130749713/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.6kjz4t
title: Occurrence Download

description: A dataset containing 2351 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Picumnus limae E.Snethlage, 1924)",
 "BasisOfRecord is one of (Specimen, Human Observation, Observation, Machine Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 2351 records from 9 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0015683-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.xwkb65
title: Occurrence Download

description: A dataset containing 9197 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Icterus auricapillus Cassin, 1848)",
 "BasisOfRecord is one of (Specimen, Human Observation, Observation, Machine Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 9197 records from 87 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0006379-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.dab6x7
title: Occurrence Download

description: A dataset containing 8654 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "Continent is Europe",
 "Year is greater than 1978",
 "Year is less than 2014",
 "HasGeospatialIssue is false",
 "TaxonKey is Monticola saxatilis (Linnaeus, 1766)"
 ]
}

 The dataset includes 8654 records from 112 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0019266-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.kga9e8
title: Occurrence Download

description: A dataset containing 7427 species occurrences available in GBIF matching the query:
{
 "and" : [
 "VerbatimScientificName is Mimus parvulus",
 "BasisOfRecord is one of (Machine Observation, Human Observation)",
 "Year 2011-2021",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen, Specimen, Material citation, Material sample)"
 ]
 }
 }
 ]
}

 The dataset includes 7427 records from 5 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0076667-230530130749713/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.5ga5sb
title: Occurrence Download

description: A dataset containing 3039 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Quiscalus nicaraguensis Salvin & Godman, 1891)",
 "BasisOfRecord is one of (Specimen, Human Observation, Observation, Machine Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 3039 records from 10 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0006396-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.xe5ejh
title: Occurrence Download

description: A dataset containing 171271 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Zosterops japonicus Temminck & Schlegel, 1845)",
 "BasisOfRecord is one of (Specimen, Human Observation, Observation, Machine Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 171271 records from 72 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0015658-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.qhat92
title: Occurrence Download

description: A dataset containing 4864 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "Continent is Europe",
 "Year is greater than 1978",
 "Year is less than 2014",
 "HasGeospatialIssue is false",
 "TaxonKey is Phyteuma nigrum F.W.Schmidt"
 ]
}

 The dataset includes 4864 records from 94 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0019306-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.h47ste
title: Occurrence Download

description: A dataset containing 1620 species occurrences available in GBIF matching the query:
{
 "and" : [
 "VerbatimScientificName is Mimus melanotis",
 "BasisOfRecord is one of (Machine Observation, Human Observation)",
 "Year 2011-2021",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen, Specimen, Material citation, Material sample)"
 ]
 }
 }
 ]
}

 The dataset includes 1620 records from 5 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0076668-230530130749713/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.4q8p33
title: Occurrence Download

description: A dataset containing 5 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Alpinia illustris Ridl."
 ]
}

 The dataset includes 5 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0015684-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.m6wj2m
title: Occurrence Download

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Agrostophyllum beleense Ormerod"
 ]
}

 The dataset includes 4 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0006381-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.frggwd
title: Occurrence Download

description: A dataset containing 1956 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Phylloscartes difficilis (H.Ihering & R.Ihering, 1907))",
 "BasisOfRecord is one of (Specimen, Human Observation, Observation, Machine Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 1956 records from 6 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0019307-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.r6hq5h
title: Occurrence Download

description: A dataset containing 1319 species occurrences available in GBIF matching the query:
{
 "and" : [
 "VerbatimScientificName is Mimus macdonaldi",
 "BasisOfRecord is one of (Machine Observation, Human Observation)",
 "Year 2011-2021",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen, Specimen, Material citation, Material sample)"
 ]
 }
 }
 ]
}

 The dataset includes 1319 records from 5 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0076669-230530130749713/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.jzwxzh
title: Occurrence Download

description: A dataset containing 1850 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "Continent is Europe",
 "Year is greater than 1978",
 "Year is less than 2014",
 "HasGeospatialIssue is false",
 "TaxonKey is Conger conger (Linnaeus, 1758)"
 ]
}

 The dataset includes 1850 records from 69 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0015691-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.qwkpet
title: Occurrence Download

description: A dataset containing 14 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Agrostophyllum curvilabre J.J.Sm."
 ]
}

 The dataset includes 14 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0006397-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.88efrw
title: Occurrence Download

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Amesiella monticola Cootes & D.P.Banks"
 ]
}

 The dataset includes 4 records from 4 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0019319-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.qbabes
title: Occurrence Download

description: A dataset containing 31 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Bradypus torquatus Illiger, 1811",
 "Year 1826-2023"
 ]
}

 The dataset includes 31 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0015685-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.skg8q8
title: Occurrence Download

description: A dataset containing 94 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Alepocephalus bairdii Goode & Bean, 1879",
 "Year 2000-2023"
 ]
}

 The dataset includes 94 records from 12 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0076671-230530130749713/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.fh8z3k
title: Occurrence Download

description: A dataset containing 6 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Agrostophyllum compressum Schltr."
 ]
}

 The dataset includes 6 records from 4 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0006392-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.ub6bhz
title: Occurrence Download

description: A dataset containing 216 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Anas nesiotis (J.H.Fleming, 1935))",
 "BasisOfRecord is one of (Specimen, Human Observation, Observation, Machine Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 216 records from 6 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0019310-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.gxcmd2
title: Occurrence Download

description: A dataset containing 29 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Phyllanthus zeylanicus Müll.Arg."
 ]
}

 The dataset includes 29 records from 15 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0076679-230530130749713/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.x2s48s
title: Occurrence Download

description: A dataset containing 12060 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Picumnus albosquamatus d'Orbigny, 1840)",
 "BasisOfRecord is one of (Specimen, Human Observation, Observation, Machine Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 12060 records from 18 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0015675-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.5fym2r
title: Occurrence Download

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Agrostophyllum bilobolabellatum Gilli"
 ]
}

 The dataset includes 4 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0006384-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.