We present p-automata, which accept an entire Markovchain as input. Acceptance is determined by solving a se-quence of stochastic weak and weak games. The set oflanguages of Markov chains obtained in this way is closedunder Boolean operations. Language emptiness and con-tainment are equi-solvable, and languages themselves areclosed under bisimulation. A Markov chain (res...

Comprehensive assessments of ecosystem services in environments under the influences human activities and climate change are critical for sustainable regional management. Therefore, integrated interdisciplinary modelling has become a major focus service assessment. In this study, we established model that integrates land use/cover (LUCC), change, water retention to evaluate spatial temporal var...

Abstract Rainfall and land use/land cover changes are significant factors that impact the soil erosion processes. Therefore, present study aims to investigate of rainfall in current future scenarios deduce losses using state-of-the-art Revised Universal Soil Loss Equation (RUSLE). In this study, we evaluated long-term (period 1981–2040) through statistical measures used subsequently loss predic...

due to the effective role of markov models in customer relationship management (crm), there is a lack of comprehensive literature review which contains all related literatures. in this paper the focus is on academic databases to find all the articles that had been published in 2011 and earlier. one hundred articles were identified and reviewed to find direct relevance for applying markov models...

Land use/land cover (LULC) has a profound impact on economy, society and environment, especially in rapid developing areas. Rapid and prompt monitoring and predicting of LULC's change are crucial and significant. Currently, integration of Geographical Information System (GIS) and Remote Sensing (RS) methods is one of the most important methods for detecting LULC's change, which includes image p...

The effects of climate change and land use/cover (LUCC) on streamflow as demonstrated by hydrological models are pressing issues the frontiers global environmental research. Nandu River Basin (NRB) largest three river basins tropical Hainan Island, China, is subjected to an analysis response land-use change. It based Soil Water Assessment Tool (SWAT) coupled with signals extracted from model da...

An automaton is unambiguous if each word has at most one accepting run and separated if no word is accepted from two distinct states. The classical translation of LTL formulas to Büchi automata [5] produces unambiguous separated automata since the states of such automata correspond to complete subformula types. Motivated by this observation, Couvreur et al. [3] present a polynomialtime algorith...

We study the images of Markov measures under transformations generated by Mealy automata. find conditions which image measure is absolutely continuous or singular relative to measure. Also, we determine statistical properties a generic sequence.

Growing amount of information on biological sequences has made application of statistical approaches necessary for modeling and estimation of their functions. In this paper, sensitivity and specificity of the first and second Markov chains for prediction of genes was evaluated using the complete double stranded  DNA virus. There were two approaches for prediction of each Markov Model parameter,...

Markov games, as the generalization of Markov decision processes to the multi-agent case, have long been used for modeling multi-agent systems (MAS). The Markov game view of MAS is considered as a sequence of games having to be played by multiple players while each game belongs to a different state of the environment. In this paper, several learning automata based multiagent system algorithms f...