Results 91 to 100 of about 3,157,454 (357)
Interaction of class III cellobiose dehydrogenase with lytic polysaccharide monooxygenase
The activity of lytic polysaccharide monooxygenase (LPMO) is supported by its auxiliary enzyme cellobiose dehydrogenase (CDH). The catalytic activity of both enzymes is coupled by electron transfer and a cyclic cascade generating substrates for both enzymes – hydrogen peroxide for LPMO and oxidized and non‐oxidized cellobiose and cello‐oligosaccharide ...
Angela Giorgianni+4 more
wiley +1 more source
Caloric restriction that extends lifespan induces the expression of PGC‐1α and MIPEP in white adipose tissue. In this study, co‐overexpression of Pgc‐1α and Mipep upregulated the gene expression of PHOSPHO1. These findings provide new insights into mitochondria‐related mechanisms underlying the effects of caloric restriction in adipocytes.
Mamiko Ishimatsu+9 more
wiley +1 more source
Two‐way inhibition of PAX5 transcriptional activity by PAX5::CBFA2T3
PAX5::CBFA2T3 (PAX5‐C) is a fusion protein of the B‐cell transcription factor, PAX5, and is found in B‐cell ALL. We propose a putative model of two‐way inhibition of PAX5 transcriptional activity by PAX5‐C. There are two ways of repression by PAX5‐C: DNA‐binding‐dependent way and HDAC‐dependent way, with either being sufficient for the repression. HDAC
Reina Ueno+12 more
wiley +1 more source
Formal verification of the pastry protocol
Pastry ist ein P2P ( peer-to-peer) Algorithmus, der eine verteilte Hashtabelle (DHT) über einem als virtuellen Ring strukturierten Netzwerk realisiert. Knoten-Identifikatoren und Hash-Schlüssel entstammen derselben Menge, und jeder Knoten verwaltet die Schlüssel, die seinem Identifikator am nächsten liegen.
openaire +3 more sources
Formal Verification of Synchronizers [PDF]
Large Systems on Chips (SoC) comprise multiple clock domains, and inter-domain data transfers require synchronization. Synchronizers may fail due to metastability, but when using proper synchronization circuits the probability of such failures can be made negligible.
Ran Ginosar, Tsachy Kapschitz
openaire +2 more sources
Ro 31‐8220 suppresses bladder cancer progression via enhancing autophagy in vitro and in vivo
The pan‐protein kinase C inhibitor Ro‐31‐8220 demonstrates potent anti‐bladder cancer effects both in vitro and in vivo by suppressing migration/invasion, inducing apoptosis and crucially activating autophagy, where blocking autophagy with chloroquine reduces its cell‐killing efficacy, suggesting its promise as a novel therapeutic candidate requiring ...
Shengjun Fu+12 more
wiley +1 more source
Patch‐clamp recordings revealed that tamoxifen inhibits voltage‐gated sodium channels, especially under acidic conditions, both common in metastatic cancer cells. These effects may explain certain antitumor properties of tamoxifen, highlighting a novel mechanism of action beyond its known endocrine effects.
Karl Josef Föhr+5 more
wiley +1 more source
High LRIG1 expression predicts lymph node metastasis in patients with uterine cervical cancer
Lymph node status is crucial in determining treatment for women with early‐stage cervical cancer. We demonstrate that high LRIG1 protein expression in primary tumors can predict lymph node metastases. Our findings support further investigation of LRIG1 as a biomarker to improve staging accuracy and guide treatment decisions in cervical cancer patients.
Pernilla Israelsson+5 more
wiley +1 more source
Formal verification confirms the role of p53 protein in cell fate decision mechanism. [PDF]
Mahmoud EA+3 more
europepmc +1 more source
Towards Formal Verification of ToolBus Scripts [PDF]
ToolBus allows one to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. Tscript was originally designed to enable formal verification, but this option has so far not been explored in any detail.
Fokkink, W.+3 more
openaire +6 more sources