Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We compare the two solution techniques when applied to the verification of time-bounded until formulae in the temporal stochastic logic CSL. This study differs from most previous comparisons of numerical and statistical ...

The integrated nested Laplace approximation (INLA) is a deterministic approach to Bayesian inference on latent Gaussian models (LGMs) and focuses fast accurate of posterior marginals for the parameters in models. Recently, methods have been developed extend this class those that can be expressed as conditional LGMs by fixing some descriptive values. These differ manner values are chosen. This a...

Efficient sampling algorithms for both exchangeable and nested Archimedean copulas are presented. First, efficient sampling algorithms for the nested Archimedean families of Ali-Mikhail-Haq, Frank, and Joe are introduced. Second, a general strategy how to build a nested Archimedean copula from a given Archimedean generator is presented. Sampling this copula involves sampling an exponentiallytil...

Ecological processes act upon landscapes over a wide range of temporal and spatial extents. These processes interact to create complex and ever-changing landscape patterns. While remote sensing data (e.g. AVHRR, TM) has often been used to characterize such heterogeneity at the landscape scale, these sensors cannot resolve spatial pattern to the detail required for finer scale analyses, such as ...

This paper addresses the problem of efficiently sampling exchangeable and nested Archimedean copulas, with specific focus on large dimensions, where methods involving generator derivatives, such as the conditional distribution method, are not applicable. Additionally, new conditions under which Archimedean copulas can be mixed to construct nested Archimedean copulas are presented. Moreover, for...

An approach for computing the correlations of species richness values obtained from nested and non-nested sampling schemes is described. The correlations obtained are used to construct species accumulation curves for the Carolina Vegetation Survey data set using the log Arrhenius, Gleason, and Arrhenius models. These models are then used to predict the richness at the 400 m2 scale, a value outs...