cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.15468/dl.6nunwd
title: Occurrence Download

description: A dataset containing 234 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Aglaeactis aliciae"
 ]
}

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

description: A dataset containing 490 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Crax globulosa",
 "DecimalLatitude is not null",
 "DecimalLongitude is not null"
 ]
}

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

description: A dataset containing 9685 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Senecio aquaticus, Senecio aquaticus, Senecio aquaticus, Senecio aquaticus, Jacobaea aquatica)",
 "Year is greater than or equal to 1900",
 "Geometry POLYGON ((8.643 46.99, 14.1 46.92, 14.43 50.75, 8.534 50.83, 8.643 46.99))",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "BasisOfRecord is one of (Observation, Human Observation, Machine Observation, Material sample)"
 ]
}

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

description: A dataset containing 1101 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Erioneuron avenaceum",
 "HasCoordinate is true",
 "BasisOfRecord is one of (Specimen)"
 ]
}

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

description: A dataset containing 6265 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Acinonyx jubatus (Schreber, 1775)"
 ]
}

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

description: A dataset containing 162 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Mexico",
 "Year 1899-2018",
 "HasCoordinate is true",
 "TaxonKey is Ursus americanus Pallas, 1780",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 32 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Spain",
 "TaxonKey is Oxytropis jabalambrensis (Pau) Podlech"
 ]
}

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

description: A dataset containing 1463 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Albizia saman (Jacq.) Merr."
 ]
}

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

description: A dataset containing 363 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Vachellia drepanolobium (Harms ex Y.Sjöstedt) P.J.H.Hurter"
 ]
}

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

description: A dataset containing 5 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Allium vineale subsp. vineale"
 ]
}

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

description: A dataset listing the 15 species recorded in GBIF matching the query:
{
 "and" : [
 "Country is Senegal",
 "TaxonKey is Porifera"
 ]
}

 The dataset's 15 records were derived from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0007822-210819072339941/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.aabjk8
title: Occurrence Download

description: A dataset containing 150 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Channa asiatica (Linnaeus, 1758))",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 4367 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-78.44238 36.76025,-72.99316 36.76025,-72.99316 40.23193,-78.44238 40.23193,-78.44238 36.76025))",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "TaxonKey is Channa argus (Cantor, 1842)",
 "Year 2000-2021"
 ]
}

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

description: A dataset containing 716 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Brassica oleracea var. gemmifera DC."
 ]
}

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

description: A dataset containing 575 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-100 17.5,-70 17.5,-70 40,-100 40,-100 17.5))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Maurolicus weitzmani Parin & Kobyliansky, 1993"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "ScientificName is spc",
 "HasGeospatialIssue is FALSE",
 "HasCoordinate is TRUE"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0320073-200613084148143/datasets/export for details.
DOI: 10.15468/dl.zd4g7r
title: Occurrence Download

description: A dataset listing the 1 species recorded in GBIF matching the query:
{
 "TaxonKey" : [
 "is Caesalpinia pluviosa var. peltophoroides (Benth.) G.P.Lewis"
 ]
}

 The dataset's 1 records were derived from 16 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0262503-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.zw3xqc
title: Occurrence Download

description: A dataset containing 22 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "TaxonKey is Trochalopteron yersini Robinson & Kloss, 1919",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 73 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Colombia",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Pimelodus yuma Villa-Navarro & Acero P., 2017",
 "Year 1971-2021"
 ]
}

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

description: A dataset containing 347695 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Chenopodium album L."
 ]
}

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

description: A dataset containing 43423 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Lynx lynx (Linnaeus, 1758)"
 ]
}

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

description: A dataset containing 2281 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Verbena brasiliensis Vell."
 ]
}

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

description: A dataset containing 1407 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Pseudemys nelsoni Carr, 1938",
 "HasCoordinate is True",
 "Country is United States of America",
 "Year is greater than or equal to 1960",
 "Year is less than or equal to 2020",
 "Month is greater than or equal to January",
 "Month is less than or equal to December",
 "HasGeospatialIssue is False",
 "DecimalLatitude is greater than or equal to 24.5",
 "DecimalLatitude is less than or equal to 49.5",
 "DecimalLongitude is greater than or equal to -125.0",
 "DecimalLongitude is less than or equal to -66.5"
 ]
}

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

description: A dataset listing the 9548 species recorded in GBIF matching the query:
{
 "DatasetKey" : [
 "is Herbario Amazónico Colombiano"
 ]
}

 The dataset's 9548 records were derived from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0007827-210819072339941/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.3ygdph
title: Occurrence Download

description: A dataset containing 12208 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ammi majus L."
 ]
}

 The dataset includes 12208 records from 362 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0292254-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15156/bio/sh0164565.10fu
title: SH0164565.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.14933560
title: Supplement for "Incremental Forward Reasoning for White-Box Proof Search"

description: Supplement to the paper "Incremental Forward Reasoning for White-Box Proof Search", submitted to CADE-30. Superseded by the TACAS 2026 version at https://doi.org/10.5281/zenodo.18188520.
DOI: 10.5281/zenodo.14933561
title: Supplement for "Incremental Forward Reasoning for White-Box Proof Search"

description: Supplement to the paper "Incremental Forward Reasoning for White-Box Proof Search", submitted to CADE-30. Superseded by the TACAS 2026 version at https://doi.org/10.5281/zenodo.18188520.
DOI: 10.5281/zenodo.18196780
title: Needs Assessment for USAID Independent Living Program 2021

description: The 2021 Needs Assessment for USAID Independent Living Program in Georgia surveyed people with disabilities and their caregivers to identify their most urgent needs. It focused on access to services (like personal assistance, psychological help, and vocational training), assistive devices (such as wheelchairs and hearing aids), and home adaptations. The goal was to inform future programs by highlighting gaps in support for independent living.

Needs Assessment for USAID Independent Living Program was conducted by Caucasus Research Resource Centers (CRRC) in 2021. The McLain Association for Children (MAC) Georgia, Coalition for Independent Living (CIL), and National Association of Local Government Authorities of Georgia (NALAG) are implementing the Independent Living Program in Georgia (ILPG). The Program aims, "To support independent living of persons with disabilities through evidence-based advocacy and sustainable service provision." It is conducted in six municipalities, including Lagodekhi, Telavi, Ozurgeti, Kutaisi, Zugdidi, and Batumi. CRRC Georgia carried out a needs assessment in each of the municipalities.

Population: Survey respondents were selected from the list that MAC and CIL provided.

Sample Design: Convenience sample

Sample Size: 707 respondents.

Response rate: 79.4%.

Survey mode: Computer-assisted telephone interview (CATI).

Interview languages: Georgian

Fieldwork Dates: September 9, 2021 to September 16, 2021.

Contact for more Information: crrc-geo@crrccenters.org
description: Published on Discuss Data, https://discuss-data.net/dataset/dd7e567a-1b6b-478e-868f-a937818fc72b/
description: Method(s) of data collection: Cati (Computer-Assisted Telephone Interviews), Quantitative Survey
DOI: 10.5281/zenodo.18196781
title: Needs Assessment for USAID Independent Living Program 2021

description: The 2021 Needs Assessment for USAID Independent Living Program in Georgia surveyed people with disabilities and their caregivers to identify their most urgent needs. It focused on access to services (like personal assistance, psychological help, and vocational training), assistive devices (such as wheelchairs and hearing aids), and home adaptations. The goal was to inform future programs by highlighting gaps in support for independent living.

Needs Assessment for USAID Independent Living Program was conducted by Caucasus Research Resource Centers (CRRC) in 2021. The McLain Association for Children (MAC) Georgia, Coalition for Independent Living (CIL), and National Association of Local Government Authorities of Georgia (NALAG) are implementing the Independent Living Program in Georgia (ILPG). The Program aims, "To support independent living of persons with disabilities through evidence-based advocacy and sustainable service provision." It is conducted in six municipalities, including Lagodekhi, Telavi, Ozurgeti, Kutaisi, Zugdidi, and Batumi. CRRC Georgia carried out a needs assessment in each of the municipalities.

Population: Survey respondents were selected from the list that MAC and CIL provided.

Sample Design: Convenience sample

Sample Size: 707 respondents.

Response rate: 79.4%.

Survey mode: Computer-assisted telephone interview (CATI).

Interview languages: Georgian

Fieldwork Dates: September 9, 2021 to September 16, 2021.

Contact for more Information: crrc-geo@crrccenters.org
description: Published on Discuss Data, https://discuss-data.net/dataset/dd7e567a-1b6b-478e-868f-a937818fc72b/
description: Method(s) of data collection: Cati (Computer-Assisted Telephone Interviews), Quantitative Survey
DOI: 10.15156/bio/sh0164566.10fu
title: SH0164566.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/sh0164567.10fu
title: SH0164567.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/sh0164568.10fu
title: SH0164568.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/sh0164569.10fu
title: SH0164569.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.