A Comprehensive Workflow for General-Purpose Neural Modeling with Highly Configurable Neuromorphic Hardware Systems

In this paper we present a methodological framework that meets novel requirements emerging from upcoming types of accelerated and highly configurable neuromorphic hardware systems. We describe in detail a device with 45 million programmable and dynamic synapses that is currently under development, and we sketch the conceptual challenges that arise from taking this platform into operation. More specifically, we aim at the establishment of this neuromorphic system as a flexible and neuroscientifically valuable modeling tool that can be used by non-hardware-experts. We consider various functional aspects to be crucial for this purpose, and we introduce a consistent workflow with detailed descriptions of all involved modules that implement the suggested steps: The integration of the hardware interface into the simulator-independent model description language PyNN; a fully automated translation between the PyNN domain and appropriate hardware configurations; an executable specification of the future neuromorphic system that can be seamlessly integrated into this biology-to-hardware mapping process as a test bench for all software layers and possible hardware design modifications; an evaluation scheme that deploys models from a dedicated benchmark library, compares the results generated by virtual or prototype hardware devices with reference software simulations and analyzes the differences. The integration of these components into one hardware-software workflow provides an ecosystem for ongoing preparative studies that support the hardware design process and represents the basis for the maturity of the model-to-hardware mapping software. The functionality and flexibility of the latter is proven with a variety of experimental results

LNCS

A controller is a device that interacts with a plant. At each time point,it reads the plant’s state and issues commands with the goal that the plant oper-ates optimally. Constructing optimal controllers is a fundamental and challengingproblem. Machine learning techniques have recently been successfully applied totrain controllers, yet they have limitations. Learned controllers are monolithic andhard to reason about. In particular, it is difficult to add features without retraining,to guarantee any level of performance, and to achieve acceptable performancewhen encountering untrained scenarios. These limitations can be addressed bydeploying quantitative run-timeshieldsthat serve as a proxy for the controller.At each time point, the shield reads the command issued by the controller andmay choose to alter it before passing it on to the plant. We show how optimalshields that interfere as little as possible while guaranteeing a desired level ofcontroller performance, can be generated systematically and automatically usingreactive synthesis. First, we abstract the plant by building a stochastic model.Second, we consider the learned controller to be a black box. Third, we mea-surecontroller performanceandshield interferenceby two quantitative run-timemeasures that are formally defined using weighted automata. Then, the problemof constructing a shield that guarantees maximal performance with minimal inter-ference is the problem of finding an optimal strategy in a stochastic2-player game“controller versus shield” played on the abstract state space of the plant with aquantitative objective obtained from combining the performance and interferencemeasures. We illustrate the effectiveness of our approach by automatically con-structing lightweight shields for learned traffic-light controllers in various roadnetworks. The shields we generate avoid liveness bugs, improve controller per-formance in untrained and changing traffic situations, and add features to learnedcontrollers, such as giving priority to emergency vehicles

PRNP Haplotype Associated with Classical BSE Incidence in European Holstein Cattle

Background: Classical bovine spongiform encephalopathy (BSE) is an acquired prion disease of cattle. The bovine prion gene (PRNP) contains regions of both high and low linkage disequilibrium (LD) that appear to be conserved across Bos taurus populations. The region of high LD, which spans the promoter and part of intron 2, contains polymorphic loci that have been associated with classical BSE status. However, the complex genetic architecture of PRNP has not been systematically tested for an association with classical BSE. Methodology/Principal Findings: In this study, haplotype tagging single nucleotide polymorphisms (htSNPs) within PRNP were used to test for association between PRNP haplotypes and BSE disease. A combination of Illumina goldengate assay, sequencing and PCR amplification was used to genotype 18 htSNPs and 2 indels in 95 BSE case and 134 control animals. A haplotype within the region of high LD was found to be associated with BSE unaffected animals (p-value = 0.000114). Conclusion/Significance: A PRNP haplotype association with classical BSE incidence has been identified. This result suggests that a genetic determinant in or near PRNP may influence classical BSE incidence in cattle

Applying neutral drift to the directed molecular evolution of a β-glucuronidase into a β-galactosidase: Two different evolutionary pathways lead to the same variant

<p>Abstract</p> <p>Background</p> <p>Directed protein evolution has been used to modify protein activity and research has been carried out to enhance the production of high quality mutant libraries. Many theoretical approaches suggest that allowing a population to undergo neutral selection may be valuable in directed evolution experiments.</p> <p>Findings</p> <p>Here we report on an investigation into the value of neutral selection in a classical model system for directed evolution, the conversion of the <it>E. coli </it>β-glucuronidase to a β-galactosidase activity. We find that neutral selection, i.e. selection for retaining glucuronidase activity, can efficiently identify the majority of sites of mutation that have been identified as beneficial for galactosidase activity in previous experiments. Each variant demonstrating increased galactosidase activity identified by our neutral drift experiments contained a mutation at one of four sites, T509, S557, N566 or W529. All of these sites have previously been identified using direct selection for beta galactosidase activity.</p> <p>Conclusions</p> <p>Our results are consistent with others that show that a neutral selection approach can be effective in selecting improved variants. However, we interpret our results to show that neutral selection is, in this case, not a more efficient approach than conventional directed evolution approaches. However, the neutral approach is likely to be beneficial when the resulting library can be screened for a range of related activities. More detailed statistical studies to resolve the apparent differences between this system and others are likely to be a fruitful avenue for future research.</p

Tissue Microenvironments Define and Get Reinforced by Macrophage Phenotypes in Homeostasis or during Inflammation, Repair and Fibrosis

Current macrophage phenotype classifications are based on distinct in vitro culture conditions that do not adequately mirror complex tissue environments. In vivo monocyte progenitors populate all tissues for immune surveillance which supports the maintenance of homeostasis as well as regaining homeostasis after injury. Here we propose to classify macrophage phenotypes according to prototypical tissue environments, e.g. as they occur during homeostasis as well as during the different phases of (dermal) wound healing. In tissue necrosis and/or infection, damage- and/or pathogen-associated molecular patterns induce proinflammatory macrophages by Toll-like receptors or inflammasomes. Such classically activated macrophages contribute to further tissue inflammation and damage. Apoptotic cells and antiinflammatory cytokines dominate in postinflammatory tissues which induce macrophages to produce more antiinflammatory mediators. Similarly, tumor-associated macrophages also confer immunosuppression in tumor stroma. Insufficient parenchymal healing despite abundant growth factors pushes macrophages to gain a profibrotic phenotype and promote fibrocyte recruitment which both enforce tissue scarring. Ischemic scars are largely devoid of cytokines and growth factors so that fibrolytic macrophages that predominantly secrete proteases digest the excess extracellular matrix. Together, macrophages stabilize their surrounding tissue microenvironments by adapting different phenotypes as feed-forward mechanisms to maintain tissue homeostasis or regain it following injury. Furthermore, macrophage heterogeneity in healthy or injured tissues mirrors spatial and temporal differences in microenvironments during the various stages of tissue injury and repair. Copyright (C) 2012 S. Karger AG, Base

A Feature-Based Approach to Modeling Protein–DNA Interactions

Transcription factor (TF) binding to its DNA target site is a fundamental regulatory interaction. The most common model used to represent TF binding specificities is a position specific scoring matrix (PSSM), which assumes independence between binding positions. However, in many cases, this simplifying assumption does not hold. Here, we present feature motif models (FMMs), a novel probabilistic method for modeling TF–DNA interactions, based on log-linear models. Our approach uses sequence features to represent TF binding specificities, where each feature may span multiple positions. We develop the mathematical formulation of our model and devise an algorithm for learning its structural features from binding site data. We also developed a discriminative motif finder, which discovers de novo FMMs that are enriched in target sets of sequences compared to background sets. We evaluate our approach on synthetic data and on the widely used TF chromatin immunoprecipitation (ChIP) dataset of Harbison et al. We then apply our algorithm to high-throughput TF ChIP data from mouse and human, reveal sequence features that are present in the binding specificities of mouse and human TFs, and show that FMMs explain TF binding significantly better than PSSMs. Our FMM learning and motif finder software are available at http://genie.weizmann.ac.il/

Adverse events from spinal manipulation in the pregnant and postpartum periods: a critical review of the literature

<p>Abstract</p> <p>Background</p> <p>The safety of spinal manipulation during pregnancy and the postpartum periods has been a matter of debate among manual therapists. Spinal manipulative therapy during these periods is a commonly performed intervention as musculoskeletal pain is common in these patients. To date there has not been an evaluation of the literature on this topic exclusively.</p> <p>Methods</p> <p>A literature search was conducted on PubMed, CINAHL and the Index to Chiropractic Literature along with reference searching for articles published in English and French in the peer-reviewed literature that documented adverse effects of spinal manipulation during either pregnancy or postpartum. Case reports, case series, and any other clinical study designs were deemed acceptable for inclusion, as were systematic reviews. The appropriate Scottish Intercollegiate Guidelines Network (SIGN) tools were used to rate included articles for quality when applicable.</p> <p>Results</p> <p>Five articles identifying adverse events in seven subjects following spinal manipulation were included in this review, along with two systematic reviews. The articles were published between 1978 and 2009. Two articles describing adverse effects from spinal manipulation on two postpartum patients were included, while the remaining three articles on five patients with adverse effects following spinal manipulation were on pregnant patients. Injury severity ranged from minor injury such as increasing pain after treatment that resolved within a few days to more severe injuries including fracture, stroke, and epidural hematoma. SIGN scores of the prospective observational cohort study and systematic reviews indicated acceptable quality.</p> <p>Conclusions</p> <p>There are only a few reported cases of adverse events following spinal manipulation during pregnancy and the postpartum period identified in the literature. While improved reporting of such events is required in the future, it may be that such injuries are relatively rare.</p

Genomic Diversity and Evolution of Mycobacterium ulcerans Revealed by Next-Generation Sequencing

Mycobacterium ulcerans is the causative agent of Buruli ulcer, the third most common mycobacterial disease after tuberculosis and leprosy. It is an emerging infectious disease that afflicts mainly children and youths in West Africa. Little is known about the evolution and transmission mode of M. ulcerans, partially due to the lack of known genetic polymorphisms among isolates, limiting the application of genetic epidemiology. To systematically profile single nucleotide polymorphisms (SNPs), we sequenced the genomes of three M. ulcerans strains using 454 and Solexa technologies. Comparison with the reference genome of the Ghanaian classical lineage isolate Agy99 revealed 26,564 SNPs in a Japanese strain representing the ancestral lineage. Only 173 SNPs were found when comparing Agy99 with two other Ghanaian isolates, which belong to the two other types previously distinguished in Ghana by variable number tandem repeat typing. We further analyzed a collection of Ghanaian strains using the SNPs discovered. With 68 SNP loci, we were able to differentiate 54 strains into 13 distinct SNP haplotypes. The average SNP nucleotide diversity was low (average 0.06–0.09 across 68 SNP loci), and 96% of the SNP locus pairs were in complete linkage disequilibrium. We estimated that the divergence of the M. ulcerans Ghanaian clade from the Japanese strain occurred 394 to 529 thousand years ago. The Ghanaian subtypes diverged about 1000 to 3000 years ago, or even much more recently, because we found evidence that they evolved significantly faster than average. Our results offer significant insight into the evolution of M. ulcerans and provide a comprehensive report on genetic diversity within a highly clonal M. ulcerans population from a Buruli ulcer endemic region, which can facilitate further epidemiological studies of this pathogen through the development of high-resolution tools

Exploiting bacterial DNA gyrase as a drug target: current state and perspectives

DNA gyrase is a type II topoisomerase that can introduce negative supercoils into DNA at the expense of ATP hydrolysis. It is essential in all bacteria but absent from higher eukaryotes, making it an attractive target for antibacterials. The fluoroquinolones are examples of very successful gyrase-targeted drugs, but the rise in bacterial resistance to these agents means that we not only need to seek new compounds, but also new modes of inhibition of this enzyme. We review known gyrase-specific drugs and toxins and assess the prospects for developing new antibacterials targeted to this enzyme