Abstract We present an improved version of the nested sampling algorithm nessai in which core is modified to use importance weights. In algorithm, samples are drawn from a mixture normalising flows and requirement for be independently identically distributed (i.i.d.) according prior relaxed. Furthermore, it allows added any order, likelihood constraint, evidence updated with batches samples. ca...

In the context of dynamic decoupling problems, engineering dynamics has long held modal analysis as an exemplar. The method allows exact decomposition linear multi-degree-of-freedom (MDOF) systems into single-degree-of-freedom (SDOF) oscillators, thus simplifying complex problems considerably. However, is very much a theory; if applied to nonlinear systems, property (among others) lost. This un...

We propose a representation of interactive systems in dependent type theory. This is meant as a basis for an execution environment for dependently typed programs, and for reasoning about their construction; there may be wider applications. The inspiration is the ‘I/O-monad’ of Haskell. The fundamental notion is an I/O-tree; its definition is parameterised over a general notion of dependently ty...

Let n S-valued categorical variables be jointly distributed according to a distribution known only up to an unknown normalising constant. For an unnormalised joint likelihood expressible as a product of factors, we give an algebraic recursion which can be used for computing the normalising constant and other summations. A saving in computation is achieved when each factor contains a lagged subs...

This paper gives a characterisation, via intersection types, of the strongly normalising proof-terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the typing system is reduced to that of a well known typing system with intersection types for the ordinary λ-calculus. The completeness of the typing system is obtained from subject expansion at root position. Next...

Normalisation of the basis function activations in a radial basis function (RBF) network is a common way of achieving the partition of unity often desired for modelling applications. It results in the basis functions covering the whole of the input space to the same degree. However, normalisa-tion of the basis functions can lead to other eeects which are sometimes less desireable for modelling ...

Developmental relief has become the central doctrine of 'good practice' in humanitarian responses to complex political emergencies. This is despite the fact that a proliferation of such emergencies reflects a failure of development for people in those countries in crisis. Drawing on case study material from Sudan, Somalia, Rwanda and Uganda, this paper challenges assumptions made about the effi...

Maximum likelihood parameter estimation and sampling from Bayesian posterior distributions are problematic when the probability density for the parameter of interest involves an intractable normalising constant which is also a function of that parameter. In this paper, an auxiliary variable method is presented which requires only that independent samples can be drawn from the unnormalised densi...