Results 131 to 140 of about 3,649,820 (385)

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, Yan Tao, Shan Wu, Yuwen Gong, Youli Zhao, Shaomin Niu, Hui Cheng, You Mu, Na Xu, Ying Wang, Jianzhong Lu, Shanhui Liu, Lanlan Li   +12 more
wiley   +1 more source

Formal and efficient verification techniques for Real-Time UML models [PDF]

, 2006
The real-time UML profile TURTLE has a formal semantics expressed by translation into a timed process algebra: RT-LOTOS. RTL, the formal verification tool developed for RT-LOTOS, was first used to check TURTLE models against design errors.
Courtiat, Jean-Pierre, Sadani, Tarek, Saqui-Sannes, Pierre de   +2 more
core   +1 more source

Blocking the voltage‐gated sodium channel hNav1.5 as a novel pH‐dependent mechanism of action for tamoxifen

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, Michael Fauler, Thomas Zimmer, Bettina Jungwirth, Hubert Schrezenmeier, David Alexander Christian Messerer   +5 more
wiley   +1 more source

Formal Verification of Full-Wave Rectifier: A Case Study

, 2009
We present a case study of formal verification of full-wave rectifier for analog and mixed signal designs. We have used the Checkmate tool from CMU [1], which is a public domain formal verification tool for hybrid systems.
Jamadagni, H S, Lata, Kusum
core   +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, Lisa Lif, Husam Oda, Alexandra Lorenzzi de Melo, David Lindquist, Håkan Hedman   +5 more
wiley   +1 more source

Timing verification by formal signal interaction modeling in a multi-level timing simulator [PDF]

, 1989
J. Benkoski, Andrzej J. Strojwas
openalex   +1 more source

Formal verification confirms the role of p53 protein in cell fate decision mechanism. [PDF]

Theory Biosci, 2023
Mahmoud EA, Herajy M, Ziedan IE, Shehata HI.   +3 more
europepmc   +1 more source

Microbial profile of the appendix niche in acute appendicitis: a novel sampling approach

FEBS Open Bio, EarlyView.
This study utilized a novel sampling method, ERAT (i.e. endoscopic retrograde appendicitis treatment)‐guided lumen aspiration, to obtain samples from the appendix, and shotgun metagenomic sequencing was performed for in situ characterization of the appendix microbiome in patients with acute appendicitis.
Huimin Ma, Mingfei Wang, Yanhu Feng, Wanqi Zhang, Wenbo Wang, Yanfeng Xie, Guixiang Kong, Jie Feng, Pengfei Wang, Qi Wang, Xiaojun Huang   +10 more
wiley   +1 more source

Verification of proofs for the B formal development process [PDF]

, 1993
Babak Dehbonei, Fernando Mejia
openalex   +1 more source

A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]

Sensors (Basel), 2023
Bezerra WR, Martina JE, Westphall CB.
europepmc   +1 more source