Results 161 to 170 of about 192,432 (282)

A robust and verifiable federated learning framework for preventing data poisonous threats in e-health. [PDF]

Front Public Health
Alruwaili E, Moulahi T.
europepmc   +1 more source

Formally Verified Verifiable Group Generators [PDF]

Mina A. Cyrus, Mukesh Tiwari
openaire   +1 more source

Verifying Temporal Properties Using Deductive Verifiers

, 2019
Formal verification is an area of theoretical computer science where mathematical logic is used to prove that a program behaves in a certain way. With the methods in formal verification, you can prove that the program follows some given specification and thereby behaves in the desired way. The area is largely split up into two distinct parts. One deals
Amilon, Jesper, Lindeberg, Axel
openaire   +1 more source

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

Targeted modulation of IGFL2‐AS1 reveals its translational potential in cervical adenocarcinoma

Molecular Oncology, EarlyView.
Cervical adenocarcinoma patients face worse outcomes than squamous cell carcinoma counterparts despite similar treatment. The identification of IGFL2‐AS1's differential expression provides a molecular basis for distinguishing these histotypes, paving the way for personalized therapies and improved survival in vulnerable populations globally.
Ricardo Cesar Cintra, Lucca Paolo Hsu Helmich, Daniel Rodrigues de Bastos, Laura Sichero, Patrícia Savio de Araujo‐Souza, Fabio Passetti, Luisa Lina Villa   +6 more
wiley   +1 more source

Retraction notice to "Development data associated with effects of stiffness softening of 3D-TIPS elastomer nanohybrid scaffolds on tissue ingrowth, vascularization and inflammation in vivo" [Data in Brief 22(2019) 885 - 902]. [PDF]

Data Brief
Wu L, Magaz A, Maughan E, Oliver N, Darbyshire A, Loizidou M, Emberton M, Birchall M, Song W.   +8 more
europepmc   +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, Gábor Balázsi, Thomas MacCarthy, Scott Powers   +9 more
wiley   +1 more source

Retraction Note: Preclinical studies of toxicity and anti-cholangiocarcinoma activity of the standardized capsule formulation of atractylodes lancea (Thunb.) DC. [PDF]

BMC Complement Med Ther
Plengsuriyakarn T, Kotawong K, Karbwang J, Na-Bangchang K.   +3 more
europepmc   +1 more source

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, Gilar Gorji‐bahri, Lejla Gradjan, Julia Zajac, Kacper Gil, Yvonne Thokozile Nduku, Anna M. Blom   +6 more
wiley   +1 more source

The permanence paradox in decentralized storage and the mutable nature of scientific knowledge. [PDF]

Sci Data
Tamang T.
europepmc   +1 more source