Results 111 to 120 of about 7,198 (311)
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 +1 more source
Molecular Oncology, EarlyView.Keratin 19 (KRT19) is overexpressed in high‐grade serous ovarian cancer with high levels of Kallikrein‐related peptidases (KLK) 4–7 and is associated with poor survival. In vivo analyses demonstrate that elevated KRT19 increases peritoneal tumour burden.
Sophia Bielesch +13 more
wiley +1 more source
Decidability Issues for Petri Nets
, 1994 This is a survey of some decidability results for Petri nets, covering the last three decades. The presentation is structured around decidability of specific properties, various behavioural equivalences and finally the model checking problem for ...
Esparza, Javier, Nielsen, Mogens
core
On the decidability of the OL-DOL equivalence problem
, 1979 It is shown that decidability of equivalence between an FDOL language and a DOL language implies that of equivalence between a OL language and a DOL language.
Ruohonen, Keijo
core +1 more source
Molecular Oncology, EarlyView.We have established a humanized orthotopic patient‐derived xenograft (Hu‐oPDX) mouse model of high‐grade serous ovarian cancer (HGSOC) that recapitulates human tumor–immune interactions. Using combined anti‐PD‐L1/anti‐CD73 immunotherapy, we demonstrate the model's improved biological relevance and enhanced translational value for preclinical ...
Luka Tandaric +10 more
wiley +1 more source
A Hybrid Intuitionistic Logic: Semantics and Decidability
, 2005 An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Damiano Macedonio +5 more
core
Decidability and Complexity of Tree Share Formulas [PDF]
, 2016 Fractional share models are used to reason about how multiple actors share ownership of resources. We examine the decidability and complexity of reasoning over the "tree share" model of Dockins et al. using first-order logic, or fragments thereof.
Le, Xuan Bach +2 more
core +1 more source
About the Decidability of Theology
, 2021 W pracy przedstawiono syntetyczne, a nie analityczne, ujęcie tytułowego zagadnienia. Od strony metodologicznej jest próbą aplikacji pojęć logicznych jak konsekwencja, dowód, rozstrzygalność do teologii jako całości.
Olszewski, Adam
core +1 more source
Studia Semiotyczne, 2019 DOI: http://doi.org/10.26333/sts.xxxii2.09 The affirmative answer to the title question is justified in two ways: logical and empirical. (1) The logical justification is due to Gödel’s discovery (1931) that in any axiomatic formalized theory, having ...
Witold Marciszewski
doaj
Molecular Oncology, EarlyView.In the present work, we have identified a transcriptional signature based on the differential expression of six genes (BCL2&MAST4, HSH2D&LAT2, METRN&PITPNM2) that would facilitate the early detection of T‐cell acute lymphoblastic leukemia (T‐ALL) patients prone to a poor treatment response and could be implemented at diagnosis, along with other risk ...
Antonio Lahera +11 more
wiley +1 more source