LNCS

Discrete-time Markov Chains (MCs) and Markov Decision Processes (MDPs) are two standard formalisms in system analysis. Their main associated quantitative objectives are hitting probabilities, discounted sum, and mean payoff. Although there are many techniques for computing these objectives in general MCs/MDPs, they have not been thoroughly studied in terms of parameterized algorithms, particularly when treewidth is used as the parameter. This is in sharp contrast to qualitative objectives for MCs, MDPs and graph games, for which treewidth-based algorithms yield significant complexity improvements. In this work, we show that treewidth can also be used to obtain faster algorithms for the quantitative problems. For an MC with n states and m transitions, we show that each of the classical quantitative objectives can be computed in O((n+m)⋅t2) time, given a tree decomposition of the MC with width t. Our results also imply a bound of O(κ⋅(n+m)⋅t2) for each objective on MDPs, where κ is the number of strategy-iteration refinements required for the given input and objective. Finally, we make an experimental evaluation of our new algorithms on low-treewidth MCs and MDPs obtained from the DaCapo benchmark suite. Our experiments show that on low-treewidth MCs and MDPs, our algorithms outperform existing well-established methods by one or more orders of magnitude

Leibniz's Infinitesimals: Their Fictionality, Their Modern Implementations, And Their Foes From Berkeley To Russell And Beyond

Many historians of the calculus deny significant continuity between infinitesimal calculus of the 17th century and 20th century developments such as Robinson's theory. Robinson's hyperreals, while providing a consistent theory of infinitesimals, require the resources of modern logic; thus many commentators are comfortable denying a historical continuity. A notable exception is Robinson himself, whose identification with the Leibnizian tradition inspired Lakatos, Laugwitz, and others to consider the history of the infinitesimal in a more favorable light. Inspite of his Leibnizian sympathies, Robinson regards Berkeley's criticisms of the infinitesimal calculus as aptly demonstrating the inconsistency of reasoning with historical infinitesimal magnitudes. We argue that Robinson, among others, overestimates the force of Berkeley's criticisms, by underestimating the mathematical and philosophical resources available to Leibniz. Leibniz's infinitesimals are fictions, not logical fictions, as Ishiguro proposed, but rather pure fictions, like imaginaries, which are not eliminable by some syncategorematic paraphrase. We argue that Leibniz's defense of infinitesimals is more firmly grounded than Berkeley's criticism thereof. We show, moreover, that Leibniz's system for differential calculus was free of logical fallacies. Our argument strengthens the conception of modern infinitesimals as a development of Leibniz's strategy of relating inassignable to assignable quantities by means of his transcendental law of homogeneity.Comment: 69 pages, 3 figure

Colloids as Mobile Substrates for the Implantation and Integration of Differentiated Neurons into the Mammalian Brain

Neuronal degeneration and the deterioration of neuronal communication lie at the origin of many neuronal disorders, and there have been major efforts to develop cell replacement therapies for treating such diseases. One challenge, however, is that differentiated cells are challenging to transplant due to their sensitivity both to being uprooted from their cell culture growth support and to shear forces inherent in the implantation process. Here, we describe an approach to address these problems. We demonstrate that rat hippocampal neurons can be grown on colloidal particles or beads, matured and even transfected in vitro, and subsequently transplanted while adhered to the beads into the young adult rat hippocampus. The transplanted cells have a 76% cell survival rate one week post-surgery. At this time, most transplanted neurons have left their beads and elaborated long processes, similar to the host neurons. Additionally, the transplanted cells distribute uniformly across the host hippocampus. Expression of a fluorescent protein and the light-gated glutamate receptor in the transplanted neurons enabled them to be driven to fire by remote optical control. At 1-2 weeks after transplantation, calcium imaging of host brain slice shows that optical excitation of the transplanted neurons elicits activity in nearby host neurons, indicating the formation of functional transplant-host synaptic connections. After 6 months, the transplanted cell survival and overall cell distribution remained unchanged, suggesting that cells are functionally integrated. This approach, which could be extended to other cell classes such as neural stem cells and other regions of the brain, offers promising prospects for neuronal circuit repair via transplantation of in vitro differentiated, genetically engineered neurons

Autophagy–physiology and pathophysiology

“Autophagy” is a highly conserved pathway for degradation, by which wasted intracellular macromolecules are delivered to lysosomes, where they are degraded into biologically active monomers such as amino acids that are subsequently re-used to maintain cellular metabolic turnover and homeostasis. Recent genetic studies have shown that mice lacking an autophagy-related gene (Atg5 or Atg7) cannot survive longer than 12 h after birth because of nutrient shortage. Moreover, tissue-specific impairment of autophagy in central nervous system tissue causes massive loss of neurons, resulting in neurodegeneration, while impaired autophagy in liver tissue causes accumulation of wasted organelles, leading to hepatomegaly. Although autophagy generally prevents cell death, our recent study using conditional Atg7-deficient mice in CNS tissue has demonstrated the presence of autophagic neuron death in the hippocampus after neonatal hypoxic/ischemic brain injury. Thus, recent genetic studies have shown that autophagy is involved in various cellular functions. In this review, we introduce physiological and pathophysiological roles of autophagy

MAO-B Elevation in Mouse Brain Astrocytes Results in Parkinson's Pathology

Age-related increases in monoamine oxidase B (MAO-B) may contribute to neurodegeneration associated with Parkinson's disease (PD). The MAO-B inhibitor deprenyl, a long-standing antiparkinsonian therapy, is currently used clinically in concert with the dopamine precursor L-DOPA. Clinical studies suggesting that deprenyl treatment alone is not protective against PD associated mortality were targeted to symptomatic patients. However, dopamine loss is at least 60% by the time PD is symptomatically detectable, therefore lack of effect of MAO-B inhibition in these patients does not negate a role for MAO-B in pre-symptomatic dopaminergic loss. In order to directly evaluate the role of age-related elevations in astroglial MAO-B in the early initiation or progression of PD, we created genetically engineered transgenic mice in which MAO-B levels could be specifically induced within astroglia in adult animals. Elevated astrocytic MAO-B mimicking age related increase resulted in specific, selective and progressive loss of dopaminergic neurons in the substantia nigra (SN), the same subset of neurons primarily impacted in the human condition. This was accompanied by other PD-related alterations including selective decreases in mitochondrial complex I activity and increased mitochondrial oxidative stress. Along with a global astrogliosis, we observed local microglial activation within the SN. These pathologies correlated with decreased locomotor activity. Importantly, these events occurred even in the absence of the PD-inducing neurotoxin MPTP. Our data demonstrates that elevation of murine astrocytic MAO-B by itself can induce several phenotypes of PD, signifying that MAO-B could be directly involved in multiple aspects of disease neuropathology. Mechanistically this may involve increases in membrane permeant H2O2 which can oxidize dopamine within dopaminergic neurons to dopaminochrome which, via interaction with mitochondrial complex I, can result in increased mitochondrial superoxide. Our inducible astrocytic MAO-B transgenic provides a novel model for exploring pathways involved in initiation and progression of several key features associated with PD pathology and for therapeutic drug testing

The ongoing pursuit of neuroprotective therapies in Parkinson disease

Many agents developed for neuroprotective treatment of Parkinson disease (PD) have shown great promise in the laboratory, but none have translated to positive results in patients with PD. Potential neuroprotective drugs, such as ubiquinone, creatine and PYM50028, have failed to show any clinical benefits in recent high-profile clinical trials. This 'failure to translate' is likely to be related primarily to our incomplete understanding of the pathogenic mechanisms underlying PD, and excessive reliance on data from toxin-based animal models to judge which agents should be selected for clinical trials. Restricted resources inevitably mean that difficult compromises must be made in terms of trial design, and reliable estimation of efficacy is further hampered by the absence of validated biomarkers of disease progression. Drug development in PD dementia has been mostly unsuccessful; however, emerging biochemical, genetic and pathological evidence suggests a link between tau and amyloid-β deposition and cognitive decline in PD, potentially opening up new possibilities for therapeutic intervention. This Review discusses the most important 'druggable' disease mechanisms in PD, as well as the most-promising drugs that are being evaluated for their potential efficiency in treatment of motor and cognitive impairments in PD

Goal-directed and habitual control in the basal ganglia: implications for Parkinson's disease

Progressive loss of the ascending dopaminergic projection in the basal ganglia is a fundamental pathological feature of Parkinson's disease. Studies in animals and humans have identified spatially segregated functional territories in the basal ganglia for the control of goal-directed and habitual actions. In patients with Parkinson's disease the loss of dopamine is predominantly in the posterior putamen, a region of the basal ganglia associated with the control of habitual behaviour. These patients may therefore be forced into a progressive reliance on the goal-directed mode of action control that is mediated by comparatively preserved processing in the rostromedial striatum. Thus, many of their behavioural difficulties may reflect a loss of normal automatic control owing to distorting output signals from habitual control circuits, which impede the expression of goal-directed action. © 2010 Macmillan Publishers Limited. All rights reserved

Determination of sin2 θeff w using jet charge measurements in hadronic Z decays

The electroweak mixing angle is determined with high precision from measurements of the mean difference between forward and backward hemisphere charges in hadronic decays of the Z. A data sample of 2.5 million hadronic Z decays recorded over the period 1990 to 1994 in the ALEPH detector at LEP is used. The mean charge separation between event hemispheres containing the original quark and antiquark is measured for bb̄ and cc̄ events in subsamples selected by their long lifetimes or using fast D*'s. The corresponding average charge separation for light quarks is measured in an inclusive sample from the anticorrelation between charges of opposite hemispheres and agrees with predictions of hadronisation models with a precision of 2%. It is shown that differences between light quark charge separations and the measured average can be determined using hadronisation models, with systematic uncertainties constrained by measurements of inclusive production of kaons, protons and A's. The separations are used to measure the electroweak mixing angle precisely as sin2 θeff w = 0.2322 ± 0.0008(exp. stat.) ±0.0007(exp. syst.) ± 0.0008(sep.). The first two errors are due to purely experimental sources whereas the third stems from uncertainties in the quark charge separations