Likelihood-based inference for max-stable processes
SteamAdm
The last decade has seen max-stable processes emerge as a common tool for the statistical modeling of spatial extremes. However, their application is complicated due
Category: 2009
Space-time covariance functions with compact support
SteamAdm
We characterize completely the Gneiting class of space-time covariance functions and give more relaxed conditions on the involved functions. We then show necessary conditions for
An Immune System Inspired Approach to Automated Program Verification
SteamAdm
An immune system inspired Artificial Immune System (AIS) algorithm is presented, and is used for the purposes of automated program verification. Relevant immunological concepts are
Modeling threshold exceedance probabilities of spatially correlated time series
SteamAdm
The Commission of the European Union, as well the United States Environmental Protection Agency, have set limit values for some pollutants in the ambient air