cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.17632/fpjyxcxtfr
title: Time-Variant Reliability Dataset for the Nipigon Slope under Rainfall Events

description: This dataset is organized into two sheets: input and output, and is intended for time-variant reliability analysis of an unsaturated slope subjected to rainfall. The data was generated through numerical simulations using GeoStudio software to evaluate slope stability over time under a wide range of conditions.

The input sheet contains 1000 simulation trials, each defined by a unique set of 26 randomly generated variables. These variables represent the material and hydraulic properties of a three-layered soil slope, including cohesion, friction angle, unit weight, saturated and unsaturated hydraulic conductivity, and water retention characteristics for each layer. Additionally, rainfall duration and rainfall intensity are included among the inputs to simulate different rainfall events. The random values were drawn from realistic ranges based on typical soil behavior and field data.

The output sheet contains the corresponding Factor of Safety (FOS) values over time for each trial. For every simulation, the FOS was computed at multiple time steps, capturing the evolution of slope stability as rainfall infiltrated the unsaturated soil profile. Each row corresponds to one trial from the input sheet, and each column represents the FOS at a specific time step during the simulated event.

The modeled slope is based on the Nipigon slope, located in northern Ontario, Canada, along the Trans-Canada Highway. This site is known for its fine-grained, moisture-sensitive soils and a history of rainfall-induced instability, making it a representative case for studying unsaturated slope behavior under variable environmental loading.

This dataset is a valuable resource for researchers and engineers in geotechnical and reliability fields. It supports the development and validation of meta-models, such as artificial neural networks, and enables Monte Carlo simulation, sensitivity analysis, and probabilistic slope failure assessment. By incorporating random variation across a wide range of inputs and capturing time-dependent FOS responses, this dataset enhances understanding of the complex interactions between soil behavior, rainfall, and slope stability—ultimately contributing to better prediction and mitigation of slope failure risks.
DOI: 10.17632/fpjyxcxtfr.1
title: Time-Variant Reliability Dataset for the Nipigon Slope under Rainfall Events

description: This dataset is organized into two sheets: input and output, and is intended for time-variant reliability analysis of an unsaturated slope subjected to rainfall. The data was generated through numerical simulations using GeoStudio software to evaluate slope stability over time under a wide range of conditions.

The input sheet contains 1000 simulation trials, each defined by a unique set of 26 randomly generated variables. These variables represent the material and hydraulic properties of a three-layered soil slope, including cohesion, friction angle, unit weight, saturated and unsaturated hydraulic conductivity, and water retention characteristics for each layer. Additionally, rainfall duration and rainfall intensity are included among the inputs to simulate different rainfall events. The random values were drawn from realistic ranges based on typical soil behavior and field data.

The output sheet contains the corresponding Factor of Safety (FOS) values over time for each trial. For every simulation, the FOS was computed at multiple time steps, capturing the evolution of slope stability as rainfall infiltrated the unsaturated soil profile. Each row corresponds to one trial from the input sheet, and each column represents the FOS at a specific time step during the simulated event.

The modeled slope is based on the Nipigon slope, located in northern Ontario, Canada, along the Trans-Canada Highway. This site is known for its fine-grained, moisture-sensitive soils and a history of rainfall-induced instability, making it a representative case for studying unsaturated slope behavior under variable environmental loading.

This dataset is a valuable resource for researchers and engineers in geotechnical and reliability fields. It supports the development and validation of meta-models, such as artificial neural networks, and enables Monte Carlo simulation, sensitivity analysis, and probabilistic slope failure assessment. By incorporating random variation across a wide range of inputs and capturing time-dependent FOS responses, this dataset enhances understanding of the complex interactions between soil behavior, rainfall, and slope stability—ultimately contributing to better prediction and mitigation of slope failure risks.
DOI: 10.15468/dl.cq8nxr
title: Occurrence Download

description: A dataset containing 1118 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Kadsura coccinea (Lem.) A.C.Sm."
 ]
}

 The dataset includes 1118 records from 44 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0030118-250525065834625/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.17632/pdpgnn4swh
title: Urban Routes Dataset

description: Urban Routes Dataset is a collection of urban trip records captured using different modes of transportation, including bicycle, walking, motorcycle, bus, and private car. The data was collected using a free and open-source tool. The dataset includes a total of 600 trips, distributed as follows: 300 bicycle trips, 97 walking trips, 101 motorcycle trips, 51 bus trips, and 50 private car trips.

Structure: The dataset is organized into five folders, each corresponding to one of the transportation modes used during data collection. Inside each folder, each trip is stored as a .zip file, which contains multiple files representing data from various sensors that were active during the trip. It is important to note that the file named "Location" within each .zip contains the complete sequence of GPS points for that trip.
DOI: 10.17632/pdpgnn4swh.1
title: Urban Routes Dataset

description: Urban Routes Dataset is a collection of urban trip records captured using different modes of transportation, including bicycle, walking, motorcycle, bus, and private car. The data was collected using a free and open-source tool. The dataset includes a total of 600 trips, distributed as follows: 300 bicycle trips, 97 walking trips, 101 motorcycle trips, 51 bus trips, and 50 private car trips.

Structure: The dataset is organized into five folders, each corresponding to one of the transportation modes used during data collection. Inside each folder, each trip is stored as a .zip file, which contains multiple files representing data from various sensors that were active during the trip. It is important to note that the file named "Location" within each .zip contains the complete sequence of GPS points for that trip.
DOI: 10.15468/dl.xzarvh
title: Occurrence Download

description: A dataset containing 7917 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Ophiostoma",
 "Year 1904-2024"
 ]
}

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

description: A dataset containing 15 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Rotheca hirsuta f. hirsuta"
 ]
}

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

description: A dataset containing 824 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 }
 ]
 },
 "TaxonKey is Eristalis abusivus Collin, 1931",
 "PhylumKey is Arthropoda",
 "Year is greater than or equal to 1992",
 "Year is less than or equal to 2012",
 "Geometry POLYGON((-26 34, 42 34, 42 70, -26 70, -26 34))"
 ]
}

 The dataset includes 824 records from 64 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014856-241007104925546/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.12518037
title: Invasion biology corpus 2024-07

description: This repository provides a Jupyter notebook containing a set of queries that provide an overview of the invasion biology content in Wikidata as of July 2024. For each of the queries, the query results are saved as a CSV file to facilitate reuse.

 

All of the queries can be run directly on the Wikidata Query Service at https://query.wikidata.org/ . A more comprehensive list of queries to explore the live version of this corpus is provided at https://www.wikidata.org/wiki/Wikidata:WikiProject_Invasion_biology . For live results of a subset of these queries, see https://scholia.toolforge.org/wikiproject/Q56241615 .
DOI: 10.5281/zenodo.12518036
title: Invasion biology corpus 2024-07

description: This repository provides a Jupyter notebook containing a set of queries that provide an overview of the invasion biology content in Wikidata as of July 2024. For each of the queries, the query results are saved as a CSV file to facilitate reuse.

 

All of the queries can be run directly on the Wikidata Query Service at https://query.wikidata.org/ . A more comprehensive list of queries to explore the live version of this corpus is provided at https://www.wikidata.org/wiki/Wikidata:WikiProject_Invasion_biology . For live results of a subset of these queries, see https://scholia.toolforge.org/wikiproject/Q56241615 .
DOI: 10.5281/zenodo.13923565
title: JG.fa (JG2.1.0.fa) bwa-mem2 index files
DOI: 10.5281/zenodo.13923566
title: JG.fa (JG2.1.0.fa) bwa-mem2 index files
DOI: 10.15468/dl.hbakmg
title: Occurrence Download

description: A dataset containing 55 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((125.74655 33.09996,129.85422 33.09996,129.85422 38.67851,125.74655 38.67851,125.74655 33.09996))",
 "HasGeospatialIssue is false",
 "TaxonKey is Potamogeton cristatus Regel & Maack"
 ]
}

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

description: A dataset containing 1508259 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((18.249 -34.408,18.557 -34.408,18.557 -33.901,18.249 -33.901,18.249 -34.408))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 7045 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 }
 ]
 },
 "TaxonKey is Eristalis arbustorum (Linnaeus, 1758)",
 "PhylumKey is Arthropoda",
 "Year is greater than or equal to 1992",
 "Year is less than or equal to 2012",
 "Geometry POLYGON((-26 34, 42 34, 42 70, -26 70, -26 34))"
 ]
}

 The dataset includes 7045 records from 166 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014859-241007104925546/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.26304767.v1
title: Detection and molecular characterization of chicken parvovirus and chicken megrivirus in layer breeders affected by intestinal dilatation syndrome

description: Intestinal dilatation syndrome (IDS) is a segmental enteropathy characterized by dilatation of the junction of the ileum and jejunum (Meckel’s diverticulum). IDS severely affects the poultry industry by causing a chronic and irreversible drop in egg laying, reducing feed conversion efficiency, and increasing the mortality rate. The clinical and pathological features of IDS in white laying hens were described, and viral molecular and metagenomic research was conducted. The 50 – to 60-day-old chickens presented pale mucosa, apathy, depression, ruffled feathers, and diarrhoea, accompanied by a 20% loss in fertile egg production, 20% culling of birds, and 5% mortality. The main findings at necropsy were marked intestinal dilatation with intestinal stasis, a narrow distal jejunum in the region of Meckel's diverticulum, and undigested food. Microscopic analysis revealed marked atrophic lymphoplasmacytic and heterophilic enteritis with hyperplastic crypts, ulceration, and heterophilic and lymphoplasmacytic perineuritis. The molecular assays consistently detected the presence of chicken parvovirus in the three segments of the intestine, pancreas, and proventriculus, as well as chicken megrivirus in the intestinal contents. Marked atrophic enteritis with perineuritis and intestinal stasis were associated with clinical manifestations of poor intestinal absorption and secondary bacterial infection. Our data provide useful information about IDS and highlight the importance of further studies to determine the specific role of each detected virus in this syndrome. IDS presented pathognomonic dilatation of the jejunum up to Meckel's diverticulum.IDS caused weight loss, decreased egg production, and increased culling and mortality.Chicken parvovirus (ChPV) was consistently detected through PCR assays.Chicken megrivirus (ChMV) was consistently detected through viral metagenomics. IDS presented pathognomonic dilatation of the jejunum up to Meckel's diverticulum. IDS caused weight loss, decreased egg production, and increased culling and mortality. Chicken parvovirus (ChPV) was consistently detected through PCR assays. Chicken megrivirus (ChMV) was consistently detected through viral metagenomics.
DOI: 10.6084/m9.figshare.26304767
title: Detection and molecular characterization of chicken parvovirus and chicken megrivirus in layer breeders affected by intestinal dilatation syndrome

description: Intestinal dilatation syndrome (IDS) is a segmental enteropathy characterized by dilatation of the junction of the ileum and jejunum (Meckel’s diverticulum). IDS severely affects the poultry industry by causing a chronic and irreversible drop in egg laying, reducing feed conversion efficiency, and increasing the mortality rate. The clinical and pathological features of IDS in white laying hens were described, and viral molecular and metagenomic research was conducted. The 50 – to 60-day-old chickens presented pale mucosa, apathy, depression, ruffled feathers, and diarrhoea, accompanied by a 20% loss in fertile egg production, 20% culling of birds, and 5% mortality. The main findings at necropsy were marked intestinal dilatation with intestinal stasis, a narrow distal jejunum in the region of Meckel's diverticulum, and undigested food. Microscopic analysis revealed marked atrophic lymphoplasmacytic and heterophilic enteritis with hyperplastic crypts, ulceration, and heterophilic and lymphoplasmacytic perineuritis. The molecular assays consistently detected the presence of chicken parvovirus in the three segments of the intestine, pancreas, and proventriculus, as well as chicken megrivirus in the intestinal contents. Marked atrophic enteritis with perineuritis and intestinal stasis were associated with clinical manifestations of poor intestinal absorption and secondary bacterial infection. Our data provide useful information about IDS and highlight the importance of further studies to determine the specific role of each detected virus in this syndrome. IDS presented pathognomonic dilatation of the jejunum up to Meckel's diverticulum.IDS caused weight loss, decreased egg production, and increased culling and mortality.Chicken parvovirus (ChPV) was consistently detected through PCR assays.Chicken megrivirus (ChMV) was consistently detected through viral metagenomics. IDS presented pathognomonic dilatation of the jejunum up to Meckel's diverticulum. IDS caused weight loss, decreased egg production, and increased culling and mortality. Chicken parvovirus (ChPV) was consistently detected through PCR assays. Chicken megrivirus (ChMV) was consistently detected through viral metagenomics.
DOI: 10.5281/zenodo.13928216
title: Serialized BDDs from the Model Checking Competition

description: This is a collection of real-life BDDs created from a reachability analysis of 1-safe Petri nets from the Model Checking Competition. These can be used to benchmark the performance of one (or more) BDD packages.

Contents

Each .zip archive multiple .zip archives for the models from that particular year. Each archive for one such model includes the following serialized BDDs:



relation.bdd: A single joined relation of all transitions in the Petri net.

states_<n>.bdd: The first set of states with a BDD of magnitude 2ⁿ that was constructed while computing all reachable states in the Petri net.


Usage

These BDDs can be used in two of the benchmarks from the BDD Benchmarking Suite:



Apply: Load two (or more) BDDs and combine them with either an or or an and operation. This is a reimplementation of the benchmark by Pastva and Henzinger (Zenodo).

RelProd: Load the relation (relation.bdd) and (states_<n>.bdd) and combine them with a forward or backwards application of the relational product.


Reproduction

See README.md for all the details.
DOI: 10.5281/zenodo.13928215
title: Serialized BDDs from the Model Checking Competition

description: This is a collection of real-life BDDs created from a reachability analysis of 1-safe Petri nets from the Model Checking Competition. These can be used to benchmark the performance of one (or more) BDD packages.

Contents

Each .zip archive multiple .zip archives for the models from that particular year. Each archive for one such model includes the following serialized BDDs:



relation.bdd: A single joined relation of all transitions in the Petri net.

states_<n>.bdd: The first set of states with a BDD of magnitude 2ⁿ that was constructed while computing all reachable states in the Petri net.


Usage

These BDDs can be used in two of the benchmarks from the BDD Benchmarking Suite:



Apply: Load two (or more) BDDs and combine them with either an or or an and operation. This is a reimplementation of the benchmark by Pastva and Henzinger (Zenodo).

RelProd: Load the relation (relation.bdd) and (states_<n>.bdd) and combine them with a forward or backwards application of the relational product.


Reproduction

See README.md for all the details.
DOI: 10.15468/dl.xk2mu7
title: Occurrence Download

description: A dataset listing the 35 species recorded in GBIF matching the query:
{
 "and" : [
 "Country is Mexico",
 "TaxonKey is Tardigrada"
 ]
}

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

description: A dataset containing 8423 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Spain",
 "TaxonKey is Pseudophilotes baton (Bergstrasser, 1779)"
 ]
}

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

description: A dataset containing 3880 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 }
 ]
 },
 "TaxonKey is Eristalis intricaria (Linnaeus, 1758)",
 "PhylumKey is Arthropoda",
 "Year is greater than or equal to 1992",
 "Year is less than or equal to 2012",
 "Geometry POLYGON((-26 34, 42 34, 42 70, -26 70, -26 34))"
 ]
}

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

description: A dataset containing 2946 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 }
 ]
 },
 "TaxonKey is Eristalis nemorum (Linnaeus, 1758)",
 "PhylumKey is Arthropoda",
 "Year is greater than or equal to 1992",
 "Year is less than or equal to 2012",
 "Geometry POLYGON((-26 34, 42 34, 42 70, -26 70, -26 34))"
 ]
}

 The dataset includes 2946 records from 87 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014862-241007104925546/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.7whq3v
title: Occurrence Download

description: A dataset containing 8423 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Spain",
 "TaxonKey is Pseudophilotes baton (Bergstrasser, 1779)"
 ]
}

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

description: A dataset containing 920 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is one of (Human Observation, Material sample, Living Specimen)",
 "Country is Germany",
 "OccurrenceStatus is Present",
 "TaxonKey is Salamandra atra Laurenti, 1768"
 ]
}

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

description: A dataset containing 808 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is one of (Spain, Andorra)",
 "TaxonKey is Boloria pales (Denis & Schiffermüller), 1775"
 ]
}

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