Generating Relation Algebras for Qualitative Spatial Reasoning

Basic relationships between certain regions of space are formulated in natural language in everyday situations. For example, a customer specifies the outline of his future home to the architect by indicating which rooms should be close to each other. Qualitative spatial reasoning as an area of artificial intelligence tries to develop a theory of space based on similar notions. In formal ontology and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. We shall introduce abstract relation algebras and present their structural properties as well as their connection to algebras of binary relations. This will be followed by details of the expressiveness of algebras of relations for region based models. Mereotopology has been the main basis for most region based theories of space. Since its earliest inception many theories have been proposed for mereotopology in artificial intelligence among which Region Connection Calculus is most prominent. The expressiveness of the region connection calculus in relational logic is far greater than its original eight base relations might suggest. In the thesis we formulate ways to automatically generate representable relation algebras using spatial data based on region connection calculus. The generation of new algebras is a two pronged approach involving splitting of existing relations to form new algebras and refinement of such newly generated algebras. We present an implementation of a system for automating aforementioned steps and provide an effective and convenient interface to define new spatial relations and generate representable relational algebras.

APPLICATION OF GEOMATICS TECHNOLOGIES TO CHARACTERIZE SPATIAL VARIABILITY AT STRATUS VINEYARDS

Vineyards vary over space and time, making geomatics technologies ideally suited to study terroir. This study applied geomatics technologies - GPS, remote sensing and GIS - to characterize the spatial variability at Stratus Vineyards in the Niagara Region. The concept of spatial terroir was used to visualize, monitor and analyze the spatial and temporal variability of variables that influence grape quality. Spatial interpolation and spatial autocorrelation were used to measure the pattern demonstrated by soil moisture, leaf water potential, vine vigour, soil composition and grape composition on two Cabernet Franc blocks and one Chardonnay block. All variables demonstrated some spatial variability within and between the vineyard block and over time. Soil moisture exhibited the most significant spatial clustering and was temporally stable. Geomatics technologies provided valuable spatial information related to the natural spatial variability at Stratus Vineyards and can be used to inform and influence vineyard management decisions.

Electrophysiology of Oculomotor Delayed Response Tasks: A Model for the Maturation of Visual-Spatial Working Memory Networks

In the literature, persistent neural activity over frontal and parietal areas during the delay period of oculomotor delayed response (ODR) tasks has been interpreted as an active representation of task relevant information and response preparation. Following a recent ERP study (Tekok-Kilic, Tays, & Tkach, 2011 ) that reported task related slow wave differences over frontal and parietal sites during the delay periods of three ODR tasks, the present investigation explored developmental differences in young adults and adolescents during the same ODR tasks using 128-channel dense electrode array methodology and source localization. This exploratory study showed that neural functioning underlying visual-spatial WM differed between age groups in the Match condition. More specifically, this difference is localized anteriorly during the late delay period. Given the protracted maturation of the frontal lobes, the observed variation at the frontal site may indicate that adolescents and young adults may recruit frontal-parietal resources differently.

Age-Related Changes in Visual Spatial Working Memory Cognits: Frontal-Parietal EEG Coherence During Delay

This study explored changes in scalp electrophysiology across two Working Memory (WM) tasks and two age groups. Continuous electroencephalography (EEG) was recorded from 18 healthy adults (18-34 years) and 12 healthy adolescents (14-17) during the performance of two Oculomotor Delayed Response (ODR) WM tasks; (i.e. eye movements were the metric of motor response). Delay-period, EEG data in the alpha frequency was sampled from anterior and parietal scalp sites to achieve a general measure of frontal and parietal activity, respectively. Frontal-parietal, alpha coherence was calculated for each participant for each ODR-WM task. Coherence significantly decreased in adults moving across the two ODR tasks, whereas, coherence significantly increased in adolescents moving across the two ODR tasks. The effects of task in the adolescent and adult groups were large and medium, respectively. Within the limits of this study, the results provide empirical support that WM development during adolescence include complex, qualitative, change.

Arrow's Theorem in Spatial Environments

In spatial environments, we consider social welfare functions satisfying Arrow's requirements. i.e., weak Pareto and independence of irrelevant alternatives. When the policy space os a one-dimensional continuum, such a welfare function is determined by a collection of 2n strictly quasi-concave preferences and a tie-breaking rule. As a corrollary, we obtain that when the number of voters is odd, simple majority voting is transitive if and only if each voter's preference is strictly quasi-concave. When the policy space is multi-dimensional, we establish Arrow's impossibility theorem. Among others, we show that weak Pareto, independence of irrelevant alternatives, and non-dictatorship are inconsistent if the set of alternatives has a non-empty interior and it is compact and convex.

Investigation of clusters of giardiasis using GIS and a spatial scan statistic

Affiliation: Pascal Michel : Département de pathologie et microbiologie, Faculté de médecine vétérinaire

Economic integration in North America: Formal, Informal and Spatial Aspects.

An exemination of a series of indicators of economic integration in the western hemisphere (Canada-USA-Latin America) indicates that it is proceeding under the influence of formal trade agreements and informal forces including technological change, multinational firm rationalization and location strategies, etc.

Intertemporal and Spatial Depletion of Landfills

This paper generalizes Hotelling's (1931) theory of nonrenewable resources to situations where resource pools and their users are distributed spacially. Extraction and transport costs are assumed to be linear in the rate of extraction, but utilization of each deposit may require a setup cost.

Oligarchies in Spatial Environments

In spatial environments we consider social welfare functions satisfying Arrow’s requirements, i.e. weak Pareto and independence of irrelevant alternatives. Individual preferences measure distances between alternatives according to the Lp-norm (for a fixed p => 1). When the policy space is multi-dimensional and the set of alternatives has a non-empty interior and it is compact and convex, any quasi-transitive welfare function must be oligarchic. As a corollary we obtain that for transitive welfare functions weak Pareto, independence of irrelevant alternatives, and non-dictatorship are inconsistent if the set of alternatives has a non-empty interior and it is compact and convex.

Sur la validation des modèles de séries chronologiques spatio-temporelles multivariées

Dans ce mémoire, nous avons utilisé le logiciel R pour la programmation.

Central attention and visual-spatial attention : Electrophysiological investigations of early psychological refractory period multitasking interference

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Aspects spatial et temporel de l'intégration visuelle au niveau de la voie dorsale du système visuel du chat : le cortex suprasylvien latéral comme modèle

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Stochastic simulation to improve land-cover estimates derived from coarse spatial resolution satellite imagery = La simulation stochastique pour améliorer les estimations de la couverture des sols à partir d'images satellitales à résolution spatiale grossière

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

Identification et localisation des préoccupations fonctionnelles dans un code légataire Java

Traditionnellement, les applications orientées objets légataires intègrent différents aspects fonctionnels. Ces aspects peuvent être dispersés partout dans le code. Il existe différents types d’aspects : • des aspects qui représentent des fonctionnalités métiers ; • des aspects qui répondent à des exigences non fonctionnelles ou à d’autres considérations de conception comme la robustesse, la distribution, la sécurité, etc. Généralement, le code qui représente ces aspects chevauche plusieurs hiérarchies de classes. Plusieurs chercheurs se sont intéressés à la problématique de la modularisation de ces aspects dans le code : programmation orientée sujets, programmation orientée aspects et programmation orientée vues. Toutes ces méthodes proposent des techniques et des outils pour concevoir des applications orientées objets sous forme de composition de fragments de code qui répondent à différents aspects. La séparation des aspects dans le code a des avantages au niveau de la réutilisation et de la maintenance. Ainsi, il est important d’identifier et de localiser ces aspects dans du code légataire orienté objets. Nous nous intéressons particulièrement aux aspects fonctionnels. En supposant que le code qui répond à un aspect fonctionnel ou fonctionnalité exhibe une certaine cohésion fonctionnelle (dépendances entre les éléments), nous proposons d’identifier de telles fonctionnalités à partir du code. L’idée est d’identifier, en l’absence des paradigmes de la programmation par aspects, les techniques qui permettent l’implémentation des différents aspects fonctionnels dans un code objet. Notre approche consiste à : • identifier les techniques utilisées par les développeurs pour intégrer une fonctionnalité en l’absence des techniques orientées aspects • caractériser l’empreinte de ces techniques sur le code • et développer des outils pour identifier ces empreintes. Ainsi, nous présentons deux approches pour l’identification des fonctionnalités existantes dans du code orienté objets. La première identifie différents patrons de conception qui permettent l’intégration de ces fonctionnalités dans le code. La deuxième utilise l’analyse formelle de concepts pour identifier les fonctionnalités récurrentes dans le code. Nous expérimentons nos deux approches sur des systèmes libres orientés objets pour identifier les différentes fonctionnalités dans le code. Les résultats obtenus montrent l’efficacité de nos approches pour identifier les différentes fonctionnalités dans du code légataire orienté objets et permettent de suggérer des cas de refactorisation.