Results 151 to 160 of about 475,794 (375)

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  

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  

Multidimensional OMICs reveal ARID1A orchestrated control of DNA damage, splicing, and cell cycle in normal‐like and malignant urothelial cells

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, Florian Krumbach, Eyleen Corrales, Geoffroy Andrieux, Christian Preisinger, Franziska Liss, Alexandra Golzmann, Melanie Boerries, Kerstin Becker, Ruth Knüchel, Stefan Garczyk, Bernhard Lüscher   +11 more
wiley   +1 more source

A Decidable Case of Query Determinacy: Project-Select Views [PDF]

arXiv
Query 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  

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  

Escape from TGF‐β‐induced senescence promotes aggressive hallmarks in epithelial hepatocellular carcinoma cells

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, Dilara Demirci, Sude Eris, Bengisu Dayanc, Ece Cakiroglu, Merve Basol, Merve Uysal, Gulcin Cakan‐Akdogan, Fang Liu, Mehmet Ozturk, Gökhan Karakülah, Serif Senturk   +11 more
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  

Time, the final frontier

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, Michal Dibus, Omkar Joshi, Guillaume Jacquemet   +3 more
wiley   +1 more source

Ensuring generalized fairness in batch classification. [PDF]

Sci Rep, 2023
Pal M, Pokhriyal S, Sikdar S, Ganguly N.
europepmc   +1 more source

MET and NF2 alterations confer primary and early resistance to first‐line alectinib treatment in ALK‐positive non‐small‐cell lung cancer

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, Ning Ding, Xiaobo Xu, Yedan Chen, Yong Zhang, Jingwen Liu, Jiebai Zhou, Hairong Bao, Donghui Zhang, Yijun Song, Yang Shao, Yuanlin Song   +11 more
wiley   +1 more source