A low intramucosal pH (pHi) and an increase in the difference between gastric mucosal and arterial PCO2 (PCO2 gap) reflect splanchnic hypoperfusion and are good indicators of poor prognosis. Previously, some randomised controlled trials (RCTs) were performed based on the theory that normalising the low pHi or PCO2 gap could improve the outcomes of critical care patients. However, these RCTs yie...

We study perpetuality in calculi with explicit substitutions having full composition. A simple perpetual strategy is used to define strongly normalising terms inductively. This gives a simple argument to show preservation of β-strong normalisation as well as strong normalisation for typed terms. Particularly, the strong normalisation proof is based on implicit substitution rather than explicit ...

A rewrite sequence is said to be outermost-fair if every outer-most redex occurrence is eventually eliminated. Outermost-fair rewriting is known to be (head-)normalising for almost orthogonal rewrite systems. In this paper we study (head-)normalisation for the larger class of weakly orthogonal rewrite systems. Normalisation is established and a counterexample against head-normalisation is provi...

We prove a dichotomy for Manneville-Pomeau maps f : [0, 1] → [0, 1]: given any point ζ ∈ [0, 1], either the Rare Events Point Processes (REPP), counting the number of exceedances, which correspond to entrances in balls around ζ, converge in distribution to a Poisson process; or the point ζ is periodic and the REPP converge in distribution to a compound Poisson process. Our method is to use indu...

Recently several researchers have investigated-equality for the simply typed-calculus with exponentials, products and unit types. In these works,-conversion was interpreted as an expansion with syntactic restrictions imposed to prevent the expansion of introduction terms or terms which form the major premise of elimination rules. The resulting rewrite relation was shown connuent and strongly no...

Undirected graphical models are widely used in statistics, physics and machine vision. However Bayesian parameter estimation for undirected models is extremely challenging, since evaluation of the posterior typically involves the calculation of an intractable normalising constant. This problem has received much attention, but very little of this has focussed on the important practical case wher...

As part of our participation in the Collaborative Biocurator Assistant Task of BioCreative V, we developed methods and tools for recognising and normalising mentions denoting genes/proteins and organisms. A combination of different approaches were used in addressing these tasks. The recognition of gene/protein and organism names was cast as a sequence labelling problem to which the conditional ...