In this paper we present an algorithm to compute an explicit description for the difference of a semi-group Q generated by vectors in Z and its saturation Qsat. If H = Qsat \ Q is finite, we give an upper bound for the entries of h ∈ H. Finally, we present an algorithm to find all Q-minimal saturation points in Q.

A new ‘growing’ maximum likelihood classification algorithm for small reservoir delineation has been developed and is tested with Radarsat-2 data for reservoirs in the semi-arid Upper East Region, Ghana. The delineation algorithm is able to find the land-water boundary from SAR imagery for different weather and environmental conditions. As such, the algorithm allows for remote sensed operationa...

This article concerns the existence of solutions for fractional-order differential inclusions with boundary-value conditions. The main tools are based on fixed point theorems due to Bohnerblust-Karlin and Leray-Schauder together with a continuous selection theorem for upper semi-continuous multivalued maps.

We show that the canonical dimension cd Spin2n+1 of the spinor group Spin2n+1 has an inductive upper bound given by n + cd Spin2n−1. Using this bound, we determine the precise value of cd Spin n for all n ≤ 16 (previously known for n ≤ 10). We also obtain an upper bound for the canonical dimension of the semi-spinor group cd Spin∼ n in terms of cd Spin n−2. This bound determines cdSpin ∼ n for ...

We derive an H 0 (curl; Ω) estimate for the solutions of the Maxwell type equations modeled with anisotropic and W s,∞(Ω)-regular coefficients. Here, we obtain the regularity of the solutions for the integrability and smoothness indices (p, s) in a plan domain characterized by the apriori lower/upper bounds of a and the apriori upper bound of its Hölder semi-norm of order s. The proof relies on...

In this paper, we study semi-infinite systems of Linear Matrix Inequalities which are generically NP-hard. For these systems, we introduce computationally tractable approximations and derive quantitative guarantees of their quality. As applications, we discuss the problem of maximizing a Hermitian quadratic form over the complex unit cube and the problem of bounding the complex structured singu...

Floristics of Vittadinia triloba communities in Central Otago and the upper Waitaki valley and Rumex acetosella communities in the upper Waitaki, are compared with each other and with similar communities elsewhere in the South Island. Many species are common to all semi-arid areas, but each area has as its own special features, either the presence of a particular species or the greater abundanc...

We prove an a-posteriori error estimate for hp-adaptive discontinuous Galerkin methods for the numerical solution of convection-diffusion equations on anisotropically refined rectangular elements. The estimate yields global upper and lower bounds of the errors measured in terms of a natural norm associated with diffusion and a semi-norm associated with convection. The anisotropy of the underlyi...

We root this tribute to Nicholas Yannelis in Chapter II of his 1983 Rochester Ph.D. dissertation, and paper with Prabhakar: work strengthens the lower semicontinuity assumption Michael’s continuous selection theorem open sections, leads correspondences defined on a paracompact space values Hausdorff linear topological space. move beyond literature provide necessary sufficient condition for uppe...