An Explicit Framework for Interaction Nets

Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. \Beta-reduction. Traditional presentations of interaction nets are based on graph theory and rely on elementary properties of graph theory. We give here a more explicit presentation based on notions borrowed from Girard's Geometry of Interaction: interaction nets are presented as partial permutations and a composition of nets, the gluing, is derived from the execution formula. We then define contexts and reduction as the context closure of rules. We prove strong confluence of the reduction within our framework and show how interaction nets can be viewed as the quotient of some generalized proof-nets

No measure for culture? Value in the new economy

This paper explores articulations of the value of investment in culture and the arts through a critical discourse analysis of policy documents, reports and academic commentary since 1997. It argues that in this period, discourses around the value of culture have moved from a focus on the direct economic contributions of the culture industries to their indirect economic benefits. These indirect benefits are discussed here under three main headings: creativity and innovation, employability, and social inclusion. These are in turn analysed in terms of three forms of capital: human, social and cultural. The paper concludes with an analysis of this discursive shift through the lens of autonomist Marxist concerns with the labour of social reproduction. It is our argument that, in contemporary policy discourses on culture and the arts, the government in the UK is increasingly concerned with the use of culture to form the social in the image of capital. As such, we must turn our attention beyond the walls of the factory in order to understand the contemporary capitalist production of value and resistance to it. </jats:p

Impact of Scottish vocational qualifications on residential child care : have they fulfilled the promise?

This article will present findings from a doctoral study exploring the impact of 'SVQ Care: Promoting Independence (level III)' within children's homes. The study focuses on the extent to which SVQs enhance practice and their function within a 'learning society'. A total of 30 staff were selected from seven children's homes in two different local authority social work departments in Scotland. Each member of staff was interviewed on four separate occasions over a period of 9 months. Interviews were structured using a combination of repertory grids and questions. Particular focus was given to the assessment process, the extent to which SVQs enhance practice and the learning experiences of staff. The findings suggest that there are considerable deficiencies both in terms of the SVQ format and the way in which children's homes are structured for the assessment of competence. Rather than address the history of failure within residential care, it appears that SVQs have enabled the status quo to be maintained whilst creating an 'illusion' of change within a learning society

Before and after study of bar workers' perceptions of the impact of smoke-free workplace legislation in the Republic of Ireland

<p>Abstract</p> <p>Background</p> <p><it>Objectives</it>: To compare support for, and perceptions of, the impacts of smoke-free workplace legislation among bar workers in the Republic of Ireland (ROI) pre- and post-implementation, and to identify predictors of support for the legislation.</p> <p>Methods</p> <p><it>Setting</it>: Public houses (pubs) in three areas of the ROI.</p> <p><it>Design</it>: Comparisons pre- and post-implementation of smoke-free workplace legislation.</p> <p><it>Participants</it>: From a largely non-random selection, 288 bar workers volunteered for the baseline survey; 220 were followed up one year later (76.4%).</p> <p><it>Outcome measures: </it>Level of support for the legislation, attitude statements concerning potential impacts of the law and modelled predictors of support for the legislation.</p> <p>Results</p> <p>Pre-implementation 59.5% of participants supported the legislation, increasing to 76.8% post-implementation. Support increased among smokers by 27.3 percentage points from 39.4% to 66.7% (p < 0.001) and among non-smokers by 12.4% percentage points from 68.8% to 81.2% (p = 0.003).</p> <p>Pre-legislation three-quarters of participants agreed that the legislation would make bars more comfortable and was needed to protect workers' health. Post-legislation these proportions increased to over 90% (p < 0.001). However, negative perceptions also increased, particularly for perceptions that the legislation has a negative impact on business (from 50.9% to 62.7%, p = 0.008) and that fewer people would visit pubs (41.8% to 62.7%, p < 0.001). After adjusting for relevant covariates, including responses to the attitude statements, support for the ban increased two to three-fold post-implementation. Regardless of their views on the economic impact, most participants agreed, both pre- and post-implementation, that the legislation was needed to protect bar workers' health.</p> <p>Conclusion</p> <p>Smoke-free legislation had the support of three-quarters of a large sample of bar workers in the ROI. However, this group holds complex sets of both positive and negative perspectives on the legislation. Of particular importance is that negative economic perceptions did not diminish the widely held perception that the ban is needed to protect workers' health.</p

HPV16 oncogene expression levels during early cervical carcinogenesis are determined by the balance of epigenetic chromatin modifications at the integrated virus genome.

In cervical squamous cell carcinomas, high-risk human papillomavirus (HRHPV) DNA is usually integrated into host chromosomes. Multiple integration events are thought to be present within the cells of a polyclonal premalignant lesion and the features that underpin clonal selection of one particular integrant remain poorly understood. We previously used the W12 model system to generate a panel of cervical keratinocyte clones, derived from cells of a low-grade premalignant lesion naturally infected with the major HRHPV type, HPV16. The cells were isolated regardless of their selective advantage and differed only by the site of HPV16 integration into the host genome. We used this resource to test the hypothesis that levels of HPV16 E6/E7 oncogene expression in premalignant cells are regulated epigenetically. We performed a comprehensive analysis of the epigenetic landscape of the integrated HPV16 DNA in selected clones, in which levels of virus oncogene expression per DNA template varied ~6.6-fold. Across the cells examined, higher levels of virus expression per template were associated with more open chromatin at the HPV16 long control region, together with greater loading of chromatin remodelling enzymes and lower nucleosome occupancy. There were higher levels of histone post-translational modification hallmarks of transcriptionally active chromatin and lower levels of repressive hallmarks. There was greater abundance of the active/elongating form of the RNA polymerase-II enzyme (RNAPII-Ser2P), together with CDK9, the component of positive transcription elongation factor b complex responsible for Ser2 phosphorylation. The changes observed were functionally significant, as cells with higher HPV16 expression per template showed greater sensitivity to depletion and/or inhibition of histone acetyltransferases and CDK9 and less sensitivity to histone deacetylase inhibition. We conclude that virus gene expression per template following HPV16 integration is determined through multiple layers of epigenetic regulation, which are likely to contribute to selection of individual cells during cervical carcinogenesis.This work was supported by Cancer Research UK (Programme Grant A13080); the Medical Research Council; The Pathological Society of Great Britain and Ireland (E.L.A.K.); and the Agency for Science, Technology and Research, Singapore (Q.Y.A).This is the final version of the article. It first appeared from Nature Publishing Group via http://dx.doi.org/10.1038/onc.2016.

The Berkeley sample of Type II supernovae: BVRI light curves and spectroscopy of 55 SNe II

In this work, BVRI light curves of 55 Type II supernovae (SNe II) from the Lick Observatory Supernova Search programme obtained with the Katzman Automatic Imaging Telescope and the 1 m Nickel telescope from 2006 to 2018 are presented. Additionally, more than 150 spectra gathered with the 3 m Shane telescope are published. We conduct an analyse of the peak absolute magnitudes, decline rates, and time durations of different phases of the light and colour curves. Typically, our light curves are sampled with a median cadence of 5.5 d for a total of 5093 photometric points. In average, V-band plateau declines with a rate of 1.29 mag (100 d)−1, which is consistent with previously published samples. For each band, the plateau slope correlates with the plateau length and the absolute peak magnitude: SNe II with steeper decline have shorter plateau duration and are brighter. A time-evolution analysis of spectral lines in term of velocities and pseudo-equivalent widths is also presented in this paper. Our spectroscopic sample ranges between 1 and 200 d post-explosion and has a median ejecta expansion velocity at 50 d post-explosion of 6500 km s−1 (H α line) and a standard dispersion of 2000 km s−1. Nebular spectra are in good agreement with theoretical models using a progenitor star having a mass <16M⊙. All the data are available to the community and will help to understand SN II diversity better, and therefore to improve their utility as cosmological distance indicators

Back to Analogue: Self-Reporting for Parkinson’s Disease.

We report the process used to create artefacts for self-reporting Parkinson's Disease symptoms. Our premise was that a technology-based approach would provide participants with an effective, flexible, and resilient technique. After testing four prototypes using Bluetooth, NFC, and a microcontroller we accomplished almost full compliance and high acceptance using a paper diary to track day-to-day fluctuations over 49 days. This diary is tailored to each patient's condition, does not require any handwriting, allows for implicit reminders, provides recording flexibility, and its answers can be encoded automatically. We share five design implications for future Parkinson's self-reporting artefacts: reduce participant completion demand, design to offset the effect of tremor on input, enable implicit reminders, design for positive and negative consequences of increased awareness of symptoms, and consider the effects of handwritten notes in compliance, encoding burden, and data quality

Gut microbiota and sirtuins in obesity-related inflammation and bowel dysfunction

Obesity is a chronic disease characterized by persistent low-grade inflammation with alterations in gut motility. Motor abnormalities suggest that obesity has effects on the enteric nervous system (ENS), which controls virtually all gut functions. Recent studies have revealed that the gut microbiota can affect obesity and increase inflammatory tone by modulating mucosal barrier function. Furthermore, the observation that inflammatory conditions influence the excitability of enteric neurons may add to the gut dysfunction in obesity. In this article, we discuss recent advances in understanding the role of gut microbiota and inflammation in the pathogenesis of obesity and obesity-related gastrointestinal dysfunction. The potential contribution of sirtuins in protecting or regulating the circuitry of the ENS under inflamed states is also considered