Results 91 to 100 of about 4,463,103 (324)

Formal methods: practical applications and foundations: Editorial. [PDF]

Form Methods Syst Des, 2022
Ter Beek MH, McIver A.
europepmc   +1 more source

Strength through diversity: how cancers thrive when clones cooperate

Molecular Oncology, EarlyView.
Intratumor heterogeneity can offer direct benefits to the tumor through cooperation between different clones. In this review, Kuiken et al. discuss existing evidence for clonal cooperativity to identify overarching principles, and highlight how novel technological developments could address remaining open questions.
Marije C. Kuiken, Maartje Witsen, Emile E. Voest, Krijn K. Dijkstra   +3 more
wiley   +1 more source

Making Sense of Projects—Developing Project Portfolio Management Capabilities

Schmalenbach Journal of Business Research
Project management and project portfolio management (PPM) foster competitiveness by facilitating the implementation of organizational strategy. Although organizations often struggle to develop PPM capabilities, the academic community does not have an in ...
Frederik Ahlemann, Peder Bergan, Erik Karger, Malte Greulich, Stefan Reining   +4 more
doaj   +1 more source

Formal-Guided Fuzz Testing: Targeting Security Assurance From Specification to Implementation for 5G and Beyond

IEEE Access
Softwarization and virtualization in 5G and beyond necessitate thorough testing to ensure the security of critical infrastructure and networks. This involves identifying vulnerabilities and unintended emergent behaviors, from protocol designs to their ...
Jingda Yang, Sudhanshu Arya, Ying Wang
doaj   +1 more source

Formal methods for test case generation [PDF]

, 2011
The invention relates to the use of model checkers to generate efficient test sets for hardware and software systems. The method provides for extending existing tests to reach new coverage targets; searching *to* some or all of the uncovered targets in ...
De Moura, Leonardo Mendonga, Hamon, Gregoire, Rushby, John   +2 more
core   +1 more source

Transcriptional network analysis of PTEN‐protein‐deficient prostate tumors reveals robust stromal reprogramming and signs of senescent paracrine communication

Molecular Oncology, EarlyView.
Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice, Jose I. Lopez, Aitziber Ugalde‐Olano, Maite Zufiaurre, Ianire Astobiza, Natalia Martin‐Martin, Laura Bozal‐Basterra, Saioa Garcia‐Longarte, Amaia Zabala‐Letona, Sofia Rey, Aida Santos‐Martin, Miguel Unda, Ana Loizaga‐Iriarte, Mariona Graupera, Paolo Nuciforo, Arkaitz Carracedo, Isabel Mendizabal   +16 more
wiley   +1 more source

Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data. [PDF]

PLoS One, 2023
Klein J, Phung H, Hajnal M, Šafránek D, Petrov T.   +4 more
europepmc   +1 more source

Next‐generation proteomics improves lung cancer risk prediction

Molecular Oncology, EarlyView.
This is one of very few studies that used prediagnostic blood samples from participants of two large population‐based cohorts. We identified, evaluated, and validated an innovative protein marker model that outperformed an established risk prediction model and criteria employed by low‐dose computed tomography in lung cancer screening trials.
Megha Bhardwaj, Clara Frick, Ben Schöttker, Bernd Holleczek, Hermann Brenner   +4 more
wiley   +1 more source

Predicting risk of metastases and recurrence in soft-tissue sarcomas via Radiomics and Formal Methods. [PDF]

JAMIA Open, 2023
Casale R, Varriano G, Santone A, Messina C, Casale C, Gitto S, Sconfienza LM, Bali MA, Brunese L.   +8 more
europepmc   +1 more source

Exploiting metabolic adaptations to overcome dabrafenib treatment resistance in melanoma cells

Molecular Oncology, EarlyView.
We show that dabrafenib‐resistant melanoma cells undergo mitochondrial remodeling, leading to elevated respiration and ROS production balanced by stronger antioxidant defenses. This altered redox state promotes survival despite mitochondrial damage but renders resistant cells highly vulnerable to ROS‐inducing compounds such as PEITC, highlighting redox
Silvia Eller, Susanne Ebner, Carmen Haselrieder, Julia K. Günther, Astrid Drasche, Sophie Strich, Chiara Volani, Andrea Medici, Aleksandar Nikolajevic, Alex Deltedesco, Johannes E. Sigmund, Michael J. Blumer, Martin Hermann, Johanna Vanacker, Gerald Brandacher, Eduard Stefan, Omar Torres‐Quesada, Jakob Troppmair   +17 more
wiley   +1 more source