An abstraction method developed for the explicit linear temporal logic model checking was geared towards reducing the useless part of the state space during the abstraction period. This reduces the cost during the abstraction period relative to models requiring many useless states. A dining-philosop...

Fuzzy Cognitive Map (FCM) is an inference network, which uses cyclic digraphs for knowledge representation and reasoning. Along with the extensive applications of FCMs, there are some limitations that emerge due to the deficiencies associated with FCM itself. In order to eliminate these deficiencies...

This study modeled the spread of an influenza epidemic in the population of Oran, Algeria. We investigated the mathematical epidemic model, SEIR (Susceptible-Exposed-Infected-Removed), through extensive simulations of the effects of social network on epidemic spread in a Small World (SW) network, to...

A Projection Pursuit Dynamic Cluster (PPDC) model optimized by Memetic Algorithm (MA) was proposed to solve the practical problems of nonlinearity and high dimensions of sample data, which appear in the context of evaluation or prediction in complex systems. Projection pursuit theory was used to det...

Finding out reasonable structures from bulky data is one of the difficulties in modeling of Bayesian network (BN), which is also necessary in promoting the application of BN. This paper proposes an immune algorithm based method (BN-IA) for the learning of the BN structure with the idea of vaccinatio...