A Process Calculus for Dynamic Networks

In this paper we propose a process calculus framework for dynamic networks in which the network topology may change as computation proceeds. The proposed calculus allows one to abstract away from neighborhood-discovery computations and it contains features for broadcasting at multiple transmission ranges and for viewing networks at different levels of abstraction. We develop a theory of confluence for the calculus and we use the machinery developed towards the verification of a leader-election algorithm for mobile ad hoc networks

Causality and replication in concurrent processes

The replication operator was introduced by Milner for obtaining a simplified description of recursive processes. The standard interleaving semantics denotes the replication of a process P, written !P, a shorthand for its unbound parallel composition, operationally equivalent to the process P | P | …, with P repeated as many times as needed. Albeit the replication mechanism has become increasingly popular, investigations on its causal semantics has been scarce. In fact, the correspondence between replication and unbound parallelism makes it difficult to recover basic properties usually associated with these semantics, such as the so-called concurrency diamond. In this paper we consider the interleaving semantics for the operator proposed by Sangiorgi and Walker, and we show how to refine it in order to capture causality. Furthermore, we prove it coincident with the standard causal semantics for recursive process studied in the literature, for processes defined by means of constant invocations

Coinduction up to in a fibrational setting

Bisimulation up-to enhances the coinductive proof method for bisimilarity, providing efficient proof techniques for checking properties of different kinds of systems. We prove the soundness of such techniques in a fibrational setting, building on the seminal work of Hermida and Jacobs. This allows us to systematically obtain up-to techniques not only for bisimilarity but for a large class of coinductive predicates modelled as coalgebras. By tuning the parameters of our framework, we obtain novel techniques for unary predicates and nominal automata, a variant of the GSOS rule format for similarity, and a new categorical treatment of weak bisimilarity

Validity of the scaling functional approach for polymer interfaces as a variational theory

We discuss the soundness of the scaling functional (SF) approach proposed by Aubouy Guiselin and Raphael (Macromolecules 29, 7261 (1996)) to describe polymeric interfaces. In particular, we demonstrate that this approach is a variational theory. We emphasis the role of SF theory as an important link between ground-state theories suitable to describe adsorbed layers, and "classical" theories for polymer brushes.Comment: 8 pages, 1 figure, to be published in Phys. Rev.

Positive practices : solution-focused and narrative therapeutic techniques with children with sexually harmful behaviours

This article explores the use of solution-focused and Narrative Therapeutic approaches with a boy who had sexually harmful behaviours. The paper will highlight the practical challenges of working with someone who is 'problem-saturated' through institutionalisation and who is also subjected to powerful discourses claiming the 'truth' about him. The use of solution-focused and Narrative Therapeutic principles and approaches will be demonstrated in the work described, in a way that allows the reader to reflect on how these may differ from modernist understandings and responses to this behaviour

Dynamics of a structured slug population model in the absence of seasonal variation

We develop a novel, nonlinear structured population model for the slug Deroceras reticulatum, a highly significant agricultural pest of great economic impact, in both organic and non-organic settings. In the absence of seasonal variations, we numerically explore the effect of life history traits that are dependent on an individual's size and measures of population biomass. We conduct a systematic exploration of parameter space and highlight the main mechanisms and implications of model design. A major conclusion of this work is that strong size dependent predation significantly adjusts the competitive balance, leading to non-monotonic steady state solutions and slowly decaying transients consisting of distinct generational cycles. Furthermore, we demonstrate how a simple ratio of adult to juvenile biomass can act as a useful diagnostic to distinguish between predated and non-predated environments, and may be useful in agricultural settings

A serological survey of ruminant livestock in Kazakhstan during post-Soviet transitions in farming and disease control

The results of a serological survey of livestock in Kazakhstan, carried out in 1997–1998, are reported. Serum samples from 958 animals (cattle, sheep and goats) were tested for antibodies to foot and mouth disease (FMD), bluetongue (BT), epizootic haemorrhagic disease (EHD), rinderpest (RP) and peste des petits ruminants (PPR) viruses, and to Brucella spp. We also investigated the vaccination status of livestock and related this to changes in veterinary provision since independence in 1991. For the 2 diseases under official surveillance (FMD and brucellosis) our results were similar to official data, although we found significantly higher brucellosis levels in 2 districts and widespread ignorance about FMD vaccination status. The seroprevalence for BT virus was 23%, and seropositive animals were widespread suggesting endemicity, despite the disease not having being previously reported. We found a few seropositives for EHDV and PPRV, which may suggest that these diseases are also present in Kazakhstan. An hierarchical model showed that seroprevalence to FMD and BT viruses were clustered at the farm/village level, rather than at a larger spatial scale. This was unexpected for FMD, which is subject to vaccination policies which vary at the raion (county) level