Results 111 to 120 of about 494,310 (275)

Counting Models in Integer Domains [PDF]

open access: yes, 2006
Paulo Matos   +7 more
core   +1 more source

Longitudinal genome‐wide aneuploidy measurements in circulating cell‐free DNA to predict lack of benefit from pembrolizumab in patients with metastatic urothelial cancer

open access: yesMolecular Oncology, EarlyView.
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

cnfwhy3

open access: yes, 2019
Implementation and proof of the conversion algorithm to Conjunctive Normal ...
António Ravara (6933490)   +2 more
core   +1 more source

A novel quinazolinone insulin receptor inhibitor and its synergy with an EGFR inhibitor in glucose‐driven glioblastoma

open access: yesMolecular Oncology, EarlyView.
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

open access: yes, 2015
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

open access: yesMolecular Oncology, EarlyView.
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

open access: yesMolecular Oncology, EarlyView.
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

open access: yes, 2015
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  

PAK1 activation drives divergent resistance mechanisms to aromatase inhibition and tamoxifen in a luminal: A breast cancer model

open access: yesMolecular Oncology, EarlyView.
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]

open access: yes, 2007
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  

Home - About - Disclaimer - Privacy