Alternating weak automata from universal trees

An improved translation from alternating parity automata on infinite words to alternating weak automata is given. The blow-up of the number of states is related to the size of the smallest universal ordered trees and hence it is quasi-polynomial, and it is polynomial if the asymptotic number of priorities is at most logarithmic in the number of states. This is an exponential improvement on the translation of Kupferman and Vardi (2001) and a quasi-polynomial improvement on the translation of Boker and Lehtinen (2018). Any slightly better such translation would (if - like all presently known such translations - it is efficiently constructive) lead to algorithms for solving parity games that are asymptotically faster in the worst case than the current state of the art (Calude, Jain, Khoussainov, Li, and Stephan, 2017; Jurdzinski and Lazic, 2017; and Fearnley, Jain, Schewe, Stephan, and Wojtczak, 2017), and hence it would yield a significant breakthrough

Adventures in monitorability: From branching time to linear time and back again.

This paper establishes a comprehensive theory of runtime monitorability for Hennessy-Milner logic with recursion, a very expressive variant of the modal µ-calculus. It investigates the monitorability of that logic with a linear-time semantics and then compares the obtained results with ones that were previously presented in the literature for a branching-time setting. Our work establishes an expressiveness hierarchy of monitorable fragments of Hennessy-Milner logic with recursion in a linear-time setting and exactly identifies what kinds of guarantees can be given using runtime monitors for each fragment in the hierarchy. Each fragment is shown to be complete, in the sense that it can express all properties that can be monitored under the corresponding guarantees. The study is carried out using a principled approach to monitoring that connects the semantics of the logic and the operational semantics of monitors. The proposed framework supports the automatic, compositional synthesis of correct monitors from monitorable properties

Arthroscopic Coracoclavicular Ligament Reconstruction of Chronic Acromioclavicular Dislocations Using Autogenous Semitendinosus Graft: A Two-Year Follow-up Study of 58 Patients

PurposeTo determine the results of operatively treated chronic acromioclavicular (AC) joint dislocations after 2-year follow-up.MethodsFifty-eight patients with chronic acromioclavicular separations underwent arthroscopic coracoclavicular ligament reconstructions using semitendinosus autografts. Constant and Simple Shoulder Test scores were determined before and 2 years after surgery as a part of standard clinical practice. General patient satisfaction with the outcome (poor, fair, or excellent) also was assessed. In addition, for purposes of routine clinical follow-up, the coracoclavicular distance was measured from the inferior cortex of the clavicle to the superior cortex of the coracoid using anteroposterior radiographs taken 2 years after surgery. The results were compared with postoperative radiographs and changes in the distance were recorded. The clavicular drill hole was similarly measured 2 years after surgery to detect possible tunnel widening.ResultsThe mean preoperative Constant score increased from a preoperative mean of 52.6 ± 16.5 to 94.7 ± 7.9 at 2 years postoperatively (P = .000). The Simple Shoulder Test score increased from a preoperative mean of 7.7 ± 1.64 to 11.8 ± 0.7 (P = .000). The mean coracoclavicular distance increased from 10.5 ± 3.4 to 12.4 ± 3.9 mm (P = .009). The diameter of the clavicular drill hole increased from 6.0 mm to a mean of 8.4 mm. Two coracoid fractures were observed, but no clavicular fractures. One patient experienced a deep infection, leading to total reconstruction failure, and 2 patients had superficial postoperative infections. Forty-five patients (85%) reported excellent subjective outcomes, and 8 (15%) reported a fair outcome.ConclusionsThe outcomes of this series of coracoclavicular ligament reconstruction were favorable and the number of serious complications was small. However, clavicular wound issues were a significant problem. Coracoclavicular ligament reconstruction is a challenging procedure, but satisfactory results can be achieved with careful patient selection and good technique

Regulation of Neuronal Cell Death by c-Abl-Hippo/MST2 Signaling Pathway

BACKGROUND: Mammalian Ste20-like kinases (MSTs) are the mammalian homologue of Drosophila hippo and play critical roles in regulation of cell death, organ size control, proliferation and tumorigenesis. MSTs exert pro-apoptotic function through cleavage, autophosphorylation and in turn phosphorylation of downstream targets, such as Histone H2B and FOXO (Forkhead box O). Previously we reported that protein kinase c-Abl mediates oxidative stress-induced neuronal cell death through phosphorylating MST1 at Y433, which is not conserved among mammalian MST2, Drosophila Hippo and C.elegans cst-1/2. METHODOLOGY/PRINCIPAL FINDINGS: Using immunoblotting, in vitro kinase and cell death assay, we demonstrate that c-Abl kinase phosphorylates MST2 at an evolutionarily conserved site, Y81, within the kinase domain. We further show that the phosphorylation of MST2 by c-Abl leads to the disruption of the interaction with Raf-1 proteins and the enhancement of homodimerization of MST2 proteins. It thereby enhances the MST2 activation and induces neuronal cell death. CONCLUSIONS/SIGNIFICANCE: The identification of the c-Abl tyrosine kinase as a novel upstream activator of MST2 suggests that the conserved c-Abl-MST signaling cascade plays an important role in oxidative stress-induced neuronal cell death

Microbes Bind Complement Inhibitor Factor H via a Common Site

To cause infections microbes need to evade host defense systems, one of these being the evolutionarily old and important arm of innate immunity, the alternative pathway of complement. It can attack all kinds of targets and is tightly controlled in plasma and on host cells by plasma complement regulator factor H (FH). FH binds simultaneously to host cell surface structures such as heparin or glycosaminoglycans via domain 20 and to the main complement opsonin C3b via domain 19. Many pathogenic microbes protect themselves from complement by recruiting host FH. We analyzed how and why different microbes bind FH via domains 19–20 (FH19-20). We used a selection of FH19-20 point mutants to reveal the binding sites of several microbial proteins and whole microbes (Haemophilus influenzae, Bordetella pertussis, Pseudomonas aeruginosa, Streptococcus pneumonia, Candida albicans, Borrelia burgdorferi, and Borrelia hermsii). We show that all studied microbes use the same binding region located on one side of domain 20. Binding of FH to the microbial proteins was inhibited with heparin showing that the common microbial binding site overlaps with the heparin site needed for efficient binding of FH to host cells. Surprisingly, the microbial proteins enhanced binding of FH19-20 to C3b and down-regulation of complement activation. We show that this is caused by formation of a tripartite complex between the microbial protein, FH, and C3b. In this study we reveal that seven microbes representing different phyla utilize a common binding site on the domain 20 of FH for complement evasion. Binding via this site not only mimics the glycosaminoglycans of the host cells, but also enhances function of FH on the microbial surfaces via the novel mechanism of tripartite complex formation. This is a unique example of convergent evolution resulting in enhanced immune evasion of important pathogens viautilization of a “superevasion site.

Molecular abnormalities in autopsied brain tissue from the inferior horn of the lateral ventricles of nonagenarians and Alzheimer disease patients

Background The ventricular system plays a vital role in blood-cerebrospinal fluid (CSF) exchange and interstitial fluid-CSF drainage pathways. CSF is formed in the specialized secretory tissue called the choroid plexus, which consists of epithelial cells, fenestrated capillaries and the highly vascularized stroma. Very little is currently known about the role played by the ventricles and the choroid plexus tissue in aging and Alzheimer's disease (AD). MethodsIn this study, we used our state-of-the-art proteomic platform, a liquid chromatography/mass spectrometry (LC-MS/MS) approach coupled with Tandem Mass Tag isobaric labeling to conduct a detailed unbiased proteomic analyses of autopsied tissue isolated from the walls of the inferior horn of the lateral ventricles in AD (77.2 ± 0.6 yrs), age-matched controls (77.0 ± 0.5 yrs), and nonagenarian cases (93.2 ± 1.1 yrs). ResultsIngenuity pathway analyses identified phagosome maturation, impaired tight-junction signaling, and glucose/mannose metabolism as top significantly regulated pathways in controls vs nonagenarians. In matched-control vs AD cases we identified alterations in mitochondrial bioenergetics, oxidative stress, remodeling of epithelia adherens junction, macrophage recruitment and phagocytosis, and cytoskeletal dynamics. Nonagenarian vs AD cases demonstrated augmentation of oxidative stress, changes in gluconeogenesis-glycolysis pathways, and cellular effects of choroidal smooth muscle cell vasodilation. Amyloid plaque score uniquely correlated with remodeling of epithelial adherens junctions, Fc γ-receptor mediated phagocytosis, and alterations in RhoA signaling. Braak staging was uniquely correlated with altered iron homeostasis, superoxide radical degradation and phagosome maturation. Conclusions These changes provide novel insights to explain the compromise to the physiological properties and function of the ventricles/choroid plexus system in nonagenarian aging and AD pathogenesis. The pathways identified could provide new targets for therapeutic strategies to mitigate the divergent path towards AD

Crystal structure of a tripartite complex between C3dg, C-terminal domains of factor H and OspE of Borrelia burgdorferi

Complement is an important part of innate immunity. The alternative pathway of complement is activated when the main opsonin, C3b coats non-protected surfaces leading to opsonisation, phagocytosis and cell lysis. The alternative pathway is tightly controlled to prevent autoactivation towards host cells. The main regulator of the alternative pathway is factor H (FH), a soluble glycoprotein that terminates complement activation in multiple ways. FH recognizes host cell surfaces via domains 19–20 (FH19-20). All microbes including Borrelia burgdorferi, the causative agent of Lyme borreliosis, must evade complement activation to allow the infectious agent to survive in its host. One major mechanism that Borrelia uses is to recruit FH from host. Several outer surface proteins (Osp) have been described to bind FH via the C-terminus, and OspE is one of them. Here we report the structure of the tripartite complex formed by OspE, FH19-20 and C3dg at 3.18 Å, showing that OspE and C3dg can bind simultaneously to FH19-20. This verifies that FH19-20 interacts via the “common microbial binding site” on domain 20 with OspE and simultaneously and independently via domain 19 with C3dg. The spatial organization of the tripartite complex explains how OspE on the bacterial surface binds FH19-20, leaving FH fully available to protect the bacteria against complement. Additionally, formation of tripartite complex between FH, microbial protein and C3dg might enable enhanced protection, particularly on those regions on the bacteria where previous complement activation led to deposition of C3d. This might be especially important for slow-growing bacteria that cause chronic disease like Borrelia burgdorferi.Peer reviewe

Mammalian Ste20-Like Kinase and SAV1 Promote 3T3-L1 Adipocyte Differentiation by Activation of PPARγ

The mammalian ste20 kinase (MST) signaling pathway plays an important role in the regulation of apoptosis and cell cycle control. We sought to understand the role of MST2 kinase and Salvador homolog 1 (SAV1), a scaffolding protein that functions in the MST pathway, in adipocyte differentiation. MST2 and MST1 stimulated the binding of SAV1 to peroxisome proliferator-activated receptor γ (PPARγ), a transcription factor that plays a key role in adipogenesis. The interaction of endogenous SAV1 and PPARγ was detected in differentiating 3T3-L1 adipocytes. This binding required the kinase activity of MST2 and was mediated by the WW domains of SAV1 and the PPYY motif of PPARγ. Overexpression of MST2 and SAV1 increased PPARγ levels by stabilizing the protein, and the knockdown of SAV1 resulted in a decrease of endogenous PPARγ protein in 3T3-L1 adipocytes. During the differentiation of 3T3-L1 cells into adipocytes, MST2 and SAV1 expression began to increase at 2 days when PPARγ expression also begins to increase. MST2 and SAV1 significantly increased PPARγ transactivation, and SAV1 was shown to be required for the activation of PPARγ by rosiglitazone. Finally, differentiation of 3T3-L1 cells was augmented by MST2 and SAV1 expression and inhibited by knockdown of MST1/2 or SAV1. These results suggest that PPARγ activation by the MST signaling pathway may be a novel regulatory mechanism of adipogenesis

PP1A-Mediated Dephosphorylation Positively Regulates YAP2 Activity

Background: The Hippo/MST1 signaling pathway plays an important role in the regulation of cell proliferation and apoptosis. As a major downstream target of the Hippo/MST1 pathway, YAP2 (Yes-associated protein 2) functions as a transcriptional cofactor that has been implicated in many biological processes, including organ size control and cancer development. MST1/Lats kinase inhibits YAP2’s nuclear accumulation and transcriptional activity through inducing the phosphorylation at serine 127 and the sequential association with 14-3-3 proteins. However, the dephosphorylation of YAP2 is not fully appreciated. Methodology/Principal Findings: In the present study, we demonstrate that PP1A (catalytic subunit of protein phosphatase-1) interacts with and dephosphorylates YAP2 in vitro and in vivo, and PP1A-mediated dephosphorylation induces the nuclear accumulation and transcriptional activation of YAP2. Inhibition of PP1 by okadiac acid (OA) increases the phosphorylation at serine 127 and cytoplasmic translocation of YAP2 proteins, thereby mitigating its transcription activity. PP1A expression enhances YAP2’s pro-survival capability and YAP2 knockdown sensitizes ovarian cancer cells to cisplatin treatment. Conclusions/Significance: Our findings define a novel molecular mechanism that YAP2 is positively regulated by PP1mediate

Acetaminophen Modulates the Transcriptional Response to Recombinant Interferon-β

BACKGROUND: Recombinant interferon treatment can result in several common side effects including fever and injection-site pain. Patients are often advised to use acetaminophen or other over-the-counter pain medications as needed. Little is known regarding the transcriptional changes induced by such co-administration. METHODOLOGY/PRINCIPAL FINDINGS: We tested whether the administration of acetaminophen causes a change in the response normally induced by interferon-beta treatment. CD-1 mice were administered acetaminophen (APAP), interferon-beta (IFN-beta) or a combination of IFN-beta+APAP and liver and serum samples were collected for analysis. Differential gene expression was determined using an Agilent 22 k whole mouse genome microarray. Data were analyzed by several methods including Gene Ontology term clustering and Gene Set Enrichment Analysis. We observed a significant change in the transcription profile of hepatic cells when APAP was co-administered with IFN-beta. These transcriptional changes included a marked up-regulation of genes involved in signal transduction and cell differentiation and down-regulation of genes involved in cellular metabolism, trafficking and the IkappaBK/NF-kappaB cascade. Additionally, we observed a large decrease in the expression of several IFN-induced genes including Ifit-3, Isg-15, Oasl1, Zbp1 and predicted gene EG634650 at both early and late time points. CONCLUSIONS/SIGNIFICANCE: A significant change in the transcriptional response was observed following co-administration of IFN-beta+APAP relative to IFN-beta treatment alone. These results suggest that administration of acetaminophen has the potential to modify the efficacy of IFN-beta treatment