Results 111 to 120 of about 837,747 (262)
Molecular Oncology, EarlyView.Etoposide induces DNA damage, activating p53‐dependent apoptosis via caspase‐3/7, which cleaves PARP1. Dammarenediol II enhances this apoptotic pathway by suppressing O‐GlcNAc transferase activity, further decreasing O‐GlcNAcylation. The reduction in O‐GlcNAc levels boosts p53‐driven apoptosis and influences the Akt/GSK3β/mTOR signaling pathway ...
Jaehoon Lee +8 more
wiley +1 more source
Mismatched ZN-type worm pair meshing theory
Advances in Mechanical EngineeringCylindrical worms are sensitive to errors; mismatch can solve this problem. However, applying the finite element method to calculate the meshing characteristics of mismatched worm pairs has several limitations. Therefore, the meshing theory of mismatched
Xin Zhao, Yaping Zhao, Gongfa Li
doaj +1 more source
Tumor mutational burden as a determinant of metastatic dissemination patterns
Molecular Oncology, EarlyView.This study performed a comprehensive analysis of genomic data to elucidate whether metastasis in certain organs share genetic characteristics regardless of cancer type. No robust mutational patterns were identified across different metastatic locations and cancer types.
Eduardo Candeal +4 more
wiley +1 more source
Type Theory in Type Theory using a Strictified Syntax
Proceedings of the ACM on Programming LanguagesThe metatheory of dependent types has seen a lot of progress in recent years. In particular, the development of categorical gluing finally lets us work with semantic presentations of type theory (such as categories with families) to establish fundamental properties of type theory such as canonicity and normalisation. However, proofs by gluing
Ambrus Kaposi, Loïc Pujet
openaire +1 more source
Targeting p38α in cancer: challenges, opportunities, and emerging strategies
Molecular Oncology, EarlyView.p38α normally regulates cellular stress responses and homeostasis and suppresses malignant transformation. In cancer, however, p38α is co‐opted to drive context‐dependent proliferation and dissemination. p38α also supports key functions in cells of the tumor microenvironment, including fibroblasts, myeloid cells, and T lymphocytes.
Angel R. Nebreda
wiley +1 more source
Correlation of the differential expression of PIK3R1 and its spliced variant, p55α, in pan‐cancer
Molecular Oncology, EarlyView.PIK3R1 undergoes alternative splicing to generate the isoforms, p85α and p55α. By combining large patient datasets with laboratory experiments, we show that PIK3R1 spliced variants shape cancer behavior. While tumors lose the protective p85α isoform, p55α is overexpressed, changes linked to poorer survival and more pronounced in African American ...
Ishita Gupta +10 more
wiley +1 more source
Normalisation & Equivalence in Proof Theory & Type Theory
, 2006 At the heart of the connections between Proof Theory and Type Theory, the Curry-Howard correspondence provides proof-terms with computational features and equational theories, i.e. notions of normalisation and equivalence. This dissertation contributes to extend its framework in the directions of proof-theoretic formalisms (such as sequent calculus ...
openaire +3 more sources
Tumour–host interactions in Drosophila: mechanisms in the tumour micro‐ and macroenvironment
Molecular Oncology, EarlyView.This review examines how tumour–host crosstalk takes place at multiple levels of biological organisation, from local cell competition and immune crosstalk to organism‐wide metabolic and physiological collapse. Here, we integrate findings from Drosophila melanogaster studies that reveal conserved mechanisms through which tumours hijack host systems to ...
José Teles‐Reis, Tor Erik Rusten
wiley +1 more source
Hammer for Coq: Automation for Dependent Type Theory. [PDF]
J Autom Reason, 2018 Czajka Ł, Kaliszyk C.
europepmc +1 more source