Find research datasets worth reusing
Search datasets from major research repositories and use ShareScore to quickly assess how well each record supports discovery, access, and reuse.
100
datasets available to search
ShareScore release 0.9.0
Dataset results
100 results for “Reproduction package”
Reproduction package for the paper "The effects of surface fossil magnetic fields on massive star evolution: V. Models at low metallicity" by Keszthelyi et al. 2024
<p>This is a reproduction package for the paper "The effects of surface fossil magnetic fields on massive star evolution: V. Models at low metallicity" by <a href="https://ui.adsabs.harvard.edu/abs/2024MNRAS.tmp.1818K/abstract">Keszthelyi et al. 2024</a></p>
FRB Mock Catalog and Reproduction Package for "Birth and Evolution of Fast Radio Bursts: Strong Population-Based Evidence for a Neutron-Star Origin"
<h3>Quickstart: FRB Mock Catalog</h3> <p>A simulated 1-day catalog of one-off FRBs, that allows users to access the FRB population without installing the entire frbpoppy package. Download and unzip 1_Day_FRB_Sky_on_Earth.txt.zip (175 MB). This human and machine readable file contains 3.5E6 FRBs that are brighter than 0.01 Jy ms, the best limit in one-off FRB detection currently. The simulated catalog is produced by the perfect telescope in frbpoppy, free of selection effects, that observed 4pi of sky for 24 hrs, with minimum detectable fluence 0.01 Jy ms, for the best-fit no-delay SFR model. This file can be read using the accompanying jupyter notebook "starting_with_mock_catalog.ipynb".</p> <p>If you use this, please cite Wang & van Leeuwen 2024 (A&A), <a href="https://doi.org/10.1051/0004-6361/202450673">https://doi.org/10.1051/0004-6361/202450673</a></p> <h3>Reproduction package for the paper "Birth and Evolution of Fast Radio Bursts: Strong Population-Based Evidence for a Neutron-Star Origin"</h3> <p>ReproductionPackage.zip is a basic reproduction package for the paper "Birth and Evolution of Fast Radio Bursts: Strong Population-Based Evidence for a Neutron-Star Origin" by Wang & van Leeuwen (2024).</p> <p> * arXiv: [<a href="https://arxiv.org/abs/2405.06281">2405.06281</a>] <br> * DOI: [<a href="https://doi.org/10.1051/0004-6361/202450673">10.1051/0004-6361/202450673</a>] </p> <h3>Installation</h3> <p>First pull or download and `frbpoppy` from <https://github.com/TRASAL/frbpoppy>.<br>Then download `ReproductionPackage.zip` and extract it starting in the frbpoppy/ base directory.<br>The scripts to produce the Figures are found in folder `frbpoppy/tests/markov_chain_monte_carlo/`.<br>The data used for these Figures resides in folder `frbpoppy/data/populations/mcmc/`.</p> <h3>Software</h3> <p>The methods and software packages used to produce the results are listed in the paper (including links to the relevant publications and/or packages):<br> FRBPOPPY: <https://github.com/TRASAL/frbpoppy><br> TRASAL: <https://github.com/TRASAL></p> <h3>Raw Data</h3> <p>The data are publicly available at<br> https://www.wis-tns.org/</p> <p> </p>
Reproduction Package for FM 2024 Article `Software Verification with CPAchecker 3.0: Tutorial and User Guide'
<p>This package allows you to check the claims of our FM 2024 tutorial paper<br><em>Software Verification with CPAchecker 3.0: Tutorial and User Guide</em>.</p> <p>See the <strong>README.html</strong> for more information.</p> <p>Abstract:<br><em>This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides many abstract domains, such as BDDs, explicit values, intervals, memory graphs, and predicates, and many program-analysis and model-checking algorithms, such as abstract interpretation, bounded model checking, Impact, interpolation-based model checking, k-induction, PDR, predicate abstraction, and symbolic execution. This tutorial presents basic use cases for CPAchecker in formal software verification, focusing on its main verification techniques with their strengths and weaknesses. An extended version also shows further use cases of CPAchecker for test-case generation and witness-based result validation. The envisioned readers are assumed to possess a background in automatic formal verification and program analysis, but prior knowledge of CPAchecker is not required. This tutorial and user guide is based on CPAchecker in version 3.0. This user guide’s latest version and other documentation are available at <a href="https://cpachecker.sosy-lab.org/doc.php">https://cpachecker.sosy-lab.org/doc.php</a>.</em></p> <p> </p>
Reproduction package for the paper "Classifying Linux commits"
<p>This is the reproduction package of the paper "Classifying Linux commits". This package includes the datasets and the software for methods presented in the paper.</p>
Reproduction package for the paper: "The overflowing atmosphere of WASP-121 b"
<p>Supplementary Material for the paper "The overflowing atmosphere of WASP-121 b: High-resolution He i 10833 transmission spectroscopy with VLT/CRIRES+" by Czesla et al. (2024).</p> <p>The material is related to the 3D modeling part of the paper (Sect. 3.5), specifically focused on the atmospheric escape simulations and radiative transfer calculations for the exoplanet WASP-121 b.</p> <p>We provide the results of the 3D hydrodynamic simulation with Athena++, with key files including the input file and a snapshot of the simulation after 8 orbits.<br>Post-processing is done with a radiation transfer code located in the folder "post-process_W121b". This code, based on MacLeod & Oklopcic (2022), generates synthetic spectra for two density scenarios (scaling factors 0.5 and 1.0) and has been modified for accurate calculations in high density regions. A Jupyter notebook in the same folder illustrates how to analyze the data and generate the corresponding figures.</p> <p>Detailed descriptions can be found in the README.txt file.</p>
Reproduction package for: Using machine learning techniques to mitigate confidentiality violations
<p>This is a reproduction package for the data shown in my master's thesis "Using machine learning techniques to mitigate confidentiality violations"</p>
Reproduction Package for A Partial Reproduction of A Guided Genetic Algorithm for Crash Reproduction
<p>A reproduction package for "A Partial Reproduction of A Guided Genetic Algorithm for Crash Reproduction"</p> <p>Includes datasets and source code for reproducing our results</p>
Reproduction package for the paper "Multi-dimensional population modelling using frbpoppy: Magnetars can produce the observed fast radio burst sky"
<p>This is a basic reproduction package for the paper "Multi-dimensional population modelling using frbpoppy: Magnetars can produce the observed fast radio burst sky" by David Gardenier & Joeri van Leeuwen (2021).</p> <p>* arXiv: <a href="https://arxiv.org/abs/2012.06396">arXiv:2012.06396</a><br> * DOI: <a href="https://doi.org/10.1051/0004-6361/202040119">10.1051/0004-6361/202040119</a></p> <p> </p>
Dataset for master's thesis reproduction package
<p>This is the data needed to reproduce the results shown in my master's thesis <em>"Measuring the Energy Consumption ofSoftware written in C on x86-64 Processors"</em>.</p>
Reproduction package for the paper 'Discovery of a probable very fast extragalactic nova in a symbiotic binary'
<p>This is a basic reproduction package (RP) for the paper "Discovery of a probable very fast extragalactic nova in a symbiotic binary". It aims to provide the most important data products to check and reproduce the main results of the paper, listing all software used and data archives containing the public data used.</p> <p>Authors: David Modiano, Rudy Wijnands</p> <p>Arxiv DOI: 2210.06057</p> <p>Paper DOI: 10.1051/0004-6361/202244679</p> <p>Accepted for publication in Astronomy and Astrophysics (date of acceptance: 11/10/2022)</p>
Reproduction Package for ASE 2023 Submission `Improving Verification through Compiler Optimizations'
<p><strong>Artifact</strong></p> <p>In order to run this artifact please clone <a href="https://github.com/sosy-lab/sv-benchmarks">sv-benchmarks</a> into this folder. Afterwards you can just run the program using the running instructions down below. The results used in the paper can be found in the folder <code>transformation-for-verification-data</code>.</p> <p><strong>Setup</strong></p> <p>In order to setup this project, first initialize the submodules or clone this repository with the flag <code>--recursive</code>. Afterwards execute <code>python3 src/setup.py</code> in this directory, in order to add the required files to the submodules.</p> <p><strong>Running</strong></p> <p>In order to run this locally inside <code>./src</code></p> <pre><code>./main_bench.py --specification specification/path.prp program/to/verify.c</code></pre> <p>For example:</p> <pre><code>./main_bench.py --specification ../setup-files/test-run/unreach-call.prp ../setup-files/test-run/test_program.c </code></pre> <p>In order to execute with benchexec, execute the following insider <code>./src</code>, after adapting <code>bench.xml</code> to suit your purposes:</p> <pre><code>./benchmark_local.sh</code></pre>
Reproduction package for the paper "Expanding the inventory of spectral lines used to trace atmospheric escape in exoplanets"
<p>This is a basic reproduction package for the paper "Expanding the inventory of spectral lines used to trace atmospheric escape in exoplanets" by Linssen & Oklopčić (2023). It provides the full transmission spectra of all simulations presented in the paper, as well as the data products necessary to reproduce the figures of the paper.</p>
Reproduction package for "Revisiting the reproducibility of empirical software engineering studies based on data retrieved from development repositories"
<p>Reproduction package for "Revisiting the reproducibility of empirical software engineering studies based on data retrieved from development repositories", published in Information and Software Technology, Volume 164, December 2023. DOI: <a title="Persistent link using digital object identifier" href="https://doi.org/10.1016/j.infsof.2023.107318" target="_blank" rel="noreferrer noopener"><span><span>https://doi.org/10.1016/j.infsof.2023.107318</span></span></a></p>
University of Kansas Field Station: Cumulative field records of snake species collected by Dr. Henry S. Fitch 1948 - 2003, with a few additional records collected 2004 - 2016. Records contain capture locations, measurements, notes on reproduction, recapture, and growth data. This data package contains individual files for 14 species.
Dr. Henry S. Fitch began his pioneering research on the snake fauna of the Fitch Natural History Reservation and adjacent University of Kansas Field Station in 1948. Fitch remained an active researcher until the early 2000s. For nearly six decades he conducted extensive field work on snakes using capture/recapture techniques, and compiled other biological data as well (e.g., all snakes captured were weighed, measured, and marked with incomplete data collected on reproduction, stomach contents, and recaptures). This research resulted in scores of scientific publications on the ecology of the snakes. Henry S. Fitch died in 2009 and left as a legacy hand-written data sheets with approximately 60,000 capture records. George R. Pisani, a biologist at the University of Kansas and later at the Kansas Biological Survey, collaborated with Fitch on some ecological studies. Beginning about 2005, Pisani began the many-year process of converting the thousands of Fitch’s records of snake captures into an electronic database. This work was funded in part by the Kansas Dept. of Wildlife, Parks and Tourism Chickadee Checkoff Program.
Reproduction package for the paper "A strongly changing accretion morphology during the outburst decay of the neutron star X-ray binary 4U 1608-52"
<p>This is a basic reproduction package for the paper "A strongly changing accretion morphology during the outburst decay of the neutron star X-ray binary 4U 1608-52" by J. van den Eijnden et al. (2020). It provides reduced data sets, simulation scripts, X-ray spectral fits, and plotting scripts to allow the reproduction of the work performed in this paper. It also lists software used and data archives containing the public observational data. </p> <p>An open access version of the paper can be found at <a href="https://arxiv.org/abs/2002.04003">https://arxiv.org/abs/2002.04003</a>.</p>
Reproduction package for "X-ray study of the merging galaxy cluster Abell 3411-3412 with XMM-Newton and Suzaku"
<p>This is the reproduction package of the paper "X-ray study of the merging galaxy cluster Abell 3411-3412 with XMM-Newton and Suzaku" (arXiv:2007.15976). </p>
Reproduction Package for MSR 2024 Article `P3: A Dataset of Partial Program Fixes'
Open the record for dataset details and reuse information.
Reproduction package for the paper "Milliarcsecond Localisation of the Hyperactive Repeating FRB 20220912A"
<p>This is a reproduction package for the paper "<a href="https://academic.oup.com/mnras/article/529/2/1814/7623035">Milliarcsecond Localisation of the Hyperactive Repeating FRB 20220912A</a>" by Hewitt et al., published in MNRAS, 2024. <br><br>DOI: <a href="https://ui.adsabs.harvard.edu/link_gateway/2024MNRAS.529.1814H/doi:10.1093/mnras/stae632" target="_blank" rel="noreferrer noopener">10.1093/mnras/stae632</a></p> <p>arXiv link: <a href="https://ui.adsabs.harvard.edu/link_gateway/2024MNRAS.529.1814H/arxiv:2312.14490" target="_blank" rel="noreferrer noopener">arXiv:2312.14490</a></p> <p><br>The package provides Jupyter-notebooks and the accompanying data to reproduce the figures from the paper. </p>
Reproduction Package for Article `Fault Localization on Witnesses'
<h2>Fault Localization on Witnesses</h2> <h2>Article Abstract</h2> <p>When verifiers report an alarm, they export a violation witness (exchangeable counterexample)<br>that helps validate the reachability of that alarm.<br>Conventional wisdom says that this violation witness should be very precise:<br>the ideal witness describes a single error path for the validator to check.<br>But we claim that verifiers overshoot and produce large witnesses<br>with information that makes validation unnecessarily difficult.<br>To check our hypothesis, we reduce violation witnesses to that information<br>that automated fault-localization approaches deem relevant for triggering the reported alarm in the program.<br>We perform a large experimental evaluation on the witnesses<br>produced in the International Competition on Software Verification (SV-COMP 2023).<br>It shows that our reduction shrinks the witnesses considerably<br>and enables the confirmation of verification results that were not confirmable before.</p> <h2>VM</h2> <p>The username for the VM is `vagrant`.<br>The password for the VM is `vagrant`.</p> <h2>System Requirements</h2> <p>The artifact requires 4 CPU cores and 8 GB of RAM.</p> <p>To inspect the data, we require at least 150GB of empty disk space to run the VM.<br>To reproduce the results, we require 155GB.<br>To run the full reproduction, we require 300GB.</p> <p>The VM was tested on Ubuntu with Virtual Box Version 7.0.10 r158379 (Qt5.15.3).</p> <h2>Reproduction</h2> <p>Import the VM to VirtualBox and start it.<br>We provide symbolic links to the reproduction directory on the Desktop.<br>Please follow the instructions in the `ReadMe.md` inside the VM (located at `~/fault-localization-witnesses/ReadMe.md`).<br>The upcoming three subsections serve as a quick-start guide for our artifact.</p> <h3>Reproduce the Example</h3> <p>To reproduce the example in our paper, navigate to `~/fault-localization-witnesses` and execute `./example.sh`.</p> <h3>Reproduce the Plots</h3> <p>Execute `./reproduce.sh` from `~/fault-localization-witnesses/` to reproduce our experiments.</p>
Reproduction package for the paper "Analyzing long-term maintenance releases of the Linux kernel"
<p>This is the reproduction package of the paper "Analyzing long-term maintenance releases of the Linux kernel". This package includes the datasets and the software for methods presented in the paper.</p>
ScienceDex guides
Understand access before you commit
These curated guides explain access requirements, typical timelines, costs, and reuse considerations for widely used research datasets.
Allen Brain Atlas
Allen Brain Atlas is an Allen Institute collection of brain map atlases, datasets, APIs, and analysis tools covering mouse, human, and non-human primate brain resources.
Annotated Behaviour and Observability Dataset (ABODe)
ABODe is a University of Edinburgh DataShare dataset for behavior classification in group-housed mice using home-cage video, identities, bounding boxes, ground-plate positions, and annotator labels.
DANDI Archive for NWB datasets
DANDI is a BRAIN Initiative archive for publishing and sharing neurophysiology data, including electrophysiology, optophysiology, and behavioral data packaged as NWB and related standards.
International Brain Laboratory public data
The International Brain Laboratory public data releases expose standardized mouse decision-making experiments, including Neuropixels recordings, widefield calcium imaging, behavior, and session metadata accessed through the ONE API.
OpenNeuro
OpenNeuro is a free, open platform for sharing neuroimaging datasets, with public search, dataset pages, and download paths for web, S3, DataLad, and the OpenNeuro CLI.