Results 121 to 130 of about 25,817 (283)

Inhibition of cyclin‐dependent kinases 12/13 using CT7439 as a treatment for colorectal cancer with CDK12 upregulation

Molecular Oncology, EarlyView.
The proposed mechanism of action for the CDK12/13 inhibitor and cyclin K degrader, CT7439. CDK12/13 inhibition interrupts transcription elongation, leading to increased DNA damage that results in cell death. This agent is a potentially novel treatment option for patients with colorectal cancer. Created in BioRender. Cyclin‐dependent kinase (CDK) 12 and
Wylie K. Watlington, Divya L. Dayanidhi, Mohammad Zokaasadi, John B. Mantyh, Pelumi D. Olawuni, Gabrielle Rupprecht, Jeremy M. Force, Shannon McCall, Ashwani K. Bahl, David S. Hsu, Jason A. Somarelli   +10 more
wiley   +1 more source

Sequent calculi for a unity of logic

, 2020
We present a novel unity of logic, viz., a single sequent calculus that embodies classical, intuitionistic and linear logics. Concretely, we define classical linear logic negative (CLL$^-$), a new logic that is classical and linear yet discards the polarities and the strict De Morgan laws in classical linear logic (CLL). Then, we define unlinearisation
openaire   +2 more sources

In vitro and in silico modelling of ROS1‐positive non‐small cell lung cancer reveals fusion‐dependent tyrosine kinase inhibitor responses

Molecular Oncology, EarlyView.
Drug resistance limits treatment success in a subset of lung cancers driven by ROS1 gene alterations. Using patient‐derived cells and computer simulations, we studied three key mutations and how they affect five targeted drugs. The mutations reduced drug effectiveness in different ways by altering protein structure and behavior.
Farhan Ul Haq, Marc Terrones, Felicia Rodrigues Fortes, Anne Schepers, Alessia Denis, Christophe Deben, Ken Op de Beeck, Guy Van Camp, Geert Vandeweyer   +8 more
wiley   +1 more source

Preoperative circulating tumor cells integrated with imaging analysis for prognostic evaluation in head and neck squamous cell carcinoma

Molecular Oncology, EarlyView.
Detecting circulating tumor cells (CTCs) in blood before surgery may help predict outcomes in patients with head and neck squamous cell carcinoma (HNSCC). Here, we show when combined with tumor size and lymph node involvement from routine imaging, CTC status identifies high‐risk patients with poorer survival—offering a simple, minimally invasive tool ...
Susanne Flach, Gizem Abaci, Tom Huberty, Axel Lechner, Lukas Käsmann, Jens Ricke, Sophia Stöcklein, Martin Canis, Philipp Baumeister, Marianna Alunni‐Fabbroni   +9 more
wiley   +1 more source

Epigenetic silencing of the liver‐specific lncRNA LUNAR promotes liver cancer progression via NOTCH activation

Molecular Oncology, EarlyView.
LUNAR is a liver‐specific long noncoding RNA (lncRNA) that is highly expressed in normal liver but becomes epigenetically silenced in hepatocellular carcinoma through promoter hypermethylation. Loss of LUNAR is associated with NOTCH activation, epithelial–mesenchymal transition, and metastasis, whereas restoring LUNAR restrains metastatic progression ...
Se Ha Jang, Hyung Seok Kim, Geum Ok Baek, Moon Gyeong Yoon, Su In Lee, Jee‐Yeong Jeong, Ji Eun Han, Soon Sun Kim, Jae Youn Cheong, Jung Woo Eun   +9 more
wiley   +1 more source

Semi-Substructural Logics à la Lambek with Symmetry

Bulletin of the Section of Logic
This work studies the proof theory and ternary relational semantics of left (right) skew monoidal closed categories and skew monoidal bi-closed categories, both symmetric and non-symmetric, from the perspective of non-associative Lambek calculus ...
Cheng-Syuan Wan
doaj   +1 more source

CEACAM1 participation in breast cancer progression

Molecular Oncology, EarlyView.
In invasive breast cancer (BC), CEACAM1 shifts from an apical to a uniform membranous/cytoplasmic pattern, or is lost, as tumors dedifferentiate, inversely tracking the Ki‐67 proliferative index. In MCF‐7 cells, only CEACAM1‐4L suppresses proliferation, repressing cell cycle and growth factor genes.
Mykola Lyndin, Irina Kube‐Golovin, Anatolii Romaniuk, Gunther Wennemuth   +3 more
wiley   +1 more source

Logic and truth: Some logics without theorems

Studia Philosophica Estonica, 2008
Two types of logical consequence are compared: one, with respect to matrix and designated elements and the other with respect to ordering in a suitable algebraic structure.
Jayanta Sen, Mihir Kumar Chakraborty
doaj  

Proof Complexity of Modal Resolution. [PDF]

J Autom Reason, 2022
Sigley S, Beyersdorff O.
europepmc   +1 more source

Uniform interpolation and sequent calculi in modal logic [PDF]

, 2015
A method is presented that connects the existence of uniform interpolants to the existence of certain sequent calculi. This method is applied to several modal logics and is shown to cover known results from the literature, such as the existence of ...
Iemhoff, Rosalie
core