Paul Gainer

  • Citations Per Year
Learn More
Robot swarms are collections of simple robots cooperating without centralized control. Control algorithms for swarms are often inspired by decentralised problem-solving systems found in nature. In this paper we conduct a formal analysis of an algorithm inspired by the foraging behaviour of ants, where a swarm of flying vehicles searches for a target at some(More)
The vast majority of the phytoplankton communities in surface mixed layer of the oligotrophic ocean are numerically dominated by one of two ecotypes of Prochlorococcus, eMIT9312 or eMED4. In this study, we surveyed large latitudinal transects in the Atlantic and Pacific Ocean to determine if these ecotypes discretely partition the surface mixed layer niche,(More)
Synchronisation is an emergent phenomenon observable in nature. Natural synchronising systems have inspired the development of protocols for achieving coordination in a diverse range of distributed dynamic systems. Spontaneously synchronising systems can be mathematically modelled as coupled oscillators. In this paper we present a novel approach using model(More)
The North Pacific Ocean (between approximately 0°N and 50°N) contains the largest continuous ecosystem on Earth. This region plays a vital role in the cycling of globally important nutrients as well as carbon. Although the microbial communities in this region have been assessed, the dynamics of viruses (abundances and production rates) remains understudied.(More)
We assess the power consumption of network synchronisation protocols, particularly the energy required to synchronise all nodes across a network. We use the widely adopted approach of bio-inspired, pulse-coupled oscillators to achieve network-wide synchronisation and provide an extended formal model of just such a protocol, enhanced with structures for(More)
The discovery of infectious particles that challenge conventional thoughts concerning "what is a virus" has led to the evolution a new field of study in the past decade. Here, we review knowledge and information concerning "giant viruses", with a focus not only on some of the best studied systems, but also provide an effort to illuminate systems yet to be(More)
In this paper we introduce a calculus based on ordered resolution for Coalition Logic (CL), improving our previous approach based on unrefined resolution, and discuss the problems associated with imposing an ordering refinement in the context of CL. The calculus operates on ‘coalition problems’, a normal form for CL where we use coalition vectors that can(More)
  • 1