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. …”

MSc Personalised Medicine at Ulster University by Steven Watterson (100045)

“…</b> This module introduces the techniques needed to be able to work with high dimensional data (big data) and the mathematics that underpins the fundamental data science. Coding in Python, we learn how to analyse data and explore machine learning/AI based analysis</p><p dir="ltr">· <b>MPM708: Research Project (60 credits).…”

Microscopic Detection and Quantification of Microplastic Particles in Environmental Water Samples by Derek Lam (11944213)

“…Image processing algorithms, implemented in Python using adaptive thresholding techniques, were applied to segment particles from the background. …”

Image 1_Differential diagnosis of pneumoconiosis mass shadows and peripheral lung cancer using CT radiomics and the AdaBoost machine learning model.tif by Xiaobing Li (291454)

“…LR, SVM, and AdaBoost algorithms were implemented using Python to build the models. In the training set, the accuracies of the LR, SVM, and AdaBoost models were 79.4, 84.0, and 80.9%, respectively; the sensitivities were 74.1, 74.1, and 81.0%, respectively; the specificities were 83.6, 91.8, and 80.8%, respectively; and the AUC values were 0.837, 0.886, and 0.900, respectively. …”

Image 2_Differential diagnosis of pneumoconiosis mass shadows and peripheral lung cancer using CT radiomics and the AdaBoost machine learning model.tif by Xiaobing Li (291454)

“…LR, SVM, and AdaBoost algorithms were implemented using Python to build the models. In the training set, the accuracies of the LR, SVM, and AdaBoost models were 79.4, 84.0, and 80.9%, respectively; the sensitivities were 74.1, 74.1, and 81.0%, respectively; the specificities were 83.6, 91.8, and 80.8%, respectively; and the AUC values were 0.837, 0.886, and 0.900, respectively. …”

Research Database by Ana Paula Fermiano (22439479)

“…Data were processed using <b>Python-based automation scripts</b> for scraping, cleaning, geocoding, and calculating geodesic distances between each property and the nearest community garden. …”

Data and code for: Automatic fish scale analysis by Christian Vogelmann (21646472)

“…<p dir="ltr">This dataset accompanies the publication:<br><b>"Automatic fish scale analysis: age determination, annuli and circuli detection, length and weight back-calculation of coregonid scales"</b><br></p><p dir="ltr">It provides all essential data and statistical outputs used for the <b>verification and validation</b> of the <i>Coregon Analyzer</i> – a Python-based algorithm for automated biometric fish scale measurement.…”

Code and data for reproducing the results in the original paper of DML-Geo by Pengfei CHEN (8059976)

“…</p><p dir="ltr"><b>rslt.pkl</b>: A pickled Python object that stores the explainer based on geoshapley for dataset 1.…”

Mapping Policy Coherence in National UK Food Systems (2008– 2024): Analysing the Integration of Climate Change Mitigation and Adaptation Strategies, LEAP 2025 conference, Oxford by Ronja Teschner (20974180)

“…Van Rossum, G.; Drake, F. L. Python 3 Reference Manual, 2009.</p></td></tr></table><p></p>…”

Mean Annual Habitat Quality and Its Driving Variables in China (1990–2018) by ChenXi Zhu (21374876)

“…</p><p dir="ltr">The dataset includes the following files:</p><p dir="ltr">A CSV file containing the mean annual values of the dependent variable (habitat quality) and the independent variables across China from 1990 to 2018, based on the data listed in Table 1.</p><p dir="ltr">(HQ: Habitat Quality; CZ: Climate Zone; FFI: Forest Fragmentation Index; GPP: Gross Primary Productivity; Light: Nighttime Lights; PRE: Mean Annual Precipitation Sum; ASP: Aspect; RAD: Solar Radiation; SLOPE: Slope; TEMP: Mean Annual Temperature; SM: Soil Moisture)</p><p dir="ltr"><br>A Python script used for modeling habitat quality, including mean encoding of the categorical variable climate zone (CZ), multicollinearity testing using Variance Inflation Factor (VIF), and implementation of four machine learning models to predict habitat quality.…”

<b>Altered cognitive processes shape tactile perception in autism.</b> (data) by Ourania Semelidou (19178362)

“…The perceptual decision-making setup was controlled by Bpod (Sanworks) through scripts in Python (PyBpod, https://pybpod.readthedocs.io/en/latest/). …”

IGD-cyberbullying-detection-AI by Bryan James (19921044)

“…Models like Logistic Regression, Random Forest, Ensemble Models, CNNs, and LSTMs are implemented to detect patterns from behavioral data.…”

Code by Baoqiang Chen (21099509)

“…</p><p><br></p><p dir="ltr">For the 5′ UTR library, we developed a Python script to extract sequences and Unique Molecular Identifiers (UMIs) from the FASTQ files. …”

Core data by Baoqiang Chen (21099509)

“…</p><p><br></p><p dir="ltr">For the 5′ UTR library, we developed a Python script to extract sequences and Unique Molecular Identifiers (UMIs) from the FASTQ files. …”

Supplementary Data: Biodiversity and Energy System Planning - Queensland 2025 by Andrew Rogers (17623239)

“…</p><h2>Software and Spatial Resolution</h2><p dir="ltr">The VRE siting model is implemented using Python and relies heavily on ArcGIS for comprehensive spatial data handling and analysis.…”