Results 161 to 170 of about 2,493,519 (340)
Verification Conditions are Code
, 2006 This paper presents a new theoretical result concerning Hoare Logic. It is shown here that the verification conditions which support a Hoare Logic program derivation are themselves sufficient to construct a correct implementation of the given pre-, post-
Gravell, Andrew M, Andrew M Gravell
core
Euphemism and political correctness in contemporary English
Russian journal of linguistics: Vestnik RUDN, 2011 The presented article is devoted to the consideration of such linguistic category as the political correctness which was widely adopted in the English-speaking countries and made considerable impact on modern English language.
N B Rubina
doaj
Political correctness - prerequisits, forms, consequences
, 2011 The diploma thesis is focused on the phenomena of political correctness. The topic is studied at three levels which correspond to the three chapters. The first chapter analyses the development of the term political correctness and the discussion which ...
Rada, Tomáš
core
Finding novel vulnerabilities of hypomorphic BRCA1 alleles
Molecular Oncology, EarlyView.Synthetic lethality screens performed to identify novel vulnerabilities often model complete gene loss, thereby overlooking patient‐derived hypomorphic mutations. In this study, we have performed genome‐wide CRISPR screens on BRCA1 hypomorphic mutations, showing BRCA1I26A behaves like wild‐type, while BRCA1R1699Q mimics deficiency. Furthermore, we have
Anne Schreuder +10 more
wiley +1 more source
Correctness of Business Process Models with Roles and Objects
, 2008 The verification of business process models is an important step in the design phase\ud of process-aware information systems. While a process model often describes different\ud perspectives like control flow, object flow, and role assignment, most of the\
Mendling, Jan +2 more
core
Molecular 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
Adequacy of compositional translations for observational semantics
, 2008 We investigate methods and tools for analysing translations between programming languages with respect to observational semantics. The behaviour of programs is observed in terms of may- and must-convergence in arbitrary contexts, and adequacy of ...
Sabel, David +7 more
core
MITF maintains genome stability in nonmelanocyte lineages
Molecular Oncology, EarlyView.MITF is essential for melanocyte survival and acts as an oncogene in 10%–20% of melanomas. We show that MITF depletion causes genome instability in nonmelanocytic cells, leading to LATS2‐mediated P53 activation, cell cycle arrest, and apoptosis. This study highlights the role of MITF as a genome maintenance factor beyond the melanocyte lineage. Created
Drifa H. Gudmundsdottir +13 more
wiley +1 more source
Program equivalence for a concurrent lambda calculus with futures
, 2006 Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the ...
Sabel, David +3 more
core