The Acute Effect of Intermittent Fasting on Resting Energy Expenditure in College-Aged Males

Please see the pdf version of the abstract

Bounded analysis of constrained dynamical systems: a case study in nuclear arms control

We introduce a simple dynamical system that describes key features of a bilateral nuclear arms control regime. The evolution of each party's beliefs and declarations under the regime are represented, and the e ects of inspection processes are captured. Bounded analysis of this model allows us to explore { within a nite horizon { the consequences of changes to the rules of the arms control process and to the strategies of each party, bounded scope invariants for variables of interest, and dynamics for initial states containing strict uncertainty. Together these would potentially enable a decision support system to consider cases of interest irrespective of unknowns. We realize such abilities by building a Python package that draws on the capabilities of a Satis ability Modulo Theory (SMT) solver to explore particular scenarios and to optimize measures of interest { such as the belief of one nation in the statements made by another, or the timing of an unscheduled inspection such that it has maximum value. We show that these capabilities can in principle support the design or assessment of future bilateral arms control instruments by applying them to a set of representative and relevant test scenarios with realistic nite horizons

A survey of parallel algorithms for fractal image compression

This paper presents a short survey of the key research work that has been undertaken in the application of parallel algorithms for Fractal image compression. The interest in fractal image compression techniques stems from their ability to achieve high compression ratios whilst maintaining a very high quality in the reconstructed image. The main drawback of this compression method is the very high computational cost that is associated with the encoding phase. Consequently, there has been significant interest in exploiting parallel computing architectures in order to speed up this phase, whilst still maintaining the advantageous features of the approach. This paper presents a brief introduction to fractal image compression, including the iterated function system theory upon which it is based, and then reviews the different techniques that have been, and can be, applied in order to parallelize the compression algorithm

Locations of marine animals revealed by carbon isotopes

Knowing the distribution of marine animals is central to understanding climatic and other environmental influences on population ecology. This information has proven difficult to gain through capture-based methods biased by capture location. Here we show that marine location can be inferred from animal tissues. As the carbon isotope composition of animal tissues varies with sea surface temperature, marine location can be identified by matching time series of carbon isotopes measured in tissues to sea surface temperature records. Applying this technique to populations of Atlantic salmon (Salmo salar L.) produces isotopically-derived maps of oceanic feeding grounds, consistent with the current understanding of salmon migrations, that additionally reveal geographic segregation in feeding grounds between individual philopatric populations and age-classes. Carbon isotope ratios can be used to identify the location of open ocean feeding grounds for any pelagic animals for which tissue archives and matching records of sea surface temperature are available

International Communism and the "Cultural Front"

This is the final version. Available on open access from Brill via the DOI in this recordArts and Humanities Research Council (AHRC

Inferring introduction routes of invasive species using approximate Bayesian computation on microsatellite data

Determining the routes of introduction provides not only information about the history of an invasion process, but also information about the origin and construction of the genetic composition of the invading population. It remains difficult, however, to infer introduction routes from molecular data because of a lack of appropriate methods. We evaluate here the use of an approximate Bayesian computation (ABC) method for estimating the probabilities of introduction routes of invasive populations based on microsatellite data. We considered the crucial case of a single source population from which two invasive populations originated either serially from a single introduction event or from two independent introduction events. Using simulated datasets, we found that the method gave correct inferences and was robust to many erroneous beliefs. The method was also more efficient than traditional methods based on raw values of statistics such as assignment likelihood or pairwise F(ST). We illustrate some of the features of our ABC method, using real microsatellite datasets obtained for invasive populations of the western corn rootworm, Diabrotica virgifera virgifera. Most computations were performed with the DIYABC program (http://www1.montpellier.inra.fr/CBGP/diyabc/)

Turnitin said it wasn't happy: Can the regulatory discourse of plagiarism detection operate as a change artefact for writing development?

This paper centres on the tensions between the introduction of plagiarism detection software (Turnitin) for student and tutor use at undergraduate level and the aim to promote a developmental approach to writing for assessment at a UK university. Aims to promote developmental models for writing often aim to counteract the effects of the structural organisation of learning and assessment in higher education. This paper will discuss the potential for the implementation of plagiarism detection software to operate as a 'change artefact', creating opportunities for a departure from the habits of practice created by the demands of writing for assessment and the potential for the emergence of enclaves of good practice in respect of writing development. Tutor and student qualitative responses, gathered via questionnaires and focus groups were analysed in order to investigate the effectiveness of this initiative. In this inquiry plagiarism detection emerges as a dominant theme within regulatory discourses of malpractice in higher education. The promotion of writing development via a tool for regulation and plagiarism detection seems to be a mismatch and the extent to which Turnitin can be operate as a change artefact to promote developmental approaches to writing for assessment in higher education is questioned. The suitability of plagiarism detection software as a tool to promote writing development will be discussed in light of the findings from this inquiry