Abstract—In this paper we extend CSL (Continuous Stochastic Logic) with an expected time and an expected reward operator, both of which are parameterized by a random terminal time. With the help of such operators we can state for example that the expected sojourn time in a set of goal states within some generally distributed delay is at most (at least) some time threshold. In addition, certain ...

We consider the Generalised Normal Variance-Mean (GNVM) model in which the mixing random variable is Gamma distributed for financial return data. This model generalises the popular Variance-Gamma (VG) distribution. This GNVM model can be interpreted as the addition of noise to a (skew) VG base. In this presentation, we will not only discuss the parameter estimation of the general model, but als...

The present research was conducted to evaluate the quality of training services in maritime training centers of Khuzestan province (including DARYAYE DOOR, SERAJ DARYA and DARYA PEIMAYE GENAVE). For this purpose, SURVQUAL model was used. The research is of descriptive-field study type for which 110 trainees of maritime training centers of Khuzestan province were selected via stratified ra...

It is well known that human preferences in decisions under risk do not always complies with expected utility theory (EUT). In fact, there are several effects that are inconsistent with basic tenets of EUT. Alternative theories have been proposed and perhaps the most well studied is Prospect Theory (PT). Recent work showed experimental results that support the idea that financial professionals m...

In this paper, the author presented a modified Chen and Chung’s model considering that the process mean may not be equal to the target value when the process is in the in-control state. Taguchi’s asymmetric quadratic quality loss function will be applied in evaluating the product quality. Subsequently, the modified economic manufacturing quantity (EMQ) model based on modified the Chen and Chung...