TRX: A Formally Verified Parser Interpreter

Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser interpreter formally developed in the proof assistant Coq, capable of producing formally correct parsers. We are using parsing expression grammars (PEGs), a formalism essentially representing recursive descent parsing, which we consider an attractive alternative to context-free grammars (CFGs). From this formalization we can extract a parser for an arbitrary PEG grammar with the warranty of total correctness, i.e., the resulting parser is terminating and correct with respect to its grammar and the semantics of PEGs; both properties formally proven in Coq.Comment: 26 pages, LMC

An Adaptive CBPR Approach to Create Weight Management Materials for a School-Based Health Center Intervention

Purpose. From our previous clinical work with overweight/obese youth, we identified the need for research to create an effective weight management intervention to address the growing prevalence of adolescent metabolic syndrome. Formative assessment through an adaptive community-based participatory research (CBPR) approach was conducted toward the development of a nutritional and physical activity (DVD) and clinician toolkit for a school-based health center (SBHC) weight management intervention. Methods. We first conducted parent and adolescent interviews on views and experiences about obesity while convening a community advisory council (CAC) recruited from two participating urban New Mexico high schools. Thematic findings from the interviews were analyzed with the CAC to develop culturally and developmentally appropriate intervention materials. Results. Themes from the parent and adolescent interviews included general barriers/challenges, factors influencing motivation, and change facilitators. The CAC and university-based research team reached consensus on the final content of nutrition and physical activity topics to produce a DVD and clinician toolkit through six monthly sessions. These materials used in the SBHC intervention resulted in a greater reduction of body mass index when compared to adolescents receiving standard care. Conclusions. Formative assessment using an adaptive CBPR approach resulted in the creation of culturally and age appropriate weight reduction materials that were acceptable to study participants. This trial is registered with ClinicalTrials.gov NCT00841334

Clinical Study An Adaptive CBPR Approach to Create Weight Management Materials for a School-Based Health Center Intervention

properly cited. Purpose. From our previous clinical work with overweight/obese youth, we identified the need for research to create an effective weight management intervention to address the growing prevalence of adolescent metabolic syndrome. Formative assessment through an adaptive community-based participatory research (CBPR) approach was conducted toward the development of a nutritional and physical activity (DVD) and clinician toolkit for a school-based health center (SBHC) weight management intervention. Methods. We first conducted parent and adolescent interviews on views and experiences about obesity while convening a community advisory council (CAC) recruited from two participating urban New Mexico high schools. Thematic findings from the interviews were analyzed with the CAC to develop culturally and developmentally appropriate intervention materials. Results. Themes from the parent and adolescent interviews included general barriers/challenges, factors influencing motivation, and change facilitators. The CAC and university-based research team reached consensus on the final content of nutrition and physical activity topics to produce a DVD and clinician toolkit through six monthly sessions. These materials used in the SBHC intervention resulted in a greater reduction of body mass index when compared to adolescents receiving standard care. Conclusions. Formative assessment using an adaptive CBPR approach resulted in the creation of culturally and age appropriate weight reduction materials that were acceptable to study participants. This trial is registered with ClinicalTrials.gov NCT00841334

Flow cytometric analysis of DNA binding and cleavage by cell surface-displayed homing endonucleases

LAGLIDADG homing endonucleases (LHEs) cleave 18–24 bp DNA sequences and are promising enzymes for applications requiring sequence-specific DNA cleavage amongst genome-sized DNA backgrounds. Here, we report a method for cell surface display of LHEs, which facilitates analysis of their DNA binding and cleavage properties by flow cytometry. Cells expressing surface LHEs can be stained with fluorescently conjugated double-stranded oligonucleotides (dsOligos) containing their respective target sequences. The signal is absolutely sequence specific and undetectable with dsOligos carrying single base-pair substitutions. LHE–dsOligo interactions facilitate rapid enrichment and viable recovery of rare LHE expressing cells by both fluorescence-activated cell sorting (FACS) and magnetic cell sorting (MACS). Additionally, dsOligos conjugated with unique fluorophores at opposite termini can be tethered to the cell surface and used to detect DNA cleavage. Recapitulation of DNA binding and cleavage by surface-displayed LHEs provides a high-throughput approach to library screening that should facilitate rapid identification and analysis of enzymes with novel sequence specificities

A fish herpesvirus highlights functional diversities among Zα domains related to phase separation induction and A-to-Z conversion

Zalpha (Zα) domains bind to left-handed Z-DNA and Z-RNA. The Zα domain protein family includes cellular (ADAR1, ZBP1 and PKZ) and viral (vaccinia virus E3 and cyprinid herpesvirus 3 (CyHV-3) ORF112) proteins. We studied CyHV-3 ORF112, which contains an intrinsically disordered region and a Zα domain. Genome editing of CyHV-3 indicated that the expression of only the Zα domain of ORF112 was sufficient for normal viral replication in cell culture and virulence in carp. In contrast, its deletion was lethal for the virus. These observations revealed the potential of the CyHV-3 model as a unique platform to compare the exchangeability of Zα domains expressed alone in living cells. Attempts to rescue the ORF112 deletion by a broad spectrum of cellular, viral, and artificial Zα domains showed that only those expressing Z-binding activity, the capacity to induce liquid-liquid phase separation (LLPS), and A-to-Z conversion, could rescue viral replication. For the first time, this study reports the ability of some Zα domains to induce LLPS and supports the biological relevance of dsRNA A-to-Z conversion mediated by Zα domains. This study expands the functional diversity of Zα domains and stimulates new hypotheses concerning the mechanisms of action of proteins containing Zα domains

Priorities to Promote Participant Engagement in the Participant Engagement and Cancer Genome Sequencing (PE-CGS) Network.

BACKGROUND: Engaging diverse populations in cancer genomics research is of critical importance and is a fundamental goal of the NCI Participant Engagement and Cancer Genome Sequencing (PE-CGS) Network. Established as part of the Cancer Moonshot, PE-CGS is a consortium of stakeholders including clinicians, scientists, genetic counselors, and representatives of potential study participants and their communities. Participant engagement is an ongoing, bidirectional, and mutually beneficial interaction between study participants and researchers. PE-CGS sought to set priorities in participant engagement for conducting the network\u27s research. METHODS: PE-CGS deliberatively engaged its stakeholders in the following four-phase process to set the network\u27s research priorities in participant engagement: (i) a brainstorming exercise to elicit potential priorities; (ii) a 2-day virtual meeting to discuss priorities; (iii) recommendations from the PE-CGS External Advisory Panel to refine priorities; and (iv) a virtual meeting to set priorities. RESULTS: Nearly 150 PE-CGS stakeholders engaged in the process. Five priorities were set: (i) tailor education and communication materials for participants throughout the research process; (ii) identify measures of participant engagement; (iii) identify optimal participant engagement strategies; (iv) understand cancer disparities in the context of cancer genomics research; and (v) personalize the return of genomics findings to participants. CONCLUSIONS: PE-CGS is pursuing these priorities to meaningfully engage diverse and underrepresented patients with cancer and posttreatment cancer survivors as participants in cancer genomics research and, subsequently, generate new discoveries. IMPACT: Data from PE-CGS will be shared with the broader scientific community in a manner consistent with participant informed consent and community agreement

3-D struktura serumske paraoksonaze 1 objašnjava njezinu aktivnost, stabilnost, topljivost i kristalizaciju

Serum paraoxonases (PONs) exhibit a wide range of physiologically important hydrolytic activities, including drug metabolism and detoxification of nerve gases. PON1 and PON3 reside on high-density lipoprotein (HDL) (the “good cholesterol”), and are involved in the alleviation of atherosclerosis. Members of the PON family have been identified not only in mammals and other vertebrates, but also in invertebrates. We earlier described the first crystal structure of a PON family member, a directly-evolved variant of PON1, at 2.2 Å resolution. PON1 is a 6-bladed beta-propeller with a unique active-site lid which is also involved in binding to HDL. The 3-D structure, taken together with directed evolution studies, permitted analysis of mutations which enhanced the stability, solubility and crystallizability of this PON1 variant. The structure permits a detailed description of PON1’s active site and suggests possible mechanisms for its catalytic activity on certain substrates.Serumske paraoksonaze (PONs) imaju široki raspon fiziološki važnih hidrolitičkih aktivnosti uključujući metabolizam lijekova i detoksikaciju nervnih plinova. PON1 i PON3 smještene su na lipoproteinima visoke gustoće (engl. high-density lipoprotein; HDL - “dobri kolesterol”) i uključene su u ublažavanje ateroskleroze. Članovi skupine PON identificirani su ne samo u sisavaca i drugih kralježnjaka već i kod beskralješnjaka. Prije smo opisali prvu kristalnu strukturu člana PON skupine, direktno razrađenu varijantu PON1 pri rezoluciji 2,2 Å. PON1 je beta-propeler sa šest lopatica s jedinstvenim poklopcem aktivnog mjesta, koji je tako|er uključen u vezanje na HDL. 3-D struktura, gledana zajedno s direktnim razvojnim istraživanjima, omogućila je analizu mutacija koje povećavaju stabilnost, topljivost i kristalizaciju te PON1 varijante. Struktura dopušta detaljan opis aktivnog mjesta PON1 i sugerira moguće mehanizme za njezinu katalitičku aktivnost prema odre|enim supstratima

Numerical Analysis of Ca2+ Signaling in Rat Ventricular Myocytes with Realistic Transverse-Axial Tubular Geometry and Inhibited Sarcoplasmic Reticulum

The t-tubules of mammalian ventricular myocytes are invaginations of the cell membrane that occur at each Z-line. These invaginations branch within the cell to form a complex network that allows rapid propagation of the electrical signal, and hence synchronous rise of intracellular calcium (Ca2+). To investigate how the t-tubule microanatomy and the distribution of membrane Ca2+ flux affect cardiac excitation-contraction coupling we developed a 3-D continuum model of Ca2+ signaling, buffering and diffusion in rat ventricular myocytes. The transverse-axial t-tubule geometry was derived from light microscopy structural data. To solve the nonlinear reaction-diffusion system we extended SMOL software tool (http://mccammon.ucsd.edu/smol/). The analysis suggests that the quantitative understanding of the Ca2+ signaling requires more accurate knowledge of the t-tubule ultra-structure and Ca2+ flux distribution along the sarcolemma. The results reveal the important role for mobile and stationary Ca2+ buffers, including the Ca2+ indicator dye. In agreement with experiment, in the presence of fluorescence dye and inhibited sarcoplasmic reticulum, the lack of detectible differences in the depolarization-evoked Ca2+ transients was found when the Ca2+ flux was heterogeneously distributed along the sarcolemma. In the absence of fluorescence dye, strongly non-uniform Ca2+ signals are predicted. Even at modest elevation of Ca2+, reached during Ca2+ influx, large and steep Ca2+ gradients are found in the narrow sub-sarcolemmal space. The model predicts that the branched t-tubule structure and changes in the normal Ca2+ flux density along the cell membrane support initiation and propagation of Ca2+ waves in rat myocytes

Combinatorial hydrogel library enables identification of materials that mitigate the foreign body response in primates

The foreign body response is an immune-mediated reaction that can lead to the failure of implanted medical devices and discomfort for the recipient. There is a critical need for biomaterials that overcome this key challenge in the development of medical devices. Here we use a combinatorial approach for covalent chemical modification to generate a large library of variants of one of the most widely used hydrogel biomaterials, alginate. We evaluated the materials in vivo and identified three triazole-containing analogs that substantially reduce foreign body reactions in both rodents and, for at least 6 months, in non-human primates. The distribution of the triazole modification creates a unique hydrogel surface that inhibits recognition by macrophages and fibrous deposition. In addition to the utility of the compounds reported here, our approach may enable the discovery of other materials that mitigate the foreign body response.Leona M. and Harry B. Helmsley Charitable Trust (3-SRA-2014-285-M-R)United States. National Institutes of Health (EB000244)United States. National Institutes of Health (EB000351)United States. National Institutes of Health (DE013023)United States. National Institutes of Health (CA151884)United States. National Institutes of Health (P41EB015871-27)National Cancer Institute (U.S.) (P30-CA14051