model-specification

Independent Julia/Agda package for sequencing-count evidence: returns proved present, absent or undecided verdicts under a noise bound, without changing or importing MetaManifold.

Julia hurdle and zero-inflated negative-binomial models for sequencing counts (hurdle_nb, zinb), cross-checked against R pscl. Pre-release: the formal proofs its spec requires do not exist yet.

"Agile Enterprise Solution Architecture" (Agile ESA) presents an IT service-based enterprise solution architecture that bridges the gap between traditional enterprise architecture and software design in a holistic yet pragmatic modeling approach.

This code fits a series of logit mixed models to data from Boyd and Goldberg (2011), Experiment 1. All models specify the maximal random effects structure, as advocated by Barr et al. (2013). All results from Boyd and Goldberg are replicated.

Enterprise Solution Architecture (ESA) bridges enterprise architecture (EA) and solution design and implementation. It is an end-to-end architecture with significant concerns in mind and simplicity as an approach.