Semi-markov models have been used in the recent past to model user navigation behavior for personalization in the field of eapplications or web-based applications. However, research on its application to incorporate personalization in generalized software packages is rare. In this paper, we use a semi-Markov model to dynamically display personalized information in the form of high-utility softw...

The previous chapter dealt with the discrete-time Markov decision model. In this model, decisions can be made only at fixed epochs t = 0, 1, . . . . However, in many stochastic control problems the times between the decision epochs are not constant but random. A possible tool for analysing such problems is the semiMarkov decision model. In Section 7.1 we discuss the basic elements of this model...

Semi-Markov Stochastic Petri Nets (SM-SPNs) are a highlevel formalism for defining semi-Markov processes. We present an extended Continuous Stochastic Logic (eCSL) which provides an expressive way to articulate performance queries at the SM-SPN model level. eCSL supports queries involving steady-state, transient and passage time measures. We demonstrate this by formulating and answering eCSL qu...

Information security incidents frequency has been increasing dramatically, the aim of this study is to analyze the state-space reachability problems through the transition of vulnerable status after the informative system vulnerability exposure. In this research we took into consideration the time factor to analyze the arrival time to reachable states problem discussed in stochastic Petri nets....

This paper describes the use of combined linear regression and expost MAP methods for average-voice-based speech synthesis system based on HMM. To generate more natural sounding speech using the average-voice-based speech synthesis system when a large amount of training data is available, we apply ex-post MAP estimation after the linear transformation based adaptation. We investigate how the am...

OBJECTIVES Technology overlapping is a phenomenon based on the availability of different technologies to treat the same morbidity in the same patient group. The aim of this study was to explore the cost-effectiveness of technology overlapping in a case study on colorectal cancer (CRC), and describe an approach to investigate the phenomena and to propose adequate interventions. METHODS A Semi-...