Results 111 to 120 of about 10,140 (309)
Decidability in Parameterized Verification [PDF]
, 2016 Parameterized model checking is an active research field that considers automated verification of distributed or concurrent systems, for all numbers of participating processes.
Jacobs, Swen +6 more
core +1 more source
Metastatic niche shaped by host factors influences disseminated cancer cell fate
FEBS Letters, EarlyView.Metastasis is shaped not only by cancer cells but also by the environments they encounter. This review explores how factors such as aging, diet, the microbiome, lifestyle, and environmental exposures remodel organ‐specific niches in the lung, liver, bone, and brain, influencing where metastatic cells survive, remain dormant, or grow, and ultimately ...
Gwennan Delyth Ward +2 more
wiley +1 more source
Studia Semiotyczne, 2019 DOI: http://doi.org/10.26333/sts.xxxii2.09 The affirmative answer to the title question is justified in two ways: logical and empirical. (1) The logical justification is due to Gödel’s discovery (1931) that in any axiomatic formalized theory, having ...
Witold Marciszewski
doaj
FEBS Letters, EarlyView.Transient oligomers formed by intrinsically disordered proteins may be ‘invisible’ to direct detection yet remain accessible to solution NMR through equilibrium‐exchange measurements and pressure‐jump experiments. Complementary methods report on mass, stoichiometry, selected distance distributions, morphology, and internal packing.
Martin D. Gelenter, Ad Bax
wiley +1 more source
Membrane composition and thermodynamic identity as boundaries of life for synthetic cell research
FEBS Letters, EarlyView.What makes a cell a cell? The boundary of a living cell is not just a wall. Read as a Markov blanket, the membrane separates internal from external states, generating identity and non‐equilibrium order. Can this identity be rebuilt from scratch in a synthetic cell?
Caterina Presutti, Bert Poolman
wiley +1 more source
International Journal of Algebra and Computation, 2016 We characterize absorption in finite idempotent algebras by means of Jónsson absorption and cube term blockers. As an application we show that it is decidable whether a given subset is an absorbing subuniverse of an algebra given by the tables of its basic operations.
Libor Barto, Alexandr Kazda
openaire +5 more sources
Molecular Oncology, EarlyView.In this explorative study, the abundance of circular RNA molecules in bone marrow stem cells was found to be elevated in patients with high‐risk myelodysplastic neoplasms, and to be associated with an increased risk of progression to acute myeloid leukemia.
Eileen Wedge +17 more
wiley +1 more source
Algorithmic Problems for Computation Trees
LogicsIn this paper, we study three algorithmic problems involving computation trees: the optimization, solvability, and satisfiability problems. The solvability problem is concerned with recognizing computation trees that solve problems.
Mikhail Moshkov
doaj +1 more source
Molecular Oncology, EarlyView.Cytarabine is a key therapy for acute myeloid leukaemia (AML), but its efficacy is limited by the dNTPase SAMHD1, which hydrolyses its active metabolite. Screening nucleotide biosynthesis inhibitors revealed that IMPDH inhibitors selectively sensitise SAMHD1‐proficient AML cells to cytarabine.
Miriam Yagüe‐Capilla +9 more
wiley +1 more source
Decidability of Split Equivalence
, 1998 We show that the following problem is decidable: given expressions E 1 and E 2 constructed from variables by the regular operations and shu#e, is the identity E 1 = E 2 true for all instantiations of its variables by strings?
Y. Abramson, A. Rabinovich
core