Results 141 to 150 of about 6,236,903 (286)
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
Molecular Oncology, EarlyView.Ixazomib inhibits proteasome‐mediated degradation of topoisomerase I induced by irinotecan, thereby restoring drug sensitivity and promoting tumor cell death in colorectal cancer. Irinotecan, a topoisomerase I (topoI) inhibitor, is widely used for colorectal cancer, but resistance remains a major clinical challenge.
Yuho Ebata +10 more
wiley +1 more source
Hammer for Coq: Automation for Dependent Type Theory. [PDF]
J Autom Reason, 2018 Czajka Ł, Kaliszyk C.
europepmc +1 more source
Molecular cancer prevention: Intercepting disease
Molecular Oncology, EarlyView.Oncological practice must evolve, from treating established tumours to proactive cancer interception before clinical manifestation. This will require mechanistic insight into tumour initiation, validated biomarkers of early disease development and redesigned clinical trials, enabling cancer interception to become a core pillar of oncology with the ...
Charlotte Grieco +2 more
wiley +1 more source
Molecular Oncology, EarlyView.Both cg12821679MAPRE3 methylation and MAPRE3 expression are significantly associated with overall survival (OS) of non‐small cell lung cancer. Meanwhile, MAPRE3 expression significantly modified the effect of smoking cessation on OS. Smoking cessation benefits OS merely for patients with high MAPRE3 expression.
Chao Chen +14 more
wiley +1 more source
Loss of IGF‐1R impairs DNA‐PKcs recruitment to chromatin leading to defective end‐joining
Molecular Oncology, EarlyView.IGF‐1R promotes radioresistance by facilitating DNA‐PKcs recruitment to chromatin, enabling non‐homologous end‐joining (NHEJ) repair of double‐strand breaks. Inhibition or loss of IGF‐1R disrupts this recruitment to damage sites, driving compensatory reliance on microhomology‐mediated end‐joining (MMEJ) repair.
Matthew O. Ellis +3 more
wiley +1 more source
FEBS Open Bio, EarlyView.Chemoresistance in bladder cancer: Macrophage recruitment associated with CXCL1, CXCL5 and CXCL8 expression is characteristic of Gemcitabine/Cisplatin (Gem/Cis) Non‐Responder tumors (right side) while Responder tumors did not show substantial tumor‐stromal crosstalk (left side). All biological icons are attributed to Bioicons: carcinoma, cancerous‐cell‐
Sophie Leypold +11 more
wiley +1 more source
FEBS Open Bio, EarlyView.A tri‐culture of iPSC‐derived neurons, astrocytes, and microglia treated with ferroptosis inducers as an Induced ferroptosis model was characterized by scRNA‐seq, cell survival, and cytokine release assays. This analysis revealed diverse microglial transcriptomic changes, indicating that the system captures key aspects of the complex cellular ...
Hongmei Lisa Li +6 more
wiley +1 more source
FEBS Open Bio, EarlyView.ZFAS1 is a lncRNA promoting cell proliferation and migration, exhibiting high expression in various cancers. It is conserved, widely expressed, and produces multiple splice variants with unclear roles. We identified several splice variants in hepatocyte models, and found that inhibiting or suppressing regulators of the unfolded protein response (PERK ...
Sébastien Soubeyrand +2 more
wiley +1 more source