Abstract Interpretation of Stateful Networks

Modern networks achieve robustness and scalability by maintaining states on their nodes. These nodes are referred to as middleboxes and are essential for network functionality. However, the presence of middleboxes drastically complicates the task of network verification. Previous work showed that the problem is undecidable in general and EXPSPACE-complete when abstracting away the order of packet arrival. We describe a new algorithm for conservatively checking isolation properties of stateful networks. The asymptotic complexity of the algorithm is polynomial in the size of the network, albeit being exponential in the maximal number of queries of the local state that a middlebox can do, which is often small. Our algorithm is sound, i.e., it can never miss a violation of safety but may fail to verify some properties. The algorithm performs on-the fly abstract interpretation by (1) abstracting away the order of packet processing and the number of times each packet arrives, (2) abstracting away correlations between states of different middleboxes and channel contents, and (3) representing middlebox states by their effect on each packet separately, rather than taking into account the entire state space. We show that the abstractions do not lose precision when middleboxes may reset in any state. This is encouraging since many real middleboxes reset, e.g., after some session timeout is reached or due to hardware failure

Action plan co-optimization reveals the parallel encoding of competing reach movements.

Several influential cognitive theories propose that in situations affording more than one possible target of action, we prepare multiple competing movements before selecting one. Here we provide direct evidence for this provocative but largely untested idea and demonstrate why preparing multiple movements is computationally advantageous. Using a reaching task in which movements are initiated after one of two potential targets is cued, we show that the movement generated for the cued target borrows components of the movement that would have been required for the other, competing target. This interaction can only arise if multiple potential movements are fully specified in advance and we demonstrate that it reduces the time required to launch a given action plan. Our findings suggest that this co-optimization of motor plans is highly automatic and largely occurs outside conscious awareness.The study was supported by the Natural Sciences and Engineering Research Council of Canada; the Wellcome Trust; the Human Frontiers Science Program; and the Royal Society. J.P.G. was supported by Banting postdoctoral fellowship and CIHR postdoctoral fellowship awards.This is the final version of the article. It first appeared from Nature Publishing Group via http://dx.doi.org/10.1038/ncomms842

A Suborbital Payload for Soft X-ray Spectroscopy of Extended Sources

We present a suborbital rocket payload capable of performing soft X-ray spectroscopy on extended sources. The payload can reach resolutions of ~100(lambda/dlambda) over sources as large as 3.25 degrees in diameter in the 17-107 angstrom bandpass. This permits analysis of the overall energy balance of nearby supernova remnants and the detailed nature of the diffuse soft X-ray background. The main components of the instrument are: wire grid collimators, off-plane grating arrays and gaseous electron multiplier detectors. This payload is adaptable to longer duration orbital rockets given its comparatively simple pointing and telemetry requirements and an abundance of potential science targets.Comment: Accepted to Experimental Astronomy, 12 pages plus 1 table and 17 figure

Quasi-Normal Modes of Stars and Black Holes

Perturbations of stars and black holes have been one of the main topics of relativistic astrophysics for the last few decades. They are of particular importance today, because of their relevance to gravitational wave astronomy. In this review we present the theory of quasi-normal modes of compact objects from both the mathematical and astrophysical points of view. The discussion includes perturbations of black holes (Schwarzschild, Reissner-Nordstr\"om, Kerr and Kerr-Newman) and relativistic stars (non-rotating and slowly-rotating). The properties of the various families of quasi-normal modes are described, and numerical techniques for calculating quasi-normal modes reviewed. The successes, as well as the limits, of perturbation theory are presented, and its role in the emerging era of numerical relativity and supercomputers is discussed.Comment: 74 pages, 7 figures, Review article for "Living Reviews in Relativity

Phylogenetic Codivergence Supports Coevolution of Mimetic Heliconius Butterflies

The unpalatable and warning-patterned butterflies _Heliconius erato_ and _Heliconius melpomene_ provide the best studied example of mutualistic Müllerian mimicry, thought – but rarely demonstrated – to promote coevolution. Some of the strongest available evidence for coevolution comes from phylogenetic codivergence, the parallel divergence of ecologically associated lineages. Early evolutionary reconstructions suggested codivergence between mimetic populations of _H. erato_ and _H. melpomene_, and this was initially hailed as the most striking known case of coevolution. However, subsequent molecular phylogenetic analyses found discrepancies in phylogenetic branching patterns and timing (topological and temporal incongruence) that argued against codivergence. We present the first explicit cophylogenetic test of codivergence between mimetic populations of _H. erato_ and _H. melpomene_, and re-examine the timing of these radiations. We find statistically significant topological congruence between multilocus coalescent population phylogenies of _H. erato_ and _H. melpomene_, supporting repeated codivergence of mimetic populations. Divergence time estimates, based on a Bayesian coalescent model, suggest that the evolutionary radiations of _H. erato_ and _H. melpomene_ occurred over the same time period, and are compatible with a series of temporally congruent codivergence events. This evidence supports a history of reciprocal coevolution between Müllerian co-mimics characterised by phylogenetic codivergence and parallel phenotypic change

Quantum Measurement Theory in Gravitational-Wave Detectors

The fast progress in improving the sensitivity of the gravitational-wave (GW) detectors, we all have witnessed in the recent years, has propelled the scientific community to the point, when quantum behaviour of such immense measurement devices as kilometer-long interferometers starts to matter. The time, when their sensitivity will be mainly limited by the quantum noise of light is round the corner, and finding the ways to reduce it will become a necessity. Therefore, the primary goal we pursued in this review was to familiarize a broad spectrum of readers with the theory of quantum measurements in the very form it finds application in the area of gravitational-wave detection. We focus on how quantum noise arises in gravitational-wave interferometers and what limitations it imposes on the achievable sensitivity. We start from the very basic concepts and gradually advance to the general linear quantum measurement theory and its application to the calculation of quantum noise in the contemporary and planned interferometric detectors of gravitational radiation of the first and second generation. Special attention is paid to the concept of Standard Quantum Limit and the methods of its surmounting.Comment: 147 pages, 46 figures, 1 table. Published in Living Reviews in Relativit

Stigma and Self-Stigma in Addiction

Addictions are commonly accompanied by a sense of shame or self-stigmatization. Self-stigmatization results from public stigmatization in a process leading to the internalization of the social opprobrium attaching to the negative stereotypes associated with addiction. We offer an account of how this process works in terms of a range of looping effects, and this leads to our main claim that for a significant range of cases public stigma figures in the social construction of addiction. This rests on a social constructivist account in which those affected by public stigmatization internalize its norms. Stigma figures as part-constituent of the dynamic process in which addiction is formed. Our thesis is partly theoretical, partly empirical, as we source our claims about the process of internalization from interviews with people in treatment for substance use problems

Physics, Astrophysics and Cosmology with Gravitational Waves

Gravitational wave detectors are already operating at interesting sensitivity levels, and they have an upgrade path that should result in secure detections by 2014. We review the physics of gravitational waves, how they interact with detectors (bars and interferometers), and how these detectors operate. We study the most likely sources of gravitational waves and review the data analysis methods that are used to extract their signals from detector noise. Then we consider the consequences of gravitational wave detections and observations for physics, astrophysics, and cosmology.Comment: 137 pages, 16 figures, Published version <http://www.livingreviews.org/lrr-2009-2

Effects of clusterin over-expression on metastatic progression and therapy in breast cancer

<p>Abstract</p> <p>Background</p> <p>Clusterin is a secreted glycoprotein that is upregulated in a variety of cell lines in response to stress, and enhances cell survival. A second nuclear isoform of clusterin that is associated with cell death has also been identified. The aim of this study was to determine the role(s) of the secretory isoform in breast tumor progression and metastasis.</p> <p>Methods</p> <p>To investigate the role of secretory clusterin in the biology of breast cancer tumor growth and resistance to therapy we have engineered an MCF-7 cell line (MCF-7CLU) that over-expresses clusterin. We have measured the <it>in vitro </it>effects of clusterin over-expression on cell cycle, cell death, and sensitivity to TNFalpha and tamoxifen. Using an orthotopic model of breast cancer, we have also determined the effects of over-expression of clusterin on tumor growth and metastatic progression.</p> <p>Results</p> <p>In vitro, over-expression of secretory clusterin alters the cell cycle kinetics and decreases the rate of cell death, resulting in the enhancement of cell growth. Over-expression of secretory clusterin also blocks the TNFalpha-mediated induction of p21 and abrogates the cleavage of Bax to t-Bax, rendering the MCF-7CLU cells significantly more resistant to the cytokine than the parental cells. Orthotopic primary tumors derived from MCF-7CLU cells grow significantly more rapidly than tumors derived from parental MCF-7 cells and, unlike the parental cells, metastasize frequently to the lungs.</p> <p>Conclusions</p> <p>These data suggest that secretory clusterin, which is frequently up-regulated in breast cancers by common therapies, including anti-estrogens, may play a significant role in tumor growth, metastatic progression and subsequent drug resistance in surviving cells.</p