The cycle contraction mapping theorem

This report lays the foundation for a theory of total correctness for programs not based upon termination. The Cycle Contraction Mapping Theorem is both an extension of Wadge's cycle sum theorem for Kahn data flow and a generalisation of Banach's contraction mapping theorem to a class of quasi metric spaces definable using the symmetric Partial Metric distance function. This work provides considerable evidence that it is possible after all to construct a metric theory for Scott style partial order domains

The topology of partial metric spaces

The T0 world of Scott's topological models used in the denotational semantics of programming languages may at first sight appear to have nothing whatever in common with the Hausdorff world of metric space theory. Can this be true though when the notion of "distance" is so important in the application of inductive proof theory to recursive definitions? This paper shows that existing work on the application of quasi metrics to denotational semantics can be taken much further than just describing Scott topologies. Using our "partial metric" we introduce a new approach by constructing each semantic domain as an Alexandrov topology "sandwiched" between two metric topologies. To be presented at the Eighth Summer Conference on General Topology and Applications, June 18-20 1992, Queens College, New York City

What it means to be a young CI researcher in the 21st century

The attached file is the authors final peer reviewed version before publication. The final publishers version may be accessed via the DOI link. (c) 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works

Missouri fencing and boundary laws (2008)

Fencing duties and boundary locations have been the subject of quarrels between neighbors for centuries. This publication is intended to answer Missouri farmers' and rural landowners' questions regarding such duties and rights.Revised 5/08/3M

Mapping the results of local statistics

The application of geographically weighted regression (GWR) – a local spatial statistical technique used to test for spatial nonstationarity – has grown rapidly in the social, health and demographic sciences. GWR is a useful exploratory analytical tool that generates a set of location-specific parameter estimates which can be mapped and analysed to provide information on spatial nonstationarity in relationships between predictors and the outcome variable. A major challenge to GWR users, however, is how best to map these parameter estimates. This paper introduces a simple mapping technique that combines local parameter estimates and local t-values on one map. The resultant map can facilitate the exploration and interpretation of nonstationarity.geographically weighted regression, local statistics, mapping, nonstationarity

Temporal fuzzy association rule mining with 2-tuple linguistic representation

This paper reports on an approach that contributes towards the problem of discovering fuzzy association rules that exhibit a temporal pattern. The novel application of the 2-tuple linguistic representation identifies fuzzy association rules in a temporal context, whilst maintaining the interpretability of linguistic terms. Iterative Rule Learning (IRL) with a Genetic Algorithm (GA) simultaneously induces rules and tunes the membership functions. The discovered rules were compared with those from a traditional method of discovering fuzzy association rules and results demonstrate how the traditional method can loose information because rules occur at the intersection of membership function boundaries. New information can be mined from the proposed approach by improving upon rules discovered with the traditional method and by discovering new rules