In [9] we introduced a new framework for asymptotic probabilities. in which a r i-add~t~ve measure is defined on the sample space of all sequences A =< dl.d?. . d, > of finite models. where the uniberse of sf,, is { I . 2. ...n ) . In this framework we Investigated the strong 0-1 law for sentences. whlch states that each sentence either holds in d,, eventually almost surely or fails In d,, even...

In this paper we prove decidability of two kinds of branching time temporal logics. First we show that the non-local version of propositional PCTL∗, in which truth values of atoms may depend on the branch of evaluation, is decidable. Then we use this result to establish decidability of various fragments of quantified PCTL∗, where the next-time operator can be applied only to formulas with at mo...

Let L be a first-order language and let M = 〈M, I〉 be a model for L. Then every formula φ(x1, . . . , xn) of L determines a unique n-place predicate: φ = {〈a1, . . . , an〉 ∈M n : M |= φ[a1, . . . , an]} Here, of course, the notation φ(x1, . . . , xn) is used to indicate that the free variables of φ constitute a subset of {x1, . . . , xn} (see [1] p. 24). A n-placed relation R ⊆M is said to be d...

be morphisms of monoids, considered as functors. Let the functor f is left adjoint to the functor g. Is it true then that f (or, what is the same, g) is always an isomorphism? In [1], p.136, this question was posed as an open question. Here I answer this question and the answer is no. To prove this, I will construct a Birkhoff variety of algebras, which is naturally equivalent to the category o...

Aim of study: The present study aimed to model soil physical and chemical properties through multiple linear regression tree techniques.&#x0D; Area area is located between 41,07 – 41,33 N latitude 41,74 42,27 E longitude in Artvin, which the Colchis part Black Sea Region Turkey.&#x0D; Material methods: models were used predict using topographic climatic features as independent variables. Beside...

BACKGROUND Soil/dust ingestion rates are important variables in assessing children's health risks in contaminated environments. Current estimates are based largely on soil tracer methodology, which is limited by analytical uncertainty, small sample size, and short study duration. OBJECTIVES The objective was to estimate site-specific soil/dust ingestion rates through reevaluation of the lead ...

M. van der Laan1, J.G. Annandale1*, C.C. du Preez2 and S.A. Lorentz3 1 Department of Plant Production and Soil Science, University of Pretoria, Pretoria 0002, South Africa 2Department of Soil, Crop and Climate Sciences, University of the Free State, Bloemfontein 9300, South Africa 3School of Bioresources Engineering and Environmental Hydrology, University of KwaZulu-Natal, Pietermaritzburg 3209...

present research was conducted with the aim of determination of significant effect of soil properties on natural regeneration of haloxylon aphyllum and correlation coefficient and linear relation between soil variables and natural regeneration of haloxylon aphyllum. firstly, geomorphologic units were prepared in the areas under cultivation of haloxylon aphyllum in ardestan. two cultivated lands...