The Complexity of Flat Freeze LTL

We consider the model-checking problem for freeze LTL on one-counter automata (OCAs). Freeze LTL extends LTL with the freeze quantifier, which allows one to store different counter values of a run in registers so that they can be compared with one another. As the model-checking problem is undecidable in general, we focus on the flat fragment of freeze LTL, in which the usage of the freeze quantifier is restricted. Recently, Lechner et al. showed that model checking for flat freeze LTL on OCAs with binary encoding of counter updates is decidable and in 2NEXPTIME. In this paper, we prove that the problem is, in fact, NEXPTIME-complete no matter whether counter updates are encoded in unary or binary. Like Lechner et al., we rely on a reduction to the reachability problem in OCAs with parameterized tests (OCAPs). The new aspect is that we simulate OCAPs by alternating two-way automata over words. This implies an exponential upper bound on the parameter values that we exploit towards an NP algorithm for reachability in OCAPs with unary updates. We obtain our main result as a corollary

Arylmethylamino steroids as antiparasitic agents

In search of antiparasitic agents, we here identify arylmethylamino steroids as potent compounds and characterize more than 60 derivatives. The lead compound 1o is fast acting and highly active against intraerythrocytic stages of chloroquine-sensitive and resistant Plasmodium falciparum parasites (IC50 1–5?nM) as well as against gametocytes. In P. berghei-infected mice, oral administration of 1o drastically reduces parasitaemia and cures the animals. Furthermore, 1o efficiently blocks parasite transmission from mice to mosquitoes. The steroid compounds show low cytotoxicity in mammalian cells and do not induce acute toxicity symptoms in mice. Moreover, 1o has a remarkable activity against the blood-feeding trematode parasite Schistosoma mansoni. The steroid and the hydroxyarylmethylamino moieties are essential for antimalarial activity supporting a chelate-based quinone methide mechanism involving metal or haem bioactivation. This study identifies chemical scaffolds that are rapidly internalized into blood-feeding parasites

Scents of Adolescence: The Maturation of the Olfactory Phenotype in a Free-Ranging Mammal

Olfaction is an important sensory modality for mate recognition in many mammal species. Odorants provide information about the health status, genotype, dominance status and/or reproductive status. How and when odor profiles change during sexual maturation is, however often unclear, particularly in free-ranging mammals. Here, we investigated whether the wing sac odorant of male greater sac-winged bats (Saccopteryx bilineata, Emballonuridae) differs between young and adults, and thus offers information about sexual maturity to potential mating partners. Using gas chromatography – mass spectrometry, we found differences in the odorants of young and adult males prior and during, but not after the mating period. The wing sac odorant of adult males consists of several substances, such as Pyrocoll, 2,6,10-trimethyl-3-oxo-6,10-dodecadienolide, and a so far unidentified substance; all being absent in the odor profiles of juveniles prior to the mating season. During the mating season, these substances are present in most of the juvenile odorants, but still at lower quantities compared to the wing sac odorants of adults. These results suggest that the wing sac odorant of males encodes information about age and/or sexual maturity. Although female S. bilineata start to reproduce at the age of half a year, most males of the same age postpone the sexual maturation of their olfactory phenotype until after the first mating season

A 'resource allocator' for transcription based on a highly fragmented T7 RNA polymerase

Synthetic genetic systems share resources with the host, including machinery for transcription and translation. Phage RNA polymerases (RNAPs) decouple transcription from the host and generate high expression. However, they can exhibit toxicity and lack accessory proteins (σ factors and activators) that enable switching between different promoters and modulation of activity. Here, we show that T7 RNAP (883 amino acids) can be divided into four fragments that have to be co‐expressed to function. The DNA‐binding loop is encoded in a C‐terminal 285‐aa ‘σ fragment’, and fragments with different specificity can direct the remaining 601‐aa ‘core fragment’ to different promoters. Using these parts, we have built a resource allocator that sets the core fragment concentration, which is then shared by multiple σ fragments. Adjusting the concentration of the core fragment sets the maximum transcriptional capacity available to a synthetic system. Further, positive and negative regulation is implemented using a 67‐aa N‐terminal ‘α fragment’ and a null (inactivated) σ fragment, respectively. The α fragment can be fused to recombinant proteins to make promoters responsive to their levels. These parts provide a toolbox to allocate transcriptional resources via different schemes, which we demonstrate by building a system which adjusts promoter activity to compensate for the difference in copy number of two plasmids.United States. Office of Naval Research (N00014‐13‐1‐0074)National Institutes of Health (U.S.) (5R01GM095765)National Science Foundation (U.S.) (Synthetic Biology Engineering Research Center (SA5284‐11210))United States. Dept. of Defense (National Defense Science and Engineering Graduate Fellowship (NDSEG) Program))Hertz Foundation (Fellowship

Dexamethasone therapy in COVID-19 patients:implications and guidance for the management of blood glucose in people with and without diabetes

The RECOVERY (Randomised Evaluation of COVid-19 thERapY) trial found that dexamethasone 6 mg once per day for 10 days reduced deaths by one-third in ventilated patients and by one-fifth in other patients, receiving oxygen therapy. This equates to the prevention of one death in around eight ventilated patients, or one in around 25 patients requiring oxygen

Non-neutralizing Antibodies May Contribute to Suppression of SIVmac239 Viremia in Indian Rhesus Macaques

The antiviral properties of broadly neutralizing antibodies against HIV are well-documented but no vaccine is currently able to elicit protective titers of these responses in primates. While current vaccine modalities can readily induce non-neutralizing antibodies against simian immunodeficiency virus (SIV) and HIV, the ability of these responses to restrict lentivirus transmission and replication remains controversial. Here, we investigated the antiviral properties of non-neutralizing antibodies in a group of Indian rhesus macaques (RMs) that were vaccinated with vif, rev, tat, nef, and env, as part of a previous study conducted by our group. These animals manifested rapid and durable control of viral replication to below detection limits shortly after SIVmac239 infection. Although these animals had no serological neutralizing activity against SIVmac239 prior to infection, their pre-challenge titers of Env-binding antibodies correlated with control of viral replication. To assess the contribution of anti-Env humoral immune responses to virologic control in two of these animals, we transiently depleted their circulating antibodies via extracorporeal plasma immunoadsorption and inhibition of IgG recycling through antibody-mediated blockade of the neonatal Fc receptor. These procedures reduced Ig serum concentrations by up to 80% and temporarily induced SIVmac239 replication in these animals. Next, we transferred purified total Ig from the rapid controllers into six vaccinated RMs one day before intrarectal challenge with SIVmac239. Although recipients of the hyperimmune anti-SIV Ig fraction were not protected from infection, their peak and chronic phase viral loads were significantly lower than those in concurrent unvaccinated control animals. Together, our results suggest that non-neutralizing Abs may play a role in the suppression of SIVmac239 viremia

Adaptive Evolution of the Myo6 Gene in Old World Fruit Bats (Family: Pteropodidae)

PMCID: PMC3631194This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited