Compositionality for Quantitative Specifications

We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive modal transition systems where we allow actions to bear various types of quantitative information. Throughout the design process the actions can be further refined and the information made more precise. We show how to compute the results of standard operations on the systems, including the quotient (residual), which has not been previously considered for quantitative non-deterministic systems. Our quantitative framework has close connections to the modal nu-calculus and is compositional with respect to general notions of distances between systems and the standard operations

A eta-alpha and A eta-beta peptides impair LTP ex vivo within the low nanomolar range and impact neuronal activity in vivo

Background: Amyloid precursor protein (APP) processing is central to Alzheimer’s disease (AD) etiology. As early cognitive alterations in AD are strongly correlated to abnormal information processing due to increasing synaptic impairment, it is crucial to characterize how peptides generated through APP cleavage modulate synapse function. We previously described a novel APP processing pathway producing η-secretase-derived peptides (Aη) and revealed that Aη–α, the longest form of Aη produced by η-secretase and α-secretase cleavage, impaired hippocampal long-term potentiation (LTP) ex vivo and neuronal activity in vivo. Methods: With the intention of going beyond this initial observation, we performed a comprehensive analysis to further characterize the effects of both Aη-α and the shorter Aη-β peptide on hippocampus function using ex vivo field electrophysiology, in vivo multiphoton calcium imaging, and in vivo electrophysiology. Results: We demonstrate that both synthetic peptides acutely impair LTP at low nanomolar concentrations ex vivo and reveal the N-terminus to be a primary site of activity. We further show that Aη-β, like Aη–α, inhibits neuronal activity in vivo and provide confirmation of LTP impairment by Aη–α in vivo. Conclusions: These results provide novel insights into the functional role of the recently discovered η-secretase-derived products and suggest that Aη peptides represent important, pathophysiologically relevant, modulators of hippocampal network activity, with profound implications for APP-targeting therapeutic strategies in AD

Central Asia and the globalisation of the contemporary legal consciousness

What is the logic which governs the processes of legal globalization? How does the transnational proliferation of legal forms operate in the contemporary geo-juridical space? What are the main defining characteristics of the currently dominant mode of transnational legal consciousness and how can the concept of legal consciousness help us understand better the historical ebb and flow of the Western-led projects of good governance promotion in regions like Central Asia after the fall of the Soviet Union? Using Duncan Kennedy’s seminal essay Three Globalizations of Law and Legal Thought as its starting platform, this essay seeks to explore these and a series of other related questions, while also drawing on the work of the Greek Marxist lawyer-philosopher Nicos Poulantzas to help elucidate some latent analytical stress-points in Kennedy’s broader theoretical framework. Reacting against the neo-Orientalist tone adopted across much of the contemporary field of Central Asian studies, it develops an alternative account of the internal history of the legal-globalizational encounter between the Western-based reform entrepreneurs and the national legal-political elites in Central Asia in the post-1991 period, complementing it with a detailed description of the general institutional and discursive structures within which this encounter took place

TGF-b2 induction regulates invasiveness of theileria-transformed leukocytes and disease susceptibility

Theileria parasites invade and transform bovine leukocytes causing either East Coast fever (T. parva), or tropical theileriosis (T. annulata). Susceptible animals usually die within weeks of infection, but indigenous infected cattle show markedly reduced pathology, suggesting that host genetic factors may cause disease susceptibility. Attenuated live vaccines are widely used to control tropical theileriosis and attenuation is associated with reduced invasiveness of infected macrophages in vitro. Disease pathogenesis is therefore linked to aggressive invasiveness, rather than uncontrolled proliferation of Theileria-infected leukocytes. We show that the invasive potential of Theileria-transformed leukocytes involves TGF-b signalling. Attenuated live vaccine lines express reduced TGF-b2 and their invasiveness can be rescued with exogenous TGF-b. Importantly, infected macrophages from disease susceptible Holstein-Friesian (HF) cows express more TGF-b2 and traverse Matrigel with great efficiency compared to those from disease-resistant Sahiwal cattle. Thus, TGF-b2 levels correlate with disease susceptibility. Using fluorescence and time-lapse video microscopy we show that Theileria-infected, disease-susceptible HF macrophages exhibit increased actin dynamics in their lamellipodia and podosomal adhesion structures and develop more membrane blebs. TGF-b2-associated invasiveness in HF macrophages has a transcription-independent element that relies on cytoskeleton remodelling via activation of Rho kinase (ROCK). We propose that a TGF-b autocrine loop confers an amoeboid-like motility on Theileria-infected leukocytes, which combines with MMP-dependent motility to drive invasiveness and virulence

Measuring the impact and costs of a universal group based parenting programme : protocol and implementation of a trial

Background Sub-optimal parenting is a common risk factor for a wide range of negative health, social and educational outcomes. Most parenting programmes have been developed in the USA in the context of delinquency prevention for targeted or indicated groups and the main theoretical underpinning for these programmes is behaviour management. The Family Links Nurturing Programme (FLNP) focuses on family relationships as well as behaviour management and is offered on a universal basis. As a result it may be better placed to improve health and educational outcomes. Developed in the UK voluntary sector, FLNP is popular with practitioners, has impressed policy makers throughout the UK, has been found to be effective in before/after and qualitative studies, but lacks a randomised controlled trial (RCT) evidence base. Methods/Design A multi-centre, investigator blind, randomised controlled trial of the FLNP with a target sample of 288 south Wales families who have a child aged 2-4 yrs living in or near to Flying Start/Sure Start areas. Changes in parenting, parent child relations and parent and child wellbeing are assessed with validated measures immediately and at 6 months post intervention. Economic components include cost consequences and cost utility analyses based on parental ranking of states of quality of life. Attendance and completion rates and fidelity to the FLNP course delivery are assessed. A nested qualitative study will assess reasons for participation and non-participation and the perceived value of the programme to families. By the end of May 2010, 287 families have been recruited into the trial across four areas of south Wales. Recruitment has not met the planned timescales with barriers including professional anxiety about families entering the control arm of the trial, family concern about video and audio recording, programme facilitator concern about the recording of FLNP sessions for fidelity purposes and delays due to the new UK research governance procedures. Discussion Whilst there are strong theoretical arguments to support universal provision of parenting programmes, few universal programmes have been subjected to randomised controlled trials. In this paper we describe a RCT protocol with quantitative and qualitative outcome measures and an economic evaluation designed to provide clear evidence with regard to effectiveness and costs. We describe challenges implementing the protocol and how we are addressing these

A systematic review of the effectiveness and cost-effectiveness of peer education and peer support in prisons.

BACKGROUND: Prisoners experience significantly worse health than the general population. This review examines the effectiveness and cost-effectiveness of peer interventions in prison settings. METHODS: A mixed methods systematic review of effectiveness and cost-effectiveness studies, including qualitative and quantitative synthesis was conducted. In addition to grey literature identified and searches of websites, nineteen electronic databases were searched from 1985 to 2012. Study selection criteria were: Population: Prisoners resident in adult prisons and children resident in Young Offender Institutions (YOIs). INTERVENTION: Peer-based interventions Comparators: Review questions 3 and 4 compared peer and professionally led approaches. OUTCOMES: Prisoner health or determinants of health; organisational/ process outcomes; views of prison populations. STUDY DESIGNS: Quantitative, qualitative and mixed method evaluations. RESULTS: Fifty-seven studies were included in the effectiveness review and one study in the cost-effectiveness review; most were of poor methodological quality. Evidence suggested that peer education interventions are effective at reducing risky behaviours, and that peer support services are acceptable within the prison environment and have a positive effect on recipients, practically or emotionally. Consistent evidence from many, predominantly qualitative, studies, suggested that being a peer deliverer was associated with positive effects. There was little evidence on cost-effectiveness of peer-based interventions. CONCLUSIONS: There is consistent evidence from a large number of studies that being a peer worker is associated with positive health; peer support services are also an acceptable source of help within the prison environment and can have a positive effect on recipients. Research into cost-effectiveness is sparse. SYSTEMATIC REVIEW REGISTRATION: PROSPERO ref: CRD42012002349

Studies of the Association of Arg72Pro of Tumor Suppressor Protein p53 with Type 2 Diabetes in a Combined Analysis of 55,521 Europeans

A study of 222 candidate genes in type 2 diabetes reported association of variants in RAPGEF1, ENPP1, TP53, NRF1, SLC2A2, SLC2A4 and FOXC2 with type 2 diabetes in 4,805 Finnish individuals. We aimed to replicate these associations in a Danish case-control study and to substantiate any replicated associations in meta-analyses. Furthermore, we evaluated the impact on diabetes-related intermediate traits in a population-based sample of middle-aged Danes.We genotyped nine lead variants in the seven genes in 4,973 glucose-tolerant and 3,612 type 2 diabetes Danish individuals. In meta-analyses we combined case-control data from the DIAGRAM+ Consortium (n = 47,117) and the present genotyping results. The quantitative trait studies involved 5,882 treatment-naive individuals from the Danish Inter99 study.None of the nine investigated variants were significantly associated with type 2 diabetes in the Danish samples. However, for all nine variants the estimate of increase in type 2 diabetes risk was observed for the same allele as previously reported. In a meta-analysis of published and online data including 55,521 Europeans the G-allele of rs1042522 in TP53 showed significant association with type 2 diabetes (OR = 1.06 95% CI 1.02-1.11, p = 0.0032). No substantial associations with diabetes-related intermediary phenotypes were found.The G-allele of TP53 rs1042522 is associated with an increased prevalence of type 2 diabetes in a combined analysis of 55,521 Europeans

A solitary bronchial papilloma with unusual endoscopic presentation: case study and literature review

<p>Abstract</p> <p>Background</p> <p>Solitary endobronchial papillomas (SEP) are rare tumors and most of them are described by case report. A misdiagnosis is common with viral related papillomas. A histopathological classification has recently permitted a major advancement in the understanding of the disease.</p> <p>Case Presentation</p> <p>We report a case of a mixed bronchial papilloma with an unusual endoscopic presentation. The literature was extensively reviewed to ascertain the unusual characteristics of the current case. A 39-year of age male was referred to our institution for the investigation of a slight hemoptysis. Routine examination was normal. A fibroscopy revealed an unusual feature of the right main bronchus. The lesion was a plane, non-bleeding, non-glistering sub-mucosal proliferation. No enhanced coloration was noticed. Biopsies revealed a mixed solitary bronchial papilloma. In situ HPV hybridization was negative. Endoscopic treatment (electrocautery) was effective with no relapse.</p> <p>Conclusion</p> <p>This lesion contrasts with the data of the literature where papilloma were described as wart-like lesions or cauliflower tumors, with symptoms generally related to bronchial obstruction. We advise chest physicians to be cautious with unusually small swollen lesions of the bronchi that may reveal a solitary bronchial papilloma. Endoscopic imaging can significantly contribute to the difficult diagnosis of SEP by pulmonary physicians and endoscopists.</p