Results 71 to 80 of about 47,932 (337)

Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification [PDF]

Logical Methods in Computer Science, 2017
Unification in Description Logics has been introduced as a means to detect redundancies in ontologies. We try to extend the known decidability results for unification in the Description Logic $\mathcal{EL}$ to disunification since negative constraints ...
Franz Baader, Stefan Borgwardt, Barbara Morawska   +2 more
doaj   +1 more source

Generalized Post Embedding Problems

, 2014
The Regular Post Embedding Problem extended with partial (co)directness is shown decidable. This extends to universal and/or counting versions.
Karandikar, Prateek, Schnoebelen, Philippe   +1 more
core   +1 more source

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

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

Well Behaved Transition Systems [PDF]

Logical Methods in Computer Science, 2017
The well-quasi-ordering (i.e., a well-founded quasi-ordering such that all antichains are finite) that defines well-structured transition systems (WSTS) is shown not to be the weakest hypothesis that implies decidability of the coverability problem.
Michael Blondin, Alain Finkel, Pierre McKenzie   +2 more
doaj   +1 more source

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

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

Decidability for Sturmian words [PDF]

Logical Methods in Computer Science
We show that the first-order theory of Sturmian words over Presburger arithmetic is decidable. Using a general adder recognizing addition in Ostrowski numeration systems by Baranwal, Schaeffer and Shallit, we prove that the first-order expansions of ...
Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey Shallit   +5 more
doaj   +1 more source

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