A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]
Sensors (Basel), 2023 Bezerra WR, Martina JE, Westphall CB.
europepmc +1 more source
Java Bytecode Verification: Algorithms and Formalizations [PDF]
Journal of Automated Reasoning, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Molecular Oncology, EarlyView.We show that the majority of the 18 analyzed recurrent cancer‐associated ERBB4 mutations are transforming. The most potent mutations are activating, co‐operate with other ERBB receptors, and are sensitive to pan‐ERBB inhibitors. Activating ERBB4 mutations also promote therapy resistance in EGFR‐mutant lung cancer.
Veera K. Ojala +15 more
wiley +1 more source
Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach. [PDF]
Front Robot AI, 2022 Foughali M, Zuepke A.
europepmc +1 more source
Peroxidasin enables melanoma immune escape by inhibiting natural killer cell cytotoxicity
Molecular Oncology, EarlyView.Peroxidasin (PXDN) is secreted by melanoma cells and binds the NK cell receptor NKG2D, thereby suppressing NK cell activation and cytotoxicity. PXDN depletion restores NKG2D signaling and enables effective NK cell–mediated melanoma killing. These findings identify PXDN as a previously unrecognized immune evasion factor and a potential target to improve
Hsu‐Min Sung +17 more
wiley +1 more source
Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores. [PDF]
PeerJ Comput Sci, 2023 Tran DD, Wai Mon T, Ogata K.
europepmc +1 more source
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 +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 +10 more
wiley +1 more source
Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System [PDF]
, 2015 Nadeem Akhtar +1 more
openalex +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 +4 more
wiley +1 more source