cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.15735447
title: PRISM Artifact: Experiment Outputs

description: This archive is primarily intended for those who wish to explore the raw outputs of each APCC tool.

If your goal is simply to regenerate the experimental results in our paper, please refer to the CSV-formatted summary data we separately provide.

After extraction, this `outputs/` directory will contain the following structure:

How to Use

1. Download the archive from the link above.

2. Extract it into this `outputs/` directory:



tar -xvzf outputs.tar.gz


3. After extraction, this directory will contain subdirectories in the following format:



outputs/

├── Chart1b/

│ └── 642cd9b0/

│ ├── correctness.txt

│ ├── formatted.patch

│ ├── patches/

│ ├── patch_mthds.results

│ ├── test_info.json

│ ├── patchsim/

│ ├── ods/

│ ├── shibboleth/

│ └── prism/

...


Directory Structure and Contents

Each patch result is stored under a two-level directory path: `outputs/[project_id]/[patch_id]/`. Each resulting directory contains the following metadata:



correctness.txt: Ground-truth label indicating whether the patch is correct or incorrect.

formatted.patch: Syntactically normalized patch. This is used to represent all patches that are syntactically equivalent.

patches: Contains all original benchmark patches that are syntactically equivalent to the current one.

patch_mthds.results: Target method informations which are patched (it is used for running shibboleth).

test_info.json: Test execution results for the patch using the provided developer test suite.


Each patch directory also includes outputs from the following APCC techniques:

PatchSim



patchsim/result.json: Main classification result.

patchsim/classify/result_{threshold}.txt: Classification decisions at different similarity thresholds.


ODS



ods/features_{project}_{bug_id}_FeatureAnalyzer.json: Raw syntactic feature vectors.

ods/feature.json: Subset of selected features used for classification.


Shibboleth





shibboleth/score.csv: Score vector produced by Shibboleth's static analysis and test impact assessment.



PRISM



prism/trace-out/: Dynamically collected execution traces from instrumented test runs. It is used for reinforcing PRISM's static analyzer.

prism/result.json: Extracted semantic feature vectors for patch classification.
DOI: 10.5281/zenodo.15735446
title: PRISM Artifact: Experiment Outputs

description: This archive is primarily intended for those who wish to explore the raw outputs of each APCC tool.

If your goal is simply to regenerate the experimental results in our paper, please refer to the CSV-formatted summary data we separately provide.

After extraction, this `outputs/` directory will contain the following structure:

How to Use

1. Download the archive from the link above.

2. Extract it into this `outputs/` directory:



tar -xvzf outputs.tar.gz


3. After extraction, this directory will contain subdirectories in the following format:



outputs/

├── Chart1b/

│ └── 642cd9b0/

│ ├── correctness.txt

│ ├── formatted.patch

│ ├── patches/

│ ├── patch_mthds.results

│ ├── test_info.json

│ ├── patchsim/

│ ├── ods/

│ ├── shibboleth/

│ └── prism/

...


Directory Structure and Contents

Each patch result is stored under a two-level directory path: `outputs/[project_id]/[patch_id]/`. Each resulting directory contains the following metadata:



correctness.txt: Ground-truth label indicating whether the patch is correct or incorrect.

formatted.patch: Syntactically normalized patch. This is used to represent all patches that are syntactically equivalent.

patches: Contains all original benchmark patches that are syntactically equivalent to the current one.

patch_mthds.results: Target method informations which are patched (it is used for running shibboleth).

test_info.json: Test execution results for the patch using the provided developer test suite.


Each patch directory also includes outputs from the following APCC techniques:

PatchSim



patchsim/result.json: Main classification result.

patchsim/classify/result_{threshold}.txt: Classification decisions at different similarity thresholds.


ODS



ods/features_{project}_{bug_id}_FeatureAnalyzer.json: Raw syntactic feature vectors.

ods/feature.json: Subset of selected features used for classification.


Shibboleth





shibboleth/score.csv: Score vector produced by Shibboleth's static analysis and test impact assessment.



PRISM



prism/trace-out/: Dynamically collected execution traces from instrumented test runs. It is used for reinforcing PRISM's static analyzer.

prism/result.json: Extracted semantic feature vectors for patch classification.
DOI: 10.25574/csc2.obs.11538
title: Chandra X-ray Observatory ObsId 11538

description: CSC uses combined (i.e. overlapping) Chandra observations for detecting X-ray sources. This allows the catalog to include significantly fainter sources than CSC 1.1. The set of overlapping observations that have been combined in this way is known as a "stack".
DOI: 10.15468/dl.jrbzch
title: Occurrence Download

description: A dataset containing 41 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Chile",
 "TaxonKey is Leopardus guigna (Molina, 1782)"
 ]
}

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

description: A dataset containing 77 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Pteris longipinnula Wall."
 ]
}

 The dataset includes 77 records from 8 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0050481-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25574/csc2.obs.11539
title: Chandra X-ray Observatory ObsId 11539

description: CSC uses combined (i.e. overlapping) Chandra observations for detecting X-ray sources. This allows the catalog to include significantly fainter sources than CSC 1.1. The set of overlapping observations that have been combined in this way is known as a "stack".
DOI: 10.15468/dl.9nthuy
title: Occurrence Download

description: A dataset containing 939 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Geothlypis trichas (Linnaeus, 1766), Setophaga petechia (Linnaeus, 1766), Turdus migratorius Linnaeus, 1766, Setophaga ruticilla (Linnaeus, 1758), Catharus ustulatus (Nuttall, 1840), Cantharis ustulata Kiesenwetter, 1851, Cantharis ustulatus Scopoli, 1763, Leiothlypis peregrina (A.Wilson, 1811), Troglodytes hiemalis Vieillot, 1819, Mniotilta varia (Linnaeus, 1766), Setophaga pensylvanica (Linnaeus, 1766), Spinus tristis (Linnaeus, 1758), Stenus tristis Casey, 1884, Stenus tristis Casey, 1884, Sunius tristis Erichson, 1840, Troglodytes aedon Vieillot, 1809, Leiothlypis celata (Say, 1822), Tyrannus tyrannus (Linnaeus, 1758), Melospiza lincolnii (Audubon, 1834), Circus hudsonius (Linnaeus, 1766), Corvus hudsonia (Sabine, 1823), Pooecetes gramineus (J.F.Gmelin, 1789), Catharus fuscescens (Stephens, 1817), Spizella passerina (Bechstein, 1798), Passerina cyanea (Linnaeus, 1766), Sitta canadensis Linnaeus, 1766, Aeronautes saxatalis (Woodhouse, 1853), Zonotrichia atricapilla (J.F.Gmelin, 1789), Dumetella carolinensis (Linnaeus, 1766), Haemorhous mexicanus (P.L.Statius Müller, 1776))",
 {
 "not" : {
 "BasisOfRecord" : [
 "is Unknown evidence"
 ]
 }
 },
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "CoordinateUncertaintyInMeters is 1000",
 "Year is greater than or equal to 2000"
 ]
}

 The dataset includes 939 records from 16 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0064134-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25574/csc2.obs.12831
title: Chandra X-ray Observatory ObsId 12831

description: CSC uses combined (i.e. overlapping) Chandra observations for detecting X-ray sources. This allows the catalog to include significantly fainter sources than CSC 1.1. The set of overlapping observations that have been combined in this way is known as a "stack".
DOI: 10.15468/dl.txj2cm
title: Occurrence Download

description: A dataset containing 121 species occurrences available in GBIF matching the query:
{
 "and" : [
 "OccurrenceStatus is Present",
 {
 "or" : [
 "TaxonKey is Gollania clarescens (Mitt.) Broth.",
 "TaxonKey is Gollania cylindricarpa (Mitt.) Broth.",
 "TaxonKey is Gollania japonica (Cardot) Ando & Higuchi",
 "TaxonKey is Gollania neckerella (Müll.Hal.) Broth.",
 "TaxonKey is Gollania philippinensis (Broth.) Nog.",
 "TaxonKey is Gollania revoluta Higuchi"
 ]
 }
 ]
}

 The dataset includes 121 records from 28 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0060124-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.txr4ch
title: Occurrence Download

description: A dataset containing 982 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Megascops roboratus (Bangs & Noble, 1918)"
 ]
}

 The dataset includes 982 records from 22 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0047438-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25574/csc2.obs.12832
title: Chandra X-ray Observatory ObsId 12832

description: CSC uses combined (i.e. overlapping) Chandra observations for detecting X-ray sources. This allows the catalog to include significantly fainter sources than CSC 1.1. The set of overlapping observations that have been combined in this way is known as a "stack".
DOI: 10.15468/dl.m57sq9
title: Occurrence Download

description: A dataset containing 13 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-95.55678 29.68992,-95.45967 29.68992,-95.45967 29.72038,-95.55678 29.72038,-95.55678 29.68992))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Nyctanassa violacea (Linnaeus, 1758)"
 ]
}

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

description: A dataset containing 38 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "Country is China",
 "Country is Thailand",
 "Country is Viet Nam"
 ]
 },
 "HasCoordinate is true",
 "TaxonKey is Chukrasia tabularis var. velutina (M.Roem.) King",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 38 records from 5 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0007299-180131172636756/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25574/csc2.obs.14513
title: Chandra X-ray Observatory ObsId 14513

description: CSC uses combined (i.e. overlapping) Chandra observations for detecting X-ray sources. This allows the catalog to include significantly fainter sources than CSC 1.1. The set of overlapping observations that have been combined in this way is known as a "stack".
DOI: 10.15468/dl.g7bmpx
title: Occurrence Download

description: A dataset containing 1380 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Sciapus platypterus (Fabricius, 1805)"
 ]
}

 The dataset includes 1380 records from 77 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0013209-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25574/csc2.obs.14514
title: Chandra X-ray Observatory ObsId 14514

description: CSC uses combined (i.e. overlapping) Chandra observations for detecting X-ray sources. This allows the catalog to include significantly fainter sources than CSC 1.1. The set of overlapping observations that have been combined in this way is known as a "stack".
DOI: 10.15468/dl.w3cmsc
title: Occurrence Download

description: A dataset containing 367 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((75.62988 47.41699,114.12598 47.41699,114.12598 69.21387,75.62988 69.21387,75.62988 47.41699))",
 "TaxonKey is Cirsium vulgare (Savi) Ten."
 ]
}

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

description: A dataset listing the 1 species recorded in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Elaeagia utilis (Goudot) Wedd."
 ]
}

 The dataset's 1 records were derived from 51 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0057894-240506114902167/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25574/csc2.obs.14515
title: Chandra X-ray Observatory ObsId 14515

description: CSC uses combined (i.e. overlapping) Chandra observations for detecting X-ray sources. This allows the catalog to include significantly fainter sources than CSC 1.1. The set of overlapping observations that have been combined in this way is known as a "stack".
DOI: 10.15468/dl.harrmv
title: Occurrence Download

description: A dataset containing 227 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Guaruba guarouba (Gmelin, 1788)"
 ]
}

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

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

 The dataset includes 75451 records from 698 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0007299-180730143533302/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25574/csc2.obs.14516
title: Chandra X-ray Observatory ObsId 14516

description: CSC uses combined (i.e. overlapping) Chandra observations for detecting X-ray sources. This allows the catalog to include significantly fainter sources than CSC 1.1. The set of overlapping observations that have been combined in this way is known as a "stack".
DOI: 10.15468/dl.oc3564
title: Occurrence Download

description: A dataset containing 27 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Mexico",
 "TaxonKey is Cupressus sempervirens L."
 ]
}

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

description: A dataset containing 303 species occurrences available in GBIF matching the query:
{
 "and" : [
 "IucnRedListCategory is CR",
 "OccurrenceStatus is Present",
 "Programme is BIFA"
 ]
}

 The dataset includes 303 records from 14 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0115860-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25574/csc2.obs.14517
title: Chandra X-ray Observatory ObsId 14517

description: CSC uses combined (i.e. overlapping) Chandra observations for detecting X-ray sources. This allows the catalog to include significantly fainter sources than CSC 1.1. The set of overlapping observations that have been combined in this way is known as a "stack".
DOI: 10.15468/dl.u6lfss
title: Occurrence Download

description: A dataset containing 5611 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Cocos nucifera L."
 ]
}

 The dataset includes 5611 records from 174 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0004447-190307172214381/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25574/csc2.obs.14518
title: Chandra X-ray Observatory ObsId 14518

description: CSC uses combined (i.e. overlapping) Chandra observations for detecting X-ray sources. This allows the catalog to include significantly fainter sources than CSC 1.1. The set of overlapping observations that have been combined in this way is known as a "stack".
DOI: 10.25574/csc2.obs.13191
title: Chandra X-ray Observatory ObsId 13191

description: CSC uses combined (i.e. overlapping) Chandra observations for detecting X-ray sources. This allows the catalog to include significantly fainter sources than CSC 1.1. The set of overlapping observations that have been combined in this way is known as a "stack".
DOI: 10.15468/dl.8cqjc2
title: Occurrence Download

description: A dataset containing 7924 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 one of (Clematis recta)"
 ]
}

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

description: A dataset containing 132611264 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is United States of America",
 "DatasetKey is EOD – eBird Observation Dataset",
 "Year 2024-2025"
 ]
}

 The dataset includes 132611264 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0019292-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34810/data1581
title: Qualitative dataset of Local Indicators of Climate Change Impacts in Vavatenina, Madagascar

description: Qualitative dataset of the Site 'Vavatenina' collected by Juliette Mariel in Madagascar. This dataset was collected in the context of the ERC funded project: LICCI - Local Indicators of Climate Change Impacts (The contribution of local knowledge to climate change research). It includes the 1st - qualitative part of a 2 part dataset Qualitative data collection involves first conducting semi-structured interviews to gather community insights, followed by using focus group discussions to validate and identify new observations. More information on the project at https://licci.eu
description: LICCI Data Collection application / https://gitlab.com/licci/opentek_fe, v0.6.18 (partner)
DOI: 10.15468/dl.dcrhdu
title: Occurrence Download

description: A dataset containing 1136 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Isoteinon lamprospilus",
 "Geometry POLYGON((119.300000 20.500000, 122.100000 20.500000, 122.100000 25.400000, 119.300000 25.400000, 119.300000 20.500000))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 1136 records from 9 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0019434-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.57903/uj/sdvzc2
title: Leveraging Mesoporosity and Acidity in Interzeolite Transformation Intermediates for Plastic Waste Valorization - replication data

description: Interzeolite Transformation Intermediates (ITIs) produced by the partial interconversion of FAU and BEA zeolites were systematically investigated as catalysts for the cracking of low-density polyethylene (LDPE) and polystyrene (PS). Catalytic performance was benchmarked against fully formed zeolites (FAU, BEA) and a mesoporous aluminosilicate (Al-MCM-41). For LDPE cracking, strong acidity and well-defined microporosity were found to be critical, with conventional zeolites outperforming ITIs. In contrast, ITIs exhibited superior catalytic activity and stability for PS cracking owing to their well-connected mesoporosity and balanced acidity profiles.
DOI: 10.15468/dl.evejv7
title: Occurrence Download

description: A dataset containing 13902 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brassica napus",
 "Country is United Kingdom of Great Britain and Northern Ireland",
 "HasCoordinate is true"
 ]
}

 The dataset includes 13902 records from 80 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0019435-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.3886/e238403
title: General Aviation (GA) performance

description: General Aviation performance, Total Hours Flown by Actual Use<br>
description: Air Carrier.
DOI: 10.3886/e238403v1
title: General Aviation (GA) performance

description: General Aviation performance, Total Hours Flown by Actual Use<br>
description: Air Carrier.
DOI: 10.5281/zenodo.15343808
title: Datasets for "Advancing global sea ice prediction capabilities using a fully-coupled climate model with integrated machine learning"

description: This zip file contains all data presented in the manuscript "Advancing global sea ice prediction capabilities using a fully-coupled climate model with integrated machine learning" by Gregory et al, 2025. These include monthly-mean reforecast data for coupled model forecast experiments corresponding to SPEAR, Hybrid_IO and Hybrid_CPL. Additional data include ML training data, network weights, and normalization statistics for Hybrid_CPL (see 10.5281/zenodo.7818178 for respective Hybrid_IO data). A notebook is also included to recreate the plots from the manuscript.

The corresponding Fortran source code which performs the sea ice bias correction has been saved as a version 1.0 release of the SIS2 code, provided here https://github.com/William-gregory/SIS2/releases