In central Kenya, in the ecological transition zone from semi -humid to semi-arid, climatic and human induced land cover changes have an immense impact on the ecosystem. Therefore, investigations were made to analyse the potential to separate 10 detailed land use/land cover classes in this area from multitemporal ENVISAT ASAR data. Besides mean, different texture measures like variance, coeffic...

We give solutions to two of the questions in a paper by Brendle, BrookeTaylor, Ng and Nies. Our examples derive from a 2014 construction by Khan and Miller as well as new direct constructions using martingales. At the same time, we introduce the concept of i.o. subuniformity and relate this concept to recursive measure theory. We prove that there are classes closed downwards under Turing reduci...

Software testing research has resulted in effective white-box test generation techniques that can produce unit test suites achieving high code coverage. However, research prototypes usually only cover subsets of the basic programming language features, thus inhibiting practical use and evaluation. One feature commonly omitted are Java’s generics, which have been present in the language since 20...

In an earlier work [18], we provided expressions for free choice nets having “distributed choice property” which makes the nets “direct product” representable. In a recent work [17], we gave equivalent syntax for a larger class of free choice nets obtained by dropping “distributed choice property”, thus syntactically characterizing nets which are not representable by direct products also. In bo...

where N is the least common multiple of those common differences (or moduli) n1, · · · , nk. For a positive integer m, (1) is said to be an m-cover of Z if its covering multiplicity is not less than m, and an exact m-cover of Z if σ(x) = m for all x ∈ Z. Note that k > m if (1) forms an m-cover of Z. Clearly the covering function σ : Z → Z is constant if and only if (1) forms an exact m-cover of...

This work aimed to investigate the potential of remote sensing to provide information on the spatial distribution of habitats in the Alpine region. Specifically, the performances of different classification methods, namely Maximum Likelihood (ML), Decision Tree (DT) and Support Vector Machine (SVM) were investigated for land-cover mapping using multitemporal RapidEye data. Results showed that S...

Often landscape metrics are not thoroughly evaluated with respect to remote sensing data characteristics, such as their behavior in relation to variation in spatial and temporal resolution, number of land cover classes or dominant land cover categories. In such circumstances, it may be difficult to ascertain whether a change in a metric is due to landscape pattern change or due to the inherent ...

In this paper, we apply a special application of the Rao quadratic diversity for multiscale analysis of land use changes in a mixed agricultural-forest landscape in Central Italy. The proposed approach is similar to a block-size analysis of compositional diversity for which a given landscape is overlaid with a series of square grids composed of increasingly larger boxes. The combination of land...

......The DOME project [1] is a collaboration between IBM and ASTRON, the Netherlands Institute for Radio Astronomy, to develop a computing solution to the exascale requirements for data processing of the international “Square Kilometer Array” radio telescope. One sub-project is the development of low cost low energy consumption microservers for processing the huge amount of data generated ever...