Results 91 to 100 of about 39,716 (258)
Molecular Oncology, EarlyView.Breast tumor samples scored for metabolic deregulation (M1 to M3) were given a hypoxia score (HS). The highest HS occurred in patients with strongest metabolic deregulation (M3), supporting tumor aggressiveness. HS correlated with the highest number of metabolic pathways in M1. This suggests hypoxia to be an early event in metabolic deregulation.
Raefa Abou Khouzam +2 more
wiley +1 more source
Decidability properties for fragments of CHR
, 2010 We study the decidability of termination for two CHR dialects which, similarly to the Datalog like languages, are defined by using a signature which does not allow function symbols (of arity >0). Both languages allow the use of the = built-in in the body
Betz +12 more
core +1 more source
Molecular Oncology, EarlyView.Large multidimensional digital images of cancer tissue are becoming prolific, but many challenges exist to automatically extract relevant information from them using computational tools. We describe publicly available resources that have been developed jointly by expert and non‐expert computational biologists working together during a virtual hackathon
Sandhya Prabhakaran +16 more
wiley +1 more source
Bounding essential arities of term operations in finitely decidable varieties [PDF]
arXiv, 2013 Let $\mathbf{A}$ be a finite algebra generating a finitely decidable variety and having nontrivial strongly solvable radical $\tau$. We provide an improved bound on the number of variables in which a term can be sensitive to changes within $\tau$. We utilize a multi-sorted algebraic construction, amalgamating the methods developed by Valeriote and ...
arxiv
The First-Order Theory of Sets with Cardinality Constraints is Decidable
, 2004 We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is undecidable.
Kuncak, Viktor, Rinard, Martin
core +3 more sources
Molecular Oncology, EarlyView.Analysis of ESR1 mutations in plasma cell‐free DNA (cfDNA) is highly important for the selection of treatment in patients with breast cancer. Using multiplex‐ddPCR and identical blood draws, we investigated whether circulating tumor cells (CTCs) and cfDNA provide similar or complementary information for ESR1 mutations.
Stavroula Smilkou +11 more
wiley +1 more source
Molecular Oncology, EarlyView.Prostate cancer is a leading malignancy with significant clinical heterogeneity in men. An 11‐gene signature derived from dysregulated epithelial cell markers effectively predicted biochemical recurrence‐free survival in patients who underwent radical surgery or radiotherapy.
Zhuofan Mou, Lorna W. Harries
wiley +1 more source
Molecular Oncology, EarlyView.In molecular cancer diagnostics, comprehensive genomic profiling (CGP) is going to replace the small NGS panels since it provides all clinically relevant somatic variants as well as genomic biomarkers with clinical value. Here, we compared two CGP assays and demonstrate that the choice for diagnostic implementation will depend on the specific ...
Guy Froyen +17 more
wiley +1 more source
Groups with decidable word problem that do not embed in groups with decidable conjugacy problem [PDF]
arXiv, 2017 We show the existence of finitely presented torsion-free groups with decidable word problem that cannot be embedded in any finitely generated group with decidable conjugacy problem. This answers a well-known question of Collins from the early 1970's.
arxiv
Adding modular predicates to first-order fragments
, 2015 We investigate the decidability of the definability problem for fragments of first order logic over finite words enriched with modular predicates. Our approach aims toward the most generic statements that we could achieve, which successfully covers the ...
Dartois, Luc, Paperman, Charles
core