We propose a general methodology for the modelling and evaluation of phased mission systems, based on a Markov Regenerative Stochastic Petri Net approach. By exploiting the expressiveness and the representativity of MRSPN, we achieve a compact and neat modelling of even quite complex systems, relaxing many restrictive limitations of the other approaches appeared in the literature. Our approach ...

Economic evaluations are increasingly conducted alongside randomised controlled trials, providing researchers with individual patient data to estimate cost effectiveness.However, randomised trials do not always provide a sufficient basis for economic evaluations used to inform regulatory and reimbursement decisions. For example, a single trial might not compare all the available options, provid...

When topography is represented by a simple regular grid digital elevation model, the analytical rectangular prism approach is often used for a precise gravity field modelling at the vicinity of the computation point. However, when the topographical surface is represented more realistically, for instance by a triangular irregular network (TIN) model, the analytical integration using arbitrary po...