In order to understand causes and effects of disturbance and fragmentation on flora and fauna, a time series on land cover change is needed as basis for the BIOTA-East Africa project partners working in western Kenya. For 7 time steps over the past 30 years Landsat data were collected for Kakamega Forest and its associated forest areas. Preprocessing involved georeferencing and radiometric corr...

Understanding the spatio-temporal dynamics of land surface phenology is important to understanding changes in landscape ecological processes of semi-arid savannas in Southern Africa. The aim of the study was to determine the influence of variation in tree cover percentage on land surface phenological response in the semi-arid savanna of Southern Africa. Various land surface phenological metrics...

I certify that this student has met the requirements for format contained in the University format manual, and that this thesis is suitable for shelving in the Library and credit is to be awarded for the thesis. Conservation of wetlands and their functions is important for maintaining biodiversity. California's vernal pool wetlands are unique habitats that support a suite of species with local,...

The paper studies the applicability of various data mining techniques on aerial remote sensing imagery for automatic land-cover classification. Four techniques are applied, namely the Adaptive Dynamic K-means (ADK), Self Organizing Feature Map (SOFM), Machine Learning Induction Algorithm (C4.5) and Support Vector Machines (SVM). Special attention is drawn to the usefulness of these data mining ...

We present a method for labeling the land-cover in an aerial image using image texture statistics and a trained neural network to interpret the texture data. The introduction includes a brief discussion of land-cover mapping and the types of land-cover classes we would like to identify. There is a section describing the texture statistics used and the Gray Level Cooccurrence Matrix (GLCM) for c...

Observational theories are a generalization of first-order theories where two objects are observationally equal if they cannot be distinguished by experiments with observable results. Such experiments, called contexts, are usually infinite. Therefore, we consider a special finite set of contexts, called cover-contexts, “covering” all the observable contexts. Then, we show that to prove that two...

We introduce and study vertex cover algebras of weighted simplicial complexes. These algebras are special classes of symbolic Rees algebras. We show that symbolic Rees algebras of monomial ideals are finitely generated and that such an algebra is normal and Cohen-Macaulay if the monomial ideal is squarefree. For a simple graph, the vertex cover algebra is generated by elements of degree 2, and ...

Suppose A and B are classes of recursive functions. A is said to be an m-cover (∗-cover) for B, iff for each g ∈ B, there exsits an f ∈ A such that f differs from g on at most m inputs (finitely many inputs). C, a class of recursive functions, is a-immune iff C is infinite and every recursively enumerable subclass of C has a finite a-cover. C is a-isolated iff C is finite or a-immune. Chen [Che...

Consider a finite, regular cover Y → X of finite graphs, with associated deck group G. We relate the topology of the cover to the structure of H1(Y ;C) as a G-representation. A central object in this study is the primitive homology group H 1 (Y ;C) ⊆ H1(Y ;C), which is the span of homology classes represented by components of lifts of primitive elements of π1(X). This circle of ideas relates co...