Results 171 to 180 of about 15,159 (278)
A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems [PDF]
Ludovico Fusco, Alessandro Aldini
openalex +1 more source
Induction and Co-induction in Sequent Calculus [PDF]
Alwen Tiu, Alberto Momigliano
openalex +1 more source
Methods to improve antibody–drug conjugate (ADC) treatment durability in cancer therapy are needed. We utilized ADCs and immune‐stimulating antibody conjugates (ISACs), which are made from two non‐competitive antibodies, to enhance the entry of toxic payloads into cancer cells and deliver immunostimulatory agents into immune cells.
Tiexin Wang +3 more
wiley +1 more source
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
A sequent calculus with labels for Public Announcement Logic
Philippe Balbiani +2 more
openalex +1 more source
Tumor mutational burden as a determinant of metastatic dissemination patterns
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

