Local Suppression and Splitting Techniques for Privacy Preserving Publication of Trajectories

postprin

Algebraic Properties of Qualitative Spatio-Temporal Calculi

Qualitative spatial and temporal reasoning is based on so-called qualitative calculi. Algebraic properties of these calculi have several implications on reasoning algorithms. But what exactly is a qualitative calculus? And to which extent do the qualitative calculi proposed meet these demands? The literature provides various answers to the first question but only few facts about the second. In this paper we identify the minimal requirements to binary spatio-temporal calculi and we discuss the relevance of the according axioms for representation and reasoning. We also analyze existing qualitative calculi and provide a classification involving different notions of a relation algebra.Comment: COSIT 2013 paper including supplementary materia

Reasoning mechanism for cardinal direction relations

In the classical Projection-based Model for cardinal directions [6], a two-dimensional Euclidean space relative to an arbitrary single-piece region, a, is partitioned into the following nine tiles: North-West, NW(a); North, N(a); North-East, NE(a); West, W(a); Neutral Zone, O(a);East, E(a); South-West, SW(a); South, S(a); and South-East,SE(a). In our Horizontal and Vertical Constraints Model [9], [10] these cardinal directions are decomposed into sets corresponding to horizontal and vertical constraints. Composition is computed for these sets instead of the typical individual cardinal directions. In this paper, we define several whole and part direction relations followed by showing how to compose such relations using a formula introduced in our previous paper [10]. In order to develop a more versatile reasoning system for direction relations, we shall integrate mereology, topology, cardinal directions and include their negations as well. © 2010 Springer-Verlag

Human metapneumovirus induces more severe disease and stronger innate immune response in BALB/c mice as compared with respiratory syncytial virus

BACKGROUND: Human metapneumovirus (HMPV) and respiratory syncytial virus (RSV) are members of the Pneumovirinae subfamily of Paramyxoviridae and can cause severe respiratory disease, especially in infants and young children. Some differences in the clinical course of these infections have been described, but there are few comparative data on pathogenesis in humans and animal models. In this study, HMPV and RSV were compared for replication, pathogenesis and immune induction in BALB/c mice infected with equivalent inocula of either virus. METHODS: Viral titers in the lungs and in the nasal turbinates of mice were determined by plaque assay. Histopathological changes in the lungs as well as weight loss and levels of airway obstruction were monitored in the infected mice to record the severity of illness. Inflammatory cells recruited to the lungs were characterized by flow cytometry and by differential staining. In the case of natural killer cells, cytotoxic activity was also measured. Cytokine levels in the BAL were determined by cytometric bead array. RESULTS: RSV replicated to higher titers than HMPV in the lung and in the upper respiratory tract (URT), and virus elimination from the lungs was more rapid in HMPV-infected mice. Clinical illness as determined by airway obstruction, weight loss, and histopathology was significantly more severe after HMPV infection. A comparison of the cellular immune response revealed similar recruitment of T lymphocytes with a predominance of IFN-γ-producing CD8+ T cells. By contrast, there were obvious differences in the innate immune response. After HMPV infection, more neutrophils could be detected in the airways and there were more activated NK cells than in RSV-infected mice. This correlated with higher levels of IL-6, TNF-α and MCP-1. CONCLUSION: This study shows important differences in HMPV and RSV pathogenesis and suggests that the pronounced innate immune response observed after HMPV infection might be instrumental in the severe pathology

Positions, Regions, and Clusters: Strata of Granularity in Location Modelling

Abstract. Location models are data structures or knowledge bases used in Ubiquitous Computing for representing and reasoning about spatial relationships between so-called smart objects, i.e. everyday objects, such as cups or buildings, containing computational devices with sensors and wireless communication. The location of an object is in a location model either represented by a region, by a coordinate position, or by a cluster of regions or positions. Qualitative reasoning in location models could advance intelligence of devices, but is impeded by incompatibilities between the representation formats: topological reasoning applies to regions; directional reasoning, to positions; and reasoning about set-membership, to clusters. We present a mathematical structure based on scale spaces giving an integrated semantics to all three types of relations and representations. The structure reflects concepts of granularity and uncertainty relevant for location modelling, and gives semantics to applications of RCC-reasoning and projection-based directional reasoning in location models