TRACTABLE DATA-FLOW ANALYSIS FOR DISTRIBUTED SYSTEMS

Automated behavior analysis is a valuable technique in the development and maintainence of distributed systems. In this paper, we present a tractable dataflow analysis technique for the detection of unreachable states and actions in distributed systems. The technique follows an approximate approach described by Reif and Smolka, but delivers a more accurate result in assessing unreachable states and actions. The higher accuracy is achieved by the use of two concepts: action dependency and history sets. Although the technique, does not exhaustively detect all possible errors, it detects nontrivial errors with a worst-case complexity quadratic to the system size. It can be automated and applied to systems with arbitrary loops and nondeterministic structures. The technique thus provides practical and tractable behavior analysis for preliminary designs of distributed systems. This makes it an ideal candidate for an interactive checker in software development tools. The technique is illustrated with case studies of a pump control system and an erroneous distributed program. Results from a prototype implementation are presented

The Suppressor of AAC2 Lethality SAL1 Modulates Sensitivity of Heterologously Expressed Artemia ADP/ATP Carrier to Bongkrekate in Yeast

The ADP/ATP carrier protein (AAC) expressed in Artemia franciscana is refractory to bongkrekate. We generated two strains of Saccharomyces cerevisiae where AAC1 and AAC3 were inactivated and the AAC2 isoform was replaced with Artemia AAC containing a hemagglutinin tag (ArAAC-HA). In one of the strains the suppressor of ΔAAC2 lethality, SAL1, was also inactivated but a plasmid coding for yeast AAC2 was included, because the ArAACΔsal1Δ strain was lethal. In both strains ArAAC-HA was expressed and correctly localized to the mitochondria. Peptide sequencing of ArAAC expressed in Artemia and that expressed in the modified yeasts revealed identical amino acid sequences. The isolated mitochondria from both modified strains developed 85% of the membrane potential attained by mitochondria of control strains, and addition of ADP yielded bongkrekate-sensitive depolarizations implying acquired sensitivity of ArAAC-mediated adenine nucleotide exchange to this poison, independent from SAL1. However, growth of ArAAC-expressing yeasts in glycerol-containing media was arrested by bongkrekate only in the presence of SAL1. We conclude that the mitochondrial environment of yeasts relying on respiratory growth conferred sensitivity of ArAAC to bongkrekate in a SAL1-dependent manner. © 2013 Wysocka-Kapcinska et al

Binary and Millisecond Pulsars at the New Millennium

We review the properties and applications of binary and millisecond pulsars. Our knowledge of these exciting objects has greatly increased in recent years, mainly due to successful surveys which have brought the known pulsar population to over 1300. There are now 56 binary and millisecond pulsars in the Galactic disk and a further 47 in globular clusters. This review is concerned primarily with the results and spin-offs from these surveys which are of particular interest to the relativity community.Comment: 59 pages, 26 figures, 5 tables. Accepted for publication in Living Reviews in Relativity (http://www.livingreviews.org

CRISPR-Cas9 screens in human cells and primary neurons identify modifiers of C9ORF72 dipeptide-repeat-protein toxicity.

Hexanucleotide-repeat expansions in the C9ORF72 gene are the most common cause of amyotrophic lateral sclerosis and frontotemporal dementia (c9ALS/FTD). The nucleotide-repeat expansions are translated into dipeptide-repeat (DPR) proteins, which are aggregation prone and may contribute to neurodegeneration. We used the CRISPR-Cas9 system to perform genome-wide gene-knockout screens for suppressors and enhancers of C9ORF72 DPR toxicity in human cells. We validated hits by performing secondary CRISPR-Cas9 screens in primary mouse neurons. We uncovered potent modifiers of DPR toxicity whose gene products function in nucleocytoplasmic transport, the endoplasmic reticulum (ER), proteasome, RNA-processing pathways, and chromatin modification. One modifier, TMX2, modulated the ER-stress signature elicited by C9ORF72 DPRs in neurons and improved survival of human induced motor neurons from patients with C9ORF72 ALS. Together, our results demonstrate the promise of CRISPR-Cas9 screens in defining mechanisms of neurodegenerative diseases

TRY plant trait database - enhanced coverage and open access

Plant traits-the morphological, anatomical, physiological, biochemical and phenological characteristics of plants-determine how plants respond to environmental factors, affect other trophic levels, and influence ecosystem properties and their benefits and detriments to people. Plant trait data thus represent the basis for a vast area of research spanning from evolutionary biology, community and functional ecology, to biodiversity conservation, ecosystem and landscape management, restoration, biogeography and earth system modelling. Since its foundation in 2007, the TRY database of plant traits has grown continuously. It now provides unprecedented data coverage under an open access data policy and is the main plant trait database used by the research community worldwide. Increasingly, the TRY database also supports new frontiers of trait-based plant research, including the identification of data gaps and the subsequent mobilization or measurement of new data. To support this development, in this article we evaluate the extent of the trait data compiled in TRY and analyse emerging patterns of data coverage and representativeness. Best species coverage is achieved for categorical traits-almost complete coverage for 'plant growth form'. However, most traits relevant for ecology and vegetation modelling are characterized by continuous intraspecific variation and trait-environmental relationships. These traits have to be measured on individual plants in their respective environment. Despite unprecedented data coverage, we observe a humbling lack of completeness and representativeness of these continuous traits in many aspects. We, therefore, conclude that reducing data gaps and biases in the TRY database remains a key challenge and requires a coordinated approach to data mobilization and trait measurements. This can only be achieved in collaboration with other initiatives

Rapidity and Centrality Dependence of Proton and Anti-proton Production from Au+Au Collisions at sqrt(sNN) = 130GeV

We report on the rapidity and centrality dependence of proton and anti-proton transverse mass distributions from Au+Au collisions at sqrt(sNN) = 130GeV as measured by the STAR experiment at RHIC. Our results are from the rapidity and transverse momentum range of |y|<0.5 and 0.35 <p_t<1.00GeV/c. For both protons and anti-protons, transverse mass distributions become more convex from peripheral to central collisions demonstrating characteristics of collective expansion. The measured rapidity distributions and the mean transverse momenta versus rapidity are flat within |y|<0.5. Comparisons of our data with results from model calculations indicate that in order to obtain a consistent picture of the proton(anti-proton) yields and transverse mass distributions the possibility of pre-hadronic collective expansion may have to be taken into account.Comment: 4 pages, 3 figures, 1 table, submitted to PR

Effective Rheology of Bubbles Moving in a Capillary Tube

We calculate the average volumetric flux versus pressure drop of bubbles moving in a single capillary tube with varying diameter, finding a square-root relation from mapping the flow equations onto that of a driven overdamped pendulum. The calculation is based on a derivation of the equation of motion of a bubble train from considering the capillary forces and the entropy production associated with the viscous flow. We also calculate the configurational probability of the positions of the bubbles.Comment: 4 pages, 1 figur

Prevalence and Predictors of Exclusive Breastfeeding among Women in Kilimanjaro Region, Northern Tanzania: A Population Based Cross-Sectional Study.

Exclusive breastfeeding (EBF) is a simple and cost-effective intervention to improve child health and survival. Effective EBF has been estimated to avert 13% - 15% of under-five mortality and contribute to reduce mother to child transmission of HIV. The prevalence of EBF for infant less than six months is low in most developing countries, including Tanzania (50%). While the Tanzania Demographic Health Survey collects information on overall EBF prevalence, it does not evaluate factors influencing EBF. The aim of this paper was to determine the prevalence and predictors of exclusive breastfeeding in urban and rural areas in Kilimanjaro region. A population-based cross-sectional study was conducted between June 2010 to March 2011 among women with infants aged 6-12 months in Kilimanjaro. Multi-stage proportionate to size sampling was used to select participants from all the seven districts of the region. A standardized questionnaire was used to collect socio-demographic, reproductive, alcohol intake, breastfeeding patterns and nutritional data during the interviews. Estimation on EBF was based on recall since birth. Multivariable logistic regression was used to obtain independent predictors of EBF. A total of 624 women participated, 77% (483) from rural areas. The prevalence of EBF up to six months in Kilimanjaro region was 20.7%, without significant differences in the prevalence of EBF up to six months between urban (22.7%) and rural areas (20.1%); (OR = 0.7, 95% CI 0.5,1.4).In multivariable analysis, advice on breastfeeding after delivery (Adjusted odds ratio, AOR = 2.6, 95% CI 1.5, 4.6) was positively associated with EBF up to six months. Compared to married/cohabiting and those who do not take alcohol, single mothers (AOR = 0.4, 95% CI 0.2, 0.9) and mothers who drank alcohol (AOR = 0.4, 95% CI 0.3, 0.7) had less odds to practice EBF up to six months. Prevalence of EBF up to six months is still low in Kilimanjaro, lower than the national coverage of 50%. Strengthening of EBF counseling in all reproductive and child health clinics especially during antenatal and postnatal periods may help to improve EBF rates