Moving lessons: teaching sociology through embodied learning in the HE classroom

This chapter outlines an approach to classroom teaching that makes use of physical movement alongside more traditional lecturing methods when delivering lessons on abstract theoretical material. It develops the notion of embodied learning as a 'physical metaphor', outlining some examples of this practice that we have used in our recent work with a class of first year undergraduates. We argue that conceptualising students as embodied subjects, whose capacity to learn extends through and beyond their physical selves, educators are able to enhance classroom delivery by diversifying teaching activities and creating opportunities for enjoyable and memorable learning experiences. We advocate the reflexive, contextually-sensitive and level- appropriate use of this method, arguing that despite some limitations it can animate students' understanding of academic ideas in uniquely personalised ways

Search for CP violation in D0 and D+ decays

A high statistics sample of photoproduced charm particles from the FOCUS (E831) experiment at Fermilab has been used to search for CP violation in the Cabibbo suppressed decay modes D+ to K-K+pi+, D0 to K-K+ and D0 to pi-pi+. We have measured the following CP asymmetry parameters: A_CP(K-K+pi+) = +0.006 +/- 0.011 +/- 0.005, A_CP(K-K+) = -0.001 +/- 0.022 +/- 0.015 and A_CP(pi-pi+) = +0.048 +/- 0.039 +/- 0.025 where the first error is statistical and the second error is systematic. These asymmetries are consistent with zero with smaller errors than previous measurements.Comment: 12 pages, 4 figure

A Study of D0 --> K0(S) K0(S) X Decay Channels

Using data from the FOCUS experiment (FNAL-E831), we report on the decay of $D^0$ mesons into final states containing more than one $K^0_S$. We present evidence for two Cabibbo favored decay modes, $D^0\to K^0_SK^0_S K^- \pi^+$ and $D^0\to K^0_SK^0_S K^+ \pi^-$, and measure their combined branching fraction relative to $D^0\to \bar{K} ^0\pi^+\pi^-$ to be $\frac{\Gamma(D^0\to K^0_SK^0_SK^{\pm}\pi^{\mp})}{\Gamma(D^0\to \bar{K} ^0\pi^+\pi^-)}$ = 0.0106 $\pm$ 0.0019 $\pm$ 0.0010. Further, we report new measurements of $\frac{\Gamma(D^0\to K^0_SK^0_SK^0_S)}{\Gamma(D^0\to \bar{K} ^0\pi^+\pi^-)}$ = 0.0179 $\pm$ 0.0027 $\pm$ 0.0026, $\frac{\Gamma(D^0\to K^0\bar{K} ^0)}{\Gamma(D^0\to \bar{K} ^0\pi^+\pi^-)}$ = 0.0144 $\pm$ 0.0032 $\pm$ 0.0016, and $\frac{\Gamma(D^0\to K^0_SK^0_S\pi^+\pi^-)}{\Gamma(D^0\to \bar{K} ^0\pi^+\pi^-)}$ = 0.0208 $\pm$ 0.0035 $\pm$ 0.0021 where the first error is statistical and the second is systematic.Comment: 11 pages, 3 figures, typos correcte

Phenotypic Variation and Bistable Switching in Bacteria

Microbial research generally focuses on clonal populations. However, bacterial cells with identical genotypes frequently display different phenotypes under identical conditions. This microbial cell individuality is receiving increasing attention in the literature because of its impact on cellular differentiation, survival under selective conditions, and the interaction of pathogens with their hosts. It is becoming clear that stochasticity in gene expression in conjunction with the architecture of the gene network that underlies the cellular processes can generate phenotypic variation. An important regulatory mechanism is the so-called positive feedback, in which a system reinforces its own response, for instance by stimulating the production of an activator. Bistability is an interesting and relevant phenomenon, in which two distinct subpopulations of cells showing discrete levels of gene expression coexist in a single culture. In this chapter, we address techniques and approaches used to establish phenotypic variation, and relate three well-characterized examples of bistability to the molecular mechanisms that govern these processes, with a focus on positive feedback.

Local reasoning about the presence of bugs: Incorrectness Separation Logic

There has been a large body of work on local reasoning for proving the absence of bugs, but none for proving their presence. We present a new formal framework for local reasoning about the presence of bugs, building on two complementary foundations: 1) separation logic and 2) incorrectness logic. We explore the theory of this new incorrectness separation logic (ISL), and use it to derive a begin-anywhere, intra-procedural symbolic execution analysis that has no false positives by construction. In so doing, we take a step towards transferring modular, scalable techniques from the world of program verification to bug catching

Rapid ascent of rhyolitic magma at Chaitén volcano, Chile

International audienceAlthough rhyolite magma has fuelled some of the Earth's largest explosive volcanic eruptions, our understanding of these events is incomplete due to the previous lack of direct observation of these eruptions. On 1 May 2008, Chaitén volcano in Chile erupted rhyolite magma unexpectedly and explosively. Here, petrological and experimental data are presented that indicate that the hydrous rhyolite magma at Chaitén ascended very rapidly from storage depth to near-surface, with velocities of the order of one metre per second