Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.
Upstream project repository
Data and pipeline versioning tools for reproducible computational projects.
Investigate Does changing one declared input invalidate exactly the expected stages of a fixed pipeline graph?
Upstream project repository
Nested sampling and dynamic nested sampling for Bayesian evidence and posterior exploration.
Investigate How accurately does nested sampling estimate evidence for a fixed bounded Gaussian likelihood?
UCI Machine Learning Repository
Protein descriptors and cellular-location labels from a microbial classification benchmark.
Investigate How sensitive is E. coli localization performance to feature scaling and class imbalance?
Upstream project repository
A numerical solver for convex conic optimization problems.
Investigate Does a small norm-constrained model return a candidate consistent with known feasibility and objective bounds?
UCI Machine Learning Repository
Ocean and atmospheric observations for investigating temporal forecasting and missing records.
Investigate Does a persistence baseline remain competitive for an El Nino variable under chronological evaluation?
UCI Machine Learning Repository
Simulated electrical-network parameters and stability outcomes for examining surrogate reliability.
Investigate Can a stability classifier generalize to withheld operating-parameter regions?
Upstream project repository
Ensemble Markov-chain Monte Carlo sampling for probability distributions.
Investigate Do ensemble samples recover known Gaussian moments under a prespecified run length and convergence diagnostic?
UCI Machine Learning Repository
Building-shape simulation outputs for studying energy-demand surrogate models.
Investigate How does energy-load prediction change when entire building configurations are held out?
Upstream project repository
Exploratory spatial statistics for autocorrelation and spatial pattern analysis.
Investigate Does a global spatial-autocorrelation statistic match its explicit matrix formula on a fixed lattice?
Upstream project repository
Code-generation evaluation tooling and expanded testing resources for studying test coverage and result reproducibility.
Investigate Can a hand-authored incorrect solution pass a weak fixture but fail a separately specified edge-case test?
Upstream project repository
Evaluation metric interfaces for examining aggregation semantics and reproducibility across batches.
Investigate Do a selected metric's batch updates and single-pass computation agree on a tiny authored fixture?
Executable Science local pilot drafts
Use rational arithmetic to compare composite quadrature errors for x^4 on [0,1] across five nested grid resolutions.
Investigate What convergence pattern appears without floating-point rounding for these two quadrature rules?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.