Results 91 to 100 of about 4,235,689 (341)

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

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

Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification

IEEE Access, 2019
Currently, there are 3.1 million American men affected by prostate cancer. Early detection represents the only way to safe lives. To evaluate a prostate cancer, the most widespread rank is the so-called Gleason score, based on the microscopic cancer ...
Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone   +3 more
doaj   +1 more source

Call Graph and Model Checking for Fine-Grained Android Malicious Behaviour Detection

Applied Sciences, 2020
The increasing diffusion of mobile devices, widely used for critical tasks such as the transmission of sensitive and private information, corresponds to an increasing need for methods to detect malicious actions that can undermine our data.
Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone   +3 more
doaj   +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

The ACCEPTance of automation: refining circulating tumor cells enumeration for improved metastatic colorectal cancer prognosis

Molecular Oncology, EarlyView.
This study highlights the potential of automated enumeration using the ACCEPT software to refine circulating tumor cell (CTC) detection in metastatic colorectal cancer (mCRC). The automated method demonstrates improved accuracy and reduced variability compared to the manual approach.
Michela De Meo, Marco Siringo, Alessandro Vici, Ann Zeuner, Orietta Gandini, Paola Gazzaniga, Chiara Nicolazzo   +6 more
wiley   +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

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

Realising the Benefits of Formal Methods [PDF]

, 2005
JUCS - Journal of Universal Computer Science Volume Nr.
openaire   +2 more sources

Characterizing epithelial‐mesenchymal transition‐linked heterogeneity in breast cancer circulating tumor cells at a single‐cell level

Molecular Oncology, EarlyView.
In over 50% of non‐metastatic breast cancer patients, circulating tumor cells (CTCs) along the whole epithelial‐mesenchymal transition spectrum are detected. Total CTC number and individual phenotypes relate to aggressive disease characteristics, including lymph node involvement and higher tumor proliferation. At the single‐cell level, mesenchymal CTCs
Justyna Topa, Julia Richert, Tomasz Stokowy, Alicja Staśczak, Mariusz Szajewski, Maciej Ciesielski, Petra M. Grešner, Bartłomiej Tomasik, Łukasz Arcimowicz, Agnieszka Stankiewicz, Grażyna Suchodolska, Elżbieta Senkus, Wiesław Kruszewski, Anna J. Żaczek, Aleksandra Markiewicz   +14 more
wiley   +1 more source