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

description: A dataset containing 265 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Stevia polycephala Bertol."
 ]
}

 The dataset includes 265 records from 40 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0144254-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.x5enxb
title: Occurrence Download

description: A dataset containing 309 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Sonchus acaulis Dum.Cours.",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 309 records from 18 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0260680-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.x3mbk9
title: Occurrence Download

description: A dataset containing 111 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Solms-laubachia eurycarpa (Maxim.) Botsch."
 ]
}

 The dataset includes 111 records from 19 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0137341-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.e6pptd
title: Occurrence Download

description: A dataset containing 91 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "TaxonKey is Psammosilene tunicoides W.C.Wu & C.Y.Wu"
 ]
}

 The dataset includes 91 records from 19 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0260335-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.hverkw
title: Occurrence Download

description: A dataset containing 94 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "TaxonKey is Bulbophyllum affine Lindl."
 ]
}

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

description: A dataset containing 1120 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Candida parapsilosis (Ashford) Langeron & Talice"
 ]
}

 The dataset includes 1120 records from 42 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0405076-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.56h76t
title: Occurrence Download

description: A dataset containing 1319 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Pleurotus djamor (Rumph. ex Fr.) Boedijn"
 ]
}

 The dataset includes 1319 records from 83 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0144246-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.9qn9vm
title: Occurrence Download

description: A dataset containing 16 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Solms-laubachia pumila (Kurz) F.Dvořák",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 16 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0260683-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.m38jzd
title: Occurrence Download

description: A dataset containing 337648 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Nigerian Bird Atlas Project (Adhoc Records)"
 ]
}

 The dataset includes 337648 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0144197-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.44epvt
title: Occurrence Download

description: A dataset containing 3750807 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "Year 1990-2023"
 ]
}

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

description: A dataset containing 1350 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "TaxonKey is Delilia biflora (L.) Kuntze",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 30874 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Zamenis longissimus (Laurenti, 1768)"
 ]
}

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

description: A dataset containing 1311 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Sporobolus cryptandrus (Torr.) A.Gray",
 "BasisOfRecord is one of (Specimen)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Continent is North America"
 ]
}

 The dataset includes 1311 records from 24 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0177213-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.qngq4j
title: Occurrence Download

description: A dataset containing 6122 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Year 1990-2018",
 "TaxonKey is Lithobates sphenocephalus (Cope, 1886)"
 ]
}

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

description: A dataset containing 209 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Tridens strictus (Nutt.) Nash",
 "BasisOfRecord is one of (Specimen)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Continent is North America"
 ]
}

 The dataset includes 209 records from 9 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0177222-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.atvy4f
title: Occurrence Download

description: A dataset containing 54 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Canthophrys gongota (Hamilton, 1822)"
 ]
}

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

description: A dataset containing 2109 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Year 1997-2018",
 "TaxonKey is Ochotona princeps (Richardson, 1828)"
 ]
}

 The dataset includes 2109 records from 17 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0028161-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.73bwpr
title: Occurrence Download

description: A dataset containing 78382 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Cacomantis variolosus (Vigors & Horsfield, 1827)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 }
 ]
}

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

description: A dataset containing 271 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Navarretia intertexta (Benth.) Hook.",
 "BasisOfRecord is one of (Specimen)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Continent is North America"
 ]
}

 The dataset includes 271 records from 8 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0177243-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.yfuo5x
title: Occurrence Download

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "TaxonKey is Dendrophorbium fastigiaticephalum (Cabrera) C.Jeffrey",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 178 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Sphenopholis nitida (Biehler) Scribn.",
 "BasisOfRecord is one of (Specimen)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Continent is North America"
 ]
}

 The dataset includes 178 records from 9 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0177205-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.6pzgvn
title: Occurrence Download

description: A dataset containing 53 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Parametopella cypris Holmes, 1905",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 {
 "not" : {
 "BasisOfRecord" : [
 "is Fossil"
 ]
 }
 },
 {
 "or" : [
 {
 "not" : {
 "EstablishmentMeans" : [
 "is MANAGED"
 ]
 }
 },
 {
 "not" : {
 "EstablishmentMeans" : [
 "is not null"
 ]
 }
 }
 ]
 },
 {
 "or" : [
 "OccurrenceStatus is Present",
 {
 "not" : {
 "OccurrenceStatus" : [
 "is not null"
 ]
 }
 }
 ]
 }
 ]
}

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

description: A dataset containing 32 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 {
 "or" : [
 "Country is Tanzania, United Republic of",
 "Country is Kenya"
 ]
 },
 "Month is September",
 "HasCoordinate is true",
 "TaxonKey is Connochaetes taurinus (Burchell, 1823)",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 36434 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((25.57617 35.29345,45.49805 35.29345,45.49805 42.4883,25.57617 42.4883,25.57617 35.29345))",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Absent"
 ]
}

 The dataset includes 36434 records from 4 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0183074-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.mi18wh
title: Occurrence Download

description: A dataset containing 2264 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "TaxonKey is Lophostoma d'Orbigny, 1836"
 ]
}

 The dataset includes 2264 records from 71 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0028201-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.mtwj7r
title: Occurrence Download

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Anthurium palmitasense Croat"
 ]
}

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

description: A dataset containing 96 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Asparagus neglectus Kar. & Kir."
 ]
}

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

description: A dataset containing 32171 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Pecari tajacu (Linnaeus, 1758)"
 ]
}

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

description: A dataset containing 382273 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((25.57617 35.29345,45.49805 35.29345,45.49805 42.4883,25.57617 42.4883,25.57617 35.29345))",
 "HasGeospatialIssue is false",
 "Year 2019-2021"
 ]
}

 The dataset includes 382273 records from 46 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0183079-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.5fafcg
title: Occurrence Download

description: A dataset containing 871 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Costus lasius Loes."
 ]
}

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

description: A dataset containing 49 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 {
 "or" : [
 "Country is Tanzania, United Republic of",
 "Country is Kenya"
 ]
 },
 "Month is August",
 "HasCoordinate is true",
 "TaxonKey is Connochaetes taurinus (Burchell, 1823)",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 49 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0028162-181108115102211/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34740/kaggle/dsv/8093718
title: Daily Public Opinion on Israel-Palestine War
DOI: 10.15468/dl.565fmp
title: Occurrence Download

description: A dataset containing 11918 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "Country is United Kingdom of Great Britain and Northern Ireland",
 "Country is Ireland"
 ]
 },
 "TaxonKey is Panurus biarmicus (Linnaeus, 1758)"
 ]
}

 The dataset includes 11918 records from 59 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0187351-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.q3fbpq
title: Occurrence Download

description: A dataset containing 126 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Bignonia phellosperma (Hemsl.) L.G.Lohmann"
 ]
}

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

description: A dataset containing 51 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Acianthera panduripetala (Barb.Rodr.) Pridgeon & M.W.Chase"
 ]
}

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

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 }
 ]
 },
 "TaxonKey is Piliocolobus preussi Matschie, 1900"
 ]
}

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

description: A dataset containing 1020 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Cedrela fissilis Vell."
 ]
}

 The dataset includes 1020 records from 99 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0187357-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.iz0e4w
title: Occurrence Download

description: A dataset containing 47 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 {
 "or" : [
 "Country is Kenya",
 "Country is Tanzania, United Republic of"
 ]
 },
 "Month is July",
 "HasCoordinate is true",
 "TaxonKey is Connochaetes taurinus (Burchell, 1823)",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 6 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Astiella desseinii Groeninckx"
 ]
}

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

description: A dataset containing 6 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "Country is India",
 "DatasetKey is Herbarium of the French Institute of Pondicherry",
 "TaxonKey is one of (Shorea robusta, Shorea robusta)"
 ]
}

 The dataset includes 6 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0049293-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1a
title: [Artifact] Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems

description: This is the artifact for the paper <em>Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems</em>. It contains a version of the VerCors verifier and case studies for verification of SystemC designs. Each case study contains detailed instructions on transforming the SystemC source code to PVL, optimizing the PVL program and encoding properties, generating an invariant with VerCors and verifying the resulting system. All data is available in a prepackaged VM as well as separately in a .zip archive. Both username and password to the VM is "artifact".
DOI: 10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1a.v3
title: [Artifact] Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems

description: This is the artifact for the paper <em>Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems</em>. It contains a version of the VerCors verifier and case studies for verification of SystemC designs. Each case study contains detailed instructions on transforming the SystemC source code to PVL, optimizing the PVL program and encoding properties, generating an invariant with VerCors and verifying the resulting system. All data is available in a prepackaged VM as well as separately in a .zip archive. Both username and password to the VM is "artifact".
DOI: 10.34816/ifao.archives.213952
title: FONDS SERGE SAUNERON_nb_1964_02988

description: Référence : nb_1964_02988<br />Site : Esna<br />Secteur : Salle hypostyle (Temple de Khnoum); Temple de Khnoum<br />Type : photographie<br />