Abstract Justification theory is a general framework for the definition of semantics rule-based languages that has high explanatory potential. Nested justification systems, first introduced by Denecker et al. , allow composition systems. This notion nesting thus enables modular languages, and increases representational capacities theory. As we show in this paper, original characterization neste...

Nested genes are the most common form of protein-coding overlap in eukaryotic genomes. Previous studies have shown that nested genes accumulate rapidly over evolutionary time, typically via the insertion of short young duplicate genes into long introns. However, the evolutionary relationship between nested genes remains unclear. Here, I compare RNA-seq expression profiles of nested, proximal in...

Nested sampling (NS) is a popular algorithm for Bayesian computation. We investigate statistical errors in NS both analytically and numerically. show two analytic results. First, we that the leading terms Skilling's expression using information theory match Keeton's from an analysis of moments. This approximate agreement was previously only known numerically somewhat mysterious. Second, uncerta...