Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of RNA secondary structures with stochastic context free grammars. Several types of analysis are invalidated by the presence of ambiguity. As this problem inherits undecidability (as we show here) from the namely problem for context free languages, there is no complete algorithmic solution to the problem of ambiguity checking.
Results: We explain frequently observed sources of ambiguity, and show how to avoid them. We suggest four testing procedures that may help to detect ambiguity when present, including a just-in-time test that permits to work safely with a potentially ambiguous grammar. We introduce, for the special case of stochastic context free grammars and RNA structure modeling, an automated partial procedure for proving non-ambiguity. It is used to demonstrate non-ambiguity for several relevant grammars.
Conclusion: Our mechanical proof procedure and our testing methods provide a powerful arsenal of methods to ensure non-ambiguity.
Download full-text PDF |
Source |
---|---|
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1215473 | PMC |
http://dx.doi.org/10.1186/1471-2105-6-153 | DOI Listing |
Clin Oncol (R Coll Radiol)
December 2024
Radiation Oncology Network, Westmead Hospital, Westmead, NSW, Australia; Sydney Medical School, The University of Sydney, Camperdown, NSW 2006, Australia. Electronic address:
Aims: Unresectable cutaneous squamous cell cancer of the head and neck (HNcSCC) poses treatment challenges in elderly and comorbid patients. Radiation therapy (RT) is often employed for locoregional control. This study aimed to determine progression-free survival (PFS) and overall survival (OS) outcomes achieved with upfront RT in unresectable HNcSCC.
View Article and Find Full Text PDFJ Acquir Immune Defic Syndr
December 2024
Department of Psychiatry and Sociomedical Sciences, Columbia University, New York, NY.
Background: We assessed access to pre-exposure prophylaxis (PrEP) and interest in integration of PrEP with gender-affirmative care in a global sample of transmasculine persons.
Methods: Transmasculine persons (N = 590) aged 18 years and above from 57 countries completed a brief online survey from April to July 2022 about sexual behavior, knowledge, and interest in PrEP, current access to PrEP and gender-affirmative care, and preferred context for accessing PrEP. Descriptive analyses were stratified by country income group.
Adv Mater
January 2025
State Key Laboratory of Chemical Resource Engineering, College of Chemistry, Beijing University of Chemical Technology, Beijing, 100029, China.
New carbon-based materials (CMs) are recommended as attractively active materials due to their diverse nanostructures and unique electron transport pathways, demonstrating great potential for highly efficient energy storage applications, electrocatalysis, and beyond. Among these newly reported CMs, metal-organic framework (MOF)-derived CMs have achieved impressive development momentum based on their high specific surface areas, tunable porosity, and flexible structural-functional integration. However, obstacles regarding the integrity of porous structures, the complexity of preparation processes, and the precise control of active components hinder the regulation of precise interface engineering in CMs.
View Article and Find Full Text PDFProtein Pept Lett
January 2025
Scientific Research Center, Beijing ChosenMed Clinical Laboratory Co., Ltd. Beijing100176, China.
Background: The role of Zona pellucida glycoprotein 3 (ZP3) is unclear in pancreatic adenocarcinoma (PAAD).
Objective: This study aimed to explore the role of ZP3 in PAAD.
Methods: A comparative analysis of ZP3 gene expression was performed to discern differences between various types of cancer and PAAD, leveraging data sourced from The Cancer Genome Atlas (TCGA).
Health Policy
December 2024
Department of Family Medicine and Population Health (FAMPOP), Faculty of Medicine and Health Sciences, University of Antwerp, Belgium; Department of Public Health, Institute of Tropical Medicine, Antwerp, Belgium.
Introduction: Few integrated care studies elaborate how interventions are brought to wider scale. The SCUBY project developed interventions for scale-up of an Integrated Care Package (ICP) for two common diseases - type 2 diabetes and hypertension-, comprising evidence-based roadmaps and policy dialogues. This paper's aim is to report on the process evaluation of the ICP scale-up in Belgium.
View Article and Find Full Text PDFEnter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!