Learning weighted automata over principal ideal domains

In this paper, we study active learning algorithms for weighted automata over a semiring. We show that a variant of Angluin’s seminal L⋆ algorithm works when the semiring is a principal ideal domain, but not for general semirings such as the natural numbers

Minimisation in Logical Form

Stone-type dualities provide a powerful mathematical framework for studying properties of logical systems. They have recently been fruitfully explored in understanding minimisation of various types of automata. In Bezhanishvili et al. (2012), a dual equivalence between a category of coalgebras and a category of algebras was used to explain minimisation. The algebraic semantics is dual to a coalgebraic semantics in which logical equivalence coincides with trace equivalence. It follows that maximal quotients of coalgebras correspond to minimal subobjects of algebras. Examples include partially observable deterministic finite automata, linear weighted automata viewed as coalgebras over finite-dimensional vector spaces, and belief automata, which are coalgebras on compact Hausdorff spaces. In Bonchi et al. (2014), Brzozowski's double-reversal minimisation algorithm for deterministic finite automata was described categorically and its correctness explained via the duality between reachability and observability. This work includes generalisations of Brzozowski's algorithm to Moore and weighted automata over commutative semirings. In this paper we propose a general categorical framework within which such minimisation algorithms can be understood. The goal is to provide a unifying perspective based on duality. Our framework consists of a stack of three interconnected adjunctions: a base dual adjunction that can be lifted to a dual adjunction between coalgebras and algebras and also to a dual adjunction between automata. The approach provides an abstract understanding of reachability and observability. We illustrate the general framework on range of concrete examples, including deterministic Kripke frames, weighted automata, topological automata (belief automata), and alternating automata

Cyclophilin inhibitors restrict Middle East respiratory syndrome coronavirus via interferon-λ in vitro and in mice

While severe coronavirus infections, including Middle East respiratory syndrome coronavirus (MERS-CoV), cause lung injury with high mortality rates, protective treatment strategies are not approved for clinical use. We elucidated the molecular mechanisms by which the cyclophilin inhibitors cyclosporin A (CsA) and alisporivir (ALV) restrict MERS-CoV to validate their suitability as readily available therapy in MERS-CoV infection. Calu-3 cells and primary human alveolar epithelial cells (hAECs) were infected with MERS-CoV and treated with CsA or ALV or inhibitors targeting cyclophilin inhibitor-regulated molecules including calcineurin, nuclear factor of activated T-cells (NFATs) or mitogen-activated protein kinases. Novel CsA-induced pathways were identified by RNA sequencing and manipulated by gene knockdown or neutralising antibodies. Viral replication was quantified by quantitative real-time PCR and 50% tissue culture infective dose. Data were validated in a murine MERS-CoV infection model. Both CsA and ALV reduced MERS-CoV titres and viral RNA replication in Calu-3 cells and hAECs, improving epithelial integrity. While neither calcineurin nor NFAT inhibition reduced MERS-CoV propagation, blockade of c-Jun N-terminal kinase diminished infectious viral particle release but not RNA accumulation. Importantly, CsA induced interferon regulatory factor 1 (IRF1), a pronounced type III interferon (IFNλ) response and expression of antiviral genes. Downregulation of IRF1 or IFNλ increased MERS-CoV propagation in the presence of CsA. Importantly, oral application of CsA reduced MERS-CoV replication in vivo, correlating with elevated lung IFNλ levels and improved outcome. We provide evidence that cyclophilin inhibitors efficiently decrease MERS-CoV replication in vitro and in vivo via upregulation of inflammatory antiviral cell responses, in particular IFNλ. CsA might therefore represent a promising candidate for treating MERS-CoV infection

ChAdOx1 and MVA based vaccine candidates against MERS-CoV elicit neutralising antibodies and cellular immune responses in mice.

The Middle East respiratory syndrome coronavirus (MERS-CoV) has infected more than 1900 humans, since 2012. The syndrome ranges from asymptomatic and mild cases to severe pneumonia and death. The virus is believed to be circulating in dromedary camels without notable symptoms since the 1980s. Therefore, dromedary camels are considered the only animal source of infection. Neither antiviral drugs nor vaccines are approved for veterinary or medical use despite active research on this area. Here, we developed four vaccine candidates against MERS-CoV based on ChAdOx1 and MVA viral vectors, two candidates per vector. All vaccines contained the full-length spike gene of MERS-CoV; ChAdOx1 MERS vaccines were produced with or without the leader sequence of the human tissue plasminogen activator gene (tPA) where MVA MERS vaccines were produced with tPA, but either the mH5 or F11 promoter driving expression of the spike gene. All vaccine candidates were evaluated in a mouse model in prime only or prime-boost regimens. ChAdOx1 MERS with tPA induced higher neutralising antibodies than ChAdOx1 MERS without tPA. A single dose of ChAdOx1 MERS with tPA elicited cellular immune responses as well as neutralising antibodies that were boosted to a significantly higher level by MVA MERS. The humoral immunogenicity of a single dose of ChAdOx1 MERS with tPA was equivalent to two doses of MVA MERS (also with tPA). MVA MERS with mH5 or F11 promoter induced similar antibody levels; however, F11 promoter enhanced the cellular immunogenicity of MVA MERS to significantly higher magnitudes. In conclusion, our study showed that MERS-CoV vaccine candidates could be optimized by utilising different viral vectors, various genetic designs of the vectors, or different regimens to increase immunogenicity. ChAdOx1 and MVA vectored vaccines have been safely evaluated in camels and humans and these MERS vaccine candidates should now be tested in camels and in clinical trials

ChAdOx1 and MVA based vaccine candidates against MERS-CoV elicit neutralising antibodies and cellular immune responses in mice.

The Middle East respiratory syndrome coronavirus (MERS-CoV) has infected more than 1900 humans, since 2012. The syndrome ranges from asymptomatic and mild cases to severe pneumonia and death. The virus is believed to be circulating in dromedary camels without notable symptoms since the 1980s. Therefore, dromedary camels are considered the only animal source of infection. Neither antiviral drugs nor vaccines are approved for veterinary or medical use despite active research on this area. Here, we developed four vaccine candidates against MERS-CoV based on ChAdOx1 and MVA viral vectors, two candidates per vector. All vaccines contained the full-length spike gene of MERS-CoV; ChAdOx1 MERS vaccines were produced with or without the leader sequence of the human tissue plasminogen activator gene (tPA) where MVA MERS vaccines were produced with tPA, but either the mH5 or F11 promoter driving expression of the spike gene. All vaccine candidates were evaluated in a mouse model in prime only or prime-boost regimens. ChAdOx1 MERS with tPA induced higher neutralising antibodies than ChAdOx1 MERS without tPA. A single dose of ChAdOx1 MERS with tPA elicited cellular immune responses as well as neutralising antibodies that were boosted to a significantly higher level by MVA MERS. The humoral immunogenicity of a single dose of ChAdOx1 MERS with tPA was equivalent to two doses of MVA MERS (also with tPA). MVA MERS with mH5 or F11 promoter induced similar antibody levels; however, F11 promoter enhanced the cellular immunogenicity of MVA MERS to significantly higher magnitudes. In conclusion, our study showed that MERS-CoV vaccine candidates could be optimized by utilising different viral vectors, various genetic designs of the vectors, or different regimens to increase immunogenicity. ChAdOx1 and MVA vectored vaccines have been safely evaluated in camels and humans and these MERS vaccine candidates should now be tested in camels and in clinical trials

Humoral Immunogenicity and Efficacy of a Single Dose of ChAdOx1 MERS Vaccine Candidate in Dromedary Camels

MERS-CoV seronegative and seropositive camels received a single intramuscular dose of ChAdOx1 MERS, a replication-deficient adenoviral vectored vaccine expressing MERS-CoV spike protein, with further groups receiving control vaccinations. Infectious camels with active naturally acquired MERS-CoV infection, were co-housed with the vaccinated camels at a ratio of 1:2 (infected:vaccinated); nasal discharge and virus titres were monitored for 14 days. Overall, the vaccination reduced virus shedding and nasal discharge (p = 0.0059 and p = 0.0274, respectively). Antibody responses in seropositive camels were enhancedby the vaccine; these camels had a higher average age than seronegative. Older seronegative camels responded more strongly to vaccination than younger animals; and neutralising antibodies were detected in nasal swabs. Further work is required to optimise vaccine regimens for younger seronegative camels

Protective CD8+ T Cell Response Induced by Modified Vaccinia Virus Ankara Delivering Ebola Virus Nucleoprotein

The urgent need for vaccines against Ebola virus (EBOV) was underscored by the large outbreak in West Africa (2014–2016). Since then, several promising vaccine candidates have been tested in pre-clinical and clinical studies. As a result, two vaccines were approved for human use in 2019/2020, of which one includes a heterologous adenovirus/Modified Vaccinia virus Ankara (MVA) prime-boost regimen. Here, we tested new vaccine candidates based on the recombinant MVA vector, encoding the EBOV nucleoprotein (MVA-EBOV-NP) or glycoprotein (MVA-EBOV-GP) for their efficacy after homologous prime-boost immunization in mice. Our aim was to investigate the role of each antigen in terms of efficacy and correlates of protection. Sera of mice vaccinated with MVA-EBOV-GP were virus-neutralizing and MVA-EBOV-NP immunization readily elicited interferon- -producing NP-specific CD8+ T cells. While mock-vaccinated mice succumbed to EBOV infection, all vaccinated mice survived and showed drastically decreased viral loads in sera and organs. In addition, MVA-EBOV-NP vaccinated mice became susceptible to lethal EBOV infection after depletion of CD8+ T cells prior to challenge. This study highlights the potential of MVA-based vaccines to elicit humoral immune responses as well as a strong and protective CD8+ T cell response and contributes to understanding the possible underlying mechanisms