Parcel-based classification of high-resolution images is one of the most reliable alternatives for the automatic updating of land cover/land use geospatial databases. Each parcel can be characterized by means of a set of features extracted from the image, its outline, the contextual relationships with its neighbours, etc. Qualitative information about the former land use contained in the geospa...

A divisibility test of Arend Heyting, for polynomials over a …eld in an intuitionistic setting, may be thought of as a kind of division algorithm. We show that such a division algorithm holds for divisibility by polynomials of content 1 over any commutative ring in which nilpotent elements are zero. In addition, for an arbitary commutative ring R, we characterize those polynomials g such that t...

Side-channel analysis is a powerful tool for retrieving secrets embedded in cryptographic devices such as smart cards. Although several practical solutions have been proposed to prevent the leakage of sensitive data, mainly the protection of the basic cryptographic operation itself has been thoroughly investigated. For example, for exponentiation-based cryptosystems (including RSA, DH or DSA), ...

Geospatial data management is fundamental for many applications including land use planning and transportation and is critical in emergency management. However, geospatial data are distributed, complex, and heterogeneous due to being independently developed by various levels of government and the private sector. Until now, the formulation of expressive queries on geospatial data, which contrast...

A semantics-based method for density-based clustering with constraints imposed by geographical background knowledge is proposed. In this paper, we apply an ontological approach to the DBSCAN (Density-Based Geospatial Clustering of Applications with Noise) algorithm in the form of knowledge representation for constraint clustering. When used in the process of clustering geographic information, s...

Understanding broad-scale ecological patterns and processes often involves accounting for regional-scale heterogeneity. A common way to do so is to include ecological regions in sampling schemes and empirical models. However, most existing ecological regions were developed for specific purposes, using a limited set of geospatial features and irreproducible methods. Our study purpose was to: (1)...