Toby Wilkinson

Learn More
The development of next generation sequencing has challenged the use of other molecular fingerprinting methods used to study microbial diversity. We analysed the bacterial diversity in the rumen of defaunated sheep following the introduction of different protozoal populations, using both next generation sequencing (NGS: Ion Torrent PGM) and terminal(More)
Preface CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. This is a high-level, biannual conference formed by joining the forces and The CALCO Young Researchers Workshop, CALCO-jnr, is a CALCO satellite event(More)
A generalised model of the life cycle of a house dust mite, which can be tailored to any particular species of domestic mite, is presented. The model takes into account the effects of hygrothermal conditions on each life cycle phase. It is used in a computer simulation program, called POPMITE, which, by incorporating a population age structure, is able to(More)
This study aimed to determine the microbial composition of faeces from two groups of caecotrophagic animals; rabbits and guinea pigs. In addition the study aimed to determine the community present in the different organs in the rabbit. DNA was extracted from seven of the organs in wild rabbits (n = 5) and from faecal samples from domesticated rabbits (n =(More)
We present ongoing work into the systematic study of the use of dual adjunctions in coalgebraic modal logic. We introduce a category of internal models for a modal logic. These are constructed from syntax, and yield a generalised notion of canonical model. Further, expressivity of a modal logic is shown to be characterised by factorisation of its models via(More)
Understanding the relationship between ingested plant material and the attached microbiome is essential for developing methodologies to improve ruminant nutrient use efficiency. We have previously shown that perennial ryegrass (PRG) rumen bacterial colonization events follow a primary (up to 4 h) and secondary (after 4 h) pattern based on the differences in(More)
The Theory plug-in enables modellers to extend the mathematical modelling notation for Event-B, with accompanying support for reasoning about the extended language. Previous version of the Theory plug-in has been implemented based on Rodin 2.x. This presentation outline the main improvements to the Theory plug-in, to be compatible with Rodin 3.x, in terms(More)
  • 1