Learn More
Sediments from relic Lake Golbasi were analyzed by X-ray fluorescence with synchrotron radiation to determine changes in element concentrations over time with selected elements serving as proxies for environmental change. Increases in Ca and Sr suggest soil formation during a dry period, from ca. 4500 BC to ca. AD 200 at which point K, Rb, Zr, Ti, and Y(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)
Analysis of fingerprints has predominantly focused on matching the pattern of ridges to a specific person as a form of identification. The present work focuses on identifying extrinsic materials that are left within a person's fingerprint after recent handling of such materials. Specifically, we employed infrared spectromicroscopy to locate and positively(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)
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)
Over the last 8000 years the Fertile Crescent of the Near East has seen the emergence of urban agglomerations, small scale polities and large territorial empires, all of which had profound effects on settlement patterns. Computational approaches, including the use of remote sensing data, allow us to analyse these changes at unprecedented geographical and(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)