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.

On the Profitability of Production Constraints in a Dynamic Natural Resource Oligopoly

Static oligopoly analysis predicts that if a single firm in Cournot equilibrium were to be constrained to contract its production marginally, its profits would fall. on the other hand, if all the firms were simultaneously constrained to reduce their productino, thus moving the industry towards monopoly output, each firm's profit would rise. We show that these very intuitive results may not hold in a dynamic oligopoly.

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.

Les effets du débat public dans la nouvelle ville de Montréal : regard sur le plan d'urbanisme et sa mise en oeuvre

Débat public, participation, délibération, autant de termes utilisés pour parler de normes et de dispositifs qui participeraient au nouvel « impératif délibératif » (Blondiaux et Sintomer 2002). Ce mémoire présente une analyse du débat public sur le plan d'urbanisme de Montréal avec un schéma d'analyse inspiré de celui de Simard et Fourniau (2007). Notre discussion du processus de débat porte non seulement sur la phase formelle des audiences publiques, mais aussi sur les étapes de concertation en amont et sur divers processus plus ou moins publicisés en aval. Ceci permet une réflexion d'ordre procédural plus riche qui considère la diversité des dispositifs dans une perspective de complémentarité. Pour chercher des effets du débat public sur le plan d'urbanisme, nous adoptons le parti de la congruence (Offner 1993), ce qui nous amène à une analyse de l'interaction entre des dynamiques contextuelles et des mobilisations des participants au débat. Certaines de ces congruences concordent avec des modifications au plan d'urbanisme. Notre étude propose aussi des implications du contexte particulier de la nouvelle ville de Montréal (avec la création des arrondissements) sur le contenu du débat public, sur certaines de ses manifestations procédurales ainsi que sur sa portée. Notre dernier chapitre montre que la dynamique du débat public en aval, dans la phase de mise en oeuvre du plan d'urbanisme, se déploie beaucoup plus dans les débats sur les grands projets que sur les mécanismes prévus à cette fin, qui comportent des embûches de par leur faible publicité et le caractère technique du processus réglementaire. Dans l'ensemble, notre étude met en lumière l'importance du contexte : autant le processus de débat que ses effets s'inscrivent dans des dynamiques contextuelles.

Étude exploratoire sur les espaces équivoques, leurs dynamiques d’appropriation et les enjeux urbanistiques à Montréal

Cette recherche s’intéresse aux espaces équivoques, soit des espaces jugés ambigus en raison des modes d’appropriation qu’on y retrouve. Par un processus heuristique et à l’aide d’une double étude de cas exploratoire, qui emprunte des méthodes de recherche ethnographiques, cette recherche a pour objectif de mieux caractériser les espaces équivoques. Les deux espaces considérés, tous deux situés dans la partie nord de l’arrondissement du Plateau-Mont-Royal à Montréal, sont un terrain vague informellement appelé le Parc sans Nom et une friche industrielle informellement appelée le Champ des Possibles. Les positions des gestionnaires municipaux et des usagers des deux sites seront analysées selon trois dimensions : les contraintes physiques, les mesures coercitives et les perceptions du risque et du potentiel de conflits. Les résultats issus de ces analyses permettent de constater que les espaces équivoques émergent par processus de co-construction. Ces résultats permettent également de soulever des pistes de réflexion sur les rapports entre les individus et l’espace urbain.

«School choice with controlled choice constraints: hard bounds versus soft bounds»

Controlled choice over public schools attempts giving options to parents while maintaining diversity, often enforced by setting feasibility constraints with hard upper and lower bounds for each student type. We demonstrate that there might not exist assignments that satisfy standard fairness and non-wastefulness properties; whereas constrained non-wasteful assignments which are fair for same type students always exist. We introduce a "controlled" version of the deferred acceptance algorithm with an improvement stage (CDAAI) that finds a Pareto optimal assignment among such assignments. To achieve fair (across all types) and non-wasteful assignments, we propose the control constraints to be interpreted as soft bounds-flexible limits that regulate school priorities. In this setting, a modified version of the deferred acceptance algorithm (DAASB) finds an assignment that is Pareto optimal among fair assignments while eliciting true preferences. CDAAI and DAASB provide two alternative practical solutions depending on the interpretation of the control constraints. JEL C78, D61, D78, I20.