A 0535+26: Back in business

In May/June 2005, after 10 years of inactivity, the Be/X-ray binary system A 0535+26 underwent a major X-ray outburst. In this paper data are presented from 10 years of optical, IR and X-ray monitoring showing the behaviour of the system during the quiescent epoch and the lead up to the new outburst. The results show the system going through a period when the Be star in the system had a minimal circumstellar disk and then a dramatic disk recovery leading, presumably, to the latest flare up of X-ray emission. The data are interpreted in terms of the state of the disk and its interaction with the neutron star companion.Comment: Accepted for publication in MNRA

Restoration of Lake Hakanoa: Results of model simulations

This report was requested by Waikato District Council. It covers the lake water quality of, and possible restoration scenarios for, Lake Hakanoa a riverine lake situated in Huntly. The lake is used as a recreational resource by the community. In the past it has been reported to have had very poor water quality and is known to be eutrophic. It is currently in an algal-dominated, devegetated state and has low water clarity. The shallowness of this lake makes it potentially susceptible to resuspension of sediments through wind action. A community group, Friends of Hakanoa, has been responsible for the formation of a path around the perimeter of the lake, retiring about 3.6% of the catchment from pastoral farming and creating a riparian margin. Results from more recent reports and this report indicate a trend of improving water quality which may be related to recent restoration actions such as re-establishment of a riparian margin

Constructing applicative functors

Applicative functors define an interface to computation that is more general, and correspondingly weaker, than that of monads. First used in parser libraries, they are now seeing a wide range of applications. This paper sets out to explore the space of non-monadic applicative functors useful in programming. We work with a generalization, lax monoidal functors, and consider several methods of constructing useful functors of this type, just as transformers are used to construct computational monads. For example, coends, familiar to functional programmers as existential types, yield a range of useful applicative functors, including left Kan extensions. Other constructions are final fixed points, a limited sum construction, and a generalization of the semi-direct product of monoids. Implementations in Haskell are included where possible

Supermonads: one notion to bind them all

Several popular generalizations of monads have been implemented in Haskell. Unfortunately, because the shape of the associated type constructors do not match the standard Haskell monad interface, each such implementation provides its own type class and versions of associated library functions. Furthermore, simultaneous use of different monadic notions can be cumbersome as it in general is necessary to be explicit about which notion is used where. In this paper we introduce supermonads: an encoding of monadic notions that captures several different generalizations along with a version of the standard library of monadic functions that work uniformly with all of them. As standard Haskell type inference does not work for supermonads due to their generality, our supermonad implementation is accompanied with a language extension, in the form of a plugin for the Glasgow Haskell Compiler (GHC), that allows type inference for supermonads, obviating the need for manual annotations

Coagulation and fragmentation processes with evolving size and shape profiles : a semigroup approach

We investigate a class of bivariate coagulation-fragmentation equations. These equations describe the evolution of a system of particles that are characterised not only by a discrete size variable but also by a shape variable which can be either discrete or continuous. Existence and uniqueness of strong solutions to the associated abstract Cauchy problems are established by using the theory of substochastic semigroups of operators