Recent work in programming semantics has provided a relatively simple probablistic extension to predicate transformers, making it possible to treat small imperative probabilistic programs containing both demonic and angelic nondeterminism [11, 12, 20]. That work in turn was extended to provide a probabilistic basis for the modal μ-calculus [13], and leads to a quantitative μ-calculus [16, 18]. ...

‎In this paper we first obtain the non-Riemannian Randers metrics of Douglas type on two-step homogeneous nilmanifolds of dimension five‎. ‎Then we explicitly give the flag curvature formulae and the $S$-curvature formulae for the Randers metrics of Douglas type on these spaces‎. ‎Moreover‎, ‎we prove that the only simply connected five-dimensional two-step homogeneous Randers nilmanifolds of D...

this research titeled (semantic change in the quranic words: praise prophet reverence) this study is about how to transform from the meaning to another. in this article we looked lexical and semantic meaning of three words of quran in pre-islamic era until the end of sending quran. we studied the influence of islam in changing word semantically. islam does not bring new words but added them new...

This thesis examines the use of first-order hereditary Harrop formulae, a generalisation of Horn clauses due to Miller, as a foundation for logic programming. As this framework is constructive, this will sometimes dictate an approach whicli differs slightly from the traditional (classical) one. We discuss the foundational problems involved in adding negation to the framework of first-order here...

semantic shifting which is one of the most important semantic processes forming the meaning of some linguistic structures was first introduced by safavi (1379). the meaning of different structures such as proverbs, are made by semantic shifting which takes place on the syntagmatic axis, but is shown on the paradigmatic axis. the corpus used in this study consists of 10 persian proverbs which ar...