Results 131 to 140 of about 88,794 (289)
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 +6 more
wiley +1 more source
Behavioral Consistency Extraction for Face Verification [PDF]
, 2009 Hui Fang 0003, Nicholas Costen
openaire +1 more source
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 +9 more
wiley +1 more source
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
Formal verification provides critical security assurances for neural networks, yet its practical application suffers from the long verification time. This work introduces a novel method for training verification-friendly neural networks, which are robust,
Song, Fu +6 more
core +1 more source
AUTOMATIC VERIFICATION OF DIRECTORY-BASED CONSISTENCY PROTOCOLS WITH GRAPH CONSTRAINTS
, 2011 We propose a symbolic verification method for directory-based consistency protocols working for an arbitrary number of controlled resources and competing processes. We use a graph-based language to specify in a uniform way both client/server interaction
Delzanno, Giorgio +7 more
core +1 more source
Verification of modular secret sharing
Журнал Белорусского государственного университета: Математика, информатика, 2018 In the present paper new scheme of secret verification are constructed. Verification with trusted party participation is conducted with help of an external device, which takes an arbitrary polynomial S(x), input element x0 ∈ Fpn and returns a value ξS(x0)
Maksim M. Vaskouski, Gennadii V. Matveev
doaj
COMP–PMEPA1 axis promotes epithelial‐to‐mesenchymal transition in breast cancer cells
Molecular Oncology, EarlyView.This study reveals that cartilage oligomeric matrix protein (COMP) promotes epithelial‐to‐mesenchymal transition (EMT) in breast cancer. We identify PMEPA1 (protein TMEPAI) as a novel COMP‐binding partner that mediates EMT via binding to the TSP domains of COMP, establishing the COMP–PMEPA1 axis as a key EMT driver in breast cancer.
Konstantinos S. Papadakos +6 more
wiley +1 more source
Fast and Generalized Polynomial Time Memory Consistency Verification
, 2008 . The problem of verifying multi-threaded execution against the memory consistency model of a processor is known to be an NP hard problem. However polynomial time algorithms exist that detect almost all failures in such execution. These are often used in
Charles J. Fleckenstein +3 more
core
An Ontology-based Time Semantic Specification and Verification Approach for Web Service
工程科学与技术, 2009 :To solve the problem that Non-functional property specification & verification in web service (WS) flow has become indispensable,an ontology-based approach was presented for specifying and verifying time constraints consistency in WS flow.
Liu Ru-Juan +3 more
doaj
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 +11 more
wiley +1 more source