Results 91 to 100 of about 1,494,052 (317)
Microfluidic electro‐viscoelastic manipulation of extracellular vesicles
FEBS Open Bio, EarlyView.The electro‐viscoelastic manipulation as a potential method for separation of particles based on size. The particles introduced as a sheath flow migrate to the channel center under the influence of simultaneously applied electric field and pressure driven flow.
Seyedamirhosein Abdorahimzadeh +7 more
wiley +1 more source
Two‐way inhibition of PAX5 transcriptional activity by PAX5::CBFA2T3
FEBS Open Bio, EarlyView.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
Preface - 22nd Brazilian Symposium on Formal Methods - SBMF 2019. [PDF]
Sci Comput Program, 2021 Duran A, Wadler P.
europepmc +1 more source
Ro 31‐8220 suppresses bladder cancer progression via enhancing autophagy in vitro and in vivo
FEBS Open Bio, EarlyView.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
Teaching Formal Methods in Context
, 2004 The Software Engineering Programme at Oxford teaches formal methods as an integral part of its programme of professional education in software engineering. This paper explains how the methods are taught—in the context of emerging trends in software development, and in the context of existing practice—and how their use is promoted through course design ...
Davies, J, Simpson, A, Martin, A
openaire +5 more sources
On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis. [PDF]
Diagnostics (Basel), 2021 Santone A +4 more
europepmc +1 more source
FEBS Open Bio, EarlyView.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
Early Diagnosis of Liver Metastases from Colorectal Cancer through CT Radiomics and Formal Methods: A Pilot Study. [PDF]
J Clin Med, 2021 Rocca A +12 more
europepmc +1 more source
Preliminary summary: FM89 assessment of formal methods for trustworthy computer systems [PDF]
, 1989 S. Gerhart
openalex +1 more source
High LRIG1 expression predicts lymph node metastasis in patients with uterine cervical cancer
FEBS Open Bio, EarlyView.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