The JKind Model Checker

JKind is an open-source industrial model checker developed by Rockwell Collins and the University of Minnesota. JKind uses multiple parallel engines to prove or falsify safety properties of infinite state models. It is portable, easy to install, performance competitive with other state-of-the-art model checkers, and has features designed to improve the results presented to users: inductive validity cores for proofs and counterexample smoothing for test-case generation. It serves as the back-end for various industrial applications.Comment: CAV 201

Limited effects of long-term daily cranberry consumption on the gut microbiome in a placebo-controlled study of women with recurrent urinary tract infections

Background: Urinary tract infections (UTIs) affect 15 million women each year in the United States, with > 20% experiencing frequent recurrent UTIs. A recent placebo-controlled clinical trial found a 39% reduction in UTI symptoms among recurrent UTI sufferers who consumed a daily cranberry beverage for 24 weeks. Using metagenomic sequencing of stool from a subset of these trial participants, we assessed the impact of cranberry consumption on the gut microbiota, a reservoir for UTI-causing pathogens such as Escherichia coli, which causes > 80% of UTIs. Results: The overall taxonomic composition, community diversity, carriage of functional pathways and gene families, and relative abundances of the vast majority of observed bacterial taxa, including E. coli, were not changed significantly by cranberry consumption. However, one unnamed Flavonifractor species (OTU41), which represented ≤1% of the overall metagenome, was significantly less abundant in cranberry consumers compared to placebo at trial completion. Given Flavonifractor’s association with negative human health effects, we sought to determine OTU41 characteristic genes that may explain its differential abundance and/or relationship to key host functions. Using comparative genomic and metagenomic techniques, we identified genes in OTU41 related to transport and metabolism of various compounds, including tryptophan and cobalamin, which have been shown to play roles in host-microbe interactions. Conclusion: While our results indicated that cranberry juice consumption had little impact on global measures of the microbiome, we found one unnamed Flavonifractor species differed significantly between study arms. This suggests further studies are needed to assess the role of cranberry consumption and Flavonifractor in health and wellbeing in the context of recurrent UTI. Trial registration: Clinical trial registration number: ClinicalTrials.govNCT01776021

PepShell : visualization of conformational proteomics data

Proteins are dynamic molecules; they undergo crucial conformational changes induced by post-translational modifications and by binding of cofactors or other molecules. The characterization of these conformational changes and their relation to protein function is a central goal of structural biology. Unfortunately, most conventional methods to obtain structural information do not provide information on protein dynamics. Therefore, mass spectrometry-based approaches, such as limited proteolysis, hydrogen-deuterium exchange, and stable-isotope labeling, are frequently used to characterize protein conformation and dynamics, yet the interpretation of these data can be cumbersome and time consuming. Here, we present PepShell, a tool that allows interactive data analysis of mass spectrometry-based conformational proteomics studies by visualization of the identified peptides both at the sequence and structure levels. Moreover, PepShell allows the comparison of experiments under different conditions, including different proteolysis times or binding of the protein to different substrates or inhibitors

Allosteric “beta-blocker” isolated from a DNA-encoded small molecule library

The present study reports the discovery of a small-molecule negative allosteric modulator for the β2-adrenergic receptor (β2AR) via in vitro affinity-based iterative selection of highly diverse DNA-encoded small-molecule libraries. Characterization of the compound demonstrates its selectivity for the β2AR and that it negatively modulates a wide range of receptor functions. More importantly, our findings establish a generally applicable, proof-of-concept strategy for screening DNA-encoded small-molecule libraries against purified G-protein–coupled receptors (GPCRs), which holds great potential for discovering therapeutic molecules

The Radish Gene Reveals a Memory Component with Variable Temporal Properties

Memory phases, dependent on different neural and molecular mechanisms, strongly influence memory performance. Our understanding, however, of how memory phases interact is far from complete. In Drosophila, aversive olfactory learning is thought to progress from short-term through long-term memory phases. Another memory phase termed anesthesia resistant memory, dependent on the radish gene, influences memory hours after aversive olfactory learning. How does the radish-dependent phase influence memory performance in different tasks? It is found that the radish memory component does not scale with the stability of several memory traces, indicating a specific recruitment of this component to influence different memories, even within minutes of learning

Pushing the limits of what is achievable in protein–DNA docking: benchmarking HADDOCK’s performance

The intrinsic flexibility of DNA and the difficulty of identifying its interaction surface have long been challenges that prevented the development of efficient protein–DNA docking methods. We have demonstrated the ability our flexible data-driven docking method HADDOCK to deal with these before, by using custom-built DNA structural models. Here we put our method to the test on a set of 47 complexes from the protein–DNA docking benchmark. We show that HADDOCK is able to predict many of the specific DNA conformational changes required to assemble the interface(s). Our DNA analysis and modelling procedure captures the bend and twist motions occurring upon complex formation and uses these to generate custom-built DNA structural models, more closely resembling the bound form, for use in a second docking round. We achieve throughout the benchmark an overall success rate of 94% of one-star solutions or higher (interface root mean square deviation ≤4 Å and fraction of native contacts >10%) according to CAPRI criteria. Our improved protocol successfully predicts even the challenging protein–DNA complexes in the benchmark. Finally, our method is the first to readily dock multiple molecules (N > 2) simultaneously, pushing the limits of what is currently achievable in the field of protein–DNA docking

A glimpse of the ERM proteins

In all eukaryotes, the plasma membrane is critically important as it maintains the architectural integrity of the cell. Proper anchorage and interaction between the plasma membrane and the cytoskeleton is critical for normal cellular processes. The ERM (ezrin-radixin-moesin) proteins are a class of highly homologous proteins involved in linking the plasma membrane to the cortical actin cytoskeleton. This review takes a succinct look at the biology of the ERM proteins including their structure and function. Current reports on their regulation that leads to activation and deactivation was examined before taking a look at the different interacting partners. Finally, emerging roles of each of the ERM family members in cancer was highlighted

The role of kinetic context in apparent biased agonism at GPCRs

Biased agonism describes the ability of ligands to stabilize different conformations of a GPCR linked to distinct functional outcomes and offers the prospect of designing pathway-specific drugs that avoid on-target side effects. This mechanism is usually inferred from pharmacological data with the assumption that the confounding influences of observational (that is, assay dependent) and system (that is, cell background dependent) bias are excluded by experimental design and analysis. Here we reveal that ‘kinetic context’, as determined by ligand-binding kinetics and the temporal pattern of receptor-signalling processes, can have a profound influence on the apparent bias of a series of agonists for the dopamine D2 receptor and can even lead to reversals in the direction of bias. We propose that kinetic context must be acknowledged in the design and interpretation of studies of biased agonism

Cucurbitacin I Inhibits Cell Motility by Indirectly Interfering with Actin Dynamics

Cucurbitacins are plant natural products that inhibit activation of the Janus kinase 2 (JAK2)/signal transducer and activator of transcription 3 (STAT3) pathway by an unknown mechanism. They are also known to cause changes in the organization of the actin cytoskeleton. actin depolymerization experiments, cucurbitacin I had no effect on the rate of actin filament disassembly at the nanomolar concentrations that inhibit cell migration. At elevated concentrations, the depolymerization rate was also unaffected, although there was a delay in the initiation of depolymerization. Therefore, cucurbitacin I targets some factor involved in cellular actin dynamics other than actin itself. Two candidate proteins that play roles in actin depolymerization are the actin-severing proteins cofilin and gelsolin. Cucurbitacin I possesses electrophilic reactivity that may lead to chemical modification of its target protein, as suggested by structure-activity relationship data. However, mass spectrometry revealed no evidence for modification of purified cofilin or gelsolin by cucurbitacin I.Cucurbitacin I results in accumulation of actin filaments in cells by a unique indirect mechanism. Furthermore, the proximal target of cucurbitacin I relevant to cell migration is unlikely to be the same one involved in activation of the JAK2/STAT3 pathway

Immunolocalization of the short neuropeptide F receptor in queen brains and ovaries of the red imported fire ant (Solenopsis invicta Buren)

<p>Abstract</p> <p>Background</p> <p>Insect neuropeptides are involved in diverse physiological functions and can be released as neurotransmitters or neuromodulators acting within the central nervous system, and as circulating neurohormones in insect hemolymph. The insect short neuropeptide F (sNPF) peptides, related to the vertebrate neuropeptide Y (NPY) peptides, have been implicated in the regulation of food intake and body size, and play a gonadotropic role in the ovaries of some insect species. Recently the sNPF peptides were localized in the brain of larval and adult <it>Drosophila</it>. However, the location of the sNPF receptor, a G protein-coupled receptor (GPCR), has not yet been investigated in brains of any adult insect. To elucidate the sites of action of the sNPF peptide(s), the sNPF receptor tissue expression and cellular localization were analyzed in queens of the red imported fire ant, <it>Solenopsis invicta </it>Buren (Hymenoptera), an invasive social insect.</p> <p>Results</p> <p>In the queen brains and subesophageal ganglion about 164 cells distributed in distinctive cell clusters (C1-C9 and C12) or as individual cells (C10, C11) were immuno-positive for the sNPF receptor. Most of these neurons are located in or near important sensory neuropils including the mushroom bodies, the antennal lobes, the central complex, and in different parts of the protocerebrum, as well as in the subesophageal ganglion. The localization of the sNPF receptor broadly links the receptor signaling pathway with circuits regulating learning and feeding behaviors. In ovaries from mated queens, the detection of sNPF receptor signal at the posterior end of oocytes in mid-oogenesis stage suggests that the sNPF signaling pathway may regulate processes at the oocyte pole.</p> <p>Conclusions</p> <p>The analysis of sNPF receptor immunolocalization shows that the sNPF signaling cascade may be involved in diverse functions, and the sNPF peptide(s) may act in the brain as neurotransmitter(s) or neuromodulator(s), and in the ovaries as neurohormone(s). To our knowledge, this is the first report of the cellular localization of a sNPF receptor on the brain and ovaries of adult insects.</p