64 citations · 73 across the 4 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.LO2016★ 4 cited
A Probabilistic Dependent Type System based on Non-Deterministic Beta Reduction
Jonathan H. Warrell
We introduce Probabilistic Dependent Type Systems (PDTS) via a functional language based on a subsystem of intuitionistic type theory including dependent sums and products, which i…
stat.ML2016
Stability and Structural Properties of Gene Regulation Networks with Coregulation Rules
Jonathan H. Warrell, Musa M. Mhlanga
Coregulation of the expression of groups of genes has been extensively demonstrated empirically in bacterial and eukaryotic systems. Such coregulation can arise through the use of…
stat.ML2016★ 4 cited
Generalized Statistical Tests for mRNA and Protein Subcellular Spatial Patterning against Complete Spatial Randomness
Jonathan H. Warrell, Anca F. Savulescu, Robyn Brackin +1
We derive generalized estimators for a number of spatial statistics that have been used in the analysis of spatially resolved omics data, such as Ripley's K, H and L functions, clu…