Incremental verification of co-observability in discrete-event systems

Existing strategies for verifying co-observability, one of the properties that must be satisfied for synthesizing solutions to decentralized supervisory control problems, require the construction of the complete system model. When the system is composed of many subsystems, these monolithic approaches may be impractical due to the state-space explosion problem. To address this issue, we introduce an incremental verification of co-observability approach. Selected subgroups of the system are evaluated individually, until verification of co-observability is complete. The new method is potentially much more efficient than the monolithic approaches, in particular for systems composed of many subsystems, allowing for some intractable state-space explosion problems to be manageable. Properties of this new strategy are presented, along with a corresponding algorithm and an example

SuperSpec: On-chip spectrometer design, characterization, and performance

SuperSpec is an integrated, on-chip spectrometer for millimeter and sub-millimeter astronomy. SuperSpec is demonstrating a proof-of-principle multi-beam spectrometer on the sky at the Large Millimeter Telescope (LMT) in Mexico covering the 200 - 300 GHz frequency range with moderate resolution (R ~ 270 - 290). The dual-polarization, three-pixel instrument will consist of 6 SuperSpec spectrometer chips. We present the design and characterization of the devices being used in the first SuperSpec demonstration along with lab testing of the instrument performance

MAKO: a pathfinder instrument for on-sky demonstration of low-cost 350 micron imaging arrays

Submillimeter cameras now have up to 10^4 pixels (SCUBA 2). The proposed CCAT 25-meter submillimeter telescope will feature a 1 degree field-of-view. Populating the focal plane at 350 microns would require more than 10^6 photon-noise limited pixels. To ultimately achieve this scaling, simple detectors and high-density multiplexing are essential. We are addressing this long-term challenge through the development of frequency-multiplexed superconducting microresonator detector arrays. These arrays use lumped-element, direct-absorption resonators patterned from titanium nitride films. We will discuss our progress toward constructing a scalable 350 micron pathfinder instrument focusing on fabrication simplicity, multiplexing density, and ultimately a low per-pixel cost

Identification and Quantification of Proteoforms by Mass Spectrometry

A proteoform is a defined form of a protein derived from a given gene with a specific amino acid sequence and localized post-translational modifications. In top-down proteomic analyses, proteoforms are identified and quantified through mass spectrometric analysis of intact proteins. Recent technological developments have enabled comprehensive proteoform analyses in complex samples, and an increasing number of laboratories are adopting top-down proteomic workflows. In this review, we outline some recent advances and discuss current challenges and future directions for the field

Initial recommendations for performing, benchmarking, and reporting single-cell proteomics experiments

Analyzing proteins from single cells by tandem mass spectrometry (MS) has become technically feasible. While such analysis has the potential to accurately quantify thousands of proteins across thousands of single cells, the accuracy and reproducibility of the results may be undermined by numerous factors affecting experimental design, sample preparation, data acquisition, and data analysis. Broadly accepted community guidelines and standardized metrics will enhance rigor, data quality, and alignment between laboratories. Here we propose best practices, quality controls, and data reporting recommendations to assist in the broad adoption of reliable quantitative workflows for single-cell proteomics.Comment: Supporting website: https://single-cell.net/guideline

A c-di-GMP Effector System Controls Cell Adhesion by Inside-Out Signaling and Surface Protein Cleavage

In Pseudomonas fluorescens Pf0-1 the availability of inorganic phosphate (Pi) is an environmental signal that controls biofilm formation through a cyclic dimeric GMP (c-di-GMP) signaling pathway. In low Pi conditions, a c-di-GMP phosphodiesterase (PDE) RapA is expressed, depleting cellular c-di-GMP and causing the loss of a critical outer-membrane adhesin LapA from the cell surface. This response involves an inner membrane protein LapD, which binds c-di-GMP in the cytoplasm and exerts a periplasmic output promoting LapA maintenance on the cell surface. Here we report how LapD differentially controls maintenance and release of LapA: c-di-GMP binding to LapD promotes interaction with and inhibition of the periplasmic protease LapG, which targets the N-terminus of LapA. We identify conserved amino acids in LapA required for cleavage by LapG. Mutating these residues in chromosomal lapA inhibits LapG activity in vivo, leading to retention of the adhesin on the cell surface. Mutations with defined effects on LapD's ability to control LapA localization in vivo show concomitant effects on c-di-GMP-dependent LapG inhibition in vitro. To establish the physiological importance of the LapD-LapG effector system, we track cell attachment and LapA protein localization during Pi starvation. Under this condition, the LapA adhesin is released from the surface of cells and biofilms detach from the substratum. This response requires c-di-GMP depletion by RapA, signaling through LapD, and proteolytic cleavage of LapA by LapG. These data, in combination with the companion study by Navarro et al. presenting a structural analysis of LapD's signaling mechanism, give a detailed description of a complete c-di-GMP control circuit—from environmental signal to molecular output. They describe a novel paradigm in bacterial signal transduction: regulation of a periplasmic enzyme by an inner membrane signaling protein that binds a cytoplasmic second messenger

A Novel Tetrameric PilZ Domain Structure from Xanthomonads

PilZ domain is one of the key receptors for the newly discovered secondary messenger molecule cyclic di-GMP (c-di-GMP). To date, several monomeric PilZ domain proteins have been identified. Some exhibit strong c-di-GMP binding activity, while others have barely detectable c-di-GMP binding activity and require an accessory protein such as FimX to indirectly respond to the c-di-GMP signal. We now report a novel tetrameric PilZ domain structure of XCC6012 from the plant pathogen Xanthomonas campestris pv. campestris (Xcc). It is one of the four PilZ domain proteins essential for Xcc pathogenicity. Although the monomer adopts a structure similar to those of the PilZ domains with very weak c-di-GMP binding activity, it is nevertheless interrupted in the middle by two extra long helices. Four XCC6012 proteins are thus self-assembled into a tetramer via the extra heptad repeat α3 helices to form a parallel four-stranded coiled-coil, which is further enclosed by two sets of inclined α2 and α4 helices. We further generated a series of XCC6012 variants and measured the unfolding temperatures and oligomeric states in order to investigate the nature of this novel tetramer. Discovery of this new PilZ domain architecture increases the complexity of c-di-GMP-mediated regulation

Genome-Wide Mutagenesis of Xanthomonas axonopodis pv. citri Reveals Novel Genetic Determinants and Regulation Mechanisms of Biofilm Formation

Xanthomonas axonopodis pv. citri (Xac) causes citrus canker disease, a major threat to citrus production worldwide. Accumulating evidence suggests that the formation of biofilms on citrus leaves plays an important role in the epiphytic survival of this pathogen prior to the development of canker disease. However, the process of Xac biofilm formation is poorly understood. Here, we report a genome-scale study of Xac biofilm formation in which we identified 92 genes, including 33 novel genes involved in biofilm formation and 7 previously characterized genes, colR, fhaB, fliC, galU, gumD, wxacO, and rbfC, known to be important for Xac biofilm formation. In addition, 52 other genes with defined or putative functions in biofilm formation were identified, even though they had not previously reported been to be associated with biofilm formation. The 92 genes were isolated from 292 biofilm-defective mutants following a screen of a transposon insertion library containing 22,000 Xac strain 306 mutants. Further analyses indicated that 16 of the novel genes are involved in the production of extracellular polysaccharide (EPS) and/or lipopolysaccharide (LPS), 7 genes are involved in signaling and regulatory pathways, and 5 genes have unknown roles in biofilm formation. Furthermore, two novel genes, XAC0482, encoding a haloacid dehalogenase-like phosphatase, and XAC0494 (designated as rbfS), encoding a two-component sensor protein, were confirmed to be biofilm-related genes through complementation assays. Our data demonstrate that the formation of mature biofilm requires EPS, LPS, both flagellum-dependent and flagellum-independent cell motility, secreted proteins and extracellular DNA. Additionally, multiple signaling pathways are involved in Xac biofilm formation. This work is the first report on a genome-wide scale of the genetic processes of biofilm formation in plant pathogenic bacteria. The report provides significant new information about the genetic determinants and regulatory mechanism of biofilm formation

Phase II study of preoperative radiation plus concurrent daily tegafur-uracil (UFT) with leucovorin for locally advanced rectal cancer

<p>Abstract</p> <p>Background</p> <p>Considerable variation in intravenous 5-fluorouracil (5-FU) metabolism can occur due to the wide range of dihydropyrimidine dehydrogenase (DPD) enzyme activity, which can affect both tolerability and efficacy. The oral fluoropyrimidine tegafur-uracil (UFT) is an effective, well-tolerated and convenient alternative to intravenous 5-FU. We undertook this study in patients with locally advanced rectal cancer to evaluate the efficacy and tolerability of UFT with leucovorin (LV) and preoperative radiotherapy and to evaluate the utility and limitations of multicenter staging using pre- and post-chemoradiotherapy ultrasound. We also performed a validated pretherapy assessment of DPD activity and assessed its potential influence on the tolerability of UFT treatment.</p> <p>Methods</p> <p>This phase II study assessed preoperative UFT with LV and radiotherapy in 85 patients with locally advanced T3 rectal cancer. Patients with potentially resectable tumors received UFT (300 mg/m/²/day), LV (75 mg/day), and pelvic radiotherapy (1.8 Gy/day, 45 Gy total) 5 days/week for 5 weeks then surgery 4-6 weeks later. The primary endpoints included tumor downstaging and the pathologic complete response (pCR) rate.</p> <p>Results</p> <p>Most adverse events were mild to moderate in nature. Preoperative grade 3/4 adverse events included diarrhea (n = 18, 21%) and nausea/vomiting (n = 5, 6%). Two patients heterozygous for dihydropyrimidine dehydrogenase gene (<it>DPYD</it>) experienced early grade 4 neutropenia (variant IVS14+1G > A) and diarrhea (variant 2846A > T). Pretreatment ultrasound TNM staging was compared with postchemoradiotherapy pathology TN staging and a significant shift towards earlier TNM stages was observed (p < 0.001). The overall downstaging rate was 42% for primary tumors and 44% for lymph nodes. The pCR rate was 8%. The sensitivity and specificity of ultrasound for staging was poor. Anal sphincter function was preserved in 55 patients (65%). Overall and recurrence-free survival at 3 years was 86.1% and 66.7%, respectively. Adjuvant chemotherapy was administered to 36 node-positive patients (mean duration 118 days).</p> <p>Conclusion</p> <p>Preoperative chemoradiotherapy using UFT with LV plus radiotherapy was well tolerated and effective and represents a convenient alternative to 5-FU-based chemoradiotherapy for the treatment of resectable rectal cancer. Pretreatment detection of DPD deficiency should be performed to avoid severe adverse events.</p