Scheduling Bidirectional Traffic on a Path

We study the fundamental problem of scheduling bidirectional traffic along a path composed of multiple segments. The main feature of the problem is that jobs traveling in the same direction can be scheduled in quick succession on a segment, while jobs in opposing directions cannot cross a segment at the same time. We show that this tradeoff makes the problem significantly harder than the related flow shop problem, by proving that it is NP-hard even for identical jobs. We complement this result with a PTAS for a single segment and non-identical jobs. If we allow some pairs of jobs traveling in different directions to cross a segment concurrently, the problem becomes APX-hard even on a single segment and with identical jobs. We give polynomial algorithms for the setting with restricted compatibilities between jobs on a single and any constant number of segments, respectively

A mechanised proof of an adaptive state counting algorithm

In this paper it is demonstrated that the capabilities of stateof-the-art proof assistant tools are sufficient to present mechanised and, at the same time, human-readable proofs establishing completeness properties of test methods and the correctness of associated test generation algorithms. To this end, the well-known Isabelle/HOL proof assistant is used to mechanically verify a complete test theory elaborated by the second author for checking the reduction conformance relation between a possibly nondeterministic finite state machine (FSM) serving as reference model and an implementation whose behaviour can also be represented by an FSM. The formalisation also helps to clarify an ambiguity in the original test generation algorithm which was specified in natural language and could be misinterpreted in a way leading to insufficient fault coverage

Using “Omics” and Integrated Multi-Omics Approaches to Guide Probiotic Selection to Mitigate Chytridiomycosis and Other Emerging Infectious Diseases

Emerging infectious diseases in wildlife are responsible for massive population declines. In amphibians, chytridiomycosis caused by Batrachochytrium dendrobatidis, Bd, has severely affected many amphibian populations and species around the world. One promising management strategy is probiotic bioaugmentation of antifungal bacteria on amphibian skin. In vivo experimental trials using bioaugmentation strategies have had mixed results, and therefore a more informed strategy is needed to select successful probiotic candidates. Metagenomic, transcriptomic, and metabolomic methods, colloquially called “omics,” are approaches that can better inform probiotic selection and optimize selection protocols. The integration of multiple omic data using bioinformatic and statistical tools and in silico models that link bacterial community structure with bacterial defensive function can allow the identification of species involved in pathogen inhibition. We recommend using 16S rRNA gene amplicon sequencing and methods such as indicator species analysis, the Kolmogorov–Smirnov Measure, and co-occurrence networks to identify bacteria that are associated with pathogen resistance in field surveys and experimental trials. In addition to 16S amplicon sequencing, we recommend approaches that give insight into symbiont function such as shotgun metagenomics, metatranscriptomics, or metabolomics to maximize the probability of finding effective probiotic candidates, which can then be isolated in culture and tested in persistence and clinical trials. An effective mitigation strategy to ameliorate chytridiomycosis and other emerging infectious diseases is necessary; the advancement of omic methods and the integration of multiple omic data provide a promising avenue toward conservation of imperiled species

Cutaneous Bacteria of the Redback Salamander Prevent Morbidity Associated with a Lethal Disease

Chytridiomycosis, caused by the fungal pathogen Batrachochytrium dendrobatidis (Bd), is an infectious disease that causes population declines of many amphibians. Cutaneous bacteria isolated from redback salamanders, Plethodon cinereus, and mountain yellow-legged frogs, Rana muscosa, inhibit the growth of Bd in vitro. In this study, the bacterial community present on the skin of P. cinereus individuals was investigated to determine if it provides protection to salamanders from the lethal and sub-lethal effects of chytridiomycosis. When the cutaneous bacterial community was reduced prior to Bd exposure, salamanders experienced a significantly greater decrease in body mass, which is a symptom of the disease, when compared to infected individuals with a normal bacterial community. In addition, a greater proportion of infected individuals with a reduced bacterial community experienced limb-lifting, a behavior seen only in infected individuals. Overall, these results demonstrate that the cutaneous bacterial community of P. cinereus provides protection to the salamander from Bd and that alteration of this community can change disease resistance. Therefore, symbiotic microbes associated with this species appear to be an important component of its innate skin defenses

High-level production of violacein by the newly isolated Duganella violaceinigra str. NI28 and its impact on Staphylococcus aureus

A violacein-producing bacterial strain was isolated and identified as a relative of Duganella violaceinigra YIM 31327 based upon phylogenetic analyses using the 16S rRNA, gyrB and vioA gene sequences and a fatty acid methyl ester (FAME) analysis. This new strain was designated D. violaceinigra str. NI28. Although these two strains appear related based upon these analyses, the new isolate was phenotypically different from the type strain as it grew 25% faster on nutrient media and produced 45-fold more violacein. When compared with several other violacein producing strains, including Janthinobacterium lividum, D. violaceinigra str. NI28 was the best violacein producer. For instance, the crude violacein yield with D. violaceinigra str. NI28 was 6.0 mg/OD at 24 hours, a value that was more than two-fold higher than all the other strains. Finally, the antibacterial activity of D. violaceinigra str. NI28 crude violacein was assayed using several multidrug resistant Staphylococcus aureus. Addition of 30 mu M crude violacein led to a 96% loss in the initial S. aureus population while the minimum inhibitory concentration was 1.8 mu M. Consequently, this novel isolate represents a phenotypic variant of D. violaceinigra capable of producing much greater quantities of crude violacein, an antibiotic effective against multidrug resistant S. aureusopen

Rapid evolution of microbe-mediated protection against pathogens in a worm host.

Microbes can defend their host against virulent infections, but direct evidence for the adaptive origin of microbe-mediated protection is lacking. Using experimental evolution of a novel, tripartite interaction, we demonstrate that mildly pathogenic bacteria (Enterococcus faecalis) living in worms (Caenorhabditis elegans) rapidly evolved to defend their animal hosts against infection by a more virulent pathogen (Staphylococcus aureus), crossing the parasitism-mutualism continuum. Host protection evolved in all six, independently selected populations in response to within-host bacterial interactions and without direct selection for host health. Microbe-mediated protection was also effective against a broad spectrum of pathogenic S. aureus isolates. Genomic analysis implied that the mechanistic basis for E. faecalis-mediated protection was through increased production of antimicrobial superoxide, which was confirmed by biochemical assays. Our results indicate that microbes living within a host may make the evolutionary transition to mutualism in response to pathogen attack, and that microbiome evolution warrants consideration as a driver of infection outcome

Within- and Among-Population Variation in Chytridiomycosis-Induced Mortality in the Toad Alytes obstetricans

Background Chytridiomycosis is a fungal disease linked to local and global extinctions of amphibians. Susceptibility to chytridiomycosis varies greatly between amphibian species, but little is known about between- and within-population variability. However, this kind of variability is the basis for the evolution of tolerance and resistance evolution to disease. Methodology/Principal Findings In a common garden experiment, we measured mortality after metamorphosis of Alytes obstetricans naturally infected with Batrachochytrium dendrobatidis. Mortality rates differed significantly among populations and ranged from 27 to 90%. Within populations, mortality strongly depended on mass at and time through metamorphosis. Conclusions/Significance Although we cannot rule out that the differences observed resulted from differences in skin microbiota, different pathogen strains or environmental effects experienced by the host or the pathogen prior to the start of the experiment, we argue that genetic differences between populations are a likely source of at least part of this variation. To our knowledge, this is the first study showing differences in survival between and within populations under constant laboratory conditions. Assuming that some of this intraspecific variation has a genetic basis, this may suggest that there is the potential for the evolution of resistance or tolerance, which might allow population persistence

Evaluation of Microorganisms Cultured from Injured and Repressed Tissue Regeneration Sites in Endangered Giant Aquatic Ozark Hellbender Salamanders

Investigation into the causes underlying the rapid, global amphibian decline provides critical insight into the effects of changing ecosystems. Hypothesized and confirmed links between amphibian declines, disease, and environmental changes are increasingly represented in published literature. However, there are few long-term amphibian studies that include data on population size, abnormality/injury rates, disease, and habitat variables to adequately assess changes through time. We cultured and identified microorganisms isolated from abnormal/injured and repressed tissue regeneration sites of the endangered Ozark Hellbender, Cryptobranchus alleganiensis bishopi, to discover potential causative agents responsible for their significant decline in health and population. This organism and our study site were chosen because the population and habitat of C. a. bishopi have been intensively studied from 1969–2009, and the abnormality/injury rate and apparent lack of regeneration were established. Although many bacterial and fungal isolates recovered were common environmental organisms, several opportunistic pathogens were identified in association with only the injured tissues of C.a. bishopi. Bacterial isolates included Aeromonas hydrophila, a known amphibian pathogen, Granulicetella adiacens, Gordonai terrae, Stenotrophomonas maltophilia, Aerococcus viridans, Streptococcus pneumoniae and a variety of Pseudomonads, including Pseudomonas aeruginosa, P. stutzeri, and P. alcaligenes. Fungal isolates included species in the genera Penicillium, Acremonium, Cladosporium, Curvularia, Fusarium, Streptomycetes, and the Class Hyphomycetes. Many of the opportunistic pathogens identified are known to form biofilms. Lack of isolation of the same organism from all wounds suggests that the etiological agent responsible for the damage to C. a. bishopi may not be a single organism. To our knowledge, this is the first study to profile the external microbial consortia cultured from a Cryptobranchid salamander. The incidence of abnormalities/injury and retarded regeneration in C. a. bishopi may have many contributing factors including disease and habitat degradation. Results from this study may provide insight into other amphibian population declines

A network analysis to identify mediators of germline-driven differences in breast cancer prognosis.

Identifying the underlying genetic drivers of the heritability of breast cancer prognosis remains elusive. We adapt a network-based approach to handle underpowered complex datasets to provide new insights into the potential function of germline variants in breast cancer prognosis. This network-based analysis studies ~7.3 million variants in 84,457 breast cancer patients in relation to breast cancer survival and confirms the results on 12,381 independent patients. Aggregating the prognostic effects of genetic variants across multiple genes, we identify four gene modules associated with survival in estrogen receptor (ER)-negative and one in ER-positive disease. The modules show biological enrichment for cancer-related processes such as G-alpha signaling, circadian clock, angiogenesis, and Rho-GTPases in apoptosis