Results 91 to 100 of about 14,914,060 (244)

Inhibition of cyclin‐dependent kinases 12/13 using CT7439 as a treatment for colorectal cancer with CDK12 upregulation

Molecular Oncology, EarlyView.
The proposed mechanism of action for the CDK12/13 inhibitor and cyclin K degrader, CT7439. CDK12/13 inhibition interrupts transcription elongation, leading to increased DNA damage that results in cell death. This agent is a potentially novel treatment option for patients with colorectal cancer. Created in BioRender. Cyclin‐dependent kinase (CDK) 12 and
Wylie K. Watlington, Divya L. Dayanidhi, Mohammad Zokaasadi, John B. Mantyh, Pelumi D. Olawuni, Gabrielle Rupprecht, Jeremy M. Force, Shannon McCall, Ashwani K. Bahl, David S. Hsu, Jason A. Somarelli   +10 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

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

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

Circulating microRNA signatures of cachexia and cancer in Canis familiaris as a comparative oncology model for human disease

Molecular Oncology, EarlyView.
Circulating microRNAs as biomarkers of cachexia and sex‐specific cancer in senior dogs. In 25 client‐owned dogs, four circulating miRNAs (miR‐15a, miR‐15b, miR‐16, miR‐140) were downregulated in cachexia, with miR‐16 the strongest individual biomarker (AUC = 0.899).
Soon‐Seok Park, Kyongman An, Gyeonghwa Kim, Soo‐Nyun Choi, Hong‐Ki Lee, Keun Hur, Kyu‐Shik Jeong   +6 more
wiley   +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

CEACAM1 participation in breast cancer progression

Molecular Oncology, EarlyView.
In invasive breast cancer (BC), CEACAM1 shifts from an apical to a uniform membranous/cytoplasmic pattern, or is lost, as tumors dedifferentiate, inversely tracking the Ki‐67 proliferative index. In MCF‐7 cells, only CEACAM1‐4L suppresses proliferation, repressing cell cycle and growth factor genes.
Mykola Lyndin, Irina Kube‐Golovin, Anatolii Romaniuk, Gunther Wennemuth   +3 more
wiley   +1 more source

Preface - 22nd Brazilian Symposium on Formal Methods - SBMF 2019. [PDF]

Sci Comput Program, 2021
Duran A, Wadler P.
europepmc   +1 more source

Pharmacological chromatin remodeling enhances response to estrogen therapy in ER+ breast cancer

Molecular Oncology, EarlyView.
Estrogen therapy elicits clinical benefit in ~ 30% of patients with endocrine‐resistant estrogen receptor (ER)‐positive breast cancer. Based on findings that ER transcriptional activation underlies response to estrogen therapy, we tested the effects of epigenetic dysregulation via pharmacological inhibition of histone deacetylases (HDACi).
Anneka L. Johnson Thomas, Barbara Karakyriakou, Patricia C. Muskus, Alyssa M. Roberts, Justin Rendleman, Alexa Warren, Hanxu Lu, Kimberly A. Birmingham, Malone K. Friedman, Abigail E. Goen, Huijuan Yang, Owen M. Wilkins, Fred W. Kolling, Eugene Demidenko, Julie M. Jorns, Brock C. Christensen, Todd W. Miller   +16 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

On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis. [PDF]

Diagnostics (Basel), 2021
Santone A, Belfiore MP, Mercaldo F, Varriano G, Brunese L.   +4 more
europepmc   +1 more source