64 citations · 73 across the 4 of their papers we have counts for
5 papers
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…
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…
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…
A Tiered Move-making Algorithm for General Non-submodular Pairwise Energies
Vibhav Vineet, Jonathan Warrell, Philip H. S. Torr
A large number of problems in computer vision can be modelled as energy minimization problems in a Markov Random Field (MRF) or Conditional Random Field (CRF) framework. Graph-cuts…
ImageSpirit: Verbal Guided Image Parsing
Ming-Ming Cheng, Shuai Zheng, Wen-Yan Lin +6
Humans describe images in terms of nouns and adjectives while algorithms operate on images represented as sets of pixels. Bridging this gap between how humans would like to access…