Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.
Stan User's Guide / Stan Development Team
A guide to prior and posterior predictive checks that compare replicated-data summaries with chosen aspects of observed data.
Investigate Which discrepancies detect a known tail-shape mismatch that a mean-only predictive check misses?
UCI Machine Learning Repository
City electricity-demand measurements for studying seasonal and multi-zone forecasts.
Investigate Does a zone-aware load forecast improve on seasonal persistence in a chronological Tetouan holdout?
UCI Machine Learning Repository
Artificial oscillatory sequences for testing methods against controlled temporal structure.
Investigate Can a period-aware baseline outperform persistence on a fixed pseudo-periodic holdout?
Upstream project repository
Linear and mixed-integer optimization modeling in Python with external solver interfaces.
Investigate Does a mixed-integer allocation model recover the enumerated optimum under a fixed capacity constraint?
Upstream project repository
Algebraic multigrid methods for solving large sparse linear systems.
Investigate How does multigrid residual reduction change with the size of a fixed Poisson discretization?
Upstream project repository
Covariance-matrix adaptation evolution strategies for derivative-free numerical optimization.
Investigate How does coordinate rotation affect fixed-budget convergence on a chosen quadratic family?
Upstream project repository
Python support for the OPeNDAP data-access protocol.
Investigate Do fixed constraint expressions select the expected cells from a tiny synthetic dataset?
Upstream project repository
Reading, modifying, and writing DICOM medical-imaging metadata and datasets in Python.
Investigate Which explicitly selected metadata elements survive a synthetic DICOM write/read round trip?
Upstream project repository
Symbolic and numerical tools for deriving and simulating multibody dynamics.
Investigate Does a simple generated mechanical model satisfy the independently derived dynamics and energy behavior?
Upstream project repository
Probabilistic modeling and Bayesian inference with automatic sampling methods.
Investigate Do posterior samples from a simple conjugate model agree with its analytic posterior moments and quantiles?
Upstream project repository
Multi-objective optimization algorithms, operators, and analysis tools.
Investigate How does a fixed multi-objective algorithm approach an analytic Pareto front as the evaluation budget increases?
Upstream project repository
Model-order reduction tools for parameterized dynamical systems and numerical models.
Investigate How does reduced-basis dimension affect held-out error in a fixed linear parametric model?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.