Analyzer Control System (ACS)-A Software Package for Mass Spectrometer System Operation, Trouble Shooting and Protyping

No abstract availabl

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics

We consider two styles of proof calculi for a family of tense logics, presented in a formalism based on nested sequents. A nested sequent can be seen as a tree of traditional single-sided sequents. Our first style of calculi is what we call "shallow calculi", where inference rules are only applied at the root node in a nested sequent. Our shallow calculi are extensions of Kashima's calculus for tense logic and share an essential characteristic with display calculi, namely, the presence of structural rules called "display postulates". Shallow calculi enjoy a simple cut elimination procedure, but are unsuitable for proof search due to the presence of display postulates and other structural rules. The second style of calculi uses deep-inference, whereby inference rules can be applied at any node in a nested sequent. We show that, for a range of extensions of tense logic, the two styles of calculi are equivalent, and there is a natural proof theoretic correspondence between display postulates and deep inference. The deep inference calculi enjoy the subformula property and have no display postulates or other structural rules, making them a better framework for proof search

Preliminary, real-world, multicenter experience with omadacycline for Mycobacterium abscessus infections

Twelve patients were treated with omadacycline (OMC) as part of a multidrug regimen fo

An Energy-Water Corridor Along the US/Mexico Border: Changing the \u27Conversation\u27

Over the last decade, migration has become a divisive issue around the world. A large number of countries have erected barriers along their borders to prevent migration, leading to geopolitical tension. Climate change effects will likely exacerbate migration tensions, which will require bold and creative solutions to this difficult social predicament. Here we detail a plan to construct an energy-water corridor along a border that has been the focus of much attention recently: The U.S.-Mexico border. Our proposed solution helps to alleviate some of the negative effects of climate change, while providing energy and economic stimulus to an area that begs for sustainable development. The energy-water corridor will take advantage of the unique renewable energy resources along the border states and will use state-of-the-art water desalination and treatment systems to provide the resources for economic development in the region

Acylsugars protect Nicotiana benthamiana against insect herbivory and desiccation.

peer reviewedKEY MESSAGE: Nicotiana benthamiana acylsugar acyltransferase (ASAT) is required for protection against desiccation and insect herbivory. Knockout mutations provide a new resource for investigation of plant-aphid and plant-whitefly interactions. Nicotiana benthamiana is used extensively as a transient expression platform for functional analysis of genes from other species. Acylsugars, which are produced in the trichomes, are a hypothesized cause of the relatively high insect resistance that is observed in N. benthamiana. We characterized the N. benthamiana acylsugar profile, bioinformatically identified two acylsugar acyltransferase genes, ASAT1 and ASAT2, and used CRISPR/Cas9 mutagenesis to produce acylsugar-deficient plants for investigation of insect resistance and foliar water loss. Whereas asat1 mutations reduced accumulation, asat2 mutations caused almost complete depletion of foliar acylsucroses. Three hemipteran and three lepidopteran herbivores survived, gained weight, and/or reproduced significantly better on asat2 mutants than on wildtype N. benthamiana. Both asat1 and asat2 mutations reduced the water content and increased leaf temperature. Our results demonstrate the specific function of two ASAT proteins in N. benthamiana acylsugar biosynthesis, insect resistance, and desiccation tolerance. The improved growth of aphids and whiteflies on asat2 mutants will facilitate the use of N. benthamiana as a transient expression platform for the functional analysis of insect effectors and resistance genes from other plant species. Similarly, the absence of acylsugars in asat2 mutants will enable analysis of acylsugar biosynthesis genes from other Solanaceae by transient expression

Fc-Optimized Anti-CD25 Depletes Tumor-Infiltrating Regulatory T Cells and Synergizes with PD-1 Blockade to Eradicate Established Tumors

CD25 is expressed at high levels on regulatory T (Treg) cells and was initially proposed as a target for cancer immunotherapy. However, anti-CD25 antibodies have displayed limited activity against established tumors. We demonstrated that CD25 expression is largely restricted to tumor-infiltrating Treg cells in mice and humans. While existing anti-CD25 antibodies were observed to deplete Treg cells in the periphery, upregulation of the inhibitory Fc gamma receptor (FcγR) IIb at the tumor site prevented intra-tumoral Treg cell depletion, which may underlie the lack of anti-tumor activity previously observed in pre-clinical models. Use of an anti-CD25 antibody with enhanced binding to activating FcγRs led to effective depletion of tumor-infiltrating Treg cells, increased effector to Treg cell ratios, and improved control of established tumors. Combination with anti-programmed cell death protein-1 antibodies promoted complete tumor rejection, demonstrating the relevance of CD25 as a therapeutic target and promising substrate for future combination approaches in immune-oncology