Publications (19)
Minimising virtual machine support for concurrency
Simon Dobson, Alan Dearle, Barry Porter
Co-operative and pre-emptive scheduling are usually considered to be complementary models of threading. In the case of virtual machines, we show that they can be unified using a si…
Two-pathogen model with competition on clustered networks
Peter Mann, V. Anne Smith, John B. O. Mitchell +1
Networks provide a mathematically rich framework to represent social contacts sufficient for the transmission of disease. Social networks are often highly clustered and fail to be…
An exact formula for percolation on higher-order cycles
Peter Mann, V Anne Smith, John Mitchell +2
We present exact solutions for the size of the giant connected component (GCC) of graphs composed of higher-order homogeneous cycles, including weak cycles and cliques, following b…
Space--time message passing for endemic diseases
Peter Mann, Simon Dobson
Message passing is exact for progressive epidemics on trees: infection is unidirectional, and a node's neighbours are uncorrelated in the cavity graph. A recurrent disease breaks t…
Higher-order shortest paths in hypergraphs
Berné L. Nortier, Simon Dobson, Federico Battiston
One of the defining features of complex networks is the connectivity properties that we observe emerging from local interactions. Recently, hypergraphs have emerged as a versatile…
Belief propagation on networks with cliques and chordless cycles
Peter Mann, Simon Dobson
It is well known that tree-based theories can describe the properties of undirected clustered networks with extremely accurate results [S. Melnik, \textit{et al}. Phys. Rev. E 83,…