cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.14886196
title: Various Datasets Accompanying the Paper "Infusing Formal Methods into Ops-related Practices: Case Studies in Resource Allocation in the Cloud"

description: Various datasets accompagnig  the paper Infusing Formal Methods into Ops-related Practices: Case Studies in Resource Allocation in the Cloud. The code used for generating them and how to use them is available at here.



TrainingDatasets.zip contains datasets for 4 use cases. More details about the properties of the dataset is in the paper, Section 3.3.

GNNModels.zip contains datasets, for each of the 4 use cases, with graph neural networks trained using the above datasets with the architectures and hyperparameters as specified in the paper, Sections 4.1 and 5.2.

SMT-LIB.zip contains datasets, for each of the 4 use cases, with constrained optimization problems in the SMT-LIB format augumented with soft constraints extracted from GNN predictions as discussed in the paper, Sections 4.2 and 5.3.



StatDataFromSMT-LIB.zip contain datasets, for each of the 4 use cases, used for drafting the conclusions for the 3 research questions in the paper. The data is extracted from the SMT-LIB files above and contains information like Samples, Epochs, Batchsize, Offers, Type, Time, Price which is then used to draw the conclusions for RQ1-3.
DOI: 10.5281/zenodo.14886396
title: QR Code Detection YOLO

description: Description:







This dataset provides a comprehensive platform for enhancing QR Code Detection YOLO models, leveraging both synthetic and real-world data.

Dataset Components



Training Set: Includes thousands of auto-generated QR codes. These QR codes are isolated with no background, allowing the model to focus purely on shape and structure recognition.

Test Set: Consists of real-life images featuring QR codes in varied contexts, from different angles, lighting conditions, and cluttered environments.

Background Images: A curated set of images taken from malls, retail stores, streets, etc., allowing developers to blend QR codes into realistic scenarios, simulating real-world conditions for model training.








Download Dataset









Data Usage and Goals

The primary objective is to train object detection models, such as YOLO (You Only Look Once), using synthetic QR codes and background images to improve generalization on unseen, real-world data. Training on the synthetic set avoids overfitting, while the test set evaluates the model’s performance in natural environments with QR codes placed in cluttered, busy scenes.

Data Augmentation and Variety

To make the dataset more robust, various augmentations are included:



Diverse QR Code Sizes: Codes of varying sizes are use, enabling the model to detect small and large codes in the same setting.

Rotations and Distortions: QR codes are display from multiple angles and subjected to distortions, mimicking real-life conditions where codes may not be perfectly align.

Occlusion Handling: Some QR codes are partially obscured by objects, providing additional complexity for the detection task.


Potential Applications

This dataset is suit for AI developers working on:



Mobile scanning apps

Inventory management systems

Augmented reality applications that rely on QR codes for object recognition.


This dataset is sourced from Kaggle.
DOI: 10.5281/zenodo.14886397
title: QR Code Detection YOLO

description: Description:







This dataset provides a comprehensive platform for enhancing QR Code Detection YOLO models, leveraging both synthetic and real-world data.

Dataset Components



Training Set: Includes thousands of auto-generated QR codes. These QR codes are isolated with no background, allowing the model to focus purely on shape and structure recognition.

Test Set: Consists of real-life images featuring QR codes in varied contexts, from different angles, lighting conditions, and cluttered environments.

Background Images: A curated set of images taken from malls, retail stores, streets, etc., allowing developers to blend QR codes into realistic scenarios, simulating real-world conditions for model training.








Download Dataset









Data Usage and Goals

The primary objective is to train object detection models, such as YOLO (You Only Look Once), using synthetic QR codes and background images to improve generalization on unseen, real-world data. Training on the synthetic set avoids overfitting, while the test set evaluates the model’s performance in natural environments with QR codes placed in cluttered, busy scenes.

Data Augmentation and Variety

To make the dataset more robust, various augmentations are included:



Diverse QR Code Sizes: Codes of varying sizes are use, enabling the model to detect small and large codes in the same setting.

Rotations and Distortions: QR codes are display from multiple angles and subjected to distortions, mimicking real-life conditions where codes may not be perfectly align.

Occlusion Handling: Some QR codes are partially obscured by objects, providing additional complexity for the detection task.


Potential Applications

This dataset is suit for AI developers working on:



Mobile scanning apps

Inventory management systems

Augmented reality applications that rely on QR codes for object recognition.


This dataset is sourced from Kaggle.
DOI: 10.15468/dl.bq7vy8
title: Occurrence Download

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

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

description: A dataset containing 210149 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Agrimonia eupatoria L.",
 "OccurrenceStatus is Present",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "Year is greater than or equal to 1900",
 "Year is less than or equal to 2010"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Caldisphaera lagunensis Itoh et al., 2003",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0004320-250214102907787/datasets/export for details.
DOI: 10.6084/m9.figshare.28435262
title: John Cormican Thesis Supplementary Material

description: This contains supplementary files relevant to my thesis submission.
DOI: 10.15468/dl.5dpxcb
title: Occurrence Download

description: A dataset listing the 6052 species recorded in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((15.73906 -17.26072,19.94992 -17.26072,19.94992 -12.03924,15.73906 -12.03924,15.73906 -17.26072))",
 "HasCoordinate is true"
 ]
}

 The dataset's 6052 records were derived from 151 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0004314-250214102907787/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.27313530
title: Data set and variable list for 'Integral Emotions as Parallel Predictors of Risky Financial Behavior'

description: A study to understand the dynamics of integral emotions or emotions that emerge as we consider choices in decision-making, in predicting risky financial behavior. We investigated anticipated and anticipatory emotions that are considered as integral emotions, using two vignettes on credit behavior.
DOI: 10.6084/m9.figshare.27313530.v2
title: Data set and variable list for 'Integral Emotions as Parallel Predictors of Risky Financial Behavior'

description: A study to understand the dynamics of integral emotions or emotions that emerge as we consider choices in decision-making, in predicting risky financial behavior. We investigated anticipated and anticipatory emotions that are considered as integral emotions, using two vignettes on credit behavior.
DOI: 10.15468/dl.nk3ftk
title: Occurrence Download

description: A dataset containing 182 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is France",
 "Geometry POLYGON((1.36544 43.53626,1.37225 43.53988,1.37618 43.54021,1.38224 43.54251,1.3842 43.5446,1.37876 43.54734,1.37634 43.54668,1.36726 43.54931,1.36378 43.54854,1.35425 43.55205,1.35107 43.54942,1.35697 43.54646,1.3544 43.54416,1.35592 43.54284,1.35455 43.54142,1.35849 43.53714,1.36544 43.53626))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "IucnRedListCategory is one of (EN, LC, NE)",
 "OccurrenceStatus is Present"
 ]
}

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

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

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

description: A dataset containing 386 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Pseudopachybrachius vinctus (Say, 1831))",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 19 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is United States of America",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 {
 "or" : [
 "InstitutionCode is ku",
 "InstitutionCode is uwbm"
 ]
 },
 "OccurrenceStatus is Present",
 "StateProvince is Oregon",
 "TaxonKey is Neotoma cinerea (Ord, 1815)",
 "Year 1990-2021"
 ]
}

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

description: A dataset containing 251 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Colombia",
 {
 "or" : [
 "InstitutionCode is mo",
 "InstitutionCode is ucaldas",
 "InstitutionCode is icn",
 "InstitutionCode is us",
 "InstitutionCode is col",
 "InstitutionCode is universidad industrial de santander (uis)",
 "InstitutionCode is universidad de nariño (udenar)",
 "InstitutionCode is inaturalist",
 "InstitutionCode is ital001|col0002"
 ]
 },
 "TaxonKey is Passiflora mollissima (Kunth) L.H.Bailey"
 ]
}

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

description: A dataset containing 13 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "TaxonKey is Rhododendron traillianum var. traillianum"
 ]
}

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

description: A dataset containing 252 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Amphitecna apiculata A.H.Gentry"
 ]
}

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

description: A dataset containing 2223 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Lepus saxatilis F.Cuvier, 1823"
 ]
}

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

description: A dataset containing 42 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Jatropha stevensii G.L.Webster",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 3 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Cixius cavazoricus Hoch, 1991"
 ]
}

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

description: A dataset containing 1049 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ptereleotris heteroptera (Bleeker, 1855)"
 ]
}

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

description: A dataset containing 24 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Phymatoceros bulbiculosus (Brot.) Stotler, W.T.Doyle & Crand.-Stotl."
 ]
}

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

description: A dataset containing 5 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Begonia calcarea Ridl."
 ]
}

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

description: A dataset containing 189 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "TaxonKey is Gorilla gorilla (Savage, 1847)",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 18 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Rhizophora racemosa G.Mey.",
 "Country is Cameroon",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "Year 1950-2016"
 ]
}

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

description: A dataset containing 87620 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Oenanthe isabellina (Temminck, 1829)"
 ]
}

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

description: A dataset containing 923 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Epimachus fastosus (Hermann, 1783)"
 ]
}

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

description: A dataset containing 282893 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "Country is United States of America",
 "Country is Canada",
 "Country is Mexico"
 ]
 },
 "HasCoordinate is true",
 "TaxonKey is Carpodacus mexicanus (P.L.Statius Müller, 1776)",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 43598 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Mammals housed at MHNG, Geneva"
 ]
}

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

description: A dataset containing 251 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Phocoena sinus Norris & McFarland, 1958"
 ]
}

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

description: A dataset containing 24614 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "Geometry POLYGON((-77.72499 2.50738,-76.75542 2.50738,-76.75542 7.23843,-77.18939 7.23843,-77.72499 7.23843,-77.72499 2.50738))",
 "Geometry POLYGON((-77.70404 7.08019,-77.18939 7.08019,-77.18939 8.83973,-77.70404 8.83973,-77.70404 7.08019))",
 "Geometry POLYGON((-81.09575 0.19143,-80.52864 0.15023,-79.09199 0.17723,-78.33617 0.19143,-78.33617 1.43479,-81.09575 1.43479,-81.09575 0.19143))",
 "Geometry POLYGON((-78.79323 1.07011,-77.67659 1.07011,-77.67659 7.32598,-78.79323 7.32598,-78.72265 5.58516,-78.79323 1.07011))",
 "Geometry POLYGON((-80.44169 -1.17754,-79.09602 -1.17754,-79.09602 0.39142,-80.44169 0.39142,-80.44169 -1.17754))"
 ]
 },
 "HasGeospatialIssue is false",
 "TaxonKey is Araceae"
 ]
}

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

description: A dataset containing 335 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Aniba rosaeodora Ducke"
 ]
}

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

description: A dataset containing 8 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is Tsetse flies of East Africa update",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Glossina morsitans Westwood, 1851"
 ]
}

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

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

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

description: A dataset containing 1391315 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-110.96296 22.13753,-105.74322 22.13753,-105.74322 25.45684,-110.96296 25.45684,-110.96296 22.13753))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 150 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Peru",
 "TaxonKey is Phoenicoparrus andinus (Philippi, 1854)"
 ]
}

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

description: A dataset containing 49 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Megalaima flavifrons (Cuvier, 1816)"
 ]
}

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