Winter, Henry Severino, MaryKay Volunteer Scientist

These are audio recordings taken by an Eclipse Soundscapes (ES) Data Collector during the week of the April 08, 2024 Total Solar Eclipse.  It was decided to include only raw, unprocessed audio data files in each site-specific Zenodo record. This decision was so that any researcher can independently verify, reproduce, and extend the analysis...

Lipiński, Seweryn

This record contains the reproducibility package supporting the manuscript “Robustness of Quantitative MRI-Derived Morphological Features of Ischemic Stroke Lesions: An Open-Data Study”. The study uses the publicly available ISLES 2022 training dataset. No original MRI images or lesion masks are redistributed in this record. The package...

Prud'homme, Christophe Chabannes, Vincent

Feel++ v0.112.0 Feel++ 0.112.0 provides packages and containers for Ubuntu Noble, Debian Trixie, and Ubuntu Resolute, together with a full Spack OpenMPI 5 container. Highlights preCICE coupling support, including mesh and field exchange and OpenFOAM participant images. Improvements to large-mesh processing, statistics, and MPI timing...

Supplementary data for a paired ablation of mathematical context in conjecture generation: 61 main theorems from 12 arXiv mathematics papers (math.AC, math.AG, math.CO, math.ST), each under 13 context conditions (full context, six leave-one-out and six single-component), for 793 generated conjectures with theorem maps, redacted seeds, DeepEval...

Toxtli, Carlos Delaflor, Manuel

Parsed trial records for the two retained calibration records (Study 1 and Study 2), the machine-readable audit record with its schema, the Study 3 items, pilot and main call logs, protocols (including superseded versions), manifest and summary, the supplement README, and the benchmark, experiment, re-analysis and Study 3 code. Dataset...

Mazdarani, Fateme Toxtli, Carlos

TREAT (Theorem Recognition under Equivalence-preserving mAthematical Transformation): transformed theorem statements with theorem identity metadata and validation fields, theorem-level catalogs and a canonical formula pool, a fixed 960-item evaluation panel, the frozen 2,456-page Wikipedia source snapshot, schemas, checksums and reproducibility...

Delaflor, Manuel Toxtli, Carlos

A 180-item task battery with Phase 2 pressure items and Phase 3 evidence items; per-model responses for Phase 1 baseline calibration, Phase 2 social-pressure experiments and Phase 3 evidence discrimination; compiled CSVs, calibration metrics and analysis summary; experimental prompts, notebooks, scripts and figures. Dataset accompanying the...

Toxtli, Carlos Delaflor, Manuel

Rows and summaries of model-generated incident audits for the main control study and the dose extension, the superseded pilot allocation results that the paper retains for transparency, both study protocols, and the collection and analysis code. Dataset accompanying the paper Separating Governance Designation from Operational Fault in...

Mazdarani, Fateme Campos Hernandez, Alberto Toxtli, Carlos

MATLAB implementation of spectral co-clustering with randomized SVD approximations (random projection, random sampling and related low-rank variants), with sample word-document and synthetic checkerboard matrices, benchmark and demo scripts, and smoke tests. Dataset accompanying the paper Randomized SVD Approximations for Spectral...