Network-wide Configuration Synthesis

Computer networks are hard to manage. Given a set of high-level requirements (e.g., reachability, security), operators have to manually figure out the individual configuration of potentially hundreds of devices running complex distributed protocols so that they, collectively, compute a compatible forwarding state. Not surprisingly, operators often make mistakes which lead to downtimes. To address this problem, we present a novel synthesis approach that automatically computes correct network configurations that comply with the operator's requirements. We capture the behavior of existing routers along with the distributed protocols they run in stratified Datalog. Our key insight is to reduce the problem of finding correct input configurations to the task of synthesizing inputs for a stratified Datalog program. To solve this synthesis task, we introduce a new algorithm that synthesizes inputs for stratified Datalog programs. This algorithm is applicable beyond the domain of networks. We leverage our synthesis algorithm to construct the first network-wide configuration synthesis system, called SyNET, that support multiple interacting routing protocols (OSPF and BGP) and static routes. We show that our system is practical and can infer correct input configurations, in a reasonable amount time, for networks of realistic size (> 50 routers) that forward packets for multiple traffic classes.Comment: 24 Pages, short version published in CAV 201

Australian Enterococcal Sepsis Outcome Programme, 2011

From 1 January to 31 December 2011, 29 institutions around Australia participated in the Australian Enterococcal Sepsis Outcome Programme (AESOP). The aim of AESOP 2011 was to determine the proportion of enterococcal bacteraemia isolates in Australia that are antimicrobial resistant, with particular emphasis on susceptibility to ampicillin and the glycopeptides, and to characterise the molecular epidemiology of the Enterococcus faecalis and E. faecium isolates. Of the 1,079 unique episodes of bacteraemia investigated, 95.8% were caused by either E. faecalis (61.0%) or E. faecium (34.8%). Ampicillin resistance was detected in 90.4% of E. faecium but not detected in E. faecalis. Using Clinical and Laboratory Standards Institute breakpoints (CLSI), vancomycin non-susceptibility was reported in 0.6% and 31.4% of E. faecalis and E. faecium respectively and was predominately due to the acquisition of the vanB operon. Approximately 1 in 6 vanB E. faecium isolates however, had an minimum inhibitory concentration at or below the CLSI vancomycin susceptible breakpoint of ≤ 4 mg/L. Overall, 37% of E. faecium harboured vanA or vanB genes. Although molecular typing identified 126 E. faecalis pulsed-field gel electrophoresis (PFGE) pulsotypes, more than 50% belonged to 2 pulsotypes that were isolated across Australia. E. faecium consisted of 73 PFGE pulsotypes from which 43 multilocus sequence types were identified. Almost 90% of the E. faecium were identified as clonal complex 17 clones, of which approximately half were characterised as sequence type 203, which was isolated Australia-wide. In conclusion, the AESOP 2011 has shown that although polyclonal, enterococcal bacteraemias in Australia are frequently caused by ampicillin-resistant vanB E. faecium

The effects of integrative reminiscence on depressive symptomatology and mastery of older adults.

A quasi-experimental (non-randomized) study was conducted to study the effects of a new intervention The story of your life that combines integrative reminiscence with narrative therapy. The program consists of seven sessions of two hours and one follow-up session after 8 weeks. It is directed at community-dwelling people of 55 years and older with mild to moderate depressive symptoms. After the intervention the participants showed significantly less depressive symptoms and higher mastery, also in comparison with a waiting-list control group. Demographic factors and initial levels of depressive symptomatology and mastery were not found to moderate the effects. The effects were maintained at 3 months after completion of the intervention. Although the new program was positively evaluated by the majority of the participants there is room for improvement. Adaptations should be made, and evaluated in a randomised controlled trial

Assessing the contribution of the herpes simplex virus DNA polymerase to spontaneous mutations

BACKGROUND: The thymidine kinase (tk) mutagenesis assay is often utilized to determine the frequency of herpes simplex virus (HSV) replication-mediated mutations. Using this assay, clinical and laboratory HSV-2 isolates were shown to have a 10- to 80-fold higher frequency of spontaneous mutations compared to HSV-1. METHODS: A panel of HSV-1 and HSV-2, along with polymerase-recombinant viruses expressing type 2 polymerase (Pol) within a type 1 genome, were evaluated using the tk and non-HSV DNA mutagenesis assays to measure HSV replication-dependent errors and determine whether the higher mutation frequency of HSV-2 is a distinct property of type 2 polymerases. RESULTS: Although HSV-2 have mutation frequencies higher than HSV-1 in the tk assay, these errors are assay-specific. In fact, wild type HSV-1 and the antimutator HSV-1 PAA(r)5 exhibited a 2–4 fold higher frequency than HSV-2 in the non-HSV DNA mutatagenesis assay. Furthermore, regardless of assay, HSV-1 recombinants expressing HSV-2 Pol had error rates similar to HSV-1, whereas the high mutator virus, HSV-2 6757, consistently showed signficant errors. Additionally, plasmid DNA containing the HSV-2 tk gene, but not type 1 tk or LacZ DNA, was shown to form an anisomorphic DNA stucture. CONCLUSIONS: This study suggests that the Pol is not solely responsible for the virus-type specific differences in mutation frequency. Accordingly, it is possible that (a) mutations may be modulated by other viral polypeptides cooperating with Pol, and (b) the localized secondary structure of the viral genome may partially account for the apparently enhanced error frequency of HSV-2

Ab initio alpha-alpha scattering

Processes involving alpha particles and alpha-like nuclei comprise a major part of stellar nucleosynthesis and hypothesized mechanisms for thermonuclear supernovae. In an effort towards understanding alpha processes from first principles, we describe in this letter the first ab initio calculation of alpha-alpha scattering. We use lattice effective field theory to describe the low-energy interactions of nucleons and apply a technique called the adiabatic projection method to reduce the eight-body system to an effective two-cluster system. We find good agreement between lattice results and experimental phase shifts for S-wave and D-wave scattering. The computational scaling with particle number suggests that alpha processes involving heavier nuclei are also within reach in the near future.Comment: 6 pages, 6 figure

HIV-1 Superinfection in the Antiretroviral Therapy Era: Are Seroconcordant Sexual Partners at Risk?

Acquisition of more than one strain of human immunodeficiency virus type 1 (HIV-1) has been reported to occur both during and after primary infection, but the risks and repercussions of dual and superinfection are incompletely understood. In this study, we evaluated a longitudinal cohort of chronically HIV-infected men who were sexual partners to determine if individuals acquired their partners' viral strains.Our cohort of HIV-positive men consisted of 8 couples that identified themselves as long-term sexual partners. Viral sequences were isolated from each subject and analyzed using phylogenetic methods. In addition, strain-specific PCR allowed us to search for partners' viruses present at low levels. Finally, we used computational algorithms to evaluate for recombination between partners' viral strains.All couples had at least one factor associated with increased risk for acquisition of new HIV strains during the study, including detectable plasma viral load, sexually transmitted infections, and unprotected sex. One subject was dually HIV-1 infected, but neither strain corresponded to that of his partner. Three couples' sequences formed monophyletic clusters at the entry visit, with phylogenetic analysis suggesting that one member of the couple had acquired an HIV strain from his identified partner or that both had acquired it from the same source outside their partnership. The 5 remaining couples initially displayed no evidence of dual infection, using phylogenetic analysis and strain-specific PCR. However, in 1 of these couples, further analysis revealed recombinant viral strains with segments of viral genomes in one subject that may have derived from the enrolled partner. Thus, chronically HIV-1 infected individuals may become superinfected with additional HIV strains from their seroconcordant sexual partners. In some cases, HIV-1 superinfection may become apparent when recombinant viral strains are detected

The impact of point mutations in the human androgen receptor : classification of mutations on the basis of transcriptional activity

Peer reviewedPublisher PD

Genetic, environmental and stochastic factors in monozygotic twin discordance with a focus on epigenetic differences

PMCID: PMC3566971This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited

Insomnia symptoms and repressive coping in a sample of older Black and White women

BACKGROUND: This study examined whether ethnic differences in insomnia symptoms are mediated by differences in repressive coping styles. METHODS: A total of 1274 women (average age = 59.36 ± 6.53 years) participated in the study; 28% were White and 72% were Black. Older women in Brooklyn, NY were recruited using a stratified, cluster-sampling technique. Trained staff conducted face-to-face interviews lasting 1.5 hours acquiring sociodemographic data, health characteristics, and risk factors. A sleep questionnaire was administered and individual repressive coping styles were assessed. Fisher's exact test and Spearman and Pearson analyses were used to analyze the data. RESULTS: The rate of insomnia symptoms was greater among White women [74% vs. 46%; χ(2 )= 87.67, p < 0.0001]. Black women scored higher on the repressive coping scale than did White women [Black = 37.52 ± 6.99, White = 29.78 ± 7.38, F(1,1272 )= 304.75, p < 0.0001]. We observed stronger correlations between repressive coping and insomnia symptoms for Black [r(s )= -0.43, p < 0.0001] than for White women [r(s )= -0.18, p < 0.0001]. Controlling for variation in repressive coping, the magnitude of the correlation between ethnicity and insomnia symptoms was substantially reduced. Multivariate adjustment for differences in sociodemographics, health risk factors, physical health, and health beliefs and attitudes had little effect on the relationships. CONCLUSION: Relationships between ethnicity and insomnia symptoms are jointly dependent on the degree of repressive coping, suggesting that Black women may be reporting fewer insomnia symptoms because of a greater ability to route negative emotions from consciousness. It may be that Blacks cope with sleep problems within a positive self-regulatory framework, which allows them to deal more effectively with sleep-interfering psychological processes to stressful life events and to curtail dysfunctional sleep-interpreting processes