Results 71 to 80 of about 4,463,103 (324)

PYCR1 inhibition in bone marrow stromal cells enhances bortezomib sensitivity in multiple myeloma cells by altering their metabolism

Molecular Oncology, EarlyView.
This study investigated how PYCR1 inhibition in bone marrow stromal cells (BMSCs) indirectly affects multiple myeloma (MM) cell metabolism and viability. Culturing MM cells in conditioned medium from PYCR1‐silenced BMSCs impaired oxidative phosphorylation and increased sensitivity to bortezomib.
Inge Oudaert, Lauren van den Broecke, Osman Aksoy, Judith Lind, Sonia Vallet, Arne Van der Vreken, Gamze Ates, Ann Massie, Ken Maes, Kim De Veirman, Elke De Bruyne, Karin Vanderkerken, Klaus Podar, Eline Menu   +13 more
wiley   +1 more source

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root

Моделирование и анализ информационных систем, 2019
For many years, automotive embedded systems have been validated only by testing. In the near future, Advanced Driver Assistance Systems (ADAS) will take a greater part in the car’s software design and development.
Vassil Todorov, Safouan Taha, Frederic Boulanger, Armando Hernandez   +3 more
doaj   +1 more source

Preface of the special issue on the conference on formal methods in computer aided design 2018 [PDF]

, 2021
Nikolaj Bjørner, Arie Gurfinkel
openalex   +1 more source

Formal Methods for Adaptive Control of Dynamical Systems

, 2017
We develop a method to control discrete-time systems with constant but initially unknown parameters from linear temporal logic (LTL) specifications. We introduce the notions of (non-deterministic) parametric and adaptive transition systems and show how ...
Belta, Calin, Sadraddini, Sadra
core   +1 more source

In vitro properties of patient serum predict clinical outcome after high dose rate brachytherapy of hepatocellular carcinoma

Molecular Oncology, EarlyView.
Following high dose rate brachytherapy (HDR‐BT) for hepatocellular carcinoma (HCC), patients were classified as responders and nonresponders. Post‐therapy serum induced increased BrdU incorporation and Cyclin E expression of Huh7 and HepG2 cells in nonresponders, but decreased levels in responders.
Lukas Salvermoser, Jan Niklas Schäfer, Shraga Nahum Goldberg, Philipp Maximilian Kazmierczak, Moritz Nikolaus Gröper, Philipp Franz Linden, Elif Öcal, Tanja Burkard, Stefanie Corradini, Najib Ben Khaled, Moritz Wildgruber, Max Seidensticker, Jens Ricke, Matthias Stechele, Marianna Alunni‐Fabbroni   +14 more
wiley   +1 more source

Formal Research Methods in Political Science and Comparative Politics: The Prospects of MGIMO-University Political Science School

Сравнительная политика, 2015
The article is devoted to the peculiarities of the formal research methods in political science and the use of such methods in Russian comparative political and international studies, in particular at MGIMO-University.
Ivan Nikolaevich Timofeyev
doaj   +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

From Temporal Models to Property-Based Testing

, 2017
This paper presents a framework to apply property-based testing (PBT) on top of temporal formal models. The aim of this work is to help software engineers to understand temporal models that are presented formally and to make use of the advantages of ...
Alzahrani, Nasser, Blech, Jan Olaf, Spichkova, Maria   +2 more
core   +1 more source

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

Decision Support Within Digital Twins in Manufacturing Ecosystems: A Review

IET Collaborative Intelligent Manufacturing
The dynamic nature of manufacturing and evolving customer demands require agile adaptation within Manufacturing Ecosystems—interconnected networks of enterprises and institutions collaborating to develop market—oriented solutions.
Lucía Gálvez del Postigo Gallego, Sanja Lazarova‐Molnar, Alejandro del Real Torres, Luis E. Acevedo Galicia   +3 more
doaj   +1 more source