The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
While model checking is a powerful technique to analyze the properties of a model, it can be very expensive or even impossible, if the model comprises many states that have to be explored. Simulation-based model checking is an alternative, where the properties defined in temporal logics are not checked on the model itself but on traces produced during model execution. However, for stochastic models...
In this paper, a new stochastic model based on cellular automata is established to simulate the occurrence and development of Schistosoma japonicum (S. japonicum) infection in an endemic population. We included the process of the pathogen invasion from exposure to worm development and till worm death when the infection is cleared in the model. We further utilized the model to predict the prevalence...
In this paper, we propose a model for proliferation of cancer stem cells and a procedure for estimating the unknowns of the model. Understanding the proliferation of cancer stem cells is critical for the development of anti-cancer therapies. We propose to use a nonlinear and non-Gaussian state-space model for studying the proliferation process. For estimation of the unknowns we apply particle filtering,...
The number of seeds per pod is an important determinant of yield. New clues of yield and seed quality improvement can be provided by studying the relation between the developmental patterns of floral organs and seed production. In this article, a probabilistic model of plant inflorescence fertility is presented. From a biological point of view, seed development can be viewed as the combination of...
Motivated by the recent restructuring and convergence of the information technology (IT) and telecommunications (TELCO) industries and the business trend towards the formation of networks, this research focuses on examining the evolutionary dynamics of the convergent Information and Communication Technology (ICT) industry. The agent-based computational economics (ACE) and network economics (NE) theories...
Processing and simulation of brain signals from stochastic models have allowed going deep into the study of brain function during sleeping and pathological situations, it had also facilitated the quantification and assessment of the effect of different drugs. In order to make well know with this type of signals is necessary to have highly specialized and expensive equipments, it makes difficult the...
In the context of the emergence of alternative computing resources to address the challenge of the upcoming end of moore's law, we consider the feasibility of gathering computational resources by means of decentralized and simple local rules. We study such decentralized gathering by means of a stochastic model inspired from biology: the aggregation of the dictyostelium discoideum cellular slime mold...
In order to mine important information in hydrologic series data adequately and improve results of mid-to-long term runoff forecast, factors influencing forecast results have been analyzed firstly, and a stochastic model for mid-to-long term runoff forecast has been established based on WA, ANN, and hydrologic frequency analysis. The main idea is: analyze runoff series in multi time scales by WA firstly,...
A stochastic model of business cycle was presented in this paper. The Ito diffusion process was obtained after the model was simplified in quasi Hamiltonian theory. The backward Kolmogorov equation for reliability function and the generalized Pontryagin equation for conditional moment of the first-passage time were established, and the numerical results were given in virtue of figures according to...
A new phenomenon in innovation diffusion that exhibits a transient bimodality familiar in physical sciences is predicted in this paper for the first time on the basis of an extended Bass model. This accounts for the population heterogeneity, with the parameters characterizing the ldquoword of mouthrdquo and ldquomass mediardquo processes as random. A theoretical framework based on a nonlinear random...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.