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

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Lepanthes circularis Luer"
 ]
}

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

description: A dataset containing 5 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "GadmGid is IND.31_1",
 "OccurrenceStatus is Present",
 "TaxonKey is Clarias gariepinus (Burchell, 1822)"
 ]
}

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

description: A dataset containing 2834 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Draba lactea Adams"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Dianema repens G.Lister & Cran, 1925"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Lepanthes oblivia Luer"
 ]
}

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

description: A dataset containing 15773 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Iberis amara L."
 ]
}

 The dataset includes 15773 records from 510 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0170504-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.hrmuez
title: Occurrence Download

description: A dataset containing 24 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Eucalyptus globulus Labill.",
 "Geometry POLYGON((-102 15,-102 20,-94 20,-94 15,-102 15))",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 466 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Prototrichia metallica (Berk.) Massee, 1889"
 ]
}

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

description: A dataset containing 50 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-2.02786 44.89340,51.02786 44.89340,51.02786 66.10660,-2.02786 66.10660,-2.02786 44.89340))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Cephalcia alashanica Gussakovskij, 1935"
 ]
}

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

description: A dataset containing 557 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Conothraupis speculigera (Gould, 1855)"
 ]
}

 The dataset includes 557 records from 22 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0410426-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.bsqzvm
title: Occurrence Download

description: A dataset containing 52408 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Brazil",
 "Geometry POLYGON((-53.16602 -22.68807,-51.05451 -22.70176,-50.70105 -22.68167,-50.62597 -22.48459,-50.5938 -21.94427,-51.01076 -21.75255,-51.97125 -21.40888,-52.01237 -21.47598,-52.25263 -21.89372,-52.44526 -22.16644,-53.06429 -22.49327,-53.16602 -22.68807))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Animalia"
 ]
}

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

description: A dataset containing 45 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Sitta europaea persica Witherby, 1903"
 ]
}

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

description: A dataset containing 49 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Acipenser oxyrinchus Mitchill, 1815",
 "Geometry POLYGON((-79 34,-79 35,-77 35,-77 34,-79 34))",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 606 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Acacia pyrifolia DC."
 ]
}

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

description: A dataset containing 2413 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Literature based species occurrence data of birds of North-East India"
 ]
}

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

description: A dataset containing 20 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 2015",
 "Month is greater than or equal to January",
 "Country is India",
 "TaxonKey is Odonata"
 ]
}

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

description: A dataset containing 36 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Alpheus paraformosus Anker, Hurt & Knowlton, 2008"
 ]
}

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

description: A dataset containing 30 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Southern Ocean oligochaete occurrence data - a literature-based compilation"
 ]
}

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

description: A dataset containing 87 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Elasmoderus minutus Cigliano, Ronderos & Kemp, 1989"
 ]
}

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

description: A dataset containing 14566 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON ((-75.41015624999999 4.214943141390651, -76.81640625 0.9667509997666425, -79.716796875 -4.915832801313164, -78.046875 -9.96885060854611, -74.1796875 -14.944784875088372, -72.158203125 -15.623036831528252, -71.71875 -14.349547837185362, -74.53125 -11.867350911459294, -76.81640625 -7.798078531355303, -77.255859375 -4.302591077119676, -75.41015624999999 4.214943141390651))",
 "HasCoordinate is true",
 {
 "or" : [
 "TaxonKey is Centrolenidae",
 "TaxonKey is Hylidae",
 "TaxonKey is Anolis Daudin, 1802",
 "TaxonKey is Boidae",
 "TaxonKey is Craugastoridae",
 "TaxonKey is Mabuya Fitzinger, 1826"
 ]
 },
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 109 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Total foraminifera counts of multinet M21/2_MSN642"
 ]
}

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

description: A dataset containing 48892 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brachypodium rupestre (Host) Roem. & Schult.",
 "HasCoordinate is true",
 "Continent is Europe",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 2000",
 "CoordinateUncertaintyInMeters is less than 10000"
 ]
}

 The dataset includes 48892 records from 324 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0018486-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.cnm2q2
title: Occurrence Download

description: A dataset containing 34 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Marcgravia brachysepala Urb."
 ]
}

 The dataset includes 34 records from 11 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0170508-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.3w4d4y
title: Occurrence Download

description: A dataset containing 20 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.19_1",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Crepis crocea (Lam.) Babc."
 ]
}

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

description: A dataset containing 13868 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Fragaria ×ananassa (Weston) Rozier"
 ]
}

 The dataset includes 13868 records from 372 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0012790-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.4121/45d37292-cce5-4fb7-8d4e-a1b32cfa3028
title: Artifact for Paper: (Deductive verification of SYCL in VerCors)

description: Artifact for paper (Deductive verification of SYCL in VerCors) submitted to SEFM '24 conference. For a full description on how to use the artifact, please see the README.md file. The artifact contains a docker image of the VerCors tool (with SYCL support) and documentation.<br>Abstract of PaperSYCL is a C++ programming model for the development of heterogeneous programs. It uses the concept of kernels, where multiple instances of a computation are executed concurrently on a computing unit. This concurrency entails that the set of possible program behaviours can be of considerable size, which makes these programs error-prone. Formal verification could be used to ensure the correctness of all these possible program behaviours. However, there exist no formal verification tools for SYCL.In this paper, SYCL support is added to VerCors, a formal verification tool for concurrent software, by encoding SYCL constructs into VerCors’ internal language COL. To the extend of our knowledge, this is the first deductive verification tool for SYCL. We show how SYCL’s basic- and ND-range kernels are encoded, along with the encoding and challenges related to scheduling kernels and the execution order of those kernels. In addition, we discuss how SYCL’s buffers and data accessors are encoded, focusing on the challenges related to it, in particular enabling memory transfer between host and device. The usability of the added SYCL support and how it was evaluated are discussed as well.
DOI: 10.4121/45d37292-cce5-4fb7-8d4e-a1b32cfa3028.v1
title: Artifact for Paper: (Deductive verification of SYCL in VerCors)

description: Artifact for paper (Deductive verification of SYCL in VerCors) submitted to SEFM '24 conference. For a full description on how to use the artifact, please see the README.md file. The artifact contains a docker image of the VerCors tool (with SYCL support) and documentation.<br>Abstract of PaperSYCL is a C++ programming model for the development of heterogeneous programs. It uses the concept of kernels, where multiple instances of a computation are executed concurrently on a computing unit. This concurrency entails that the set of possible program behaviours can be of considerable size, which makes these programs error-prone. Formal verification could be used to ensure the correctness of all these possible program behaviours. However, there exist no formal verification tools for SYCL.In this paper, SYCL support is added to VerCors, a formal verification tool for concurrent software, by encoding SYCL constructs into VerCors’ internal language COL. To the extend of our knowledge, this is the first deductive verification tool for SYCL. We show how SYCL’s basic- and ND-range kernels are encoded, along with the encoding and challenges related to scheduling kernels and the execution order of those kernels. In addition, we discuss how SYCL’s buffers and data accessors are encoded, focusing on the challenges related to it, in particular enabling memory transfer between host and device. The usability of the added SYCL support and how it was evaluated are discussed as well.
DOI: 10.15468/dl.59dbmd
title: Occurrence Download

description: A dataset containing 18 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.19_1",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Bidens parviflora Willd."
 ]
}

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

description: A dataset containing 938 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Fraxinus cuspidata Torr."
 ]
}

 The dataset includes 938 records from 84 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0012796-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/4n49jv
title: Benthic otter trawl catch data, Porcupine Abyssal Plain, Northeast Atlantic Ocean, RRS Challenger Cruise 142, 1999.

description: These data record the results of processing otter trawl catches (OTSB14; Merrett & Marshall, 1980) from the National Oceanography Centre (NOC, UK) long-term study of the Porcupine Abyssal Plain (PAP), including the PAP-Sustained Observatory time-series. The data concern catches recovered during the RRS Challenger Cruise 142 in 1999. Billett, D.S.M. et al. (2000). RRS Challenger Cruise 142, 19 Apr-19 May 1999. Temporal and spatial variability of benthic communities at the Porcupine Abyssal Plain and in the Porcupine Seabight. Southampton Oceanography Centre Cruise Report, No. 30, 79pp.| https://www.bodc.ac.uk/resources/inventories/cruise_inventory/reports/ch142_99.pdf
DOI: 10.15468/dl.zweah4
title: Occurrence Download

description: A dataset containing 16 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.19_1",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Datura stramonium L."
 ]
}

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

description: A dataset containing 29 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.19_1",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Olgaea lomonossowii (Trautv.) Iljin"
 ]
}

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

description: A dataset containing 19 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.19_1",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Corispermum declinatum Stephan ex Steven"
 ]
}

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

description: A dataset containing 58 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.19_1",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Caryopteris mongholica Bunge"
 ]
}

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

description: A dataset containing 30 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.19_1",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Orostachys fimbriata (Turcz.) A.Berger"
 ]
}

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

description: A dataset containing 16367 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Canis aureus Linnaeus, 1758"
 ]
}

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

description: A dataset containing 109 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.19_1",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Thalictrum squarrosum Stephan ex Willd."
 ]
}

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

description: A dataset containing 8749 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Acacia mearnsii De Wild.",
 "Year 2018-2024"
 ]
}

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