Results 71 to 80 of about 115,357 (261)

Dimethyl fumarate combined with cisplatin at subcytotoxic doses sensitizes cervical cancer toward ferroptosis and apoptosis through GSH restriction and p53 (re)activation

Molecular Oncology, EarlyView.
Dimethyl fumarate (DMF) reduces growth of HPV‐positive cervical cancer spheroids and induces ferroptosis in cervical cancer cells via blocking SLC7A11/Glutathione (GSH) axis. Combination of subcytotoxic doses of DMF and cisplatin (CDDP) further suppresses spheroid growth and drives cell death in 2D culture models.
Carolina Punziano, Giuseppina Minopoli, Simona Romano, Laura Marrone, Katia Aquilano, Maria Lina Tornesello, Raffaella Faraonio   +6 more
wiley   +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

Formal verification in a commercial setting [PDF]

Proceedings of the 34th annual conference on Design automation conference - DAC '97, 1997
This tutorial addresses the following questions: why do formal verification? who is doing it today? what are they doing? how are they doing it? what about the future?
openaire   +1 more source

Network divergence analysis identifies adaptive gene modules and two orthogonal vulnerability axes in pancreatic cancer

Molecular Oncology, EarlyView.
Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson, Lyanne Delgado‐Coka, Natalia Marchenko, Luisa F. Escobar‐Hoyos, Kenneth R. Shroyer, Alisa Yurovsky, Trey Ideker, Gabor Balázsi, Thomas MacCarthy, Scott Powers   +9 more
wiley   +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

Java Bytecode Verification: Algorithms and Formalizations [PDF]

Journal of Automated Reasoning, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

RIPK4 function interferes with melanoma cell adhesion and metastasis

Molecular Oncology, EarlyView.
RIPK4 promotes melanoma growth and spread. RIPK4 levels increase as skin lesions progress to melanoma. CRISPR/Cas9‐mediated deletion of RIPK4 causes melanoma cells to form less compact spheroids, reduces their migratory and invasive abilities and limits tumour growth and dissemination in mouse models.
Norbert Wronski, Sławomir Lasota, Ewelina Madej, Anna A. Brożyna, Małgorzata Szczygieł, Agnieszka Harazin‐Lechowska, Jan Czerbniak, Janusz Rys, Jaroslaw Czyz, Agnieszka Wolnicka‐Glubisz   +9 more
wiley   +1 more source

Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach. [PDF]

Front Robot AI, 2022
Foughali M, Zuepke A.
europepmc   +1 more source

Pre‐analytical optimization of cell‐free DNA and extracellular vesicle‐derived DNA for mutation detection in liquid biopsies

Molecular Oncology, EarlyView.
Pre‐analytical handling critically determines liquid biopsy performance. This study defines practical best‐practice conditions for cell‐free DNA (cfDNA) and extracellular vesicle–derived DNA (evDNA), showing how processing time, storage conditions, tube type, and plasma input volume affect DNA integrity and mutation detection.
Jonas Dohmen, Lucrezia De Santis, Bret M. Stephens, Vincent Bernard, Jörg C. Kalff, Lara Braun, Phillipp Leyendecker, Johannes Röttgen, Daniel Weissinger, Anirban Maitra, Paola A. Guerrero, Alexander Semaan   +11 more
wiley   +1 more source

StabilEdge, Formal Verification of Edge AI Applications

IEEE Access
This paper addresses the critical need for AI trustworthiness in smart IoT systems by focusing on the stability of Deep Neural Networks (DNNs) in Edge AI. State-of-the-art model checkers guarantee feasibility of a single stability analysis.
Luca Lazzaroni, Riccardo Berta, Vafali Soltanmuradov, David Martin Gomez, Francesco Bellotti   +4 more
doaj   +1 more source