Land Use Cover (LULC) is naturally dynamic, thus change inevitable. However, its changes have greatly increased to a frightening proportion as result of high rate anthropogenic and natural processes. Consequently, land use cover classes Finima Nature Park were classified observed within the last 33 years (1987 - 2021) predicted for next (2021 – 2054).
 Remote sensing Geographic Information...

This study investigates the effects of sample size and prevalence on cellular automata (CA) simulation urban growth. We take CA models based an artificial neural network (ANN), log...

A new weak bisimulation semantics is defined for Markov automata that, in addition to abstracting from internal actions, sums up the expected values of consecutive exponentially distributed delays possibly intertwined with internal actions. The resulting equivalence is shown to be a congruence with respect to parallel composition for Markov automata. Moreover, it turns out to be comparable with...

The Ambon city center area based on the 2021-2041 RDTR is a of economic, educational and cultural activities, this makes economic population growth focused in region. This also triggers arrival residents from other areas to City will have an impact increasing provision land for settlements. condition expected trigger conversion area. study aims analyze cover changes 2001, 2011, 2021 predict 204...

We investigate some graph properties which may simplify the computation of the steady-state distribution of Markov chain. We consider the directed graph associated to a Markov chain derived from Stochastic Automata Network and we give an algorithm to solve the Kolmogorov equations for the steady-state distribution. Then, we present an extension of this algorithm which allows the parametric anal...

We present a method for modeling user navigation on a web site using grammatical inference of stochastic regular grammars. With this method we achieve better models than the previously used first order Markov chains, in terms of predictive accuracy and utility of recommendations. In order to obtain comparable results, we apply the same grammatical inference algorithms on Markov chains, modeled ...

Modelling urban land use change is of profound concern to environmental scientists who have found cellular automata models very attractive for simulating dynamics. The quest suitable predictive improve realistic simulation has resulted in the several notable calibrations. Cellular model become and one strongest growth due its simplicity possibility evolution. However, inability include driving ...