The artifacts and data for the paper "DD4AV: Detecting Atomicity Violations in Interrupt-Driven Programs with Guided Concolic Execution and Filtering" (OOPSLA 2025) by zixuan yuan (17602152)

“…</p><pre><pre>sudo apt-get install -y wget git build-essential python3 python python-pip python3-pip tmux cmake libtool libtool-bin automake autoconf autotools-dev m4 autopoint libboost-dev help2man gnulib bison flex texinfo zlib1g-dev libexpat1-dev libfreetype6 libfreetype6-dev libbz2-dev liblzo2-dev libtinfo-dev libssl-dev pkg-config libswscale-dev libarchive-dev liblzma-dev liblz4-dev doxygen libncurses5 vim intltool gcc-multilib sudo --fix-missing<br></pre></pre><pre><pre>pip install numpy && pip3 install numpy && pip3 install sysv_ipc<br></pre></pre><h4><b>Download the Code</b></h4><p dir="ltr">Download <b>DD4AV</b> from the Figshare website to your local machine and navigate to the project directory:</p><pre><pre>cd DD4AV<br></pre></pre><h4><b>Configure Environment and Install the Tool</b></h4><p dir="ltr">For convenience, we provide shell scripts to automate the installation process. …”

Oka et al., Supplementary Data for "Development of a battery emulator using deep learning model to predict the charge–discharge voltage profile of lithium-ion batteries" by Kanato Oka (20132185)

“…For a single file, test data is read, and the prediction plot is output. To use this Python script, you need to modify the "CFG (config)" and "Convenient" sections within the script.…”

Table 3_Novel deep learning-based prediction of HER2 expression in breast cancer using multimodal MRI, nomogram, and decision curve analysis.docx by Shi Qiu (425335)

“…</p>Conclusions<p>This study demonstrates that integrating deep learning with multi-sequence breast MRI and clinical data provides a highly effective and reliable tool for predicting HER2 expression in breast cancer. …”

Table 2_Novel deep learning-based prediction of HER2 expression in breast cancer using multimodal MRI, nomogram, and decision curve analysis.docx by Shi Qiu (425335)

“…</p>Conclusions<p>This study demonstrates that integrating deep learning with multi-sequence breast MRI and clinical data provides a highly effective and reliable tool for predicting HER2 expression in breast cancer. …”

Table 1_Novel deep learning-based prediction of HER2 expression in breast cancer using multimodal MRI, nomogram, and decision curve analysis.docx by Shi Qiu (425335)

“…</p>Conclusions<p>This study demonstrates that integrating deep learning with multi-sequence breast MRI and clinical data provides a highly effective and reliable tool for predicting HER2 expression in breast cancer. …”

Data Sheet 1_Novel deep learning-based prediction of HER2 expression in breast cancer using multimodal MRI, nomogram, and decision curve analysis.docx by Shi Qiu (425335)

“…</p>Conclusions<p>This study demonstrates that integrating deep learning with multi-sequence breast MRI and clinical data provides a highly effective and reliable tool for predicting HER2 expression in breast cancer. …”

Bacterial persistence modulates the speed, magnitude and onset of antibiotic resistance evolution by Giorgio Boccarella (22810952)

“…</p><p dir="ltr">complete_data.xlsx</p><p dir="ltr">A single Excel file containing 18 sheets with data from all figures:</p><p dir="ltr">Sheet names and descriptions:</p><ul><li>Fig_1: Probability of emergence contour data</li><li>Fig_2_b: MIC evolution simulation data</li><li>Fig_2_c: Speed of resistance evolution data</li><li>Fig_2_d: Time to resistance data</li><li>Fig_2_a_d_time_series_sim7: Simulation time series data (representative simulation, low persistence)</li><li>Fig_2_a_d_MIC_values_sim7: MIC values from simulation (representative simulation, low persistence)</li><li>Fig_2_a_p_time_series_sim5: Simulation time series data (representative simulation, high persistence)</li><li>Fig_2_a_p_MIC_values_sim5: MIC values from simulation (representative simulation, high persistence)</li><li>Fig_3_a-b: Distribution plot simulation data</li><li>Fig_3_a-b_empirical: Distribution plot empirical data</li><li>Fig_4_a: Mutation count simulation data</li><li>Fig_4_b: Mutation count empirical data</li><li>Fig_4_c: Mutation functional data</li><li>Fig_5_a-b: Large-scale simulation results (heatmap data)</li><li>Fig_5_c_mic: MIC heatmap empirical data</li><li>Fig_5_c_extinction: Extinction heatmap empirical data</li><li>Fig_6: Population size analysis simulation data</li><li>S1_figure: Supplementary experimental survival data</li></ul><p dir="ltr">Column naming convention</p><p dir="ltr">All sheets use consistent, tidy column names.…”

Performance Benchmark: SBMLNetwork vs. SBMLDiagrams Auto-layout. by Adel Heydarabadipour (22290905)

“…<p>Log–log plot of median wall-clock time for SBMLNetwork’s C++-based auto-layout engine (blue circles, solid fit) and SBMLDiagrams’ implementation of the pure-Python NetworkX spring_layout algorithm (red squares, dashed fit), applied to synthetic SBML models containing 20–2,000 species, with a fixed 4:1 species-to-reaction ratio. …”

PTPC v1.0 Numerical Baseline: Stable Multi-Bounce Cosmology Simulation by David Lewis Stewart Parry (22188211)

“…The included Python scripts simulate a low-RAM cosmological oscillator that evolves through successive nonsingular “bounces,” demonstrating a self-consistent cyclic universe in which curvature, tension, and entropy reset in finite, periodic intervals. …”

Intersection and distinction of essential compounds and targets from 5 primary sources. by Gyaltsen Dakpa (21439920)

“…<b>(B)</b> UniProt and SwissTarget Prediction-predicted target proteins and 658 actives are intersected using the Jvenn Python to plot the intersection of targets in which Purple represents <i>R. officinalis</i>, Green indicates S. officinalis, Orange represents <b><i>T.…”

Fast, FAIR, and Scalable: Managing Big Data in HPC with Zarr by Alfonso Ladino (21447002)

“…(NEXRAD), using open-source tools from the Python ecosystem such as Xarray, Xradar, and Dask to enable efficient parallel processing and scalable analysis. …”

<b>Dataset for manuscript: </b><b>Phylogenetic and genomic insights into the evolution of terpenoid biosynthesis genes in diverse plant lineages</b> by Puguang Zhao (19023065)

“…</p><p dir="ltr"> Generates a scatter plot with a linear regression line and saves it as 'Correlation_Plot.pdf' (Figure 5D).…”

Probabilistic-QSR-GeoQA by Mohammad Kazemi (19442467)

“…Also we have written Python API for Probcog (ProbCog-API.py) and SparQ reasoners (SparQ-API.py).…”

MCCN Case Study 3 - Select optimal survey locality by Donald Hobern (21435904)

“…</p><p dir="ltr">This is a simple implementation that uses four environmental attributes imported for all Australia (or a subset like NSW) at a moderate grid scale:</p><ol><li>Digital soil maps for key soil properties over New South Wales, version 2.0 - SEED - see <a href="https://esoil.io/TERNLandscapes/Public/Pages/SLGA/ProductDetails-SoilAttributes.html" target="_blank">https://esoil.io/TERNLandscapes/Public/Pages/SLGA/ProductDetails-SoilAttributes.html</a></li><li>ANUCLIM Annual Mean Rainfall raster layer - SEED - see <a href="https://datasets.seed.nsw.gov.au/dataset/anuclim-annual-mean-rainfall-raster-layer" target="_blank">https://datasets.seed.nsw.gov.au/dataset/anuclim-annual-mean-rainfall-raster-layer</a></li><li>ANUCLIM Annual Mean Temperature raster layer - SEED - see <a href="https://datasets.seed.nsw.gov.au/dataset/anuclim-annual-mean-temperature-raster-layer" target="_blank">https://datasets.seed.nsw.gov.au/dataset/anuclim-annual-mean-temperature-raster-layer</a></li></ol><h4><b>Dependencies</b></h4><ul><li>This notebook requires Python 3.10 or higher</li><li>Install relevant Python libraries with: <b>pip install mccn-engine rocrate</b></li><li>Installing mccn-engine will install other dependencies</li></ul><h4><b>Overview</b></h4><ol><li>Generate STAC metadata for layers from predefined configuratiion</li><li>Load data cube and exclude nodata values</li><li>Scale all variables to a 0.0-1.0 range</li><li>Select four layers for comparison (soil organic carbon 0-30 cm, soil pH 0-30 cm, mean annual rainfall, mean annual temperature)</li><li>Select 10 random points within NSW</li><li>Generate 10 new layers representing standardised environmental distance between one of the selected points and all other points in NSW</li><li>For every point in NSW, find the lowest environmental distance to any of the selected points</li><li>Select the point in NSW that has the highest value for the lowest environmental distance to any selected point - this is the most different point</li><li>Clean up and save results to RO-Crate</li></ol><p><br></p>…”

Globus Compute: Federated FaaS for Integrated Research Solutions by eRNZ Admin (6438486)

“…</p><p dir="ltr">Globus Compute [2] is a Function-as-a-Service platform designed to provide a scalable, secure, and simple interface to HPC resources. Globus Compute implements a federated model via which users may deploy endpoints on arbitrary remote computers, from the edge to high performance computing (HPC) cluster, and they may then invoke Python functions on those endpoints via a reliable cloud-hosted service. …”

Methodological Approach Based on Structural Parameters, Vibrational Frequencies, and MMFF94 Bond Charge Increments for Platinum-Based Compounds by Gloria Castañeda-Valencia (20758502)

“…The developed bci optimization tool, based on MMFF94, was implemented using a Python code made available at https://github.com/molmodcs/bci_solver. …”

The global dryland lake storage (GDLS) dataset by Gang Zhao (18368925)

“…</b><b>ipynb</b><br>A Python example to show the location of a given lake and to plot monthly time series of area/elevation/storage for this lake.…”

Comprehensive Fluid and Gravitational Dynamics Script for General Symbolic Navier-Stokes Calculations and Validation by Stylianos Touloumidis (19938747)

“…It provides a flexible foundation on which theoretical assumptions can be validated, and practical calculations performed. Implemented in Python with symbolic calculations, the script facilitates in-depth analysis of complex flow patterns and makes advanced mathematical computations more accessible. …”

World Heritage documents reveal persistent gaps between climate awareness and local action by Yang Chen (20756166)

“…The analysis section includes a GLM model implemented in R, along with evaluation tools such as correlation heatmaps, ICC agreement analysis, and MCC-based binary classification assessment. …”

Interleg coordination in 103 adult <i>Hypsibius exemplaris</i> individuals. by Emma M. Anderson (19697573)

“…D. Probability density plot of ϕ_C vs. ϕ_I for second and third pair legs, n = 4414 strides. …”