In this paper Semi-Markov models are used to forecast the triple dimensions of next earthquake occurrences. Each earthquake can be investigated in three dimensions including temporal, spatial and magnitude. Semi-Markov models can be used for earthquake forecasting in each arbitrary area and each area can be divided into several zones. In Semi-Markov models each zone can be considered as a sta...

Cellular automaton (CA) is an important method in land use and cover change studies, however, the majority of research focuses on the discovery of macroscopic factors affecting LUCC, which results in ignoring the local effects within the neighborhoods. This paper introduces a Local Land Use Competition Cellular Automata (LLUC-CA) model, based on local land use competition, land suitability eval...

The evolution of water and land resource carrying capacity significantly impacts optimal allocation regional sustainable development in arid regions. This study proposes a model that combines cellular automaton (CA) Markov; this aids predicting spatial changes availability. In study, taking the Jingdian Irrigation District China’s northwest region as an example, we used long-series monitoring d...

The content of the dissertation falls in the area of formal verification of probabilistic systems. It comprises four parts listed below: 1. the decision problem of (probabilistic) simulation preorder between probabilistic pushdown automata (pPDAs) and finite probabilistic automata (fPAs); 2. the decision problem of a bisimilarity metric on finite probabilistic automata (fPAs); 3. the approximat...

Multi agent Markov decision processes (MMDPs), as the generalization of Markov decision processes to the multi agent case, have long been used for modeling multi agent system and are used as a suitable framework for Multi agent Reinforcement Learning. In this paper, a generalized learning automata based algorithm for finding optimal policies in MMDP is proposed. In the proposed algorithm, MMDP ...

Cellular Automata are being applied as a method for mathematical modelling and simulation in a variety of scientific areas. Usually a cellular automaton constitutes a microscopic description or abstraction of a natural system. The tools used for a mathematical derivation and validation of the cellular automaton modelling approach are however often optimised for specific natural systems. As a co...

We consider Ising spin systems, equivalently lattice gases evolving under discreteor continuous-time Markov processes, i.e., "stochastic cellular automata" or "interacting particle systems." We show that for certain spin-flip probabilities or rates and suitable initial states the expectation values of products of spin variables taken at equal or different times are nonnegative; they satisfy the...

Berdasarkan kondisi geografis Kecamatan Nusaniwe yang merupakan kawasan rawan tsunami, dengan pertumbuhan penduduk semakin berkembang, hal ini dapat meningkatkan risiko tsunami sebagai bencana sulit diprediksi kedatangannya. Penelitian bertujuan untuk menganalisis dinamika spasial wilayah di Nusaniwe. menggunakan data tutupan lahan multi temporal, driving factor perkembangan terbangun, jarak da...