Results 111 to 120 of about 4,235,689 (341)
Formal Methods of Diagnosis in Engineering and Medicine [PDF]
, 1969 A. J. Lerner
openalex +1 more source
Formal methods for test case generation [PDF]
, 2011 The invention relates to the use of model checkers to generate efficient test sets for hardware and software systems. The method provides for extending existing tests to reach new coverage targets; searching *to* some or all of the uncovered targets in ...
De Moura, Leonardo Mendonga +2 more
core +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
Formal methods: practical applications and foundations: Editorial. [PDF]
Form Methods Syst Des, 2021 Ter Beek MH, McIver A.
europepmc +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
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
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
Preface - 22nd Brazilian Symposium on Formal Methods - SBMF 2019. [PDF]
Sci Comput Program, 2021 Duran A, Wadler P.
europepmc +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
A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks
Sensors, 2016 Wireless Sensor Networks (WSNs) are being increasingly adopted in critical applications, where verifying the correct operation of sensor nodes is a major concern. Undesired events may undermine the mission of the WSNs.
Alessandro Testa +3 more
doaj +1 more source