Results 91 to 100 of about 1,932,015 (306)
Formal methods in knowledge engineering
The Knowledge Engineering Review, 1995 Abstract This paper presents a general discussion of the role of formal methods in knowledge engineering. We give an historical account of the development of the field of knowledge engineering towards the use of formal methods. Subsequently, we discuss the pros and cons of formal methods.
Frank van Harmelen, Dieter Fensel
openaire +6 more sources
Molecular Oncology, EarlyView.Here, we demonstrate that HS1BP3 interacts with Cortactin through a proline‐rich region (PRR3.1) and show that this interaction, and HS1BP3 itself, promote cancer cell proliferation and invasion. Inhibition of this interaction leads to build‐up of TKS5 in multivesicular endosomes and altered secretion of CD63 and CD9, providing an explanation for the ...
Arja Arnesen Løchen +9 more
wiley +1 more source
Software engineering and formal methods. 20th International Conference, SEFM 2022. Proceedings
, 2023 This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.
core +1 more source
Molecular Oncology, EarlyView.Circulating tumor cells (CTCs) and plasma cell‐free DNA (cfDNA) were analyzed to detect ESR1 mutations and methylation in patients with advanced breast cancer. CTC‐derived DNA showed higher sensitivity for mutation detection and revealed complementary genetic and epigenetic alterations, highlighting the added value of CTC analysis for understanding ...
Dimitra Stergiopoulou +12 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 +3 more
doaj +1 more source
Formal Methods in the Philosophy of Science
Studia Logica, 2008 Traditionally, the merit of first-order logical formalizations of philosophical problems -- in particular, in the philosophy of science -- has been regarded as twofold: First, logical formalization forces philosophical investigators to define all concepts precisely, thereby sometimes discovering that a concept can be ``constructed'' from more primitive
Horsten, Leon, Douven, Igor
openaire +2 more sources
Interpreting the effects of DNA polymerase variants at the structural level
Molecular Oncology, EarlyView.Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi +7 more
wiley +1 more source
IEEE AccessSoftwarization 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
Formal Methods for GPGPU Programming: Is the Demand Met?
, 2020 Over the years, researchers have developed many formal method tools to support software development. However, hardly any studies are conducted to determine whether the actual problems developers encounter are sufficiently addressed.
Haak, Lars B. van den +5 more
core +1 more source