Results 111 to 120 of about 2,879,484 (330)

Multirole logic and multiparty channels [PDF]

, 2017
We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on the power set of some underlying set (of roles), and the notion of negation is generalized to endomorphisms on this underlying set. In
Wu, Hanwen, Xi, H.
core  

Cytoplasmic p21 promotes stemness of colon cancer cells via activation of the NFκB pathway

Molecular Oncology, EarlyView.
Cytoplasmic p21 promotes colorectal cancer stem cell (CSC) features by destabilizing the NFκB–IκB complex, activating NFκB signaling, and upregulating BCL‐xL and COX2. In contrast to nuclear p21, cytoplasmic p21 enhances spheroid formation and stemness transcription factor CD133.
Arnatchai Maiuthed, Kerstin Huebner, Katharina Erlenbach‐Wuensch, Chuanpit Hampel, Daniela Thalheim, Adriana Vial‐Roehe, Bodee Nutho, Susanne Merkel, Arndt Hartmann, Pithi Chanvorachote, Regine Schneider‐Stock   +10 more
wiley   +1 more source

Orthogonality and Boolean Algebras for Deduction Modulo [PDF]

, 2011
Originating from automated theorem proving, deduction modulo removes computational arguments from proofs by interleaving rewriting with the deduction process.
Brunel, Alois, Hermant, Olivier, Houtmann, Clement   +2 more
core   +2 more sources

Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion [PDF]

, 2020
Norihiro Kamide
openalex   +1 more source

Strength through diversity: how cancers thrive when clones cooperate

Molecular Oncology, EarlyView.
Intratumor heterogeneity can offer direct benefits to the tumor through cooperation between different clones. In this review, Kuiken et al. discuss existing evidence for clonal cooperativity to identify overarching principles, and highlight how novel technological developments could address remaining open questions.
Marije C. Kuiken, Maartje Witsen, Emile E. Voest, Krijn K. Dijkstra   +3 more
wiley   +1 more source

Detection of circulating tumor DNA in colorectal cancer patients using a methylation‐specific droplet digital PCR multiplex

Molecular Oncology, EarlyView.
We developed a cost‐effective methylation‐specific droplet digital PCR multiplex assay containing tissue‐conserved and tumor‐specific methylation markers. The assay can detect circulating tumor DNA with high accuracy in patients with localized and metastatic colorectal cancer.
Luisa Matos do Canto, Louise Raunkilde, Jan Lindebjerg, Mads Malik Aagaard, Christina Therkildsen, Jakob Kleif, Lars Henrik Jensen, Torben Frøstrup Hansen, Rikke Fredslund Andersen   +8 more
wiley   +1 more source

Linear Abelian Modal Logic

Bulletin of the Section of Logic
A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of
Hamzeh Mohammadi
doaj   +1 more source

Syntactic cut-elimination and backward proof-search for tense logic via\n linear nested sequents (Extended version) [PDF]

, 2019
Rajeev Goré, Björn Lellmann
openalex   +1 more source

Exploiting metabolic adaptations to overcome dabrafenib treatment resistance in melanoma cells

Molecular Oncology, EarlyView.
We show that dabrafenib‐resistant melanoma cells undergo mitochondrial remodeling, leading to elevated respiration and ROS production balanced by stronger antioxidant defenses. This altered redox state promotes survival despite mitochondrial damage but renders resistant cells highly vulnerable to ROS‐inducing compounds such as PEITC, highlighting redox
Silvia Eller, Susanne Ebner, Carmen Haselrieder, Julia K. Günther, Astrid Drasche, Sophie Strich, Chiara Volani, Andrea Medici, Aleksandar Nikolajevic, Alex Deltedesco, Johannes E. Sigmund, Michael J. Blumer, Martin Hermann, Johanna Vanacker, Gerald Brandacher, Eduard Stefan, Omar Torres‐Quesada, Jakob Troppmair   +17 more
wiley   +1 more source

The cut elimination theorem in the unary second order language [PDF]

, 1966
Mitsuru Yasuhara
openalex   +1 more source