Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions

In this paper we turn the spotlight on a class of lexicographic ranking functions introduced by Bradley, Manna and Sipma in a seminal CAV 2005 paper, and establish for the first time the complexity of some problems involving the inference of such functions for linear-constraint loops (without precondition). We show that finding such a function, if one exists, can be done in polynomial time in a way which is sound and complete when the variables range over the rationals (or reals). We show that when variables range over the integers, the problem is harder -- deciding the existence of a ranking function is coNP-complete. Next, we study the problem of minimizing the number of components in the ranking function (a.k.a. the dimension). This number is interesting in contexts like computing iteration bounds and loop parallelization. Surprisingly, and unlike the situation for some other classes of lexicographic ranking functions, we find that even deciding whether a two-component ranking function exists is harder than the unrestricted problem: NP-complete over the rationals and $\Sigma^P_2$-complete over the integers.Comment: Technical report for a corresponding CAV'15 pape

Fluoromycobacteriophages for rapid, specific, and sensitive antibiotic susceptibility testing of Mycobacterium tuberculosis

Rapid antibiotic susceptibility testing of Mycobacterium tuberculosis is of paramount importance as multiple- and extensively- drug resistant strains of M. tuberculosis emerge and spread. We describe here a virus-based assay in which fluoromycobacteriophages are used to deliver a GFP or ZsYellow fluorescent marker gene to M. tuberculosis, which can then be monitored by fluorescent detection approaches including fluorescent microscopy and flow cytometry. Pre-clinical evaluations show that addition of either Rifampicin or Streptomycin at the time of phage addition obliterates fluorescence in susceptible cells but not in isogenic resistant bacteria enabling drug sensitivity determination in less than 24 hours. Detection requires no substrate addition, fewer than 100 cells can be identified, and resistant bacteria can be detected within mixed populations. Fluorescence withstands fixation by paraformaldehyde providing enhanced biosafety for testing MDR-TB and XDR-TB infections. © 2009 Piuri et al

Impact of Dreissena fouling on the physiological condition of native and invasive bivalves : interspecific and temporal variations

The impact of Dreissena fouling on unionids has hardly been studied in Europe, despite the fact that in some ecosystems (e.g. Lake Balaton, Hungary) infestations of several hundreds to a thousand individuals per unionid have been observed. At present, the zebra mussel Dreissena polymorpha is a dominant species in Lake Balaton and in the last decade three other invasive bivalves were introduced, potentially increasing the pressure on native unionid survival. We examined whether the fouling of dreissenids (zebra and quagga (D. rostriformis bugensis) mussels) has a negative impact on native (Anodonta anatina, Unio pictorum and U. tumidus) and invasive (Corbicula fluminea and Sinanodonta woodiana) bivalves and whether there are any interspecific and temporal variations in fouling intensity and physiological condition measured by standard condition index and glycogen content. A significant negative impact was detected on native unionids only in July and September (no impact was detected in May), when the fouling rate was high. For invasive species, a significant negative impact was detected on S. woodiana with a high level of dressenid infestation; whereas no significant impact was detected on C. fluminea. Overall, this study confirms that Dreissena may threaten unionid species including the invasive S. woodiana, although high interspecific and temporal variations were observed. This situation should be taken into account in future ecological and conservational assessments because species respond differently to Dreissena fouling and effects seem to be more pronounced in late summer/early autumn. In addition, this study provides the first evidence that the invasive C. fluminea appear to be less vulnerable to dressenid fouling.The study was supported by the Hungarian Scientific Fund (KTIA-OTKA) under the contract No. CNK80140

Modulation of Wnt/β-catenin signaling and proliferation by a ferrous iron chelator with therapeutic efficacy in genetically engineered mouse models of cancer

Using a screen for Wnt/β-catenin inhibitors, a family of 8-hydroxyquinolone derivatives with in vivo anti-cancer properties was identified. Analysis of microarray data for the lead compound N-((8-hydroxy-7-quinolinyl) (4-methylphenyl)methyl)benzamide (HQBA) using the Connectivity Map database suggested that it is an iron chelator that mimics the hypoxic response. HQBA chelates Fe2+ with a dissociation constant of ∼10−19 , with much weaker binding to Fe3+ and other transition metals. HQBA inhibited proliferation of multiple cell lines in culture, and blocked the progression of established spontaneous cancers in two distinct genetically engineered mouse models of mammary cancer, MMTV-Wnt1 and MMTV-PyMT mice, without overt toxicity. HQBA may inhibit an iron-dependent factor that regulates cell-type-specific β-catenin-driven transcription. It inhibits cancer cell proliferation independently of its effect on β-catenin signaling, as it works equally well in MMTV-PyMT tumors and diverse β-catenin-independent cell lines. HQBA is a promising specific intracellular Fe2+ chelator with activity against spontaneous mouse mammary cancers

The oxytocin analogue carbetocin prevents emotional impairment and stress-induced reinstatement of opioid-seeking in morphine-abstinent mice.

The main challenge in treating opioid addicts is to maintain abstinence due to the affective consequences associated with withdrawal which may trigger relapse. Emerging evidence suggests a role of the neurohypophysial peptide oxytocin (OT) in the modulation of mood disorders as well as drug addiction. However, its involvement in the emotional consequences of drug abstinence remains unclear. We investigated the effect of 7-day opioid abstinence on the oxytocinergic system and assessed the effect of the OT analogue carbetocin (CBT) on the emotional consequences of opioid abstinence, as well as relapse. Male C57BL/6J mice were treated with a chronic escalating-dose morphine regimen (20-100 mg/kg/day, i.p.). Seven days withdrawal from this administration paradigm induced a decrease of hypothalamic OT levels and a concomitant increase of oxytocin receptor (OTR) binding in the lateral septum and amygdala. Although no physical withdrawal symptoms or alterations in the plasma corticosterone levels were observed after 7 days of abstinence, mice exhibited increased anxiety-like and depressive-like behaviors and impaired sociability. CBT (6.4 mg/kg, i.p.) attenuated the observed negative emotional consequences of opioid withdrawal. Furthermore, in the conditioned place preference paradigm with 10 mg/kg morphine conditioning, CBT (6.4 mg/kg, i.p.) was able to prevent the stress-induced reinstatement to morphine-seeking following extinction. Overall, our results suggest that alterations of the oxytocinergic system contribute to the mechanisms underlying anxiety, depression, and social deficits observed during opioid abstinence. This study also highlights the oxytocinergic system as a target for developing pharmacotherapy for the treatment of emotional impairment associated with abstinence and thereby prevention of relapse

Testosterone, cortisol, and serotonin as key regulators of social aggression: A review and theoretical perspective

In human and non-human animals the steroid hormones cortisol and testosterone are involved in social aggression and recent studies suggest that these steroids might jointly regulate this behavior. It has been hypothesized that the imbalance between cortisol and testosterone levels is predictive for aggressive psychopathology, with high testosterone to cortisol ratio predisposing to a socially aggressive behavioral style. In this review, we focus on the effects of cortisol and testosterone on human social aggression, as well as on how they might modulate the aggression circuitry of the human brain. Recently, serotonin is hypothesized to differentiate between impulsive and instrumental aggression, and we will briefly review evidence on this hypothesis. The aim of this article is to provide a theoretical framework for the role of steroids and serotonin in impulsive social aggression in humans

A Biological Global Positioning System: Considerations for Tracking Stem Cell Behaviors in the Whole Body

Many recent research studies have proposed stem cell therapy as a treatment for cancer, spinal cord injuries, brain damage, cardiovascular disease, and other conditions. Some of these experimental therapies have been tested in small animals and, in rare cases, in humans. Medical researchers anticipate extensive clinical applications of stem cell therapy in the future. The lack of basic knowledge concerning basic stem cell biology-survival, migration, differentiation, integration in a real time manner when transplanted into damaged CNS remains an absolute bottleneck for attempt to design stem cell therapies for CNS diseases. A major challenge to the development of clinical applied stem cell therapy in medical practice remains the lack of efficient stem cell tracking methods. As a result, the fate of the vast majority of stem cells transplanted in the human central nervous system (CNS), particularly in the detrimental effects, remains unknown. The paucity of knowledge concerning basic stem cell biology—survival, migration, differentiation, integration in real-time when transplanted into damaged CNS remains a bottleneck in the attempt to design stem cell therapies for CNS diseases. Even though excellent histological techniques remain as the gold standard, no good in vivo techniques are currently available to assess the transplanted graft for migration, differentiation, or survival. To address these issues, herein we propose strategies to investigate the lineage fate determination of derived human embryonic stem cells (hESC) transplanted in vivo into the CNS. Here, we describe a comprehensive biological Global Positioning System (bGPS) to track transplanted stem cells. But, first, we review, four currently used standard methods for tracking stem cells in vivo: magnetic resonance imaging (MRI), bioluminescence imaging (BLI), positron emission tomography (PET) imaging and fluorescence imaging (FLI) with quantum dots. We summarize these modalities and propose criteria that can be employed to rank the practical usefulness for specific applications. Based on the results of this review, we argue that additional qualities are still needed to advance these modalities toward clinical applications. We then discuss an ideal procedure for labeling and tracking stem cells in vivo, finally, we present a novel imaging system based on our experiments

Cyclin-Dependent Kinase 6 Phosphorylates NF-kappa B P65 at Serine 536 and Contributes to the Regulation of Inflammatory Gene Expression

Peer reviewe