Results 111 to 120 of about 494,310 (275)
Many patients with urothelial cancer do not benefit from treatment with pembrolizumab, while at risk of severe side effects. Changes in the levels of circulating tumor DNA early during treatment, measured by a simple and affordable assay that can be easily implemented in the clinic, can be used as a prognostic tool to identify these patients.
Youssra Salhi +14 more
wiley +1 more source
Implementation and proof of the conversion algorithm to Conjunctive Normal ...
António Ravara (6933490) +2 more
core +1 more source
The novel styrylquinazolinone‐based molecule W1B effectively suppresses glioblastoma by inhibiting IGF1R and EGFR. In high‐glucose microenvironments driving tumor resistance, W1B acts synergistically with the EGFR inhibitor dacomitinib. This combination safely blocks compensatory survival signaling in zebrafish xenograft models. Showcasing promising in
Patryk Rurka +9 more
wiley +1 more source
Automated Theorem Proving by Translation to Description Logic
Many Automated Theorem Proving (ATP) systems for different logical forms, and translators for translating different logical forms from one to another, have been developed and are now available.
Arhami, Negin
core +1 more source
Oncogenic DMTF1β promotes cancer cell motility by regulating autophagy through ULK1 stabilization
In the current study, we demonstrate that the oncogene DMTF1β regulates ULK1 stability by reducing its proteasomal degradation in cancer cells. This stabilization enables ULK1 to induce autophagy, which in turn facilitates cancer cell migration. Consequently, reduced DMTF1β levels lead to decreased autophagy and impaired cancer cell migration.
Jun Xu +13 more
wiley +1 more source
Weakening the nuclear envelope: Lamin B receptor in melanoma metastasis
LBR‐driven nuclear fragility supports melanoma invasion. A: Melanocyte presents low LBR (Lamin B Receptor) levels, maintaining nuclear integrity and lamina‐chromatin tethering. B: During malignant progression, upregulation of LBR clusters at the INM (Inner Nuclear Membrane) during confined migration causes local lamina weakening and cholesterol ...
Francesca Lorenzini +1 more
wiley +1 more source
Normal forms and functional completeness for four-valued languages
Based on the semantic concepts developed by M. Dunn and N. Belnap, a four-valued language containing only two logical symbols is proposed. We show that this language is functionally complete with regard to the given semantics. Specifically, we prove that
Degauquier, Vincent
core
Breast cancer remains a major cause of cancer death in women, frequently developing endocrine therapy resistance. This study demonstrates that upregulated p21‐activated kinase 1 (PAK1) activity drives resistance to tamoxifen and long‐term estrogen deprivation in ER+ breast cancer models.
Luisa Schwarzmüller +10 more
wiley +1 more source
Program analysis with boolean logic solvers [PDF]
Modern computation systems are very complex. As a result they are very challenging to reason about and validate. Validation techniques based on dynamic analysis—testing— are time consuming and offer no guarantees of correctness.
Zaraket, Fadi A., 1974-
core

