cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.4121/a5f97e07-9f84-4223-b581-6d2606fe07ba.v1
title: Artifact to supplement the paper: The VerCors Verifier: a Progress Report

description: Artifact to supplement "The VerCors Verifier: a Progress Report"Conditionally accepted at CAV 2024 pending evaluation of this artifact.<br>PAPER ABSTRACT<br>This paper gives an overview of the most recent developments on theVerCors verifier. VerCors supports deductive verification ofconcurrent software, written in multiple programming languages, wherethe specifications are written in terms of pre-/postconditioncontracts using permission-based separation logic. In essence, VerCorsis a program transformation tool: it translates an annotated programinto input for the Viper framework, which is then used as verificationback-end. The paper discussesthe different programming languages and features for which VerCors providesverification support. It also discusses how the tool internally hasbeen reorganised to become easily extendible, and to improve the connectionand interaction with Viper. In addition, we also introduce two toolsbuilt on top of VerCors, which support correctness-preserving transformations ofverified programs. Finally, we discuss how the VerCors verifier hasbeen used on a range of realistic case studies.<br>
DOI: 10.15468/dl.da7fdq
title: Occurrence Download

description: A dataset containing 8 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Taxonomic revision of the Dasypus kappleri complex, with revalidations of Dasypus pastasae (Thomas, 1901) and Dasypus beniensis Lönnberg, 1942 (Cingulata, Dasypodidae)"
 ]
}

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

description: A dataset containing 971 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Ecología poblacional y alimentaria del lobo marino de California en la Bahía de La Paz, BCS, Golfo de California"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Filosia",
 "HasCoordinate is true",
 "Country is one of (Slovakia)",
 "HasGeospatialIssue is false",
 "Year is greater than 2009"
 ]
}

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

description: A dataset containing 56 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Syngonium chocoanum Croat"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Acantharia",
 "HasCoordinate is true",
 "Country is one of (Slovakia)",
 "HasGeospatialIssue is false",
 "Year is greater than 2009"
 ]
}

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

description: A dataset containing 5 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Mutinus verrucosus T.S.Cabral, B.D.B.Silva, K.Hosaka, M.P.Martín & Baseia"
 ]
}

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

description: A dataset containing 3611 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Phoenicoparrus jamesi (P.L.Sclater, 1886)"
 ]
}

 The dataset includes 3611 records from 10 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0010476-230810091245214/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34816/ifao.archives.134739
title: Ostracon hiératique Ifao - ODM 982_nb_2000_00137

description: Référence : nb_2000_00137<br />Site : Deir el-Médina<br />Secteur : Grand puits<br />Type : photographie<br />
DOI: 10.34816/ifao.archives.134740
title: Ostracon hiératique Ifao - ODM 982_nu_2003_01718

description: Référence : nu_2003_01718<br />Site : Deir el-Médina<br />Secteur : Grand puits<br />Type : photographie<br />
DOI: 10.15468/dl.867jp7
title: Occurrence Download

description: A dataset containing 26979 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is United States of America",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Apis mellifera Linnaeus, 1758",
 "Year is 2021"
 ]
}

 The dataset includes 26979 records from 8 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0238472-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34816/ifao.archives.134741
title: Ostracon hiératique Ifao - ODM 983_nb_2000_00082

description: Référence : nb_2000_00082<br />Site : Deir el-Médina<br />Secteur : Grand puits<br />Type : photographie<br />
DOI: 10.15468/dl.42xrfv
title: Occurrence Download

description: A dataset containing 51 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Vavilovia formosa (Steven) Fed.",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 50 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Syngonium sagittatum G.S.Bunting"
 ]
}

 The dataset includes 50 records from 12 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0003841-230810091245214/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34816/ifao.archives.134742
title: Ostracon hiératique Ifao - ODM 983_nb_2000_00083

description: Référence : nb_2000_00083<br />Site : Deir el-Médina<br />Secteur : Grand puits<br />Type : photographie<br />
DOI: 10.15468/dl.yk43px
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Porphyridiophyceae",
 "HasCoordinate is true",
 "Country is one of (Slovakia)",
 "HasGeospatialIssue is false",
 "Year is greater than 2009"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0238473-210914110416597/datasets/export for details.
DOI: 10.34816/ifao.archives.134743
title: Ostracon hiératique Ifao - ODM 983_nu_2003_01712

description: Référence : nu_2003_01712<br />Site : Deir el-Médina<br />Secteur : Grand puits<br />Type : photographie<br />
DOI: 10.34816/ifao.archives.134744
title: Ostracon hiératique Ifao - ODM 983_nu_2003_01713

description: Référence : nu_2003_01713<br />Site : Deir el-Médina<br />Secteur : Grand puits<br />Type : photographie<br />
DOI: 10.15468/dl.e5j3fa
title: Occurrence Download

description: A dataset containing 3102 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Natural plant species of Sterlitamak"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Chloropicophyceae",
 "HasCoordinate is true",
 "Country is one of (Slovakia)",
 "HasGeospatialIssue is false",
 "Year is greater than 2009"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0238519-210914110416597/datasets/export for details.
DOI: 10.34816/ifao.archives.134745
title: Ostracon hiératique Ifao - ODM 984_nb_1999_03058

description: Référence : nb_1999_03058<br />Site : Deir el-Médina<br />Secteur : Grand puits<br />Type : photographie<br />
DOI: 10.15468/dl.pxa2ah
title: Occurrence Download

description: A dataset containing 2499 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is Asia",
 "Country is Lao People’s Democratic Republic",
 "OccurrenceStatus is Present",
 "TaxonKey is one of (Lycopodiopsida, Polypodiopsida)"
 ]
}

 The dataset includes 2499 records from 28 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008085-230810091245214/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34816/ifao.archives.134746
title: Ostracon hiératique Ifao - ODM 984_nu_2003_01682

description: Référence : nu_2003_01682<br />Site : Deir el-Médina<br />Secteur : Grand puits<br />Type : photographie<br />
DOI: 10.15468/dl.fcyn3h
title: Occurrence Download

description: A dataset containing 128 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Pseudorana weiningensis (Liu, Hu & Yang, 1962)"
 ]
}

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

description: A dataset containing 7 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Taraxacum pseudostenoceras Soest"
 ]
}

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

description: A dataset containing 12 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Neolitsea hsiangkweiensis Yen C.Yang & P.H.Huang"
 ]
}

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

description: A dataset containing 131 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Argentina",
 "TaxonKey is Rorippa bonariensis (Poir.) Macloskie"
 ]
}

 The dataset includes 131 records from 21 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0042651-230530130749713/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34816/ifao.archives.134747
title: Ostracon hiératique Ifao - ODM 985_nb_2000_00069

description: Référence : nb_2000_00069<br />Site : Deir el-Médina<br />Secteur : Grand puits<br />Type : photographie<br />
DOI: 10.15468/dl.azcjux
title: Occurrence Download

description: A dataset containing 3 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Telipogon pfavii Schltr."
 ]
}

 The dataset includes 3 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0010486-230810091245214/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34816/ifao.archives.134748
title: Ostracon hiératique Ifao - ODM 985_nu_2003_01692

description: Référence : nu_2003_01692<br />Site : Deir el-Médina<br />Secteur : Grand puits<br />Type : photographie<br />
DOI: 10.34816/ifao.archives.134749
title: Ostracon hiératique Ifao - ODM 986_nb_2000_04095

description: Référence : nb_2000_04095<br />Site : Deir el-Médina<br />Secteur : P_1443<br />Type : photographie<br />
DOI: 10.15468/dl.6yjhth
title: Occurrence Download

description: A dataset containing 302 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "TaxonKey is Bitis nasicornis (Shaw & Nodder, 1792)",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 302 records from 21 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0006242-190320150433242/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34816/ifao.archives.134750
title: Ostracon hiératique Ifao - ODM 986_nu_2003_01714

description: Référence : nu_2003_01714<br />Site : Deir el-Médina<br />Secteur : P_1443<br />Type : photographie<br />
DOI: 10.15468/dl.pf6kms
title: Occurrence Download

description: A dataset containing 23695 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Netherlands",
 "Geometry POLYGON((6.76887 53.47063,6.7414 53.40454,6.87392 53.36969,6.90963 53.45587,6.76887 53.47063))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Animalia",
 "Year 2002-2022"
 ]
}

 The dataset includes 23695 records from 23 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0294971-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34816/ifao.archives.134751
title: Ostracon hiératique Ifao - ODM 987_nb_2000_04092

description: Référence : nb_2000_04092<br />Site : Deir el-Médina<br />Type : photographie<br />
DOI: 10.15468/dl.662b3p
title: Occurrence Download

description: A dataset containing 96 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Syngonium crassifolium (Engl.) Croat"
 ]
}

 The dataset includes 96 records from 13 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0003806-230810091245214/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34816/ifao.archives.134752
title: Ostracon hiératique Ifao - ODM 987_nu_2003_01709

description: Référence : nu_2003_01709<br />Site : Deir el-Médina<br />Type : photographie<br />
DOI: 10.34816/ifao.archives.134753
title: Ostracon hiératique Ifao - ODM 987_nu_2003_01710

description: Référence : nu_2003_01710<br />Site : Deir el-Médina<br />Type : photographie<br />
DOI: 10.15468/dl.77p7tf
title: Occurrence Download

description: A dataset containing 7031 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Balantiopteryx Peters, 1867"
 ]
}

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

description: A dataset containing 20 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Chinese Taipei",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Bombus trifasciatus Smith, 1852"
 ]
}

 The dataset includes 20 records from 4 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0088333-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34816/ifao.archives.134754
title: Ostracon hiératique Ifao - ODM 988_nb_2000_00059

description: Référence : nb_2000_00059<br />Site : Deir el-Médina<br />Type : photographie<br />
DOI: 10.15468/dl.ktdju2
title: Occurrence Download

description: A dataset containing 28 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Telipogon papilio Rchb.f. & Warsz."
 ]
}

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

description: A dataset containing 37 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Eleutherodactylus zeus Schwartz, 1958"
 ]
}

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

description: A dataset containing 110 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Phoenicopterus chilensis Molina, 1782"
 ]
}

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

description: A dataset containing 458 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Allium fraseri (Ownbey) Shinners"
 ]
}

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

description: A dataset containing 29 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Cadea blanoides (Stejneger, 1916)"
 ]
}

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

description: A dataset containing 34 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Taraxacum pseudoroseum Schischk."
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Mamiellophyceae",
 "HasCoordinate is true",
 "Country is one of (Slovakia)",
 "HasGeospatialIssue is false",
 "Year is greater than 2009"
 ]
}

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

description: A dataset containing 8 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Phallus denigricans T.S.Cabral, B.D.B.Silva & Baseia"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Nephroselmidophyceae",
 "HasCoordinate is true",
 "Country is one of (Slovakia)",
 "HasGeospatialIssue is false",
 "Year is greater than 2009"
 ]
}

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

description: A dataset containing 6 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Taraxacum pseudophaleratum R.Doll"
 ]
}

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

description: A dataset containing 5068 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Spodoptera litura (Fabricius, 1775)"
 ]
}

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

description: A dataset containing 446 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Tuber melanosporum Vittad."
 ]
}

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

description: A dataset containing 490 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Polypodium fraternum Cham. & Schltdl."
 ]
}

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