The separation problem for regular languages by piecewise testable languages

Separation is a classical problem in mathematics and computer science. It asks whether, given two sets belonging to some class, it is possible to separate them by another set of a smaller class. We present and discuss the separation problem for regular languages. We then give a direct polynomial time algorithm to check whether two given regular languages are separable by a piecewise testable language, that is, whether a $B{\Sigma}1(<)$ sentence can witness that the languages are indeed disjoint. The proof is a reformulation and a refinement of an algebraic argument already given by Almeida and the second author

Protective influenza-specific CD8 T cell responses require interactions with dendritic cells in the lungs

Influenza infections induce a rapid, but transient, dendritic cell (DC) migration from the lungs to the lymph nodes (LNs) that is followed by substantial recruitment of DCs into the lungs without subsequent migration to the LNs. Given that peripheral DCs are primarily thought to be involved in the initiation of adaptive immunity after migration into lymphoid tissues, what role these newly lung-recruited DCs play in influenza virus immunity is unclear. In this study, we demonstrate that loss of non-LN migratory pulmonary DC subsets increases mortality, sustains higher viral titers, and impairs pulmonary CD8 T cell responses. Reconstitution of the lungs with pulmonary plasmacytoid DCs, CD8α+ DCs, or interstitial DCs restores CD8 T cell responses in a cell contact–, major histocompatability complex I–, and influenza peptide–dependent manner. Thus, after their initial activation in the LN, protective influenza-specific CD8 T cell responses require additional antigen-dependent interactions, specifically with DCs in the lungs

Block of death-receptor apoptosis protects mouse cytomegalovirus from macrophages and is a determinant of virulence in immunodeficient hosts.

The inhibition of death-receptor apoptosis is a conserved viral function. The murine cytomegalovirus (MCMV) gene M36 is a sequence and functional homologue of the human cytomegalovirus gene UL36, and it encodes an inhibitor of apoptosis that binds to caspase-8, blocks downstream signaling and thus contributes to viral fitness in macrophages and in vivo. Here we show a direct link between the inability of mutants lacking the M36 gene (ΔM36) to inhibit apoptosis, poor viral growth in macrophage cell cultures and viral in vivo fitness and virulence. ΔM36 grew poorly in RAG1 knockout mice and in RAG/IL-2-receptor common gamma chain double knockout mice (RAGγC(-/-)), but the depletion of macrophages in either mouse strain rescued the growth of ΔM36 to almost wild-type levels. This was consistent with the observation that activated macrophages were sufficient to impair ΔM36 growth in vitro. Namely, spiking fibroblast cell cultures with activated macrophages had a suppressive effect on ΔM36 growth, which could be reverted by z-VAD-fmk, a chemical apoptosis inhibitor. TNFα from activated macrophages synergized with IFNγ in target cells to inhibit ΔM36 growth. Hence, our data show that poor ΔM36 growth in macrophages does not reflect a defect in tropism, but rather a defect in the suppression of antiviral mediators secreted by macrophages. To the best of our knowledge, this shows for the first time an immune evasion mechanism that protects MCMV selectively from the antiviral activity of macrophages, and thus critically contributes to viral pathogenicity in the immunocompromised host devoid of the adaptive immune system

Latent classes of sexual risk and corresponding STI and HIV positivity among MSM attending centres for sexual health in the Netherlands

Objectives: Continuing high STI positivity among men who have sex with men (MSM) attending centres for sexual health (CSH) indicates that high-risk behaviour is ongoing. The objective of this study was to gain a better insight into risk behaviours among MSM attending CSH and to explore STI and HIV positivity by subgroups. Methods: We used national data routinely collected during CSH consultations for this study. From September to December 2017, questions on group sex, substance use and sex with HIV-positive partners were asked at each CSH consultation. We analysed latent classes of client-related factors and sexual risk behaviour among MSM attending CSH in this period. We examined STI positivity and prevalence ratios by latent classes. Results: A total of six classes were identified in order of increasing risk: â € overall low-risk behaviour' (n=2974; 22.0%), â € Western origin and multiple sex partners' (MSP) (n=4182; 30.9%), â € Non-Western origin and MSP' (n=2496; 18.5%), â € living with HIV' (n=827; 6.1%), â € group sex and HIV-positive partners' (n=1798; 13.3%) and â € group sex and chemsex' (n=1239; 9.2%). The any STI positivity ranged from 14.0% in the overall low-risk behaviour class to 35.5% in the group sex and chemsex class. HIV positivity did not differ significantly between classes. The Western origin and MSP class was largest and accounted for the majority of STI and HIV infections. Conclusions: Although STI positivity increased with increased risky behaviours, considerable STI positivity was found in all six latent classes. Comparable HIV positivity between classes indicates risk reduction strategies among subgroups engaged in risky behaviours. The differences in risk behaviour and STI positivity require preventive strategies tailored to each subgroup

Inflammatory monocytes require type I interferon receptor signaling to activate NK cells via IL-18 during a mucosal viral infection

The requirement of type I interferon (IFN) for natural killer (NK) cell activation in response to viral infection is known, but the underlying mechanism remains unclear. Here, we demonstrate that type I IFN signaling in inflammatory monocytes, but not in dendritic cells (DCs) or NK cells, is essential for NK cell function in response to a mucosal herpes simplex virus type 2 (HSV-2) infection. Mice deficient in type I IFN signaling, Ifnar(-/-) and Irf9(-/-) mice, had significantly lower levels of inflammatory monocytes, were deficient in IL-18 production, and lacked NK cell-derived IFN-gamma. Depletion of inflammatory monocytes, but not DCs or other myeloid cells, resulted in lower levels of IL-18 and a complete abrogation of NK cell function in HSV-2 infection. Moreover, this resulted in higher susceptibility to HSV-2 infection. Although Il18(-/-) mice had normal levels of inflammatory monocytes, their NK cells were unresponsive to HSV-2 challenge. This study highlights the importance of type I IFN signaling in inflammatory monocytes and the induction of the early innate antiviral response

Macrophage TNF-α mediates parathion-induced airway hyperreactivity in guinea pigs.

Organophosphorus pesticides (OPs) are implicated in human asthma. We previously demonstrated that, at concentrations that do not inhibit acetylcholinesterase activity, the OP parathion causes airway hyperreactivity in guinea pigs as a result of functional loss of inhibitory M2 muscarinic receptors on parasympathetic nerves. Because macrophages are associated with asthma, we investigated whether macrophages mediate parathion-induced M2 receptor dysfunction and airway hyperreactivity. Airway physiology was measured in guinea pigs 24 h after a subcutaneous injection of parathion. Pretreatment with liposome-encapsulated clodronate induced alveolar macrophage apoptosis and prevented parathion-induced airway hyperreactivity in response to electrical stimulation of the vagus nerves. As determined by qPCR, TNF-α and IL-1β mRNA levels were increased in alveolar macrophages isolated from parathion-treated guinea pigs. Parathion treatment of alveolar macrophages ex vivo did not significantly increase IL-1β and TNF-α mRNA but did significantly increase TNF-α protein release. Consistent with these data, pretreatment with the TNF-α inhibitor etanercept but not the IL-1β receptor inhibitor anakinra prevented parathion-induced airway hyperreactivity and protected M2 receptor function. These data suggest a novel mechanism of OP-induced airway hyperreactivity in which low-level parathion activates macrophages to release TNF-α-causing M2 receptor dysfunction and airway hyperreactivity. These observations have important implications regarding therapeutic approaches for treating respiratory disease associated with OP exposures

A Network of Psychopathological, Cognitive, and Motor Symptoms in Schizophrenia Spectrum Disorders

Schizophrenia spectrum disorders (SSDs) are complex syndromes involving psychopathological, cognitive, and also motor symptoms as core features. A better understanding of how these symptoms mutually impact each other could translate into diagnostic, prognostic, and, eventually, treatment advancements. The present study aimed to: (1) estimate a network model of psychopathological, cognitive, and motor symptoms in SSD; (2) detect communities and explore the connectivity and relative importance of variables within the network; and (3) explore differences in subsample networks according to remission status. A sample of 1007 patients from a multisite cohort study was included in the analysis. We estimated a network of 43 nodes, including all the items from the Positive and Negative Syndrome Scale, a cognitive assessment battery and clinical ratings of extrapyramidal symptoms. Methodologies specific to network analysis were employed to address the study’s aims. The estimated network for the total sample was densely interconnected and organized into 7 communities. Nodes related to insight, abstraction capacity, attention, and suspiciousness were the main bridges between network communities. The estimated network for the subgroup of patients in remission showed a sparser density and a different structure compared to the network of nonremitted patients. In conclusion, the present study conveys a detailed characterization of the interrelations between a set of core clinical elements of SSD. These results provide potential novel clues for clinical assessment and intervention

Implementing preoperative Botulinum toxin A and progressive pneumoperitoneum through the use of an algorithm in giant ventral hernia repair

Background Repair of large ventral hernias with loss of domain can be facilitated by preoperative Botulinum toxin A (BTA) injections and preoperative progressive pneumoperitoneum (PPP). The aim of this study is to evaluate the outcomes of ventral hernioplasty using a standardized algorithm, including component separation techniques, preoperative BTA and PPP. Methods All patients between June 2014 and August 2018 with giant hernias (either primary or incisional) of more than 12 cm width were treated according to a previously developed standardized algorithm. Retrospective data analysis from a prospectively collected dataset was performed. The primary outcome was closure of the anterior fascia. Secondary outcomes included complications related to the preoperative treatment, postoperative complications, and recurrences. Results Twenty-three patients were included. Median age was 65 years (range 28-77) and median BMI was 31.4 (range 22.7-38.0 kg/m(2)). The median loss of domain was 29% (range 12-226%). For the primary and secondary endpoints, 22 patients were analyzed. Primary closure of the anterior fascia was possible in 82% of all patients. After a median follow-up of 19.5 months (range 10-60 months), 3 patients (14%) developed a hernia recurrence and 16 patients (73%) developed 23 surgical site occurrences, most of which were surgical site infections (54.5%). Conclusion Our algorithm using both anterior or posterior component separation, together with preoperative BTA injections and PPP, achieved an acceptable fascial closure rate. Further studies are needed to explore the individual potential of BTA injections and PPP, and to research whether these methods can prevent the need for component separation, as postoperative wound morbidity remains high in our study