Focusing in Asynchronous Games

Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as games on which proofs induce strategies. We are specifically interested here in relating two such semantics of linear logic, of very different flavor, which both take in account concurrent features of the proofs: asynchronous games and concurrent games. Interestingly, we show that associating a concurrent strategy to an asynchronous strategy can be seen as a semantical counterpart of the focusing property of linear logic

'The brede of good & strong Horsis': zooarchaeological evidence for size change in horses from early modern London

Almost 200 horse bone measurements from 38 sites excavated across the city of London, dating to the period AD 1220–1900 were analysed. Results identified three main phases of size change: a reduction in size in the mid 14th to 15th century, and size increases in the mid 15th to 16th century and the 17th century. The decline in size testifies to the disruption of horse breeding in the wake of the Black Death, whilst the increases reflect purposeful attempts to increase the size of horses in England through a combination of regulated breeding and the importation of new bloodlines

Characterizing the genetic basis of methylome diversity in histologically normal human lung tissue

The genetic regulation of the human epigenome is not fully appreciated. Here we describe the effects of genetic variants on the DNA methylome in human lung based on methylation-quantitative trait loci (meQTL) analyses. We report 34,304 cis- and 585 trans-meQTLs, a genetic-epigenetic interaction of surprising magnitude, including a regulatory hotspot. These findings are replicated in both breast and kidney tissues and show distinct patterns: cis-meQTLs mostly localize to CpG sites outside of genes, promoters and CpG islands (CGIs), while trans-meQTLs are over-represented in promoter CGIs. meQTL SNPs are enriched in CTCF-binding sites, DNaseI hypersensitivity regions and histone marks. Importantly, four of the five established lung cancer risk loci in European ancestry are cis-meQTLs and, in aggregate, cis-meQTLs are enriched for lung cancer risk in a genome-wide analysis of 11,587 subjects. Thus, inherited genetic variation may affect lung carcinogenesis by regulating the human methylome

Sequence analysis of the adenine phosphoribosyltransferase gene locus in wild-type and thymidine kinase-deficient friend erythroleukaemia cells

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN016398 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Nominal Lawvere Theories

Abstract. Lawvere theories provide a category theoretic view of equa-tional logic, identifying equational theories with small categories equipped with finite products. This formulation allows equational theories to be investigated as first class mathematical entities. However, many formal systems, particularly in computer science, are described by equations modulated by side conditions asserting the “freshness of names”; these may be expressed as theories of Nominal Equational Logic (NEL). This paper develops a correspondence between NEL-theories and certain cat-egories that we call nominal Lawvere theories