954 research outputs found
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
- …