cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.14249806
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.
DOI: 10.15468/dl.83ag5b
title: Occurrence Download

description: A dataset containing 2819 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brassica napus L.",
 "BasisOfRecord is Human Observation",
 "Year is 2022",
 "OccurrenceStatus is Present",
 "HasCoordinate is true",
 "Month is one of (January, February, March, April, May, June, July, August, September, October, November, December)",
 "Country is one of (France, Germany)",
 "PublishingOrg is da86174a-a605-43a4-a5e8-53d484152cd3"
 ]
}

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

description: A dataset containing 51393 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "Country is one of (Saint Vincent and the Grenadines, Grenada)"
 ]
}

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

description: A dataset containing 40 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Bismarckia nobilis Hildebrandt & H.Wendl.",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "BasisOfRecord is Specimen"
 ]
}

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

description: A dataset containing 3563 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Bixa orellana L.",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "BasisOfRecord is Specimen"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brassica napus L.",
 "HasCoordinate is true",
 "Year is 2022",
 "DatasetKey is da86174a-a605-43a4-a5e8-53d484152cd3"
 ]
}

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

description: A dataset containing 311 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brachychiton acerifolius (A.Cunn. ex G.Don) F.Muell.",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "BasisOfRecord is Specimen"
 ]
}

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

description: A dataset containing 172 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brachychiton discolor F.Muell.",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "BasisOfRecord is Specimen"
 ]
}

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

description: A dataset containing 989 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brachychiton populneus (Schott & Endl.) R.Br.",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "BasisOfRecord is Specimen"
 ]
}

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

description: A dataset containing 202 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brachychiton rupestris (Lindl.) Schum.",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "BasisOfRecord is Specimen"
 ]
}

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

description: A dataset containing 233 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brahea armata S.Watson",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "BasisOfRecord is Specimen"
 ]
}

 The dataset includes 233 records from 24 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008377-241126133413365/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.11709648
title: Table S1

description: Table S1. Comparison of genes/regions between the mitochondrial genome of <i>Planocera multitentaculata</i> and <i>Planocera reticulata</i><br>
DOI: 10.6084/m9.figshare.11709648.v1
title: Table S1

description: Table S1. Comparison of genes/regions between the mitochondrial genome of <i>Planocera multitentaculata</i> and <i>Planocera reticulata</i><br>
DOI: 10.6084/m9.figshare.27933381
title: <b>Study of Aichi virus in children with Acute Gastroenteritis Cross-Sectional Study</b>

description: <b>Study of Aichi virus in children with Acute Gastroenteritis Cross-Sectional Study</b>
DOI: 10.5281/zenodo.14249824
title: Sahel dataset
DOI: 10.5281/zenodo.14249825
title: Sahel dataset
DOI: 10.15468/dl.4aakv5
title: Occurrence Download

description: A dataset containing 52 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brahea edulis H.Wendl. ex S.Watson",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "BasisOfRecord is Specimen"
 ]
}

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

description: A dataset containing 3682023 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-9.45882 41.59479,-6.63196 41.59479,-6.63196 43.89782,-9.45882 43.89782,-9.45882 41.59479))",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 3682023 records from 622 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008376-241126133413365/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34740/kaggle/dsv/10057043
title: Air Quality and Pollution Assessment
DOI: 10.5281/zenodo.14036220
title: Data for "Impact of early cleft lip and palate surgery on maxillary growth in 5- and 10-Year-old patients with unilateral cleft lip and palate: a cross-sectional study"

description: Relative frequency in % (absolute frequency is shown above each bar). Frequency of 5YO indices in cleft patients and frequency of GOSLON indices in cleft patients.
DOI: 10.5281/zenodo.14036221
title: Data for "Impact of early cleft lip and palate surgery on maxillary growth in 5- and 10-Year-old patients with unilateral cleft lip and palate: a cross-sectional study"

description: Relative frequency in % (absolute frequency is shown above each bar). Frequency of 5YO indices in cleft patients and frequency of GOSLON indices in cleft patients.
DOI: 10.15468/dl.y2vxhw
title: Occurrence Download

description: A dataset containing 2323 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brosimum alicastrum Sw.",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "BasisOfRecord is Specimen"
 ]
}

 The dataset includes 2323 records from 138 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008379-241126133413365/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5517/cc13zqng
title: CCDC 1042426: Experimental Crystal Structure Determination

description: Related Article: Wenwei Lei, Yucun Liu, Jinfeng Bai, Yanfeng Dai, Yuhe Kan, Tie Chen, Bingzhu Yin|2015|Tetrahedron|71|5465|doi:10.1016/j.tet.2015.06.082
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/cc13zqph
title: CCDC 1042427: Experimental Crystal Structure Determination

description: Related Article: Sara S.P. Dias, Marina V. Kirillova, Vânia André, Julia Kłak, Alexander M. Kirillov|2015|Inorg.Chem.|54|5204|doi:10.1021/acs.inorgchem.5b00048
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/cc13zqqj
title: CCDC 1042428: Experimental Crystal Structure Determination

description: Related Article: Sara S.P. Dias, Marina V. Kirillova, Vânia André, Julia Kłak, Alexander M. Kirillov|2015|Inorg.Chem.|54|5204|doi:10.1021/acs.inorgchem.5b00048
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/cc13zqrk
title: CCDC 1042429: Experimental Crystal Structure Determination

description: Related Article: Xing-Feng Bai, Zheng Xu, Chun-Gu Xia, Zhan-Jiang Zheng, Li-Wen Xu|2015|ACS Catalysis|5|6016|doi:10.1021/acscatal.5b01685
description: Related Article: Xing-Feng Bai, Tao Song, Zheng Xu, Chun-Gu Xia, Wei-Sheng Huang, Li-Wen Xu|2015|Angew.Chem.,Int.Ed.|54|5255|doi:10.1002/anie.201501100
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/cc13zqsl
title: CCDC 1042430: Experimental Crystal Structure Determination

description: Related Article: Eriko Kinoshita, Kazuya Arashiba, Shogo Kuriyama, Aya Eizawa, Kazunari Nakajima, Yoshiaki Nishibayashi|2015|Eur.J.Inorg.Chem.|2015|1789|doi:10.1002/ejic.201500017
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/cc13zqtm
title: CCDC 1042431: Experimental Crystal Structure Determination

description: Related Article: Eriko Kinoshita, Kazuya Arashiba, Shogo Kuriyama, Aya Eizawa, Kazunari Nakajima, Yoshiaki Nishibayashi|2015|Eur.J.Inorg.Chem.|2015|1789|doi:10.1002/ejic.201500017
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/cc13zr94
title: CCDC 1042446: Experimental Crystal Structure Determination

description: Related Article: Santanu Mondal, Debasish Manna, G. Mugesh|2015|Angew.Chem.,Int.Ed.|54|9298|doi:10.1002/anie.201503598
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/cc13zrb5
title: CCDC 1042447: Experimental Crystal Structure Determination

description: Related Article: Santanu Mondal, Debasish Manna, G. Mugesh|2015|Angew.Chem.,Int.Ed.|54|9298|doi:10.1002/anie.201503598
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/cc13zrc6
title: CCDC 1042448: Experimental Crystal Structure Determination

description: Related Article: Santanu Mondal, Debasish Manna, G. Mugesh|2015|Angew.Chem.,Int.Ed.|54|9298|doi:10.1002/anie.201503598
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/cc13zrd7
title: CCDC 1042449: Experimental Crystal Structure Determination

description: Related Article: Santanu Mondal, Debasish Manna, G. Mugesh|2015|Angew.Chem.,Int.Ed.|54|9298|doi:10.1002/anie.201503598
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/cc13zrqk
title: CCDC 1042459: Experimental Crystal Structure Determination

description: Related Article: Lijuan Wang, Huitao Fan, Chaojun Du, Xiaojing Xing, Yingying Zhao, Baokuan Chen, Liya Wang|2016|Inorg.Chem.Commun.|63|39|doi:10.1016/j.inoche.2015.11.011
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/cc13qpvc
title: CCDC 1034713: Experimental Crystal Structure Determination

description: Related Article: Liang Wang, Hengtao Wang, Yihang Li, Pingping Tang|2015|Angew.Chem.,Int.Ed.|54|5732|doi:10.1002/anie.201501169
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/cc13zrrl
title: CCDC 1042460: Experimental Crystal Structure Determination

description: Related Article: Lijuan Wang, Huitao Fan, Chaojun Du, Xiaojing Xing, Yingying Zhao, Baokuan Chen, Liya Wang|2016|Inorg.Chem.Commun.|63|39|doi:10.1016/j.inoche.2015.11.011
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/cc13jfxz
title: CCDC 1028701: Experimental Crystal Structure Determination

description: Related Article: J.J. Novina, G. Vasuki, M. Suresh, M.S.A. Padusha|2015|Acta Crystallogr.,Sect.E:Cryst.Commun.|71|o105|doi:10.1107/S2056989015000286
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/cc13zr0v
title: CCDC 1042437: Experimental Crystal Structure Determination

description: Related Article: Christoph Förster, Tatiana E. Gorelik, Ute Kolb, Vadim Ksenofontov, Katja Heinze|2015|Eur.J.Inorg.Chem.|2015|920|doi:10.1002/ejic.201403200
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/cc11mb33
title: CCDC 971884: Experimental Crystal Structure Determination

description: Related Article: Anik Bhattacharyya, Prasanta Kumar Bhaumik, Mithun Das, Antonio Bauzá, Partha Pratim Jana, Klaus Harms, Antonio Frontera, Shouvik Chattopadhyay|2015|Polyhedron|101|257|doi:10.1016/j.poly.2015.08.026
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.13140/rg.2.2.30900.72320
title: Vectores y valores propios
DOI: 10.5517/ccdc.csd.cc13zr1w
title: CCDC 1042438: Experimental Crystal Structure Determination

description: Related Article: Leandra Gobira Lopes, Gabriela Lopes Tavares, Luciana Dias Thomaz, José Ricardo Sabino, Keyller Bastos Borges, Paulo Cezar Vieira, Thiago André Moura Veiga and Warley de Souza Borges|2016|Chem.Biodiversity|13|284|doi:10.1002/cbdv.201500049
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.cc13zr2x
title: CCDC 1042439: Experimental Crystal Structure Determination

description: Related Article: Leandra Gobira Lopes, Gabriela Lopes Tavares, Luciana Dias Thomaz, José Ricardo Sabino, Keyller Bastos Borges, Paulo Cezar Vieira, Thiago André Moura Veiga and Warley de Souza Borges|2016|Chem.Biodiversity|13|284|doi:10.1002/cbdv.201500049
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.cc13zr83
title: CCDC 1042445: Experimental Crystal Structure Determination

description: Related Article: Peng-Zhong Chen, Yu-Xiang Weng, Li-Ya Niu, Yu-Zhe Chen, Li-Zhu Wu, Chen-Ho Tung and Qing-Zheng Yang|2016|Angew.Chem.,Int.Ed.|55|2759|doi:10.1002/anie.201510503
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/cc13zr72
title: CCDC 1042444: Experimental Crystal Structure Determination

description: Related Article: Anik Bhattacharyya, Prasanta Kumar Bhaumik, Mithun Das, Antonio Bauzá, Partha Pratim Jana, Klaus Harms, Antonio Frontera, Shouvik Chattopadhyay|2015|Polyhedron|101|257|doi:10.1016/j.poly.2015.08.026
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/cc13zrf8
title: CCDC 1042450: Experimental Crystal Structure Determination

description: Related Article: Ningning Yuan, Zaichao Zhang, Xingyong Wang, Xinping Wang|2015|Chem.Commun.|51|16714|doi:10.1039/C5CC06755C
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.