Learn 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)
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)
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)
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