Testing Reactive Probabilistic Processes

We define a testing equivalence in the spirit of De Nicola and Hennessy for reactive probabilistic processes, i.e. for processes where the internal nondeterminism is due to random behaviour. We characterize the testing equivalence in terms of ready-traces. From the characterization it follows that the equivalence is insensitive to the exact moment in time in which an internal probabilistic choice occurs, which is inherent from the original testing equivalence of De Nicola and Hennessy. We also show decidability of the testing equivalence for finite systems for which the complete model may not be known

Ret is essential to mediate GDNF’s neuroprotective and neuroregenerative effect in a Parkinson disease mouse model

Glial cell line-derived neurotrophic factor (GDNF) is a potent survival and regeneration-promoting factor for dopaminergic neurons in cell and animal models of Parkinson disease (PD). GDNF is currently tested in clinical trials on PD patients with so far inconclusive results. The receptor tyrosine kinase Ret is the canonical GDNF receptor, but several alternative GDNF receptors have been proposed, raising the question of which signaling receptor mediates here the beneficial GDNF effects. To address this question we overexpressed GDNF in the striatum of mice deficient for Ret in dopaminergic neurons and subsequently challenged these mice with 1-methyl-4-phenyl-1,2,3,6-tetrahydropyridine (MPTP). Strikingly, in this established PD mouse model, the absence of Ret completely abolished GDNF’s neuroprotective and regenerative effect on the midbrain dopaminergic system. This establishes Ret signaling as absolutely required for GDNF’s effects to prevent and compensate dopaminergic system degeneration and suggests Ret activation as the primary target of GDNF therapy in PD

Enhanced Efficacy of the CDNF/MANF Family by Combined Intranigral Overexpression in the 6-OHDA Rat Model of Parkinson's Disease

Cerebral Dopamine Neurotrophic Factor (CDNF) and Mesencephalic Astrocyte-derived Neurotrophic factor (MANF) are members of a recently discovered family of neurotrophic factors (NTFs). Here, we used intranigral or intrastriatal lentiviral vector-mediated expression to evaluate their efficacy at protecting dopaminergic function in the 6-OHDA model of Parkinson's disease (PD). In contrast to the well-studied Glial-Derived Neurotrophic Factor (GDNF), no beneficial effects were demonstrated by striatal overexpression of either protein. Interestingly, nigral overexpression of CDNF decreased amphetamine-induced rotations and increased tyroxine hydroxylase (TH) striatal fiber density but had no effect on numbers of TH(+) cells in the SN. Nigral MANF overexpression had no effect on amphetamine-induced rotations or TH striatal fiber density but resulted in a significant preservation of TH(+) cells. Combined nigral overexpression of both factors led to a robust reduction in amphetamine-induced rotations, greater increase in striatal TH-fiber density and significant protection of TH(+) cells in the SN. We conclude that nigral CDNF and MANF delivery is more efficacious than striatal delivery. This is also the first study to demonstrate that combined NTF can have synergistic effects that result in enhanced neuroprotection, suggesting that multiple NTF delivery may be more efficacious for the treatment of PD than the single NTF approaches attempted so far.Molecular Therapy (2014); doi:10.1038/mt.2014.206

Nonviral Approaches for Neuronal Delivery of Nucleic Acids

The delivery of therapeutic nucleic acids to neurons has the potential to treat neurological disease and spinal cord injury. While select viral vectors have shown promise as gene carriers to neurons, their potential as therapeutic agents is limited by their toxicity and immunogenicity, their broad tropism, and the cost of large-scale formulation. Nonviral vectors are an attractive alternative in that they offer improved safety profiles compared to viruses, are less expensive to produce, and can be targeted to specific neuronal subpopulations. However, most nonviral vectors suffer from significantly lower transfection efficiencies than neurotropic viruses, severely limiting their utility in neuron-targeted delivery applications. To realize the potential of nonviral delivery technology in neurons, vectors must be designed to overcome a series of extra- and intracellular barriers. In this article, we describe the challenges preventing successful nonviral delivery of nucleic acids to neurons and review strategies aimed at overcoming these challenges

Progression From Paroxysmal to Persistent Atrial Fibrillation. Clinical Correlates and Prognosis

Objectives: We investigated clinical correlates of atrial fibrillation (AF) progression and evaluated the prognosis of patients demonstrating AF progression in a large population. Background: Progression of paroxysmal AF to more sustained forms is frequently seen. However, not all patients will progress to persistent AF. Methods: We included 1,219 patients with paroxysmal AF who participated in the Euro Heart Survey on AF and had a known rhythm status at follow-up. Patients who experienced AF progression after 1 year of follow-up were identified. Results: Progression of AF occurred in 178 (15%) patients. Multivariate analysis showed that heart failure, age, previous transient ischemic attack or stroke, chronic obstructive pulmonary disease, and hypertension were the only independent predictors of AF progression. Using the regression coefficient as a benchmark, we calculated the HATCH score. Nearly 50% of the patients with a HATCH score >5 progressed to persistent AF compared with only 6% of the patients with a HATCH score of 0. During follow-up, patients with AF progression were more often admitted to the hospital and had more major adverse cardiovascular events. Conclusions: A substantial number of patients progress to sustained AF within 1 year. The clinical outcome of these patients regarding hospital admissions and major adverse cardiovascular events was worse compared with patients demonstrating no AF progression. Factors known to cause atrial structural remodeling (age and underlying heart disease) were independent predictors of AF progression. The HATCH score may help to identify patients who are likely to progress to sustained forms of AF in the near future. \ua9 2010 American College of Cardiology Foundation

Effect of Systemic Hypertension With Versus Without Left Ventricular Hypertrophy on the Progression of Atrial Fibrillation (from the Euro Heart Survey).

Hypertension is a risk factor for both progression of atrial fibrillation (AF) and development of AF-related complications, that is major adverse cardiac and cerebrovascular events (MACCE). It is unknown whether left ventricular hypertrophy (LVH) as a consequence of hypertension is also a risk factor for both these end points. We aimed to assess this in low-risk AF patients, also assessing gender-related differences. We included 799 patients from the Euro Heart Survey with nonvalvular AF and a baseline echocardiogram. Patients with and without hypertension were included. End points after 1 year were occurrence of AF progression, that is paroxysmal AF becoming persistent and/or permanent AF, and MACCE. Echocardiographic LVH was present in 33% of 379 hypertensive patients. AF progression after 1 year occurred in 10.2% of 373 patients with rhythm follow-up. In hypertensive patients with LVH, AF progression occurred more frequently as compared with hypertensive patients without LVH (23.3% vs 8.8%, p = 0.011). In hypertensive AF patients, LVH was the most important multivariably adjusted determinant of AF progression on multivariable logistic regression (odds ratio 4.84, 95% confidence interval 1.70 to 13.78, p = 0.003). This effect was only seen in male patients (27.5% vs 5.8%, p = 0.002), while in female hypertensive patients, no differences were found in AF progression rates regarding the presence or absence of LVH (15.2% vs 15.0%, p = 0.999). No differences were seen in MACCE for hypertensive patients with and without LVH. In conclusion, in men with hypertension, LVH is associated with AF progression. This association seems to be absent in hypertensive women

Using viral vectors as gene transfer tools (Cell Biology and Toxicology Special Issue: ETCS-UK 1 day meeting on genetic manipulation of cells)

In recent years, the development of powerful viral gene transfer techniques has greatly facilitated the study of gene function. This review summarises some of the viral delivery systems routinely used to mediate gene transfer into cell lines, primary cell cultures and in whole animal models. The systems described were originally discussed at a 1-day European Tissue Culture Society (ETCS-UK) workshop that was held at University College London on 1st April 2009. Recombinant-deficient viral vectors (viruses that are no longer able to replicate) are used to transduce dividing and post-mitotic cells, and they have been optimised to mediate regulatable, powerful, long-term and cell-specific expression. Hence, viral systems have become very widely used, especially in the field of neurobiology. This review introduces the main categories of viral vectors, focusing on their initial development and highlighting modifications and improvements made since their introduction. In particular, the use of specific promoters to restrict expression, translational enhancers and regulatory elements to boost expression from a single virion and the development of regulatable systems is described

Continuous low-level glial cell line-derived neurotrophic factor delivery using recombinant AAV vectors provides neuroprotection and induces behavioural recovery in a primate model of Parkinson's disease

Peer reviewe