Process membership in asynchronous environments

The development of reliable distributed software is simplified by the ability to assume a fail-stop failure model. The emulation of such a model in an asynchronous distributed environment is discussed. The solution proposed, called Strong-GMP, can be supported through a highly efficient protocol, and was implemented as part of a distributed systems software project at Cornell University. The precise definition of the problem, the protocol, correctness proofs, and an analysis of costs are addressed

Lyapunov functions for a non-linear model of the X-ray bursting of the microquasar GRS 1915+105

This paper introduces a biparametric family of Lyapunov functions for a non-linear mathematical model based on the FitzHugh-Nagumo equations able to reproduce some main features of the X-ray bursting behaviour exhibited by the microquasar GRS 1915+105. These functions are useful to investigate the properties of equilibrium points and allow us to demonstrate a theorem on the global stability. The transition between bursting and stable behaviour is also analyzed.Comment: Published on International Journal of Non-Linear Mechanics, vol. 88, pp. 142-14

Acting without being in control: Exploring volition in Parkinson's disease with impulsive compulsive behaviours.

BACKGROUND: Several aspects of volitional control of action may be relevant in the pathophysiology of impulsive-compulsive behaviours (ICB) in Parkinson's disease (PD). We aimed to explore multiple aspects of action control, assessing reward-related behaviour, inhibition (externally and internally triggered) and sense of agency in PD patients, with and without ICB compared to healthy subjects. METHODS: Nineteen PD patients with ICB (PD-ICB), 19 PD without ICB (PD-no-ICB) and 19 healthy controls (HC) underwent a battery of tests including: Intentional Binding task which measures sense of agency; Stop Signal Reaction Time (SSRT) measuring capacity for reactive inhibition; the Marble task, assessing intentional inhibition; Balloon Analog Risk Task for reward sensitivity. RESULTS: One-way ANOVA showed significant main effect of group for action binding (p = 0.004, F = 6.27). Post hoc analysis revealed that PD-ICB had significantly stronger action binding than HC (p = 0.004), and PD-no-ICB (p = 0.04). There was no difference between PD-no-ICB and HC. SSRT did not differ between PD groups, whereas a significant difference between PD-no-ICB and HC was detected (p = 0.01). No other differences were found among groups in the other tasks. CONCLUSIONS: PD patients with ICB have abnormal performance on a psychophysical task assessing sense of agency, which might be related to a deficit in action representation at cognitive/experiential level. Yet, they have no deficit on tasks evaluating externally and internally triggered inhibitory control, or in reward-based decision-making. We conclude that impaired sense of agency may be a factor contributing to ICB in PD patients

The 41-kDa Protein of Human Herpesvirus 6 Specifically Binds to Viral DNA Polymerase and Greatly Increases DNA Synthesis

AbstractWe previously isolated a 41-kDa early antigen of human herpesvirus 6 (HHV-6), which exhibited nuclear localization and DNA-binding activity (Agulnicket al.,1993). In this study, we observed that a 110-kDa protein was coimmunoprecipitated with p41 from HHV-6-infected cells by an anti-p41 antibody. This 110-kDa protein was identified as the HHV-6 DNA polymerase (Pol-6) by an antibody raised against the N terminus of Pol-6. Reciprocal immunoprecipitation and Western blot analyses confirmed that p41 complexes with Pol-6 in HHV-6-infected cells. In addition, both p41 and Pol-6 were expressedin vitroand shown to form a specific complex. Anin vitroDNA synthesis assay using primed M13 single-stranded DNA template demonstrated that p41 not only increased the DNA synthesis activity of Pol-6 but also allowed Pol-6 to synthesize DNA products corresponding to full-length M13 template (7249 nucleotides). By contrast, Pol-6 alone could only synthesize DNA of <100 nucleotides. The functional interaction between Pol-6 and p41 appears to be specific because they could not be physically or functionally substitutedin vitroby their herpes simplex virus 1 homologues. Moreover, as revealed by mutational analysis, both the N and C termini of Pol-6 contribute to its binding to p41. In the case of p41, the N terminus is required for increasing DNA synthesis but not binding to Pol-6, whereas the C terminus is totally dispensable

Disinvestment in healthcare: An overview of HTA agencies and organizations activities at European level

Background: In an era of a growing economic pressure for all health systems, the interest for "disinvestment" in healthcare increased. In this context, evidence based approaches such as Health Technology Assessment (HTA) are needed both to invest and to disinvest in health technologies. In order to investigate the extent of application of HTA in this field, methodological projects/frameworks, case studies, dissemination initiatives on disinvestment released by HTA agencies and organizations located in Europe were searched. Methods: In July 2015, the websites of HTA agencies and organizations belonging to the European network for HTA (EUnetHTA) and the International Network of Agencies for HTA (INAHTA) were accessed and searched through the use of the term "disinvestment". Retrieved deliverables were considered eligible if they reported methodological projects/frameworks, case studies and dissemination initiatives focused on disinvestment in healthcare. Results: 62 HTA agencies/organizations were accessed and eight methodological projects/frameworks, one case study and one dissemination initiative were found starting from 2007. With respect to methodological projects/frameworks, two were delivered in Austria, one in Italy, two in Spain and three in U.K. As for the case study and the dissemination initiative, both came from U.K. The majority of deliverables were aimed at making an overview of existing disinvestment approaches and at identifying challenges in their introduction. Conclusions: Today, in a healthcare context characterized by resource scarcity and increasing service demand, "disinvestment" from low-value services and reinvestment in high-value ones is a key strategy that may be supported by HTA. The lack of evaluation of technologies in use, in particular at the end of their lifecycle, may be due to the scant availability of frameworks and guidelines for identification and assessment of obsolete technologies that was shown by our work. Although several projects were carried out in different countries, most remain constrained to the field of research. Disinvestment is a relatively new concept in HTA that could pose challenges also from a methodological point of view. To tackle these challenges, it is necessary to construct experiences at international level with the aim to develop new methodological approaches to produce and grow evidence on disinvestment policies and practices