Results 121 to 130 of about 39,716 (258)
Molecular Oncology, EarlyView.Chronic TGF‐β exposure drives epithelial HCC cells from a senescent state to a TGF‐β resistant mesenchymal phenotype. This transition is characterized by the loss of Smad3‐mediated signaling, escape from senescence, enhanced invasiveness and metastatic potential, and upregulation of key resistance modulators such as MARK1 and GRM8, ultimately promoting
Minenur Kalyoncu +11 more
wiley +1 more source
Order-Invariance of Two-Variable Logic is Decidable [PDF]
arXiv, 2016 It is shown that order-invariance of two-variable first-logic is decidable in the finite. This is an immediate consequence of a decision procedure obtained for the finite satisfiability problem for existential second-order logic with two first-order variables ($\mathrm{ESO}^2$) on structures with two linear orders and one induced successor.
arxiv
Molecular Oncology, EarlyView.This article advocates integrating temporal dynamics into cancer research. Rather than relying on static snapshots, researchers should increasingly consider adopting dynamic methods—such as live imaging, temporal omics, and liquid biopsies—to track how tumors evolve over time.
Gautier Follain +3 more
wiley +1 more source
Decidability Issues for Petri Nets -- a survey [PDF]
J. Inf. Process. Cybern. 30(3): 143-160 (1994)We survey 25 years of research on decidability issues for Petri nets. We collect results on the decidability of important properties, equivalence notions, and temporal logics.
arxiv
There is no classification of the decidably presentable structures [PDF]
arXiv, 2017 A computable structure $\mathcal{A}$ is decidable if, given a formula $\varphi(\bar{x})$ of elementary first-order logic, and a tuple $\bar{a} \in \mathcal{A}$, we have a decision procedure to decide whether $\varphi$ holds of $\bar{a}$. We show that there is no reasonable classification of the decidably presentable structures.
arxiv
Molecular Oncology, EarlyView.Alectinib resistance in ALK+ NSCLC depends on treatment sequence and EML4‐ALK variants. Variant 1 exhibited off‐target resistance after first‐line treatment, while variant 3 and later lines favored on‐target mutations. Early resistance involved off‐target alterations, like MET and NF2, while on‐target mutations emerged with prolonged therapy.
Jie Hu +11 more
wiley +1 more source
A Decidable Case of Query Determinacy: Project-Select Views [PDF]
arXivQuery determinacy is decidable for project-select views and a project-select-join query with no self joins, as long as the selection predicates are in a first-order theory for which satisfiability is decidable.
arxiv
Targeted protein degradation in oncology: novel therapeutic opportunity for solid tumours?
Molecular Oncology, EarlyView.Current anticancer therapies are limited by the occurrence of resistance and undruggability of most proteins. Targeted protein degraders are novel, promising agents that trigger the selective degradation of previously undruggable proteins through the recruitment of the ubiquitin–proteasome machinery. Their mechanism of action raises exciting challenges,
Noé Herbel, Sophie Postel‐Vinay
wiley +1 more source
Note on the Infiniteness and Equivalence Problems for Word-MIX Languages [PDF]
arXiv, 2018 In this note we provide a (decidable) graph-structural characterisation of the infiniteness of $L(w_1, ..., w_k)$, where $L(w_1, ..., w_k) = \{w \in A^* | |w|_{w_1} = \cdots = |w|_{w_k}\}$ is the set of all words that contain the same number of subword occurrences of parameter words $w_1, ..., w_k$. We also provide the decidable characterisation of the
arxiv
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