Results 81 to 90 of about 491,607 (366)
Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties
, 2018 We introduce a model of one-way language acceptors (a variant of a checking stack automaton) and show the following decidability properties: (1) The deterministic version has a decidable membership problem but has an undecidable emptiness problem.
Ibarra, Oscar H., McQuillan, Ian
core +1 more source
Molecular Oncology, EarlyView.There is an unmet need in metastatic breast cancer patients to monitor therapy response in real time. In this study, we show how a noninvasive and affordable strategy based on sequencing of plasma samples with longitudinal tracking of tumour fraction paired with a statistical model provides valuable information on treatment response in advance of the ...
Emma J. Beddowes +20 more
wiley +1 more source
Boundedness in languages of infinite words [PDF]
Logical Methods in Computer Science, 2017 We define a new class of languages of $\omega$-words, strictly extending $\omega$-regular languages. One way to present this new class is by a type of regular expressions.
Mikołaj Bojańczyk, Thomas Colcombet
doaj +1 more source
In the Maze of Data Languages [PDF]
, 2012 In data languages the positions of strings and trees carry a label from a finite alphabet and a data value from an infinite alphabet. Extensions of automata and logics over finite alphabets have been defined to recognize data languages, both in the ...
D'Antoni, Loris
core
Molecular Oncology, EarlyView.Loss of the frequently mutated chromatin remodeler ARID1A, a subunit of the SWI/SNF cBAF complex, results in less open chromatin, alternative splicing, and the failure to stop cells from progressing through the cell cycle after DNA damage in bladder (cancer) cells. Created in BioRender. Epigenetic regulators, such as the SWI/SNF complex, with important
Rebecca M. Schlösser +11 more
wiley +1 more source
Proceedings of the National Academy of Sciences, 2000 Sudden environmental changes and physiological stresses such as osmotic shock, nutrient availability, and heat shock demand that cells have the abilities to modulate their behavior to adapt and survive. Eukaryotic cells face the additional challenges of coordinating these changes between different cellular compartments, and this coordination ...
Peter Walter, Maho Niwa
openaire +3 more sources
Model Checking Dynamic-Epistemic Spatial Logic [PDF]
, 2006 In this paper we focus on Dynamic Spatial Logic, the extension of Hennessy-Milner logic with the parallel operator. We develop a sound complete Hilbert-style axiomatic system for it comprehending the behavior of spatial operators in relation with dynamic/
Mardare, Radu, Priami, Corrado
core
Molecular Oncology, EarlyView.Comprehensive analysis of genomic mutations, gene expression, DNA methylation, and pathway analysis of TCGA data was carried out to define cancer types in which proteasome subunits expression is associated with worse survival. Albeit the effect of specific proteasome subunits on cellular function, the main role of the proteasome is better evaluated ...
Ruba Al‐Abdulla +5 more
wiley +1 more source
A Decidable Extension of Data Automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Data automata on data words is a decidable model proposed by Bojańczyk et al. in 2006. Class automata, introduced recently by Bojańczyk and Lasota, is an extension of data automata which unifies different automata models on data words.
Zhilin Wu
doaj +1 more source
Molecular Oncology, EarlyView.This study develops a semi‐supervised classifier integrating multi‐genomic data (1404 training/5893 validation samples) to improve homologous recombination deficiency (HRD) detection in breast cancer. Our method demonstrates prognostic value and predicts chemotherapy/PARP inhibitor sensitivity in HRD+ tumours.
Rong Zhu +12 more
wiley +1 more source