The paper presents a complete characterisation of the families of networks in which distributed computations can be performed in a process terminating manner, that is, with explicit termination in the asynchronous message passing model. The characterisation encompasses all criteria that have been formulated in the past that were known to influence explicit termination: topological restriction (...

This presentation seeks to contextualise current work by makers using new technologies by discussing ways in which technology can be defined and the theoretical frameworks within which these definitions sit. It will briefly highlight some of the common ways in which we discuss technology and technological mediation, and relate these beliefs to particular characterisations of technology. This wi...

Any linguistic paradigm with scientiic aspirations must provide substantial answers to two questions. What does a grammar of a natural language claim of the natural language? And what qualiies as corroborating or confuting evidence for that claim? I have striven for longer than I am willing to casually admit to furnish the HPSG (Head-driven Phrase Structure Grammar) linguistic paradigm of (Poll...

BACKGROUND Working toward a general framework to understand the role of microbiota in animal biology requires the characterisation of animal-associated microbial communities and identification of the evolutionary and ecological factors shaping their variation. In this study, we described the microbiota in the cloaca, brood patch skin and feathers of two species of birds and the microbial commun...

A homomorphism from a graph G to a graph H is a function from the vertices of G to the vertices of H that preserves edges. A homomorphism is surjective if it uses all of the vertices of H and it is a compaction if it uses all of the vertices of H and all of the non-loop edges of H . Hell and Nešetřil gave a complete characterisation of the complexity of deciding whether there is a homomorphism ...

This paper presents the fabrication and characterisation of wet and reactive ion etched ridge waveguide InGaAs/InGaAsP/InP lasers with an operating wavelength of 1.5μm. Characterisation results of InGaAs/InGaAsP/InP lasers are given of two etching methods, namely wet chemical etching and reactive ion etching. Relative advantages and disadvantages of these two methods are also discussed comparat...

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...