Spatial indexing for scalability in FCA

The paper provides evidence that spatial indexing structures offer faster resolution of Formal Concept Analysis queries than B-Tree/Hash methods. We show that many Formal Concept Analysis operations, computing the contingent and extent sizes as well as listing the matching objects, enjoy improved performance with the use of spatial indexing structures such as the RD-Tree. Speed improvements can vary up to eighty times faster depending on the data and query. The motivation for our study is the application of Formal Concept Analysis to Semantic File Systems. In such applications millions of formal objects must be dealt with. It has been found that spatial indexing also provides an effective indexing technique for more general purpose applications requiring scalability in Formal Concept Analysis systems. The coverage and benchmarking are presented with general applications in mind.

Climate oscillations and species interactions: large-scale congruence but regional differences in the phylogeographic structures of an alpine plant and its monophagous insect

Aim. To predict the fate of alpine interactions involving specialized species, using a monophagous beetle and its host-plant as a case study. Location. The Alps. Methods. We investigated genetic structuring of the herbivorous beetle Oreina gloriosa and its specific host-plant Peucedanum ostruthium. We used genome fingerprinting (in the insect and the plant) and sequence data (in the insect) to compare the distribution of the main gene pools in the two associated species and to estimate divergence time in the insect, a proxy for the temporal origin of the interaction. We quantified the similarity in spatial genetic structures by performing a Procrustes analysis, a tool from the shape theory. Finally, we simulated recolonization of an empty space analogous to the deglaciated Alps just after ice retreat by two lineages from two species showing unbalanced dependence, to examine how timing of the recolonization process, as well as dispersal capacities of associated species, could explain the observed pattern. Results. Contrasting with expectations based on their asymmetrical dependence, patterns in the beetle and plant were congruent at a large scale. Exceptions occurred at a regional scale in areas of admixture, matching known suture zones in Alpine plants. Simulations using a lattice-based model suggested these empirical patterns arose during or soon after recolonization, long after the estimated origin of the interaction c. 0.5 million years ago. Main conclusions. Species-specific interactions are scarce in alpine habitats because glacial cycles have limited opportunities for coevolution. Their fate, however, remains uncertain under climate change. Here we show that whereas most dispersal routes are paralleled at large scale, regional incongruence implies that the destinies of the species might differ under changing climate. This may be a consequence of the host-dependence of the beetle that locally limits the establishment of dispersing insects.

Experimental Active Vibration Control in Truss Structures Considering Uncertainties in System Parameters

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Review of Applied Spatial Data Analysis with R by R. S. Bivand, E. J. Pebesma, and V. Gomez-Rubio

Most authors struggle to pick a title that adequately conveys all of the material covered in a book. When I first saw Applied Spatial Data Analysis with R, I expected a review of spatial statistical models and their applications in packages (libraries) from the CRAN site of R. The authors’ title is not misleading, but I was very pleasantly surprised by how deep the word “applied” is here. The first half of the book essentially covers how R handles spatial data. To some statisticians this may be boring. Do you want, or need, to know the difference between S3 and S4 classes, how spatial objects in R are organized, and how various methods work on the spatial objects? A few years ago I would have said “no,” especially to the “want” part. Just let me slap my EXCEL spreadsheet into R and run some spatial functions on it. Unfortunately, the world is not so simple, and ultimately we want to minimize effort to get all of our spatial analyses accomplished. The first half of this book certainly convinced me that some extra effort in organizing my data into certain spatial class structures makes the analysis easier and less subject to mistakes. I also admit that I found it very interesting and I learned a lot.

An indexing structure and application model for vehicles moving on road networks

Moving objects database systems are the most challenging sub-category among Spatio-Temporal database systems. A database system that updates in real-time the location information of GPS-equipped moving vehicles has to meet even stricter requirements. Currently existing data storage models and indexing mechanisms work well only when the number of moving objects in the system is relatively small. This dissertation research aimed at the real-time tracking and history retrieval of massive numbers of vehicles moving on road networks. A total solution has been provided for the real-time update of the vehicles' location and motion information, range queries on current and history data, and prediction of vehicles' movement in the near future. ^ To achieve these goals, a new approach called Segmented Time Associated to Partitioned Space (STAPS) was first proposed in this dissertation for building and manipulating the indexing structures for moving objects databases. ^ Applying the STAPS approach, an indexing structure of associating a time interval tree to each road segment was developed for real-time database systems of vehicles moving on road networks. The indexing structure uses affordable storage to support real-time data updates and efficient query processing. The data update and query processing performance it provides is consistent without restrictions such as a time window or assuming linear moving trajectories. ^ An application system design based on distributed system architecture with centralized organization was developed to maximally support the proposed data and indexing structures. The suggested system architecture is highly scalable and flexible. Finally, based on a real-world application model of vehicles moving in region-wide, main issues on the implementation of such a system were addressed. ^

An Indexing Structure and Application Model for Vehicles Moving on Road Networks

Moving objects database systems are the most challenging sub-category among Spatio-Temporal database systems. A database system that updates in real-time the location information of GPS-equipped moving vehicles has to meet even stricter requirements. Currently existing data storage models and indexing mechanisms work well only when the number of moving objects in the system is relatively small. This dissertation research aimed at the real-time tracking and history retrieval of massive numbers of vehicles moving on road networks. A total solution has been provided for the real-time update of the vehicles’ location and motion information, range queries on current and history data, and prediction of vehicles’ movement in the near future. To achieve these goals, a new approach called Segmented Time Associated to Partitioned Space (STAPS) was first proposed in this dissertation for building and manipulating the indexing structures for moving objects databases. Applying the STAPS approach, an indexing structure of associating a time interval tree to each road segment was developed for real-time database systems of vehicles moving on road networks. The indexing structure uses affordable storage to support real-time data updates and efficient query processing. The data update and query processing performance it provides is consistent without restrictions such as a time window or assuming linear moving trajectories. An application system design based on distributed system architecture with centralized organization was developed to maximally support the proposed data and indexing structures. The suggested system architecture is highly scalable and flexible. Finally, based on a real-world application model of vehicles moving in region-wide, main issues on the implementation of such a system were addressed.

The spatial dimension of cycle logistics

US Cycle logistics is emerging as a promising alternative in urban freight transport. Compared to fossil fuelled vans, the use of cycles for delivering goods within urban areas offers advantages in terms of environmental friendliness, economic efficiency, flexibility, and liveability of urban neighbourhood. At the same time, cycle logistics has to face limits in terms of weight and volume of goods that can be delivered, distances that can be covered, and spatial urban structures that can be served. This latter issue has till now received less attention in the scientific literature: it is generally recognized that cycle logistics performs at its best in inner urban areas, but no systematic study has been realized to identify specific spatial requisites for the effectiveness of cycle logistics. This paper provides a brief review of the main issues that emerge from the literature over cycle logistics, and contributes to stimulate the debate over the spatial dimension of cycle logistics: it presents a classification of cycle logistics schemes, on the basis of their integration with other urban logistic facilities and of the spatial structure of delivery operations. A three-level classification is proposed, depending on the type of goods consolidation: only distribution without consolidation, consolidation in a fixed urban consolidation centre, or consolidation in a mobile depot; for each level, operational examples and case studies are provided. This systematizing typology could support both public and private operators in decisions about the organization of cycle logistics facilities, such as the location of urban consolidation centres or the composition of cycle fleets.

Geospatial Data Indexing Analysis and Visualization via Web Services with Autonomic Resource Management

With the exponential growth of the usage of web-based map services, the web GIS application has become more and more popular. Spatial data index, search, analysis, visualization and the resource management of such services are becoming increasingly important to deliver user-desired Quality of Service. First, spatial indexing is typically time-consuming and is not available to end-users. To address this, we introduce TerraFly sksOpen, an open-sourced an Online Indexing and Querying System for Big Geospatial Data. Integrated with the TerraFly Geospatial database [1-9], sksOpen is an efficient indexing and query engine for processing Top-k Spatial Boolean Queries. Further, we provide ergonomic visualization of query results on interactive maps to facilitate the user’s data analysis. Second, due to the highly complex and dynamic nature of GIS systems, it is quite challenging for the end users to quickly understand and analyze the spatial data, and to efficiently share their own data and analysis results with others. Built on the TerraFly Geo spatial database, TerraFly GeoCloud is an extra layer running upon the TerraFly map and can efficiently support many different visualization functions and spatial data analysis models. Furthermore, users can create unique URLs to visualize and share the analysis results. TerraFly GeoCloud also enables the MapQL technology to customize map visualization using SQL-like statements [10]. Third, map systems often serve dynamic web workloads and involve multiple CPU and I/O intensive tiers, which make it challenging to meet the response time targets of map requests while using the resources efficiently. Virtualization facilitates the deployment of web map services and improves their resource utilization through encapsulation and consolidation. Autonomic resource management allows resources to be automatically provisioned to a map service and its internal tiers on demand. v-TerraFly are techniques to predict the demand of map workloads online and optimize resource allocations, considering both response time and data freshness as the QoS target. The proposed v-TerraFly system is prototyped on TerraFly, a production web map service, and evaluated using real TerraFly workloads. The results show that v-TerraFly can accurately predict the workload demands: 18.91% more accurate; and efficiently allocate resources to meet the QoS target: improves the QoS by 26.19% and saves resource usages by 20.83% compared to traditional peak load-based resource allocation.

Soil CO(2) emission estimated by different interpolation techniques

Soil CO(2) emissions are highly variable, both spatially and across time, with significant changes even during a one-day period. The objective of this study was to compare predictions of the diurnal soil CO(2) emissions in an agricultural field when estimated by ordinary kriging and sequential Gaussian simulation. The dataset consisted of 64 measurements taken in the morning and in the afternoon on bare soil in southern Brazil. The mean soil CO(2) emissions were significantly different between the morning (4.54 mu mol m(-2) s(-1)) and afternoon (6.24 mu mol m(-2) s(-1)) measurements. However, the spatial variability structures were similar, as the models were spherical and had close range values of 40.1 and 40.0 m for the morning and afternoon semivariograms. In both periods, the sequential Gaussian simulation maps were more efficient for the estimations of emission than ordinary kriging. We believe that sequential Gaussian simulation can improve estimations of soil CO(2) emissions in the field, as this property is usually highly non-Gaussian distributed.

Asymmetric page split generalized index search trees for formal concept analysis

Formal Concept Analysis is an unsupervised machine learning technique that has successfully been applied to document organisation by considering documents as objects and keywords as attributes. The basic algorithms of Formal Concept Analysis then allow an intelligent information retrieval system to cluster documents according to keyword views. This paper investigates the scalability of this idea. In particular we present the results of applying spatial data structures to large datasets in formal concept analysis. Our experiments are motivated by the application of the Formal Concept Analysis idea of a virtual filesystem [11,17,15]. In particular the libferris [1] Semantic File System. This paper presents customizations to an RD-Tree Generalized Index Search Tree based index structure to better support the application of Formal Concept Analysis to large data sources.

Biosecurity and Infectious Animal Disease, November 2005

The spatial dimension of agricultural production is important when a communicable disease enters a region. This paper considers two sorts of biosecurity risk that producers can seek to protect against. One concerns the risk of spread: that neighboring producers do not take due care in protecting against being infected by a disease already in the region. In this case, producer efforts substitute with those of near neighbors. For representative spatial production structures, we characterize Nash equilibrium protection levels and show how spatial production structure matters. The other sort of risk concerns entry: that producers do not take due care in preventing the disease from entering the region. In this case, producer heterogeneity has subtle effects on welfare loss due to strategic behavior. Efforts by producers complement, suggesting that interfarm communication will help to redress the problem.

Comparative phylogeography of mutualists and the effect of the host on the genetic structure of its partners.

Whether or not species participating in specialized and obligate interactions display similar and simultaneous demographic variations at the intraspecific level remains an open question in phylogeography. In the present study, we used the mutualistic nursery pollination occurring between the European globeflower Trollius europaeus and its specialized pollinators in the genus Chiastocheta as a case study. Explicitly, we investigated if the phylogeographies of the pollinating flies are significantly different from the expectation under a scenario of plant-insect congruence. Based on a large-scale sampling, we first used mitochondrial data to infer the phylogeographical histories of each fly species. Then, we defined phylogeographical scenarios of congruence with the plant history, and used maximum likelihood and Bayesian approaches to test for plant-insect phylogeographical congruence for the three Chiastocheta species. We show that the phylogeographical histories of the three fly species differ. Only Chiastocheta lophota and Chiastocheta dentifera display strong spatial genetic structures, which do not appear to be statistically different from those expected under scenarios of phylogeographical congruence with the plant. The results of the present study indicate that the fly species responded in independent and different ways to shared evolutionary forces, displaying varying levels of congruence with the plant genetic structure

Linking genetic and species diversities in a community of freshwater gastropods

Summary Biodiversity is usually studied through species or genetic diversities. To date, these two levels of diversity have remained the independent .fields of investigations of community ecologists and population geneticists. However, recent joint analyses of species and genetic diversities have suggested that common processes may underlie the two levels. Positive correlations between species diversity and genetic diversity may arise when the effects of drift and migration overwhelm selective effects. The first goal of this thesis was to make a joint investigation of the patterns of species and genetic diversity in a community of freshwater gastropods living in a floodplain habitat. The second goal was to determine, as far as possible, the relative influences of the processes underlying the patterns observed at each level. In chapter 2 we investigate the relative influences of different evolutionary forces in shaping the genetic structure of Radix balthica populations. Results revealed that the structure inferred using quantitative traits was lower or equal to the one inferred using neutral molecular markers. Consequently, the pattern of structure observed could be only due to random drift, possibly to uniform selection, but definitely not to selection for local optima. In chapter 3, we analyze the temporal variation of species and genetic diversities in five localities. An extended period of drought occurred at the end of the study period leading to decay of both species and genetic diversities. This parallel loss of diversity following a natural perturbation highlighted the role sometimes predominant of random drift over selection on patterns of biodiversity in a floodplain habitat. In chapter 4, we compare the spatial genetic structures of two sympatric species: Radix balthica and Planorbis carinatus. We found that R. balthica populations are weakly structured and have moderate to high values of gene diversity. In contrast, P. carinatus populations are highly structured and poorly diverse. Then we measured correlations between various indices of species and genetic diversity using genetic data .from the two species. We found only one significant correlation: between species richness and gene diversity of P. carinatus. This result highlights the .need to use genetic date from more than one species to infer correlations between species and genetic diversities. Overall, this thesis provided new insights into the common processes underlying patterns of species and genetic diversity. Résumé La biodiversité est généralement étudiée au niveau de la diversité génétique ou spécifique. Ces deux niveaux sont restés jusqu'à maintenant les domaines d'investigation séparés des généticiens des populations et des écologistes des communautés. Cependant, des analyses conjointes des diversités génétique et spécifique ont récemment suggéré que des processus similaires pouvaient influencer ces deux niveaux. Des corrélations positives entre les diversités génétique et spécifique pourraient être dues aux effets de migration et de dérive qui dominent les effets sélectifs. Le premier but de cette thèse était de faire une étude conjointe des diversités génétique et spécifique dans une communauté de gastéropodes d'eau douce. Le second objectif était de déterminer les influences relatives des différents processus liés à chaque niveau de diversité. Dans le chapitre 2 nous cherchons à déterminer quelles forces évolutives influencent la structure génétique de quatre populations de Radix balthica. La structure mesurée sur des traits quantitatifs s'est révélée être plus faible ou égale à celle mesurée avec des marqueurs moléculaires neutres. La structure observée pourrait ainsi être due uniquement à la dérive génétique, potentiellement à la sélection uniforme, mais en aucun cas à la sélection locale pour différents optima. Dans le chapitre 3 nous analysons la variation temporelle des diversités génétique et spécifique dans cinq localités. Une récente période de sécheresse a causé une diminution parallèle des deux niveaux de diversité. Cette perturbation à mis en évidence le rôle parfois prépondérant de la dérive par rapport à celui de la sélection dans le déterminisme de la biodiversité dans un écosytème alluvial. Dans le chapitre 4, nous comparons la structure génétique spatiale de deux espèces vivant en sympatrie : Radix balthica et Planorbis carinatus. Les populations de R. balthica sont peu structurées et présentent un niveau de diversité relativement élevé alors que celles de P. carinatus sont fortement structurées et peu diversifiées. Nous avons ensuite mesuré différentes corrélations entre les diversités génétique et spécifique, mais la seule relation significative a été trouvée entre la richesse spécifique et la diversité génétique de P. carinatus. Ainsi, cette thèse a permis de découvrir de nouveaux aspects des processus qui influencent en parallèle la diversité aux niveaux génétique et spécifique.

Tracking the ghost of coevolution in specific plant-insect interactions : the case of the pollination system between the globeflower Trollius europaeus and seven european Chiastocheta flies

This study aims at understanding the evolutionary processes at work in specialized species interactions. Prom the macroevolutionary perspective, coevolution among specialized taxa was proposed to be one of the major processes generating biodiversity. We challenge this idea from the theoretical and practical perspective and through a literature review and show that the major hypotheses linking coevolutionary process with macroevolutionary patterns do not necessarily predict lineage co diversification and parallel speciation, limit¬ing the utility of the comparative phylogenenetic approach for investigating coevolution¬ary processes. We also point to the rarity of observed long-term coevolutionary dynamics among lineages and propose that coevolution rather occurs in shorter timescales, followed by ecological fitting. Prom the empirical point, we focus on the nursery pollination interaction between the European globeflower Trollius europaeus (Ranunculaceae) and its associated Chiastocheta flies (Anthomyiidae; Diptera) as a model system of evolution and maintenance of special¬ized interactions. The flies are obligate parasites of the seeds, but also pollinate the plant - it was thus proposed that both species are mutually dependent. Contrasting with the paradigm used for two decades of research on this system, we show that the female fitness component of the plant is similar in the populations with and without Chiastocheta. The plant is thus not exclusively dependent on the flies for reproduction. We discuss this result in the context of the factors responsible for the evolution of mutualistic systems. Understanding the evolution of a biological system requires understanding of its phylo- genetic context. Previous studies showed large mismatch between mtDNA phylogeny and morphological taxonomy in Chiastocheta. By using a large set of RAD-sequencing loci, we delineate the species limits that are congruent with morphology, and show that the discordance is best explained by the scenario of mitochondrial capture among fly species. Finally, we examine this system from a phylogeographic perspective, and identify the lack of congruence in spatial genetic structures of the plant and associated insects across their whole geographic range. The flies show lower numbers of spatial genetic groups than the plant, indicating that not all of the plant réfugia were shared by all the fly species or that the migration dynamics homogenized some of the groups. The incongruence in spatial genetic patterns indicates that fly migrations were largely independent from the genetic background of the plant, following rather a scenario of resource tracking, without the signature of coevolutionary process at this scale. Indeed, while the flies require the plant to survive climatic oscillations, the opposite is not true. Eventually, we show that there is no phylogenetic signal of spatial genetic structures, meaning that neither histories nor life- history traits are shared among closely related species and that species are characterized by unique trajectories of their genes. -- Cette étude vise à comprendre les processus évolutifs à l'oeuvre au sein d'interactions en¬tre espèces spécialisées. Du point de vue macroévolutif, la coévolution entre les taxons spécialisée a été considérée comme l'un des principaux processus générateur de biodiversité. Nous contestons cette idée du point de vue théorique et pratique à travers une revue de la littérature. Nous montrons que les hypothèses majeures reliant les processus coévolutifs avec les patterns de diversité au niveau macroévolutif ne prédisent pas nécessairement la co- diversification des lignées et leur spéciation parallèle, ce qui limite l'utilité de l'approche de phylogénie comparative pour étudier les processus coévolutifs . Nous rappelons également le peu d'exemples de dynamique coévolutive à long terme et proposons que la coévolution se produit plutôt dans des intervalles courts, suivis d'ajustements écologiques. Du point empirique, nous nous concentrons sur l'interaction de pollinisation entre le Trolle d'Europe Trollius europaeus (Ranunculaceae) et ses pollinisateurs associés, du genre Chiastocheta (Anthomyiidae; Diptera) en tant que système-modèle pour étudier l'évolution et le maintien des interactions spécialisées. Les mouches sont des parasites obligatoires des semences, mais pollinisent également la plante. Il a donc été proposé que les deux espèces soient mutuellement dépendantes. Contrastant avec le paradigme utilisé pendant deux décennies de recherche sur ce système, nous montrons, que la composante de fitness femelle de la plante est similaire dans les populations avec et sans Chiastocheta. La plante ne dépend donc pas exclusivement de son interaction avec les mouches pour la reproduction. Nous discutons de ce résultat dans le contexte des facteurs responsables de l'évolution des systèmes mutualistes. Comprendre l'évolution d'un système biologique nécessite la compréhension de son con- texte phylogénétique. Des études antérieures ont montré, chez Chiastocheta, de grandes disparités entre les phylogénies obtenues à partir d'ADN mitochondrial et la taxonomie basée sur les critères morphologiques. En utilisant un grand nombre de loci obtenus par RAD-sequencing, nous traçons les limites des espèces, qui concordent avec les car¬actéristiques morphologies, et montrons que la discordance s'explique en fait par un scénario de capture mitochondriale entre espèces de mouches. Enfin, nous examinons le système d'un point de vue phylogéographique, et identi¬fions les incohérences entre structurations génétiques spatiales de la plante et des insectes associés dans toute leur aire de distribution géographique. Les mouches présentent un nombre de groupes génétiques inférieur à la plante, indiquant que tous les refuges de la plante n'étaient pas partagés par toutes les espèces de mouches ou que les dynamiques migratoires ont homogénéisés certains des groupes chez les mouches. Les différences ob¬servées dans les patrons de structuration génétique spatiale indique que les migrations et dispersions des mouches ont été indépendantes du contexte génétique de la plante, et ces dernières ont été uniquement tributaires de la disponibilité des ressources, sans qu'il n'y ait de signature du processus de coévolution à cette échelle. En effet, tandis que les mouches ont besoin de la plante pour survivre aux oscillations climatiques, le contraire n'est pas exact. Finalement, nous montrons qu'il n'y a pas de signal phylogénétique des structurations génétiques spatiales chez les mouches, ce qui signifie que ni l'histoire, ni les traits d'histoire de vie ne sont partagés entre les espèces phylogénétiquement proches et que les espèces sont caractérisées par des trajectoires uniques de leurs gènes.

De lo micro a lo macro prudencial: Un análisis de la supervisión bancaria desde la econometría espacial

La crisis que se desató en el mercado hipotecario en Estados Unidos en 2008 y que logró propagarse a lo largo de todo sistema financiero, dejó en evidencia el nivel de interconexión que actualmente existe entre las entidades del sector y sus relaciones con el sector productivo, dejando en evidencia la necesidad de identificar y caracterizar el riesgo sistémico inherente al sistema, para que de esta forma las entidades reguladoras busquen una estabilidad tanto individual, como del sistema en general. El presente documento muestra, a través de un modelo que combina el poder informativo de las redes y su adecuación a un modelo espacial auto regresivo (tipo panel), la importancia de incorporar al enfoque micro-prudencial (propuesto en Basilea II), una variable que capture el efecto de estar conectado con otras entidades, realizando así un análisis macro-prudencial (propuesto en Basilea III).