SDN-Actors:Modeling and Verification of SDN Programs

Software-Defined Networking (SDN) is a recent networking paradigm that has become increasingly popular in the last decade. It gives unprecedented control over the global behavior of the network and provides a new opportunity for formal methods. Much work has appeared in the last few years on providing bridges between SDN and verification. This paper advances this research line and provides a link between SDN and traditional work on formal methods for verification of distributed software—actor-based modelling. We show how SDN programs can be seamlessly modelled using actors, and thus existing advanced model checking techniques developed for actors can be directly applied to verify a range of properties of SDN networks, including consistency of flow tables, violation of safety policies, and forwarding loops.Depto. de Sistemas Informáticos y ComputaciónFac. de InformáticaTRUEpu

Gender specific factors associated with having stopped smoking among in-school adolescents in Ukraine: results from the Global Youth Tobacco Survey 2005

<p>Abstract</p> <p>Background</p> <p>The prevalence of cigarette smoking in Ukraine is different between genders and is among the highest in the world. There is need to identify gender-specific factors that are associated with having stopped smoking among adolescents.</p> <p>Findings</p> <p>We used data from the Ukraine Global Youth Tobacco Survey 2005. We carried out a backward stepwise logistic regression analysis with having stopped smoking as the outcome.</p> <p>Altogether, 2800 adolescents reported having ever smoked cigarettes. Overall 64.1% (63.4% male, and 65.5% female) adolescents reported having stopped smoking. Male adolescents who stated that smoking decreases body weight were 25% more likely, while female adolescents were 9% less likely to stop smoking. While male adolescents who received support on how to stop smoking from a family member were 7% less likely, female adolescents were 60% more likely to stop smoking. Furthermore, while male adolescents who received a lecture on the harmful effects of smoking were 10% less likely, female adolescents were 9% more likely to stop smoking. Finally both male and female adolescents who were sure or most probably that they would not smoke a cigarette offered to them by their best friends were more likely, and those adolescents who were sure that smoking is harmful to health were less likely to stop smoking.</p> <p>Conclusions</p> <p>Our study has identified some factors that are associated with having quit smoking that are gender-specific. We believe public health programs targeting adolescent smoking should consider these factors in their design and implementation of gender sensitive interventions.</p

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&#xfc;llerian mimicry, thought &#x2013; but rarely demonstrated &#x2013; 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&#xfc;llerian co-mimics characterised by phylogenetic codivergence and parallel phenotypic change

Analysis of the candidate 8p21 tumour suppressor, BNIP3L, in breast and ovarian cancer

Loss of heterozygosity (LOH) on the short arm of chromosome 8, at 8p 12-p23, is one of the most frequent genetic events in both breast and ovarian cancer, suggesting the location of a shared tumour suppressor gene. Microcell-mediated chromosome transfer of chromosome 8 suppresses tumorigenicity and growth of colorectal and prostate cancer cell lines, further supporting the presence of a tumour suppressor gene on 8p. We have taken a candidate gene approach to try to identify this tumour suppressor gene at 8p 12-p23. BNIP3L, which has sequence homology to pro-apoptotic proteins and the ability to suppress colony formation in soft agar, is located at 8p21, within a region of ovarian cancer LOH, breast cancer LOH and prostate cancer metastasis suppression. BNIP3L expression was assessed by both RT-PCR and Northern blot analysis in breast and ovarian cancer cell lines and found to be expressed at similar levels relative to expression in their respective normal epithelial cell lines. Genetic analysis of BNIP3L in 40 primary ovarian and 25 primary breast tumours identified one somatic, intronic mutation in one ovarian tumour, as well as several polymorphisms, including one resulting in an amino-acid substitution. These data suggest that BNIP3L is unlikely to be the target of 8p LOH in ovarian or breast cancer

PTSD, depression and anxiety among former abductees in Northern Uganda

<p>Abstract</p> <p>Background</p> <p>The population in Northern Uganda has been exposed to extreme levels of traumatic stress and thousands abducted forcibly became rebel combatants.</p> <p>Methods</p> <p>Using structured interviews, the prevalence and severity of posttraumatic stress disorder (PTSD), depression and anxiety was assessed in 72 former abducted adults, 62 of them being former child soldiers.</p> <p>Results</p> <p>As retrospective reports of exposure to traumatic stress increased, anxiety and PTSD occurrence increased (r = .45). 49% of respondents were diagnosed with PTSD, 70% presented with symptoms of depression, and 59% with those of anxiety. In a multiple linear regression analysis four factors could best explain the development of PTSD symptoms: male respondents (sex) living in an IDP-Camp (location) with a kinship murdered in the war (family members killed in the war) and having experienced a high number of traumatic events (number of traumatic events) were more likely to develop symptoms of PTSD than others. In disagreement to a simple dose-response-effect though, we also observed a negative correlation between the time spent with the rebels and the PTSD symptom level.</p> <p>Conclusions</p> <p>Former abductees continue to suffer from severe mental ill-health. Adaptation to the living condition of rebels, however, may lower trauma-related mental suffering.</p

Unique Structure and Dynamics of the EphA5 Ligand Binding Domain Mediate Its Binding Specificity as Revealed by X-ray Crystallography, NMR and MD Simulations

10.1371/journal.pone.0074040PLoS ONE89-POLN

Stochastic Gravity: Theory and Applications

Whereas semiclassical gravity is based on the semiclassical Einstein equation with sources given by the expectation value of the stress-energy tensor of quantum fields, stochastic semiclassical gravity is based on the Einstein-Langevin equation, which has in addition sources due to the noise kernel.In the first part, we describe the fundamentals of this new theory via two approaches: the axiomatic and the functional. In the second part, we describe three applications of stochastic gravity theory. First, we consider metric perturbations in a Minkowski spacetime: we compute the two-point correlation functions for the linearized Einstein tensor and for the metric perturbations. Second, we discuss structure formation from the stochastic gravity viewpoint. Third, we discuss the backreaction of Hawking radiation in the gravitational background of a quasi-static black hole.Comment: 75 pages, no figures, submitted to Living Reviews in Relativit

Stochastic Gravity: Theory and Applications

Whereas semiclassical gravity is based on the semiclassical Einstein equation with sources given by the expectation value of the stress-energy tensor of quantum fields, stochastic semiclassical gravity is based on the Einstein-Langevin equation, which has in addition sources due to the noise kernel. In the first part, we describe the fundamentals of this new theory via two approaches: the axiomatic and the functional. In the second part, we describe three applications of stochastic gravity theory. First, we consider metric perturbations in a Minkowski spacetime, compute the two-point correlation functions of these perturbations and prove that Minkowski spacetime is a stable solution of semiclassical gravity. Second, we discuss structure formation from the stochastic gravity viewpoint. Third, we discuss the backreaction of Hawking radiation in the gravitational background of a black hole and describe the metric fluctuations near the event horizon of an evaporating black holeComment: 100 pages, no figures; an update of the 2003 review in Living Reviews in Relativity gr-qc/0307032 ; it includes new sections on the Validity of Semiclassical Gravity, the Stability of Minkowski Spacetime, and the Metric Fluctuations of an Evaporating Black Hol