Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.
Executable Science local pilot drafts
Resample a fixed twenty-value empirical distribution and compare bootstrap moments with their conditional analytical values.
Investigate How do observed bootstrap moments compare with their conditional expectation and variance?
UCI Machine Learning Repository
Enumerated game positions for studying categorical prediction and symmetry-aware evaluation.
Investigate Does grouping symmetry-equivalent Connect-4 positions change apparent test accuracy?
UCI Machine Learning Repository
Acoustic-return features for investigating uncertainty in a small binary detection benchmark.
Investigate How variable is sonar classification across fixed stratified splits with train-only preprocessing?
UCI Machine Learning Repository
Crane-controller examples for evaluating interpretable approximations of a control rule.
Investigate Can a compact crane-controller surrogate reproduce outputs on withheld input combinations?
Upstream project repository
Pairwise and marginal visualization of multidimensional samples.
Investigate Do plotted marginal summaries correspond to explicitly specified bins and quantiles of a fixed synthetic sample?
UCI Machine Learning Repository
Landscape covariates and forest-cover labels for studying spatially dependent classification.
Investigate How does forest-cover classification change under geography-aware grouping compared with a random split?
UCI Machine Learning Repository
Fused optical and radar descriptors for examining agricultural land-cover prediction.
Investigate How does crop classification change when geographic fields rather than rows define the split?
Upstream project repository
Numerical tools and solvers for convex optimization with Python interfaces.
Investigate Do candidate quadratic-program solutions meet independently recomputed feasibility and duality-gap bounds?
Upstream project repository
A modeling language for convex optimization problems with numerical solver interfaces.
Investigate Do solver outputs satisfy primal feasibility and Karush–Kuhn–Tucker residual tolerances for a fixed convex quadratic family?
UCI Machine Learning Repository
Printing-process measurements and defect labels for testing robust industrial classification.
Investigate Which missing-data policy produces the most stable cylinder-banding classifier on a frozen split?
Upstream project repository
Task graphs and parallel collections for array, table, and general Python computation.
Investigate How do chunk layouts change floating-point reduction error for the same input array?
Upstream project repository
Versioned research-data management and provenance workflows built on Git and git-annex.
Investigate Does a bounded local workflow record enough input identity and command provenance to identify a changed derived artifact?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.