Results 231 to 240 of about 2,188,915 (311)

Formal verification of safety properties of epoch processing in Beacon Chain. [PDF]

Sci Rep
Rashid M, Rasool I, Afzaal H, Zafar NA.
europepmc   +1 more source

Verification of the equivalent stiffness method on the example of a model study of a two-span folding beam based on fixed supports

, 2018
Jan Marszałek, Mieczysław Piechota
openalex   +1 more source

Adaptaquin is selectively toxic to glioma stem cells through disruption of iron and cholesterol metabolism

Molecular Oncology, EarlyView.
Adaptaquin selectively kills glioma stem cells while sparing differentiated brain cells. Transcriptomic and proteomic analyses show Adaptaquin disrupts iron and cholesterol homeostasis, with iron chelation amplifying cytotoxicity via cholesterol depletion, mitochondrial dysfunction, and elevated reactive oxygen species.
Adrien M. Vaquié, Davod R. Shah, Eliane E. S. Brechbühl, Michael McNicholas, Zhaoyang Xu, John H. Stockley, Laura Morcom, Diana Gold Diaz, Gemma C. Girdler, Rachel V. Seear, Gabriel Balmus, Rajiv R. Ratan, Harry Bulstrode, James A. Nathan, Manav Pathania, Kevin M. Brindle, David H. Rowitch   +16 more
wiley   +1 more source

A Quantum Proxy Signature Scheme Without Restrictions on the Identity and Number of Verifiers. [PDF]

Entropy (Basel)
Xiong S.
europepmc   +1 more source

Development and verification of engineering design iteration models

, 1992
Robert Paul Smith
openalex   +1 more source

Sierra Structural Dynamics Code Verification Plan

, 2018
Nathan Crane
openalex   +2 more sources

Patient‐specific pharmacogenomics demonstrates xCT as predictive therapeutic target in colon cancer with possible implications in tumor connectivity

Molecular Oncology, EarlyView.
This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker, Keren Zohar, Martin Böttcher, Thomas Wartmann, Henry Freudenstein, Maximilian Doelling, Mihailo Andric, Wenjie Shi, Or Kakhlon, Katrin Hippe, Beatrix Jahnke, Dimitrios Mougiakakos, Franziska Baenke, Daniel Stange, Roland S. Croner, Michal Linial, Ulf D. Kahlert   +16 more
wiley   +1 more source

KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models. [PDF]

PLoS One
Wang Z, Zhu X, Wang H, Yu Y, Lan Y.
europepmc   +1 more source

Predictors of response and rational combinations for the novel MCL‐1 inhibitor MIK665 in acute myeloid leukemia

Molecular Oncology, EarlyView.
This study characterizes the responses of primary acute myeloid leukemia (AML) patient samples to the MCL‐1 inhibitor MIK665. The results revealed that monocytic differentiation is associated with MIK665 sensitivity. Conversely, elevated ABCB1 expression is a potential biomarker of resistance to the treatment, which can be overcome by the combination ...
Joseph Saad, Rhiannon Newman, Elmira Khabusheva, Sofia Aakko, Eric Durand, Mahesh Tambe, Heikki Kuusanmäki, Alun Parsons, Juho J. Miettinen, Komal Kumar Javarappa, Ezgi June Olgac, Nemo Ikonen, Mika Kontro, Kimmo Porkka, Heiko Maacke, Janghee Woo, Ensar Halilovic, Caroline A. Heckman   +17 more
wiley   +1 more source