Results 81 to 90 of about 1,501,622 (351)

Circulating tumor DNA monitoring and blood tumor mutational burden in patients with metastatic solid tumors treated with atezolizumab

open access: yesMolecular Oncology, EarlyView.
In patients treated with atezolizumab as a part of the MyPathway (NCT02091141) trial, pre‐treatment ctDNA tumor fraction at high levels was associated with poor outcomes (radiographic response, progression‐free survival, and overall survival) but better sensitivity for blood tumor mutational burden (bTMB).
Charles Swanton   +17 more
wiley   +1 more source

Molecular imaging predicts trastuzumab‐deruxtecan (T‐DXd) response in head and neck cancer xenograft models

open access: yesMolecular Oncology, EarlyView.
Trastuzumab‐deruxtecan, a HER2‐targeting antibody‐drug conjugate, shows promising antitumor activity in head and neck squamous cell carcinoma with low HER2 expression. In vitro and in vivo studies demonstrated dose‐dependent cell death and tumor growth reduction in low HER2‐expressing cell lines, which correlated with drug accumulation measured using a
Abdullah Bin Naveed   +8 more
wiley   +1 more source

Equivalence of formal semantics definition methods [PDF]

open access: yesFormal Aspects of Computing, 1997
Abstract There are numerous methods of formally defining the semantics of computer languages. Each method has been designed to fulfil a different purpose. For example, some have been designed to make reasoning about languages as easy as possible; others have been designed to be accessible to a large audience and some have been designed to ...
openaire   +3 more sources

EMT‐associated bias in the Parsortix® system observed with pancreatic cancer cell lines

open access: yesMolecular Oncology, EarlyView.
The Parsortix® system was tested for CTC enrichment using pancreatic cancer cell lines with different EMT phenotypes. Spike‐in experiments showed lower recovery of mesenchymal‐like cells. This was confirmed with an EMT‐inducible breast cancer cell line.
Nele Vandenbussche   +8 more
wiley   +1 more source

Translation Strategies and Equivalence in Formal Document Translation: A Study of UNESCO Agreements

open access: yesJournal of Languages and Language Teaching
This research investigates translation strategies and equivalence in translating Indonesian cultural terms in UNESCO agreements into English. The study aims to explore how translation strategies are adapted to address challenges in formal document ...
Ahmad Syafran   +4 more
doaj   +1 more source

Massless fermions in planar Bianchi-type-I universes: exact and approximate solutions

open access: yesEuropean Physical Journal C: Particles and Fields, 2021
Based upon the exact formal solutions of the Weyl–Dirac-equation in anisotropic planar Bianchi-type-I background spacetimes with power law scale factors, one can introduce suitable equivalence classes of the solutions of these models.
Matthias Wollensak
doaj   +1 more source

Complete formal systems for equivalence problems

open access: yesTheoretical Computer Science, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

A formalism for treating equivalence of recursive procedures [PDF]

open access: yesRAIRO. Informatique théorique, 1985
We present a formal system for studying the equivalence of recursive procedures. The procedures are defined to include assignment statements and such constructs as branching and recursion. A fair amount of applications is provided to show how this approach can be used in proving equivalence of procedures.
openaire   +3 more sources

Adenosine‐to‐inosine editing of miR‐200b‐3p is associated with the progression of high‐grade serous ovarian cancer

open access: yesMolecular Oncology, EarlyView.
A‐to‐I editing of miRNAs, particularly miR‐200b‐3p, contributes to HGSOC progression by enhancing cancer cell proliferation, migration and 3D growth. The edited form is linked to poorer patient survival and the identification of novel molecular targets.
Magdalena Niemira   +14 more
wiley   +1 more source

Abstraction of Dynamical Systems by Timed Automata [PDF]

open access: yesModeling, Identification and Control, 2011
To enable formal verification of a dynamical system, given by a set of differential equations, it is abstracted by a finite state model. This allows for application of methods for model checking. Consequently, it opens the possibility of carrying out the
Rafael Wisniewski, Christoffer Sloth
doaj   +1 more source

Home - About - Disclaimer - Privacy