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

description: A dataset containing 36448 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "TaxonKey is Streptomyces Waksman & Henrici, 1943"
 ]
}

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

description: A dataset containing 139 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is one of (China, Chinese Taipei, Hong Kong, Macao)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Schizostachyum Nees",
 "Year 1000-2025"
 ]
}

 The dataset includes 139 records from 7 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0018726-250525065834625/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.15588117
title: Sensitive multichannel zero-to-ultralow field NMR with atomic magnetometer arrays, Corresponding Data
DOI: 10.5281/zenodo.15588118
title: Sensitive multichannel zero-to-ultralow field NMR with atomic magnetometer arrays, Corresponding Data
DOI: 10.15468/dl.xqfany
title: Occurrence Download

description: A dataset containing 12 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-90.24325 -3.89601,-71.2254 -3.89601,-71.2254 15.42056,-90.24325 15.42056,-90.24325 -3.89601))",
 "TaxonKey is Pseudobatos planiceps (Garman, 1880)"
 ]
}

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

description: A dataset containing 11079 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "BasisOfRecord is one of (Human Observation, Machine Observation, Occurrence evidence, Observation)",
 "TaxonKey is one of (Eremophila alpestris (Linnaeus, 1758))",
 "Country is one of (Anguilla, Antigua and Barbuda, Argentina, Aruba, Bahamas, Barbados, Belize, Bolivia (Plurinational State of), Bonaire, Sint Eustatius and Saba, Bouvet Island, Brazil, Cayman Islands, Chile, Colombia, Costa Rica, Cuba, Curaçao, Dominica, Dominican Republic, Ecuador, El Salvador, Falkland Islands (Malvinas), French Guiana, Grenada, Guadeloupe, Guatemala, Guyana, Haiti, Honduras, Jamaica, Martinique, Mexico, Montserrat, Nicaragua, Panama, Paraguay, Peru, Puerto Rico, Saint Barthélemy, Saint Kitts and Nevis, Saint Lucia, Saint Martin (French part), Saint Vincent and the Grenadines, Sint Maarten (Dutch part), South Georgia and the South Sandwich Islands, Suriname, Trinidad and Tobago, Turks and Caicos Islands, Uruguay, Venezuela (Bolivarian Republic of), Virgin Islands (British), Virgin Islands (U.S.))"
 ]
}

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

description: A dataset containing 20269 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "BasisOfRecord is one of (Human Observation, Machine Observation, Occurrence evidence, Observation)",
 "TaxonKey is one of (Eremophila alpestris (Linnaeus, 1758))",
 "Country is one of (Afghanistan, Armenia, Azerbaijan, Bahrain, Bangladesh, Bhutan, Brunei Darussalam, Cambodia, China, Cyprus, Georgia, Hong Kong, India, Indonesia, Iran (Islamic Republic of), Iraq, Israel, Japan, Jordan, Kazakhstan, Korea (Democratic People’s Republic of), Korea, Republic of, Kuwait, Kyrgyzstan, Lao People’s Democratic Republic, Lebanon, Macao, Malaysia, Maldives, Mongolia, Myanmar, Nepal, Oman, Pakistan, Palestine, State of, Philippines, Qatar, Saudi Arabia, Singapore, Sri Lanka, Syrian Arab Republic, Tajikistan, Thailand, Timor-Leste, Türkiye, Turkmenistan, United Arab Emirates, Uzbekistan, Viet Nam, Yemen)"
 ]
}

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

description: A dataset containing 396 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is Europe",
 "Country is Netherlands",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Ludwigia peploides (Kunth) P.H.Raven",
 "Year 1985-2025"
 ]
}

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

description: A dataset listing the 51 species recorded in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-89.75482 13.93832,-89.04329 13.92926,-88.53117 13.92473,-88.5357 15.03507,-89.30676 15.0126,-89.78353 15.0476,-89.77244 14.86882,-89.76841 14.80394,-89.75482 13.93832))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Trochilidae",
 "Year 2000-2025"
 ]
}

 The dataset's 51 records were derived from 10 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0018718-250525065834625/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.k9cedf
title: Occurrence Download

description: A dataset containing 2045 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "BasisOfRecord is one of (Human Observation, Machine Observation, Occurrence evidence, Observation)",
 "TaxonKey is one of (Eremophila alpestris (Linnaeus, 1758))",
 "Country is one of (Algeria, Angola, Benin, Botswana, British Indian Ocean Territory, Burkina Faso, Burundi, Cabo Verde, Cameroon, Central African Republic, Chad, Comoros, Congo, Congo, Democratic Republic of the, Côte d’Ivoire, Djibouti, Egypt, Equatorial Guinea, Eritrea, Eswatini, Ethiopia, French Southern Territories, Gabon, Gambia, Ghana, Guinea, Guinea-Bissau, Kenya, Lesotho, Liberia, Libya, Madagascar, Malawi, Mali, Mauritania, Mauritius, Mayotte, Morocco, Mozambique, Namibia, Niger, Nigeria, Réunion, Rwanda, Saint Helena, Ascension and Tristan da Cunha, Sao Tome and Principe, Senegal, Seychelles, Sierra Leone, Somalia, South Africa, South Sudan, Sudan, Tanzania, United Republic of, Togo, Tunisia, Uganda, Western Sahara, Zambia, Zimbabwe)"
 ]
}

 The dataset includes 2045 records from 6 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0018734-250525065834625/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.15522210
title: State Space-Based Methods for Validating Model Transformations in Model Checkers (Dataset)

description: Artifact

These directories contain all necessary files and our results for our evaluation, and additionally, to our motivation example for the paper titled "State Space-Based Methods for Validating Model Transformations in Model Checkers" by Zsófia Ádám and Zoltán Micskei.

These files are available directly in the zenodo archive, but the provided Ubuntu VM also contains a copy of this directory.

DOI of the paper: TBA

About the Virtual Machine

VM username and password: artifact

The VM is a simple ubuntu 24.04.1 Desktop install with the following additional packages (and their dependencies) installed from apt:openssh-servergraphvizdotopenjdk-17-jre-headless

It has 8GB of RAM, a 35GB disk and 12 CPU cores.

It is a kvm VM, thus a qcow2 disk and the exported XML of the VM is provided. Change the <file> path to the qcow2 file before importing it.

Data Folders

These are available separately and on the virtual machine as well.

Motivation Example

This is the motivation example of HugoRT battery models from the beginning of the paper.

Evaluation

This is our main evaluation executed on the Gamma-Theta toolchain from the last section of the paper.

Textual source (gcd extension) and PlantUML visualisations for each model are also provided, eliminating the need to run Gamma and the Eclipse IDE for just checking the model suite.

Both the evaluation and the motivation example include their own readmes.
DOI: 10.5281/zenodo.15575547
title: State Space-Based Methods for Validating Model Transformations in Model Checkers (Dataset)

description: Artifact

These directories contain all necessary files and our results for our evaluation, and additionally, to our motivation example for the paper titled "State Space-Based Methods for Validating Model Transformations in Model Checkers" by Zsófia Ádám and Zoltán Micskei.

These files are available directly in the zenodo archive, but the provided Ubuntu VM also contains a copy of this directory.

DOI of the paper: TBA

About the Virtual Machine

VM username and password: artifact

The VM is a simple ubuntu 24.04.1 Desktop install with the following additional packages (and their dependencies) installed from apt:openssh-servergraphvizdotopenjdk-17-jre-headless

It has 8GB of RAM, a 35GB disk and 12 CPU cores.

It is a kvm VM, thus a qcow2 disk and the exported XML of the VM is provided. Change the <file> path to the qcow2 file before importing it.

Data Folders

These are available separately and on the virtual machine as well.

Motivation Example

This is the motivation example of HugoRT battery models from the beginning of the paper.

Evaluation

This is our main evaluation executed on the Gamma-Theta toolchain from the last section of the paper.

Textual source (gcd extension) and PlantUML visualisations for each model are also provided, eliminating the need to run Gamma and the Eclipse IDE for just checking the model suite.

Both the evaluation and the motivation example include their own readmes.
DOI: 10.5281/zenodo.15584671
title: State Space-Based Methods for Validating Model Transformations in Model Checkers (Dataset)

description: Artifact

These directories contain all necessary files and our results for our evaluation, and additionally, to our motivation example for the paper titled "State Space-Based Methods for Validating Model Transformations in Model Checkers" by Zsófia Ádám and Zoltán Micskei.

These files are available directly in the zenodo archive, but the provided Ubuntu VM also contains a copy of this directory.

DOI of the paper: TBA

About the Virtual Machine

VM username and password: artifact

The VM is a simple ubuntu 24.04.1 Desktop install with the following additional packages (and their dependencies) installed from apt:openssh-servergraphvizdotopenjdk-17-jre-headless

It has 8GB of RAM, a 35GB disk and 12 CPU cores.

It is a kvm VM, thus a qcow2 disk and the exported XML of the VM is provided. Change the <file> path to the qcow2 file before importing it.

Data Folders

These are available separately and on the virtual machine as well.

Motivation Example

This is the motivation example of HugoRT battery models from the beginning of the paper.

Evaluation

This is our main evaluation executed on the Gamma-Theta toolchain from the last section of the paper.

Textual source (gcd extension) and PlantUML visualisations for each model are also provided, eliminating the need to run Gamma and the Eclipse IDE for just checking the model suite.

Both the evaluation and the motivation example include their own readmes.
DOI: 10.15468/dl.fxa96k
title: Occurrence Download

description: A dataset containing 2841 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is Europe",
 "Country is Netherlands",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Ludwigia grandiflora (Michx.) Greuter & Burdet",
 "Year 1985-2025"
 ]
}

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

description: A dataset containing 36448 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "TaxonKey is Streptomyces Waksman & Henrici, 1943"
 ]
}

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

description: A dataset containing 2155 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is one of (China, Chinese Taipei, Hong Kong, Macao)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Bambusa Schreb.",
 "Year 1000-2025"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "BasisOfRecord is one of (Human Observation, Machine Observation, Occurrence evidence, Observation)",
 "TaxonKey is one of (Eremophila alpestris (Linnaeus, 1758))",
 "Country is one of (American Samoa, Australia, Christmas Island, Cocos (Keeling) Islands, Cook Islands, Fiji, French Polynesia, Guam, Heard Island and McDonald Islands, Kiribati, Marshall Islands, Micronesia (Federated States of), Nauru, New Caledonia, New Zealand, Niue, Norfolk Island, Northern Mariana Islands, Palau, Papua New Guinea, Pitcairn, Samoa, Solomon Islands, Tokelau, Tonga, Tuvalu, United States Minor Outlying Islands, Vanuatu, Wallis and Futuna)"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0018736-250525065834625/datasets/export for details.
DOI: 10.7910/dvn/8sufem
title: Replication Data for: Racial Populism, Partisan Spillover, and Americans’ Quest for Citizen Education Policy Control: Implications for European Democracies

description: Replication data for the two survey experiments included in the paper. The files include: 1) two questionnaires, two fully coded Stata datafiles; 3) dofiles with the analyses. We have also included copies of all figures from the paper and the preregistration documents.
DOI: 10.15468/dl.gcnak5
title: Occurrence Download

description: A dataset containing 9728 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Birds of Ireland"
 ]
}

 The dataset includes 9728 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0018738-250525065834625/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.15410916
title: Mutation probabilities
DOI: 10.5281/zenodo.15410917
title: Mutation probabilities
DOI: 10.5281/zenodo.15411039
title: Mutation probabilities
DOI: 10.5281/zenodo.15411106
title: Mutation probabilities
DOI: 10.5281/zenodo.15411203
title: Mutation probabilities
DOI: 10.5281/zenodo.15411233
title: Mutation probabilities
DOI: 10.5281/zenodo.15411489
title: Mutation probabilities
DOI: 10.15468/dl.rxxwck
title: Occurrence Download

description: A dataset containing 43983 species occurrences available in GBIF matching the query:
{
 "and" : [
 "GadmGid is CAN.2_1",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Bombus Latreille, 1802"
 ]
}

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

description: A dataset containing 36448 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "TaxonKey is Streptomyces Waksman & Henrici, 1943"
 ]
}

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

description: A dataset containing 698 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is North America",
 "Country is Mexico",
 "OccurrenceStatus is Present",
 "TaxonKey is Manihot esculenta Crantz"
 ]
}

 The dataset includes 698 records from 60 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0018743-250525065834625/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.26093/cds/vizier.22770033
title: COSMIC-S SMC photometric catalogue

description: VizieR online Data Catalogue associated with article published in journal Astrophysical Journal Supplement Series with title ' COSMIC-S: A photometric catalog of observed stars in the Small Magellanic Cloud.' (bibcode: 2025ApJS..277...33F)
DOI: 10.6084/m9.figshare.29208302
title: Raw Data for the Kinetics of BPB .xlsx

description: This is the raw data set for the thesis of Paul Hora from Technological University Dublin, the kinetics of the pH indicator Bromophenol Blue.
DOI: 10.6084/m9.figshare.29208302.v1
title: Raw Data for the Kinetics of BPB .xlsx

description: This is the raw data set for the thesis of Paul Hora from Technological University Dublin, the kinetics of the pH indicator Bromophenol Blue.
DOI: 10.15468/dl.2p4cgp
title: Occurrence Download

description: A dataset listing the 1 species recorded in GBIF matching the query:
{
 "TaxonKey" : [
 "is Procyon pygmaeus Merriam, 1901"
 ]
}

 The dataset's 1 records were derived from 14 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0018542-250525065834625/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.15576244
title: 4 shed

description: 📦 Segmentation Dataset 

This repository contains a dataset labeled with Roboflow in YOLOv8 segmentation format, designed for detecting and segmenting different types of terrain surfaces and obstacle negotiability.

📄 Format

-Export format: YOLOv8 Segmentation-Number of classes: 10-Number of picture: 333-Annotation source: Roboflow-Annotation type: Masks for segmentation tasks

🏷️ Available Classes

| ID | Label       | Description                                |----|-------------|--------------------------------------------|| 0  | `concrete`   | Hard surface, pavement or concrete         | 1  | `dirtroad`   | Dirt road or path                          | 2  | `grass`       | Grass or grassy terrain                    | 3  | `gravel`      | Gravel surface or loose rocky path         | 4  | `NS`           | Not traversable (Non-Surmountable)         | 5  | `S50`         | 50% Surmountable slope                     | 6  | `S75`         | 75% Surmountable slope                     | 7  | `S100`       | Fully Surmountable (100%)                  | 8  | `wood`      | Wooden surface

These classes are meant to support the training of terrain perception models, especially for legged robots operating in unstructured environments.

📁 Dataset Structure

dataset/├── train/ # Training images and labels├── valid/ # Validation images and labels├── test/ # Test images and labels├── data.yaml├── README.dataset.txt └── README.roboflow.txt
DOI: 10.5281/zenodo.15576245
title: 4 shed

description: 📦 Segmentation Dataset 

This repository contains a dataset labeled with Roboflow in YOLOv8 segmentation format, designed for detecting and segmenting different types of terrain surfaces and obstacle negotiability.

📄 Format

-Export format: YOLOv8 Segmentation-Number of classes: 10-Number of picture: 333-Annotation source: Roboflow-Annotation type: Masks for segmentation tasks

🏷️ Available Classes

| ID | Label       | Description                                |----|-------------|--------------------------------------------|| 0  | `concrete`   | Hard surface, pavement or concrete         | 1  | `dirtroad`   | Dirt road or path                          | 2  | `grass`       | Grass or grassy terrain                    | 3  | `gravel`      | Gravel surface or loose rocky path         | 4  | `NS`           | Not traversable (Non-Surmountable)         | 5  | `S50`         | 50% Surmountable slope                     | 6  | `S75`         | 75% Surmountable slope                     | 7  | `S100`       | Fully Surmountable (100%)                  | 8  | `wood`      | Wooden surface

These classes are meant to support the training of terrain perception models, especially for legged robots operating in unstructured environments.

📁 Dataset Structure

dataset/├── train/ # Training images and labels├── valid/ # Validation images and labels├── test/ # Test images and labels├── data.yaml├── README.dataset.txt └── README.roboflow.txt
DOI: 10.5281/zenodo.15576257
title: 4 shed P

description: 📦 Segmentation Dataset PASCAL

This repository contains a dataset labeled with Roboflow in PASCAL VOC format, designed for detecting and segmenting different types of terrain surfaces and obstacle negotiability.

📄 Format

-Export format: XML PASCAL VOC-Number of classes: 10-Number of picture: 333-Annotation source: Roboflow-Annotation type: Pascal VOC standard

🏷️ Available Classes

| ID | Label       | Description                                |----|-------------|--------------------------------------------|| 0  | `concrete`   | Hard surface, pavement or concrete         | 1  | `dirtroad`   | Dirt road or path                          | 2  | `grass`       | Grass or grassy terrain                    | 3  | `gravel`      | Gravel surface or loose rocky path         | 4  | `NS`           | Not traversable (Non-Surmountable)         | 5  | `S50`         | 50% Surmountable slope                     | 6  | `S75`         | 75% Surmountable slope                     | 7  | `S100`       | Fully Surmountable (100%)                  | 8  | `wood`      | Wooden surface

These classes are meant to support the training of terrain perception models, especially for legged robots operating in unstructured environments.

📁 Dataset Structure

dataset/├── train/ # Training images and labels├── valid/ # Validation images and labels├── test/ # Test images and labels├── README.dataset.txt └── README.roboflow.txt