23 research outputs found
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
Bio-analytical Assay Methods used in Therapeutic Drug Monitoring of Antiretroviral Drugs-A Review
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
Multimodality expression profiling shows SEPT9 to be over-expressed in a wide range of human tumours
Identification of a methylation hotspot in the death receptor Fas/CD95 in bladder cancer
The bundlin pilin protein of enteropathogenic Escherichia coli is an N-acetyllactosamine-specific lectin
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