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

description: A dataset containing 5627 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "Country is Australia",
 "HasCoordinate is true",
 "TaxonKey is Anthochaera phrygia (Shaw, 1794)",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 6348 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Abutilon theophrasti Medik."
 ]
}

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

description: A dataset containing 2754 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Abies religiosa (Kunth) Schltdl. & Cham."
 ]
}

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

description: A dataset containing 4651 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "Continent is South America",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Sphagnum L."
 ]
}

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

description: A dataset containing 32390 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "Country is Guatemala",
 "TaxonKey is Aves"
 ]
}

 The dataset includes 32390 records from 69 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0002472-171219132708484/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.6084/m9.figshare.25634586
title: CAV'24 Artifacts paper4986

description: We propose StarFuzz, that allows F* ineractive theorem prover to provide better end-to-end assurance on the application— even when interfaced with the closed-box components. Verified code extracted from F* interface with external libraries containing real-life complexities—proprietary library calls, remote/cloud APIs, complex models like ML models, inline assembly, highly non-linear arithmetic, vector instructions etc. We refer to such functions/operations as closed-box components. These closed-box components are handled with the user assuming relevant lemmas about them. However, these assumed lemmas may be inconsistent due to (i) incorrect assumed specification and (ii) faulty implementation of closed-box components. To validate consistency of specification and implementation of such closed-box components, StarFuzz constructs a relevant verification condition including the closed-box components, and uses Sādhak under the hood to validate it. In our experiment, we have used StarFuzz to validate around 56 F* specifications used in many library calls that are used in F* proofs. In our collected benchmarks from F* repository, StarFuzz discovered four bugs—one bug that revealed an error on the assumed lemmas for a closed-box function, and three bugs in the external implementations of these components.
DOI: 10.15468/dl.dnbgs8
title: Occurrence Download

description: A dataset containing 111 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Alpinia boninsimensis Makino"
 ]
}

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

description: A dataset containing 2916 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "Country is Australia",
 "HasCoordinate is true",
 "TaxonKey is Pedionomus torquatus Gould, 1840",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 21 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON ((110.390625 -2.8991526985043006, 110.74218749999999 -1.3621763466641585, 113.203125 0.7470491450051796, 114.60937499999999 0.7909904981540058, 115.224609375 0.4394488164139768, 115.400390625 -0.615222552406841, 115.400390625 -1.8014609294680355, 114.9609375 -2.767477951092084, 114.47753906249999 -3.5572827265412794, 113.7744140625 -3.7765593098768635, 112.8515625 -3.6449998008920375, 111.70898437499999 -3.864254615721396, 110.478515625 -3.513421045640032, 110.390625 -3.074695072369682, 110.390625 -2.8991526985043006))",
 "TaxonKey is Pongo pygmaeus (Linnaeus, 1760)"
 ]
}

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

description: A dataset containing 857 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "TaxonKey is Larix gmelinii (Rupr.) Kuzen."
 ]
}

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

description: A dataset containing 795 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Netherlands",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Plebejus argus (Linnaeus, 1758)",
 "Year 1970-2000"
 ]
}

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

description: A dataset containing 3 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Pseudodisersus Brown, 1981",
 "Country is Colombia"
 ]
}

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

description: A dataset containing 706 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Oncorhynchus henshawi (Gill & Jordan, 1878)"
 ]
}

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

description: A dataset containing 4645 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Primates",
 "Country is Madagascar"
 ]
}

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

description: A dataset containing 1276 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is United States of America",
 "TaxonKey is Blennosperma Less."
 ]
}

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

description: A dataset containing 1234 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Oncorhynchus apache (Miller, 1972)"
 ]
}

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

description: A dataset containing 2312 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Netherlands",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Anthocharis cardamines (Linnaeus, 1758)",
 "Year 1970-2000"
 ]
}

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

description: A dataset containing 51333 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Taraxacum officinale Weber ex F.H.Wigg.",
 "HasGeospatialIssue is false",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 17626 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-194.38168 16.88730,-38.61832 16.88730,-38.61832 79.11270,-194.38168 79.11270,-194.38168 16.88730))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Bombus occidentalis Greene, 1858"
 ]
}

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

description: A dataset containing 51 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Libya",
 "DatasetKey is The reptiles and amphibians collection (RA) of the Muséum national d'Histoire Naturelle (MNHN - Paris)"
 ]
}

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

description: A dataset containing 2625 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "Country is Australia",
 "HasCoordinate is true",
 "TaxonKey is Neophema chrysogaster (Latham, 1790)",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 5548 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Athyrium yokoscense (Franch. & Sav.) Christ",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Country is Japan"
 ]
}

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

description: A dataset containing 5008 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Anoura geoffroyi Gray, 1838"
 ]
}

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

description: A dataset containing 2312 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Netherlands",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Anthocharis cardamines (Linnaeus, 1758)",
 "Year 1970-2000"
 ]
}

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

description: A dataset containing 20 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Roupala cearaensis Sleumer"
 ]
}

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

description: A dataset containing 134 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Alpheus hebes W.Kim & Abele, 1988"
 ]
}

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

description: A dataset containing 3280 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Pelamis platura Linnaeus, 1766"
 ]
}

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

description: A dataset containing 10659818 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Netherlands",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year 1970-2000"
 ]
}

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

description: A dataset containing 160 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Monttea chilensis var. taltalensis Reiche"
 ]
}

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

description: A dataset containing 4853 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Inventaire des espèces végétales du sous bois des plantations de Teck de la forêt naturelle de la Lama"
 ]
}

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

description: A dataset containing 4988 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "TaxonKey is Gallirallus australis (Sparrman, 1786)",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 36 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "BasisOfRecord is Observation",
 "BasisOfRecord is Literature Occurrence",
 "BasisOfRecord is Material sample",
 "BasisOfRecord is Human Observation",
 "BasisOfRecord is Machine Observation"
 ]
 },
 "Country is Canada",
 {
 "or" : [
 "TaxonKey is Fossaria alberta (F.C.Baker, 1919)",
 "TaxonKey is Doronomyrmex pocahontas Buschinger, 1979",
 "TaxonKey is Nearctodesmus boydi Chamberlin, 1951",
 "TaxonKey is Tamias minimus selkirki (Cowan, 1946)",
 "TaxonKey is Oxytropis campestris var. terrae-novae (Fernald) Barneby",
 "TaxonKey is Physa jennessi athearni A.H.Clarke, 1973",
 "TaxonKey is Plebejus saepiolus insulanus (Blackmore, 1921)",
 "TaxonKey is Polycentropus jenula Denning, 1966",
 "TaxonKey is Sorex palustris brooksi Anderson, 1934",
 "TaxonKey is Poa ammophila A.E.Porsild",
 "TaxonKey is Physa gyrina latchfordi (F.C.Baker, 1928)",
 "TaxonKey is Papilio brevicauda Saunders, 1869"
 ]
 }
 ]
}

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

description: A dataset containing 324 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Eriosyce islayensis (C.F.Först.) Katt."
 ]
}

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

description: A dataset containing 161 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Sclerosperma G.Mann & H.Wendl."
 ]
}

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

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Amphiesmoides ornaticeps (Werner, 1924)"
 ]
}

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

description: A dataset containing 517806 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Hylidae",
 "HasCoordinate is TRUE"
 ]
}

 The dataset includes 517806 records from 872 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0009619-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.5f74n3
title: Occurrence Download

description: A dataset containing 3733 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-115.73026 31.31626,-52.38558 31.31626,-52.38558 54.59463,-115.73026 54.59463,-115.73026 31.31626))",
 "HasCoordinate is true",
 "TaxonKey is Anagrapha falcifera W.Kirby, 1837"
 ]
}

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

description: A dataset containing 1878 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Photuris Dejean, 1833"
 ]
}

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

description: A dataset containing 534 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Globularia spinosa L."
 ]
}

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

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

 The dataset includes 24893 records from 144 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0117820-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.5fqmey
title: Occurrence Download

description: A dataset containing 3798859 species occurrences available in GBIF matching the query:
{
 "Country" : [
 "is Colombia"
 ]
}

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