Results 131 to 140 of about 7,198 (311)
Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP
, 1999 In this paper we investigate the decidability of history-preserving bisimilarity (HPB) and hereditary history-preserving bisimilarity (HHPB) for basic parallel processes (BPP).
Fröschle, Sibylle B. +1 more
core +1 more source
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
Quantum computing architectures with signaling and control mimicking biological processes. [PDF]
Heliyon, 2023 Pau LF, Borza PN.
europepmc +1 more source
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
Decidability in local and global fields
, 2019 This lecture highlights some recent advances on classical decidability issues in local and global ...
Koenigsmann, Jochen +2 more
core +1 more source
Molecular Oncology, EarlyView.Dormant cancer cells can hide in distant organs for years, evading treatment and the immune system. This review highlights how signals from the surrounding tissue and immune environment keep these cells inactive or trigger their reawakening. Understanding these mechanisms may help develop therapies to eliminate or control dormant cells and prevent ...
Kanishka Tiwary +1 more
wiley +1 more source
Molecular Oncology, EarlyView.Pair‐wise comparison of the CellSearch and FETCH enrichment technologies for circulating tumor cells (CTCs) from metastatic breast, prostate, and small cell lung cancer patients shows an increased capture of CTCs using FETCH enrichment. The clinical implementation of circulating tumor cells (CTCs) as a predictive tool for therapy efficacy in the ...
Michiel Stevens +6 more
wiley +1 more source
On Decidability and Expressive Power of Fusion Grammars
, 2023 We prove decidability of the non-emptiness problems for fusion grammars and decidability of the membership problem for fusion grammars without markers and connectors.
Pshenitsyn, Tikhon
core
Decidability of logical theories and their combination
, 2020 This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed ...
Sernadas, Cristina, Rasga, João
core +1 more source
Special Issue of Selected Extended Papers of IJCAR 2020. [PDF]
J Autom Reason, 2022 Peltier N, Sofronie-Stokkermans V.
europepmc +1 more source