Results 91 to 100 of about 34,882,646 (291)

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: practical applications and foundations: Editorial. [PDF]

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

Phenotypic and genotypic characterization of single circulating tumor cells in the follow‐up of high‐grade serous ovarian cancer

Molecular Oncology, EarlyView.
Single circulating tumor cells (sCTCs) from high‐grade serous ovarian cancer patients were enriched, imaged, and genomically profiled using WGA and NGS at different time points during treatment. sCTCs revealed enrichment of alterations in Chromosomes 2, 7, and 12 as well as persistent or emerging oncogenic CNAs, supporting sCTC identity.
Carolin Salmon, Rui P. L. Neves, Nikolas H. Stoecklein, Sven‐Thorsten Liffers, Jens Siveke, Jan D. Kuhlmann, Pauline Wimberger, Paul Buderath, Rainer Kimmig, Sabine Kasimir‐Bauer   +9 more
wiley   +1 more source

Correlation of the differential expression of PIK3R1 and its spliced variant, p55α, in pan‐cancer

Molecular Oncology, EarlyView.
PIK3R1 undergoes alternative splicing to generate the isoforms, p85α and p55α. By combining large patient datasets with laboratory experiments, we show that PIK3R1 spliced variants shape cancer behavior. While tumors lose the protective p85α isoform, p55α is overexpressed, changes linked to poorer survival and more pronounced in African American ...
Ishita Gupta, Yang Song, Madeleine Ndahayo, Anirudh Saxena, Theresa Guo, Dylan Z. Kelley, Jessica Gore, Andrew Hennigan, Alexa Anderson, John C. Papadimitriou, Daria A. Gaykalova   +10 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

Basroparib inhibits YAP‐driven cancers by stabilizing angiomotin

Molecular Oncology, EarlyView.
Basroparib, a selective tankyrase inhibitor, suppresses Wnt signaling and attenuates YAP‐driven oncogenic programs by stabilizing angiomotin. It promotes AMOT–YAP complex formation, enforces cytoplasmic YAP sequestration, inhibits YAP/TEAD transcription, and sensitizes YAP‐active cancers, including KRAS‐mutant colorectal cancer, to MEK inhibition.
Young‐Ju Kwon, Dong Young Kim, Yuna Kim, Uk‐Il Kim, Jae‐Sung Kim   +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

Genetic attenuation of ALDH1A1 increases metastatic potential and aggressiveness in colorectal cancer

Molecular Oncology, EarlyView.
Aldehyde dehydrogenase 1A1 (ALDH1A1) is a cancer stem cell marker in several malignancies. We established a novel epithelial cell line from rectal adenocarcinoma with unique overexpression of this enzyme. Genetic attenuation of ALDH1A1 led to increased invasive capacity and metastatic potential, the inhibition of proliferation activity, and ultimately ...
Martina Poturnajova, Zuzana Kozovska, Ondrej Pos, Kristina Pavlov, Sachin Gulati, Peter Makovicky, Kristina Jakic, Monika Burikova, Eva Sedlackova, Barbora Svitkova, Silvia Tyciakova, Vojtech Bystry, Nicolas Blavet, Boris Tichy, Matej Hrnciar, Jaroslav Budis, Miroslav Tomas, Peter Dubovan, Georgina Kolnikova, Veronika Repaska, Nikoleta Mojzesova, Eva Zomborska, Daniel Pindak, Michal Mego, Tomas Szemes, Miroslava Matuskova   +25 more
wiley   +1 more source

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

Form Methods Syst Des, 2021
Ter Beek MH, McIver A.
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, Gabor Balázsi, Thomas MacCarthy, Scott Powers   +9 more
wiley   +1 more source