Results 101 to 110 of about 491,607 (366)
Disability Studies Quarterly, 2006 On the surface, Rosen's study would appear to be the story of the successful advocacy for Deaf culture and language in schools. In this response, I read the subtext of Rosen's article, in which troubling questions arise about systemic structures that work against full access to decision making, the dilemma of diversity, the problem of participatory ...
openaire +2 more sources
Molecular 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
New values of the Julia Robinson number
CuboWe extend results of Vidaux and Videla concerning the set of Julia Robinson numbers.
Carlos Muñoz Sandoval
doaj +1 more source
Molecular 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
Decidability in Intuitionistic Type Theory is Functionally Decidable [PDF]
Mathematical Logic Quarterly, 1996 AbstractIn this paper we show that the usual intuitionistic characterization of the decidability of the propositional function B(x) prop [x : A], i. e. to require that the predicate (∀x ∈ A) (B(x) ∨ ¬ B(x)) is provable, is equivalent, when working within the framework of Martin‐Löf's Intuitionistic Type Theory, to require that there exists a decision ...
openaire +2 more sources
, 2018 Word equations are a crucial element in the theoretical foundation of constraint solving over strings, which have received a lot of attention in recent years. A word equation relates two words over string variables and constants.
A Kiezun +21 more
core +1 more source
Genomics‐led approach to drug testing in models of undifferentiated pleomorphic sarcoma
Molecular Oncology, EarlyView.GA text Genomic data from undifferentiated pleomorphic sarcoma patients and preclinical models were used to inform a targeted drug screen. Selected compounds were tested in 2D and 3D cultures of UPS cell lines. A combination of trametinib and infigratinib was synergistic in the majority of UPS cell lines tested, which was further confirmed in an ex ...
Piotr J. Manasterski +19 more
wiley +1 more source
, 2006 Lossy channel systems (LCSs) are systems of finite state automata that communicate via unreliable unbounded fifo channels. In order to circumvent the undecidability of model checking for nondeterministic LCSs, probabilistic models have been introduced,
Baier, Christel +2 more
core +5 more sources
Unraveling LINE‐1 retrotransposition in head and neck squamous cell carcinoma
Molecular Oncology, EarlyView.The novel RetroTest method allows the detection of L1 activation in clinical samples with low DNA input, providing global L1 activity and the identification of the L1 source element. We applied RetroTest to a real‐world cohort of HNSCC patients where we reported an early L1 activation, with more than 60% of T1 patients showing L1 activity.
Jenifer Brea‐Iglesias +12 more
wiley +1 more source
Gradual Certified Programming in Coq
, 2015 Expressive static typing disciplines are a powerful way to achieve high-quality software. However, the adoption cost of such techniques should not be under-estimated.
Disney T. +7 more
core +3 more sources