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

description: A dataset containing 2171 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Alisma plantago-aquatica L.",
 "HasCoordinate is TRUE",
 {
 "or" : [
 "BasisOfRecord is Human Observation",
 "BasisOfRecord is Specimen"
 ]
 },
 "Country is Norway"
 ]
}

 The dataset includes 2171 records from 19 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0002233-171113114016250/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5517/ccdc.csd.cc2j0qkv
title: CCDC 2324397: Experimental Crystal Structure Determination

description: Related Article: Pierre Baillargeon, Étienne Lepage-Lepitre, Jacob Busque, Daniel Fortin|2024|CSD Communication|||
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc2j0qlw
title: CCDC 2324398: Experimental Crystal Structure Determination

description: Related Article: Pierre Baillargeon, Simon Bellefleur, Clémence Delisle, Chloé Véronneau, Daniel Fortin|2024|CSD Communication|||
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.15468/dl.dm6sqd
title: Occurrence Download

description: A dataset containing 6004 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Month is December",
 "TaxonKey is Aptenodytes forsteri G.R.Gray, 1844",
 "Year 2010-2020"
 ]
}

 The dataset includes 6004 records from 7 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0012014-240202131308920/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/independent-c69-38930
title: Claims (GX 15907 - GX 16282), 1988

description: Collection of claims filed against the LAPD with regards ranging from wrongful death to violation of civil rights, etc., 1988. PART OF A SERIES: The series includes materials related to the work product of Price Waterhouse, whose staff investigated citizen complaints and civil litigation claims involving the LAPD. Included are claims reports, claims analyses, card files, and arbitration reports; summaries of 83 selected civil litigation cases; materials from the personnel files of LAPD officers named in these cases, as well as documents listing their subsequent penalties; and statistics that break complaints down according to a variety of criteria, including race, gender, and police division.
DOI: 10.5517/ccdc.csd.cc2j0qny
title: CCDC 2324400: Experimental Crystal Structure Determination

description: Related Article: Pierre Baillargeon, Simon Bellefleur, Clémence Delisle, Chloé Véronneau, Daniel Fortin|2024|CSD Communication|||
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc2j0qw5
title: CCDC 2324407: Experimental Crystal Structure Determination

description: Related Article: Pierre Baillargeon, Charles Boily, Stéphanie Lepage, Tarik Rahem, Daniel Fortin|2024|CSD Communication|||
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc2j0r4g
title: CCDC 2324415: Experimental Crystal Structure Determination

description: Related Article: Pierre Baillargeon, Esther Paquette, Sabrina Leroux, Tarik Rahem, Daniel Fortin|2024|CSD Communication|||
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.15468/dl.t6pbuy
title: Occurrence Download

description: A dataset containing 19 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Arabis brachycarpa Rupr.",
 "HasCoordinate is true",
 "Year is greater than or equal to 1950"
 ]
}

 The dataset includes 19 records from 5 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0002234-160509122628363/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5517/ccdc.csd.cc2j0rfr
title: CCDC 2324424: Experimental Crystal Structure Determination

description: Related Article: Pierre Baillargeon, Maxime Bélanger, Guillaume Turcotte, Tarik Rahem, Daniel Fortin|2024|CSD Communication|||
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc2j0rgs
title: CCDC 2324425: Experimental Crystal Structure Determination

description: Related Article: Pierre Baillargeon, Maxime Bélanger, Guillaume Turcotte, Tarik Rahem, Daniel Fortin|2024|CSD Communication|||
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.15468/dl.4jhm54
title: Occurrence Download

description: A dataset containing 1141 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Corchorus capsularis L."
 ]
}

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

description: A dataset containing 6 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Glycosmis xizangensis (C.Y.Wu & H.Li) D.D.Tao"
 ]
}

 The dataset includes 6 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0003976-240216155721649/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5517/ccdc.csd.cc2j0rht
title: CCDC 2324426: Experimental Crystal Structure Determination

description: Related Article: Pierre Baillargeon, Veljko Poluga, Ayman Hajji, Tarik Rahem, Daniel Fortin|2024|CSD Communication|||
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.15468/dl.oxirx7
title: Occurrence Download

description: A dataset containing 11394 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Helianthus annuus",
 "Year 1960-2016"
 ]
}

 The dataset includes 11394 records from 276 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0002234-160526112335914/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/independent-c69-39054
title: Claims (GX 15907 - GX 16282), 1988

description: Collection of claims filed against the LAPD with regards ranging from wrongful death to violation of civil rights, etc., 1988. PART OF A SERIES: The series includes materials related to the work product of Price Waterhouse, whose staff investigated citizen complaints and civil litigation claims involving the LAPD. Included are claims reports, claims analyses, card files, and arbitration reports; summaries of 83 selected civil litigation cases; materials from the personnel files of LAPD officers named in these cases, as well as documents listing their subsequent penalties; and statistics that break complaints down according to a variety of criteria, including race, gender, and police division.
DOI: 10.15468/dl.mlbn2e
title: Occurrence Download

description: A dataset containing 275 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Romerolagus diazi (Ferrari-Pérez, 1893)"
 ]
}

 The dataset includes 275 records from 26 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0002234-150316153013904/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5517/ccdc.csd.cc2j0shv
title: CCDC 2324457: Experimental Crystal Structure Determination

description: Related Article: yanke hao|2024|CSD Communication|||
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.15468/dl.sha9b6
title: Occurrence Download

description: A dataset containing 38810 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((1.8796086666666671 65.07073733333334, 35.924964333333335 65.07073733333334, 35.924964333333335 82.15736799999999, 1.8796086666666671 82.15736799999999, 1.8796086666666671 65.07073733333334))",
 "EventDate is 2018-04-01,2018-04-30"
 ]
}

 The dataset includes 38810 records from 37 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0033052-240229165702484/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/independent-c69-39011
title: Claims (GX 15907 - GX 16282), 1988

description: Collection of claims filed against the LAPD with regards ranging from wrongful death to violation of civil rights, etc., 1988. PART OF A SERIES: The series includes materials related to the work product of Price Waterhouse, whose staff investigated citizen complaints and civil litigation claims involving the LAPD. Included are claims reports, claims analyses, card files, and arbitration reports; summaries of 83 selected civil litigation cases; materials from the personnel files of LAPD officers named in these cases, as well as documents listing their subsequent penalties; and statistics that break complaints down according to a variety of criteria, including race, gender, and police division.
DOI: 10.15468/dl.f4dvhi
title: Occurrence Download

description: A dataset containing 1978 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Columbidae",
 "InstitutionCode is MVZ"
 ]
}

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

description: A dataset containing 981 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Eurycea wilderae Dunn, 1920",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "Year is greater than or equal to 2000",
 {
 "or" : [
 {
 "not" : {
 "EstablishmentMeans" : [
 "is one of (MANAGED, INTRODUCED)"
 ]
 }
 },
 "EstablishmentMeans is null"
 ]
 },
 {
 "or" : [
 "CoordinateUncertaintyInMeters is less than 1000",
 "CoordinateUncertaintyInMeters is null"
 ]
 }
 ]
}

 The dataset includes 981 records from 13 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0005856-230918134249559/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/independent-c69-42605
title: Claims (GX 14638 - GX 15135), 1988

description: Collection of claims filed against the LAPD with regards ranging from wrongful death to violation of civil rights, etc., 1988. PART OF A SERIES: The series includes materials related to the work product of Price Waterhouse, whose staff investigated citizen complaints and civil litigation claims involving the LAPD. Included are claims reports, claims analyses, card files, and arbitration reports; summaries of 83 selected civil litigation cases; materials from the personnel files of LAPD officers named in these cases, as well as documents listing their subsequent penalties; and statistics that break complaints down according to a variety of criteria, including race, gender, and police division.
DOI: 10.15468/dl.3mujx9
title: Occurrence Download

description: A dataset containing 3110295 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Solanaceae"
 ]
}

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

description: A dataset containing 7243 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "TaxonKey is one of (Scaphiopus holbrookii (Harlan, 1835))"
 ]
}

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

description: A dataset containing 23 species occurrences available in GBIF matching the query:
{
 "and" : [
 "GadmGid is BRA.5_1",
 "TaxonKey is Ituglanis Costa & Bockmann, 1993"
 ]
}

 The dataset includes 23 records from 6 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0018477-250402121839773/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.14986558
title: CMIP6 input data usage information for IPCC WGI AR6 figure Atlas.28

description: The record contains information on input dataset usage and citation information from the WCRP Coupled Model Intercomparison Project Phase 6 (CMIP6) for the generation of figure Atlas.28 of the Sixth Assessment Report of Working Group I of the Intergovernmental Panel on Climate Change (IPCC AR6 WGI). CMIP6 data that were used as input to this figure follow the Data Reference Syntax. Persistent Identifiers (PIDs) for data identification (provenance) are available for individual datasets as Handle IDs. DOIs for data citation are available on the following dataset collections: CMIP6 DOIs contain all datasets provided by an Earth System model to a CMIP6 experiment. The data subsets of CMIP6 dataset collections used in the IPCC AR6 WGI have DOIs at this granularity of a model contribution to an experiment. The AR6 subset DOIs are included because they reside in a long-term preservation archive hosted by the IPCC Data Distribution Centre (DDC).

The uploaded human-readable csv file provides a list of datasets/Handle IDs used for the generation of this figure grouped by the corresponding dataset collections they belong to. The machine-actionable json-ld file describes the record as Complex Citation Object (see Agarwal et al., 2024, https://doi.org/10.5281/zenodo.14106602) in a preliminary standard, using the following vocabulary to specify the different functions of the contained Linked Digital Objects: Credit (input dataset collection to be cited/to which credit is to be assigned), Provenance (dataset contributing information to the generation of the DataProduct), archivedAt (dataset collection with long-term preservation), DigitalDocument (referenced papers containing further information), DataProduct (generated final dataset), ImageObject (visualization of the DataProduct), SoftwareSourceCode (software applied to generate the DataProduct), Chapter (IPCC AR6 WGI chapter in which the DataProduct is used/referenced).

Use and cite this record when referring to the generation of IPCC WGI AR6 figure Atlas.28.
DOI: 10.5281/zenodo.14986532
title: CMIP6 input data usage information for IPCC WGI AR6 figure 9.24

description: The record contains information on input dataset usage and citation information from the WCRP Coupled Model Intercomparison Project Phase 6 (CMIP6) for the generation of figure 9.24 of the Sixth Assessment Report of Working Group I of the Intergovernmental Panel on Climate Change (IPCC AR6 WGI). CMIP6 data that were used as input to this figure follow the Data Reference Syntax. Persistent Identifiers (PIDs) for data identification (provenance) are available for individual datasets as Handle IDs. DOIs for data citation are available on the following dataset collections: CMIP6 DOIs contain all datasets provided by an Earth System model to a CMIP6 experiment. The data subsets of CMIP6 dataset collections used in the IPCC AR6 WGI have DOIs at this granularity of a model contribution to an experiment. The AR6 subset DOIs are included because they reside in a long-term preservation archive hosted by the IPCC Data Distribution Centre (DDC).

The uploaded human-readable csv file provides a list of datasets/Handle IDs used for the generation of this figure grouped by the corresponding dataset collections they belong to. The machine-actionable json-ld file describes the record as Complex Citation Object (see Agarwal et al., 2024, https://doi.org/10.5281/zenodo.14106602) in a preliminary standard, using the following vocabulary to specify the different functions of the contained Linked Digital Objects: Credit (input dataset collection to be cited/to which credit is to be assigned), Provenance (dataset contributing information to the generation of the DataProduct), archivedAt (dataset collection with long-term preservation), DigitalDocument (referenced papers containing further information), DataProduct (generated final dataset), ImageObject (visualization of the DataProduct), SoftwareSourceCode (software applied to generate the DataProduct), Chapter (IPCC AR6 WGI chapter in which the DataProduct is used/referenced).

Use and cite this record when referring to the generation of IPCC WGI AR6 figure 9.24.
DOI: 10.5281/zenodo.14986557
title: CMIP6 input data usage information for IPCC WGI AR6 figure Atlas.28

description: The record contains information on input dataset usage and citation information from the WCRP Coupled Model Intercomparison Project Phase 6 (CMIP6) for the generation of figure Atlas.28 of the Sixth Assessment Report of Working Group I of the Intergovernmental Panel on Climate Change (IPCC AR6 WGI). CMIP6 data that were used as input to this figure follow the Data Reference Syntax. Persistent Identifiers (PIDs) for data identification (provenance) are available for individual datasets as Handle IDs. DOIs for data citation are available on the following dataset collections: CMIP6 DOIs contain all datasets provided by an Earth System model to a CMIP6 experiment. The data subsets of CMIP6 dataset collections used in the IPCC AR6 WGI have DOIs at this granularity of a model contribution to an experiment. The AR6 subset DOIs are included because they reside in a long-term preservation archive hosted by the IPCC Data Distribution Centre (DDC).

The uploaded human-readable csv file provides a list of datasets/Handle IDs used for the generation of this figure grouped by the corresponding dataset collections they belong to. The machine-actionable json-ld file describes the record as Complex Citation Object (see Agarwal et al., 2024, https://doi.org/10.5281/zenodo.14106602) in a preliminary standard, using the following vocabulary to specify the different functions of the contained Linked Digital Objects: Credit (input dataset collection to be cited/to which credit is to be assigned), Provenance (dataset contributing information to the generation of the DataProduct), archivedAt (dataset collection with long-term preservation), DigitalDocument (referenced papers containing further information), DataProduct (generated final dataset), ImageObject (visualization of the DataProduct), SoftwareSourceCode (software applied to generate the DataProduct), Chapter (IPCC AR6 WGI chapter in which the DataProduct is used/referenced).

Use and cite this record when referring to the generation of IPCC WGI AR6 figure Atlas.28.
DOI: 10.6084/m9.figshare.27933357
title: All available data for paper "Interannual differences in pollinator contributions to pollen transfer are mainly driven by changes in pollinator abundance"

description: All available data for paper "Interannual differences in pollinator contributions to pollen transfer are mainly driven by changes in pollinator abundance"
DOI: 10.6084/m9.figshare.27933357.v1
title: All available data for paper "Interannual differences in pollinator contributions to pollen transfer are mainly driven by changes in pollinator abundance"

description: All available data for paper "Interannual differences in pollinator contributions to pollen transfer are mainly driven by changes in pollinator abundance"
DOI: 10.5281/zenodo.14249805
title: FormalSpecCPP

description: FormalSpecCPP Dataset

The FormalSpecCPP dataset contains C++ programs with formal preconditions, postconditions, and assertions, along with their corresponding test cases. It is designed for research and experimentation in formal specification and verification. The dataset includes the source code, tests, and the scripts used to generate them, along with detailed run instructions.

Dataset Contents:



FormalSpecCPP: C++ programs with formal specifications.

FormalSpecCPP-Tests: Test cases for validating the correctness of the programs.

Code: Scripts used to generate the dataset and tests.

Run Instructions: Instructions for setting up and running the dataset and tests.


Usage:

This dataset is useful for testing formal verification tools and methods, benchmarking verification techniques, and experimenting with generating and testing formal specifications for C++ programs.