TarTar: A Timed Automata Repair Tool

We present TarTar, an automatic repair analysis tool that, given a timed diagnostic trace (TDT) obtained during the model checking of a timed automaton model, suggests possible syntactic repairs of the analyzed model. The suggested repairs include modified values for clock bounds in location invariants and transition guards, adding or removing clock resets, etc. The proposed repairs are guaranteed to eliminate executability of the given TDT, while preserving the overall functional behavior of the system. We give insights into the design and architecture of TarTar, and show that it can successfully repair 69% of the seeded errors in system models taken from a diverse suite of case studies.Comment: 15 pages, 7 figure

Needs assessment to strengthen capacity in water and sanitation research in Africa:experiences of the African SNOWS consortium

Despite its contribution to global disease burden, diarrhoeal disease is still a relatively neglected area for research funding, especially in low-income country settings. The SNOWS consortium (Scientists Networked for Outcomes from Water and Sanitation) is funded by the Wellcome Trust under an initiative to build the necessary research skills in Africa. This paper focuses on the research training needs of the consortium as identified during the first three years of the project

Nitrous oxide as a function of oxygen and archaeal gene abundance in the North Pacific

Natural Environment Research Council (NERC) (NE/E01559X/1)

Baltic Salmon, Salmo salar, from Swedish River Lule Älv Is More Resistant to Furunculosis Compared to Rainbow Trout

BACKGROUND: Furunculosis, caused by Aeromonas salmonicida, continues to be a major health problem for the growing salmonid aquaculture. Despite effective vaccination programs regular outbreaks occur at the fish farms calling for repeated antibiotic treatment. We hypothesized that a difference in natural susceptibility to this disease might exist between Baltic salmon and the widely used rainbow trout. STUDY DESIGN: A cohabitation challenge model was applied to investigate the relative susceptibility to infection with A. salmonicida in rainbow trout and Baltic salmon. The course of infection was monitored daily over a 30-day period post challenge and the results were summarized in mortality curves. RESULTS: A. salmonicida was recovered from mortalities during the entire test period. At day 30 the survival was 6.2% and 34.0% for rainbow trout and Baltic salmon, respectively. Significant differences in susceptibility to A. salmonicida were demonstrated between the two salmonids and hazard ratio estimation between rainbow trout and Baltic salmon showed a 3.36 higher risk of dying from the infection in the former. CONCLUSION: The finding that Baltic salmon carries a high level of natural resistance to furunculosis might raise new possibilities for salmonid aquaculture in terms of minimizing disease outbreaks and the use of antibiotics

Suppression of charged particle production at large transverse momentum in central Pb-Pb collisions at sNN=2.76\sqrt{s_{\rm NN}} = 2.76 TeV

Inclusive transverse momentum spectra of primary charged particles in Pb-Pb collisions at $\sqrt{s_{_{\rm NN}}}$ = 2.76 TeV have been measured by the ALICE Collaboration at the LHC. The data are presented for central and peripheral collisions, corresponding to 0-5% and 70-80% of the hadronic Pb-Pb cross section. The measured charged particle spectra in $|\eta|<0.8$ and $0.3 < p_T < 20$ GeV/$c$ are compared to the expectation in pp collisions at the same $\sqrt{s_{\rm NN}}$, scaled by the number of underlying nucleon-nucleon collisions. The comparison is expressed in terms of the nuclear modification factor $R_{\rm AA}$. The result indicates only weak medium effects ($R_{\rm AA} \approx$ 0.7) in peripheral collisions. In central collisions, $R_{\rm AA}$ reaches a minimum of about 0.14 at $p_{\rm T}=6$-7GeV/$c$ and increases significantly at larger $p_{\rm T}$. The measured suppression of high-$p_{\rm T}$ particles is stronger than that observed at lower collision energies, indicating that a very dense medium is formed in central Pb-Pb collisions at the LHC.Comment: 15 pages, 5 captioned figures, 3 tables, authors from page 10, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/98

Two-pion Bose-Einstein correlations in central Pb-Pb collisions at sNN\sqrt{s_{\rm NN}} = 2.76 TeV

The first measurement of two-pion Bose-Einstein correlations in central Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ TeV at the Large Hadron Collider is presented. We observe a growing trend with energy now not only for the longitudinal and the outward but also for the sideward pion source radius. The pion homogeneity volume and the decoupling time are significantly larger than those measured at RHIC.Comment: 17 pages, 5 captioned figures, 1 table, authors from page 12, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/388