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

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

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

description: A dataset containing 317 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Distaplia occidentalis Bancroft, 1899",
 "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 317 records from 21 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0049504-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.f2mu3c
title: Occurrence Download

description: A dataset containing 23197 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Ramphastos toco P.L.S.Müller, 1776",
 "Year 2010-2021"
 ]
}

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

description: A dataset containing 192 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ceanothus divergens Parry"
 ]
}

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

description: A dataset containing 15 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Euphorbia louwii L.C.Leach"
 ]
}

 The dataset includes 15 records from 5 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000710-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.666c35
title: Occurrence Download

description: A dataset containing 1416 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Atrichornis clamosus (Gould, 1844)"
 ]
}

 The dataset includes 1416 records from 32 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0034607-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.10956082
title: Formalising a Gateway-based Blockchain Interoperability Solution with Event-B (Replication package)

description: This repository holds the artefacts that raised the results of our first paper Formalising a Gateway-based Blockchain Interoperability Solution with Event-B to be presented at the ICBC Cross-chain workshop.

In this paper, we explore the formalisation of a gateway-based interoperability solution with Event-B. The results showed that the method was suitable and that a straightforward specification could be developed considering Ethereum and Hyperledger Fabric as the involved blockchains. The Event-B specification was assessed with three strategies that enabled its verification and validation. In particular, formal verification (e.g. safety properties), functional validation, and functional utility. These promising results constitute a step forward in the development of formal specifications for blockchain interoperability solutions.

The artefacts generated in this research were:



An Event-B specification of the gateway-based interoperability solution proposed by Pandolfi et al.. This specification is composed of three machines: an abstract machine and two refinements. One refinement describes the behaviour of the gateway and smart contracts involved when the source blockchain is Ethereum and the target blockchain is Hyperledger Fabric. The second refinement describes the behaviour of the gateway and smart contracts when the source is Hyperledger Fabric and the target Ethereum.

Animations of the three specifications (i.e. abstract and refinements) that enabled us to validate the functional behaviour of the specification and provided the means to understand the gateways' behaviour without Event-B knowledge.

An Event-B specficiation of a use case scenario that shows the utility of the specification.
DOI: 10.5281/zenodo.10956083
title: Formalising a Gateway-based Blockchain Interoperability Solution with Event-B (Replication package)

description: This repository holds the artefacts that raised the results of our first paper Formalising a Gateway-based Blockchain Interoperability Solution with Event-B to be presented at the ICBC Cross-chain workshop.

In this paper, we explore the formalisation of a gateway-based interoperability solution with Event-B. The results showed that the method was suitable and that a straightforward specification could be developed considering Ethereum and Hyperledger Fabric as the involved blockchains. The Event-B specification was assessed with three strategies that enabled its verification and validation. In particular, formal verification (e.g. safety properties), functional validation, and functional utility. These promising results constitute a step forward in the development of formal specifications for blockchain interoperability solutions.

The artefacts generated in this research were:



An Event-B specification of the gateway-based interoperability solution proposed by Pandolfi et al.. This specification is composed of three machines: an abstract machine and two refinements. One refinement describes the behaviour of the gateway and smart contracts involved when the source blockchain is Ethereum and the target blockchain is Hyperledger Fabric. The second refinement describes the behaviour of the gateway and smart contracts when the source is Hyperledger Fabric and the target Ethereum.

Animations of the three specifications (i.e. abstract and refinements) that enabled us to validate the functional behaviour of the specification and provided the means to understand the gateways' behaviour without Event-B knowledge.

An Event-B specficiation of a use case scenario that shows the utility of the specification.
DOI: 10.15468/dl.qafe68
title: Occurrence Download

description: A dataset containing 30 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-74.01361 43.39458,-72.80374 43.39458,-72.80374 43.87798,-74.01361 43.87798,-74.01361 43.39458))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Crotalus horridus Linnaeus, 1758"
 ]
}

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

description: A dataset containing 974 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Euphorbia lucida Waldst. & Kit."
 ]
}

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

description: A dataset containing 3839 species occurrences available in GBIF matching the query:
{
 "Geometry" : [
 "POLYGON((-109.042053 25.420950,-109.173889 25.468073,-109.198608 25.544919,-109.201354 25.634097,-109.195861 25.708362,-109.129943 25.765266,-109.003601 25.856751,-108.880004 25.896291,-108.814086 25.935817,-108.690490 25.980268,-108.588867 26.056782,-108.336181 26.081454,-108.209838 26.027170,-108.154907 25.958044,-108.149414 25.829561,-108.143920 25.755372,-108.171386 25.720735,-108.28125 25.587039,-108.572387 25.502784,-108.687744 25.423431,-108.770141 25.383735,-108.874511 25.344026,-108.951416 25.348990,-109.042053 25.420950))"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Dodecaceria gallardoi Carrasco, 1977",
 "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 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0049560-240229165702484/datasets/export for details.
DOI: 10.15468/dl.b63x5z
title: Occurrence Download

description: A dataset containing 129133 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TypeStatus is not null",
 "PublishingCountry is Sweden"
 ]
}

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

description: A dataset containing 261 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ceanothus diversifolius Kellogg"
 ]
}

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

description: A dataset containing 520 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Discurria insessa (Hinds, 1842)",
 "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 520 records from 24 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0049484-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.276qyf
title: Occurrence Download

description: A dataset containing 47 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is Buffalo Society of Natural Sciences Clinton Herbarium",
 "TaxonKey is Pinguicula L."
 ]
}

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

description: A dataset containing 10 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 Caecilia volcani Taylor, 1969"
 ]
}

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

description: A dataset containing 12462 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Mexico",
 "TaxonKey is Piranga rubra (Linnaeus, 1758)"
 ]
}

 The dataset includes 12462 records from 75 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0009230-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.86ad9f
title: Occurrence Download

description: A dataset containing 1008 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Bursera morelensis Ramírez"
 ]
}

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

description: A dataset containing 459 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Sclerurus scansor (Menetries, 1835)",
 "HasGeospatialIssue is false",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 2435 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Dodecaceria concharum Örsted, 1843",
 "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 2435 records from 64 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0049550-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.zgr3mu
title: Occurrence Download

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

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

description: A dataset containing 1072 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ceanothus foliosus Parry"
 ]
}

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

description: A dataset containing 562 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Megascops seductus (R.T.Moore, 1941)"
 ]
}

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

description: A dataset containing 1070 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Ecuador",
 "TaxonKey is Grallaria ridgelyi Krabbe, Agro, Rice, Jacome, Navarrete & Sornoza, 1999"
 ]
}

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

description: A dataset containing 12099 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Mexico",
 "TaxonKey is Piranga ludoviciana (A.Wilson, 1811)"
 ]
}

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

description: A dataset containing 18460 species occurrences available in GBIF matching the query:
{
 "Geometry" : [
 "MULTIPOLYGON(((5.241862535476685 43.294803095683314,5.241862535476685 43.25493380778211,5.340739488601685 43.25493380778211,5.340739488601685 43.294803095683314,5.241862535476685 43.294803095683314)))"
 ]
}

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

description: A dataset containing 1204 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Celosia cristata L."
 ]
}

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

description: A dataset containing 995 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 Tympanocryptis lineata Peters, 1863"
 ]
}

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

description: A dataset containing 235 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Pachycereus weberi (J.M.Coult.) Backeb."
 ]
}

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

description: A dataset containing 5 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Microcebus simmonsi Louis Jr., Coles, Andriantompohavana, Sommer, Engberg, Zaonarivelo, Mayor & Brenneman, 2006"
 ]
}

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

description: A dataset containing 10 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Hoya wallichii (Wight) C.M.Burton"
 ]
}

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

description: A dataset containing 14065 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "TaxonKey is Narcissus poeticus L."
 ]
 },
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 1004 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "BasisOfRecord is Human Observation",
 "BasisOfRecord is Specimen"
 ]
 },
 "Country is Peru",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Loddigesia mirabilis (Bourcier, 1847)"
 ]
}

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

description: A dataset containing 2757 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is one of (Russian Federation, Ukraine, Germany, Poland, Switzerland, Austria, Czechia, Slovakia)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Sphagnum palustre L."
 ]
}

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

description: A dataset containing 34 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Lepidothrix vilasboasi (Sick, 1959)"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Hieracium ramulatum Omang"
 ]
}

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