29 Search Results for "Yuan, May"

Volume

LIPIcs, Volume 86

13th International Conference on Spatial Information Theory (COSIT 2017)

COSIT 2017, September 4-8, 2017, L'Aquila, Italy

Editors: Eliseo Clementini, Maureen Donnelly, May Yuan, Christian Kray, Paolo Fogliaroni, and Andrea Ballatore

Document
Short Paper
DOI: 10.4230/LIPIcs.GIScience.2023.89
Geography and the Brain’s Spatial System (Short Paper)

Authors: May Yuan and Kristen Kennedy

Published in: LIPIcs, Volume 277, 12th International Conference on Geographic Information Science (GIScience 2023)

Abstract
Extensive research in spatial cognition and mobility has advanced our knowledge about the effects of geographic settings on human behaviors. This study, however, takes an alternative perspective to examine how the brain’s spatial system may mediate the geographic effects on spatial behaviors. Our previous research using data from OpenStreetMap, SafeGraph POIs, and human participants from the National Alzheimer’s Coordinating Center (NACC) resulted in a model with 83.33% prediction accuracy from geographic settings to the zonal categorization of the cognitive state based on NACC participants. A follow-up study showed that the complexity of a geographic setting has a direct effect on cortical thickness in the brain’s spatial cell system. In this study, we leverage findings from the two studies and interrogate the geographic settings to discern environmental correlates to zonal cognitive categorization. We conclude with thoughts on the implications of brain-inspired GIScience.
Cite as

May Yuan and Kristen Kennedy. Geography and the Brain’s Spatial System (Short Paper). In 12th International Conference on Geographic Information Science (GIScience 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 277, pp. 89:1-89:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@InProceedings{yuan_et_al:LIPIcs.GIScience.2023.89,
  author =	{Yuan, May and Kennedy, Kristen},
  title =	{{Geography and the Brain’s Spatial System}},
  booktitle =	{12th International Conference on Geographic Information Science (GIScience 2023)},
  pages =	{89:1--89:7},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-288-4},
  ISSN =	{1868-8969},
  year =	{2023},
  volume =	{277},
  editor =	{Beecham, Roger and Long, Jed A. and Smith, Dianna and Zhao, Qunshan and Wise, Sarah},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.GIScience.2023.89},
  URN =		{urn:nbn:de:0030-drops-189847},
  doi =		{10.4230/LIPIcs.GIScience.2023.89},
  annote =	{Keywords: Brain, geographic complexity, mild cognitive impairment, Alzheimer’s Disease}
}
Document
DOI: 10.4230/LIPIcs.ITC.2023.1
Two-Round Perfectly Secure Message Transmission with Optimal Transmission Rate

Authors: Nicolas Resch and Chen Yuan

Published in: LIPIcs, Volume 267, 4th Conference on Information-Theoretic Cryptography (ITC 2023)

Abstract
In the model of Perfectly Secure Message Transmission (PSMT), a sender Alice is connected to a receiver Bob via n parallel two-way channels, and Alice holds an 𝓁 symbol secret that she wishes to communicate to Bob. There is an unbounded adversary Eve that controls t of the channels, where n = 2t+1. Eve is able to corrupt any symbol sent through the channels she controls, and furthermore may attempt to infer Alice’s secret by observing the symbols sent through the channels she controls. The transmission is required to be (a) reliable, i.e., Bob must always be able to recover Alice’s secret, regardless of Eve’s corruptions; and (b) private, i.e., Eve may not learn anything about Alice’s secret. We focus on the two-round model, where Bob is permitted to first transmit to Alice, and then Alice responds to Bob. In this work we provide upper and lower bounds for the PSMT model when the length of the communicated secret 𝓁 is asymptotically large. Specifically, we first construct a protocol that allows Alice to communicate an 𝓁 symbol secret to Bob by transmitting at most 2(1+o_{𝓁→∞}(1))n𝓁 symbols. Under a reasonable assumption (which is satisfied by all known efficient two-round PSMT protocols), we complement this with a lower bound showing that 2n𝓁 symbols are necessary for Alice to privately and reliably communicate her secret. This provides strong evidence that our construction is optimal (even up to the leading constant).
Cite as

Nicolas Resch and Chen Yuan. Two-Round Perfectly Secure Message Transmission with Optimal Transmission Rate. In 4th Conference on Information-Theoretic Cryptography (ITC 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 267, pp. 1:1-1:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@InProceedings{resch_et_al:LIPIcs.ITC.2023.1,
  author =	{Resch, Nicolas and Yuan, Chen},
  title =	{{Two-Round Perfectly Secure Message Transmission with Optimal Transmission Rate}},
  booktitle =	{4th Conference on Information-Theoretic Cryptography (ITC 2023)},
  pages =	{1:1--1:20},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-271-6},
  ISSN =	{1868-8969},
  year =	{2023},
  volume =	{267},
  editor =	{Chung, Kai-Min},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITC.2023.1},
  URN =		{urn:nbn:de:0030-drops-183297},
  doi =		{10.4230/LIPIcs.ITC.2023.1},
  annote =	{Keywords: Secure transmission, Information theoretical secure, MDS codes}
}
Document
DOI: 10.4230/LIPIcs.ISAAC.2021.69
Adaptive Regularized Submodular Maximization

Authors: Shaojie Tang and Jing Yuan

Published in: LIPIcs, Volume 212, 32nd International Symposium on Algorithms and Computation (ISAAC 2021)

Abstract
In this paper, we study the problem of maximizing the difference between an adaptive submodular (revenue) function and a non-negative modular (cost) function. The input of our problem is a set of n items, where each item has a particular state drawn from some known prior distribution The revenue function g is defined over items and states, and the cost function c is defined over items, i.e., each item has a fixed cost. The state of each item is unknown initially and one must select an item in order to observe its realized state. A policy π specifies which item to pick next based on the observations made so far. Denote by g_{avg}(π) the expected revenue of π and let c_{avg}(π) denote the expected cost of π. Our objective is to identify the best policy π^o ∈ arg max_π g_{avg}(π)-c_{avg}(π) under a k-cardinality constraint. Since our objective function can take on both negative and positive values, the existing results of submodular maximization may not be applicable. To overcome this challenge, we develop a series of effective solutions with performance guarantees. Let π^o denote the optimal policy. For the case when g is adaptive monotone and adaptive submodular, we develop an effective policy π^l such that g_{avg}(π^l) - c_{avg}(π^l) ≥ (1-1/e-ε)g_{avg}(π^o) - c_{avg}(π^o), using only O(nε^{-2}log ε^{-1}) value oracle queries. For the case when g is adaptive submodular, we present a randomized policy π^r such that g_{avg}(π^r) - c_{avg}(π^r) ≥ 1/eg_{avg}(π^o) - c_{avg}(π^o).
Cite as

Shaojie Tang and Jing Yuan. Adaptive Regularized Submodular Maximization. In 32nd International Symposium on Algorithms and Computation (ISAAC 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 212, pp. 69:1-69:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{tang_et_al:LIPIcs.ISAAC.2021.69,
  author =	{Tang, Shaojie and Yuan, Jing},
  title =	{{Adaptive Regularized Submodular Maximization}},
  booktitle =	{32nd International Symposium on Algorithms and Computation (ISAAC 2021)},
  pages =	{69:1--69:13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-214-3},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{212},
  editor =	{Ahn, Hee-Kap and Sadakane, Kunihiko},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ISAAC.2021.69},
  URN =		{urn:nbn:de:0030-drops-155029},
  doi =		{10.4230/LIPIcs.ISAAC.2021.69},
  annote =	{Keywords: Adaptive submodularity, approximation algorithms, active learning}
}
Document
Complete Volume
DOI: 10.4230/LIPIcs.COSIT.2017
LIPIcs, Volume 86, COSIT'17, Complete Volume

Authors: Eliseo Clementini, Maureen Donnelly, May Yuan, Christian Kray, Paolo Fogliaroni, and Andrea Ballatore

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
LIPIcs, Volume 86, COSIT'17, Complete Volume
Cite as

13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@Proceedings{clementini_et_al:LIPIcs.COSIT.2017,
  title =	{{LIPIcs, Volume 86, COSIT'17, Complete Volume}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017},
  URN =		{urn:nbn:de:0030-drops-79080},
  doi =		{10.4230/LIPIcs.COSIT.2017},
  annote =	{Keywords: Conference Proceedings, Applications and Expert Systems, Knowledge Representation Formalisms and Methods, Physical Sciences and Engineering}
}
Document
Front Matter
DOI: 10.4230/LIPIcs.COSIT.2017.0
Front Matter, Table of Contents, Preface, Organization, List of Authors

Authors: Eliseo Clementini, Maureen Donnelly, May Yuan, Christian Kray, Paolo Fogliaroni, and Andrea Ballatore

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
Front Matter, Table of Contents, Preface, Organization, List of Authors
Cite as

13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 0:i-0:xiv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{clementini_et_al:LIPIcs.COSIT.2017.0,
  author =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  title =	{{Front Matter, Table of Contents, Preface, Organization, List of Authors}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{0:i--0:xiv},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.0},
  URN =		{urn:nbn:de:0030-drops-77464},
  doi =		{10.4230/LIPIcs.COSIT.2017.0},
  annote =	{Keywords: Front Matter, Table of Contents, Preface, Organization, List of Authors}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.1
The Logic of Discrete Qualitative Relations

Authors: Giulia Sindoni and John G. Stell

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
We consider a modal logic based on mathematical morphology which allows the expression of mereotopological relations between subgraphs in the setting of the discrete space. A specific form of topological closure for graphs can be expressed in the logic, as a combination of the negation and its bi-intuitionistic dual, as well as a modality, using the stable relation Q, which describes the incidence structure of the graph. By working in this context we have been able to define qualitative spatial relations between discrete regions, and to compare them with earlier works in mereotopology, both in the discrete and in the continuous space.
Cite as

Giulia Sindoni and John G. Stell. The Logic of Discrete Qualitative Relations. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 1:1-1:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{sindoni_et_al:LIPIcs.COSIT.2017.1,
  author =	{Sindoni, Giulia and Stell, John G.},
  title =	{{The Logic of Discrete Qualitative Relations}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{1:1--1:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.1},
  URN =		{urn:nbn:de:0030-drops-77651},
  doi =		{10.4230/LIPIcs.COSIT.2017.1},
  annote =	{Keywords: modal logic, qualitative spatial reasoning, discrete space}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.2
A New Perspective on the Mereotopology of RCC8

Authors: Michael Grüninger and Bahar Aameri

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
RCC8 is a set of eight jointly exhaustive and pairwise disjoint binary relations representing mereotopological relationships between ordered pairs of individuals. Although the RCC8 relations were originally presented as defined relations of Region Connection Calculus (RCC), virtually all implementations use the RCC8 Composition Table (CT) rather than the axioms of RCC. This raises the question of which mereotopology actually underlies the RCC8 composition table. In this paper, we characterize the algebraic and mereotopological properties of the RCC8 CT based on the metalogical relationship between the first-order theory that captures the RCC8 CT and Ground Mereotopology (MT) of Casati and Varzi. In particular, we show that the RCC8 theory and MT are relatively interpretable in each other. We further show that a nonconservative extension of the RCC8 theory that captures the intended interpretation of the RCC8 relations is logically synonymous with MT, and that a conservative extension of MT is logically synonymous with the RCC8 theory. We also present a characterization of models of MT up to isomorphism, and explain how such a characterization provides insights for understanding models of the RCC8 theory.
Cite as

Michael Grüninger and Bahar Aameri. A New Perspective on the Mereotopology of RCC8. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 2:1-2:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{gruninger_et_al:LIPIcs.COSIT.2017.2,
  author =	{Gr\"{u}ninger, Michael and Aameri, Bahar},
  title =	{{A New Perspective on the Mereotopology of RCC8}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{2:1--2:13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.2},
  URN =		{urn:nbn:de:0030-drops-77571},
  doi =		{10.4230/LIPIcs.COSIT.2017.2},
  annote =	{Keywords: RCC8, mereotopology, spatial reasoning, ontologies}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.3
A Qualitative Spatial Descriptor of Group-Robot Interactions

Authors: Zoe Falomir and Cecilio Angulo

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
The problem of finding a suitable qualitative representation for robots to reason about activity spaces where they carry out tasks such as leading or interacting with a group of people is tackled in this paper. For that, a Qualitative Spatial model for Group Robot Interaction (QS-GRI) is proposed to define Kendon’s F-formations [Kendon, 2010] depending on: (i) the relative location of the robot with respect to other individuals involved in that interaction; (ii) the individuals’ orientation; (iii) the shared peri-personal distance; and (iv) the role of the individuals (observer, main character or interactive). An iconic representation is provided and Kendon’s formations are defined logically. The conceptual neighborhood of the evolution of Kendon formations is studied, that is, how one formation is transformed into another. These transformations can depend on the role that the robot have, and on the amount of people involved.
Cite as

Zoe Falomir and Cecilio Angulo. A Qualitative Spatial Descriptor of Group-Robot Interactions. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 3:1-3:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{falomir_et_al:LIPIcs.COSIT.2017.3,
  author =	{Falomir, Zoe and Angulo, Cecilio},
  title =	{{A Qualitative Spatial Descriptor of Group-Robot Interactions}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{3:1--3:14},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.3},
  URN =		{urn:nbn:de:0030-drops-77628},
  doi =		{10.4230/LIPIcs.COSIT.2017.3},
  annote =	{Keywords: qualitative modeling, spatial reasoning, location, distance, orientation, cognitive robotics, human-robot interaction, group-robot interaction, logics}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.4
An Efficient Representation of General Qualitative Spatial Information Using Bintrees

Authors: Leif Harald Karlsen and Martin Giese

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
In this paper we extend previous work on using bintrees as an efficient representation for qualitative information about spatial objects. Our approach represents each spatial object as a bintree satisfying the exact same qualitative relationships to other bintree representations as the corresponding spatial objects. We prove that such correct bintrees always exists and that they can be constructed as a sum of local representations, allowing a practically efficient construction. Our representation is both efficient, w.r.t. storage space and query time, and can represent many well-known qualitative relations, such as the relations in the Region Connection Calculus and Allen's Interval Algebra.
Cite as

Leif Harald Karlsen and Martin Giese. An Efficient Representation of General Qualitative Spatial Information Using Bintrees. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 4:1-4:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{karlsen_et_al:LIPIcs.COSIT.2017.4,
  author =	{Karlsen, Leif Harald and Giese, Martin},
  title =	{{An Efficient Representation of General Qualitative Spatial Information Using Bintrees}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{4:1--4:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.4},
  URN =		{urn:nbn:de:0030-drops-77503},
  doi =		{10.4230/LIPIcs.COSIT.2017.4},
  annote =	{Keywords: Qualitative spatial data, Bintree, Data structure}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.5
Towards a Quantum Theory of Geographic Fields

Authors: Thomas Bittner

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
This paper proposes a framework that that allows for the possibility that multiple classically incompatible states are expressed simultaneously at a given point of a geographic field. The admission of such superposition states provides the basis for a new understanding of indeterminacy and ontological vagueness in the geographic world.
Cite as

Thomas Bittner. Towards a Quantum Theory of Geographic Fields. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 5:1-5:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{bittner:LIPIcs.COSIT.2017.5,
  author =	{Bittner, Thomas},
  title =	{{Towards a Quantum Theory of Geographic Fields}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{5:1--5:14},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.5},
  URN =		{urn:nbn:de:0030-drops-77667},
  doi =		{10.4230/LIPIcs.COSIT.2017.5},
  annote =	{Keywords: Vagueness, Quantum Geography, Ontology, Ecoregion classification}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.6
Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices

Authors: Alessia Calafiore, Guido Boella, Stefano Borgo, and Nicola Guarino

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
Cities can be seen as systems of urban artefacts interacting with human activities. Since cities in this sense need to be organized and coordinated, convergences and divergences between the "planned" and the "lived" city have always been of paramount interest in urban planning. The increasing amount of geo big data and the growing impact of Internet of Things (IoT) in contemporary smart city is pushing toward a re-conceptualization of urban systems taking into consideration the complexity of human behaviors. This work contributes to this view by proposing an ontological analysis of urban artefacts and their roles, focusing in particular on the difference between social roles and functional roles through the prism of social practices.
Cite as

Alessia Calafiore, Guido Boella, Stefano Borgo, and Nicola Guarino. Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 6:1-6:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{calafiore_et_al:LIPIcs.COSIT.2017.6,
  author =	{Calafiore, Alessia and Boella, Guido and Borgo, Stefano and Guarino, Nicola},
  title =	{{Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{6:1--6:13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.6},
  URN =		{urn:nbn:de:0030-drops-77642},
  doi =		{10.4230/LIPIcs.COSIT.2017.6},
  annote =	{Keywords: urban artefact, ontology, social practice, urban planning}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.7
An Ontological Framework for Characterizing Hydrological Flow Processes

Authors: Shirly Stephen and Torsten Hahmann

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
The spatio-temporal processes that describe hydrologic flow - the movement of water above and below the surface of the Earth -- are currently underrepresented in formal semantic representations of the water domain. This paper analyses basic flow processes in the hydrology domain and systematically studies the hydrogeological entities, such as different rock and water bodies, the ground surface or subsurface zones, that participate in them. It identifies the source and goal entities and the transported water (the theme) as common participants in hydrologic flow and constructs a taxonomy of different flow patterns based on differences in source and goal participants. The taxonomy and related concepts are axiomatized in first-order logic as refinements of DOLCE's participation relation and reusing hydrogeological concepts from the Hydro Foundational Ontology (HyFO). The formalization further enhances HyFO and contributes to improved knowledge integration in the hydrology domain.
Cite as

Shirly Stephen and Torsten Hahmann. An Ontological Framework for Characterizing Hydrological Flow Processes. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 7:1-7:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{stephen_et_al:LIPIcs.COSIT.2017.7,
  author =	{Stephen, Shirly and Hahmann, Torsten},
  title =	{{An Ontological Framework for Characterizing Hydrological Flow Processes}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{7:1--7:14},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.7},
  URN =		{urn:nbn:de:0030-drops-77639},
  doi =		{10.4230/LIPIcs.COSIT.2017.7},
  annote =	{Keywords: hydrology, flow processes, formal ontology, participation, semantic roles}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.8
Classification, Individuation and Demarcation of Forests: Formalising the Multi-Faceted Semantics of Geographic Terms

Authors: Lucía Gómez Álvarez and Brandon Bennett

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
Many papers have considered the problem of how to define forest. However, as we shall illustrate, while most definitions capture some important aspects of what it means to be a forest, they almost invariably omit or are very vague regarding other aspects. In the current paper we address this issue, firstly by providing a definitional framework based on spatial and physical properties, within which one can make explicit the implicit variability of the natural language forest concept in terms of explicit parameters. Our framework explicitly differentiates between the functions of classification, individuation and demarcation that comprise the interpretation of predicative terms. Whereas ontologies have traditionally concentrated predominantly on classification, we argue that in many cases (especially in the case of geographic concepts) criteria for individuation (i.e. establishing how many distinct individual objects of a given type exist) and demarcation (establishing the boundary of an object) require separate attention, involve their own particular definitional issues and are affected by vagueness in different ways. We also describe a prototype Prolog system that illustrates how our framework can be implemented.
Cite as

Lucía Gómez Álvarez and Brandon Bennett. Classification, Individuation and Demarcation of Forests: Formalising the Multi-Faceted Semantics of Geographic Terms. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 8:1-8:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{gomezalvarez_et_al:LIPIcs.COSIT.2017.8,
  author =	{G\'{o}mez \'{A}lvarez, Luc{\'\i}a and Bennett, Brandon},
  title =	{{Classification, Individuation and Demarcation of Forests: Formalising the Multi-Faceted Semantics of Geographic Terms}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{8:1--8:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.8},
  URN =		{urn:nbn:de:0030-drops-77676},
  doi =		{10.4230/LIPIcs.COSIT.2017.8},
  annote =	{Keywords: Forest, Definition, Vagueness, Ontology, GIS}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.9
Sense of Direction: One or Two Dimensions?

Authors: Clare Davies, Lucy Athersuch, and Nikki Amos

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
The Santa Barbara Sense of Direction scale (SBSOD) has been an invaluable research tool for over 15 years. Previous studies with non-US populations, despite supporting the scale's internal validity, suggested national differences in individual item responses and possibly the factor analytic structure, although translation differences were confounded with cultural and environmental factors. Using a pooled British sample (N=151) - avoiding linguistic translation, yet reflecting 'old world' environmental experience and strategies - this paper revisits the SBSOD's validity and structure. While largely supporting the scale's internal validity across cultures and spatial environments, findings from this population suggest at least a two-factor structure underlying the scores, with the first factor explaining less than half of its variance, supporting the oft-discussed division between survey- and route-oriented strategies. We conclude by proposing a more nuanced, efficiency-based theory of 'sense of direction'.
Cite as

Clare Davies, Lucy Athersuch, and Nikki Amos. Sense of Direction: One or Two Dimensions?. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 9:1-9:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{davies_et_al:LIPIcs.COSIT.2017.9,
  author =	{Davies, Clare and Athersuch, Lucy and Amos, Nikki},
  title =	{{Sense of Direction: One or Two Dimensions?}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{9:1--9:13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.9},
  URN =		{urn:nbn:de:0030-drops-77590},
  doi =		{10.4230/LIPIcs.COSIT.2017.9},
  annote =	{Keywords: sense of direction, spatial ability, cognitive mapping}
}
  • Refine by Author
  • 3 Yuan, May
  • 2 Ballatore, Andrea
  • 2 Clementini, Eliseo
  • 2 Donnelly, Maureen
  • 2 Fogliaroni, Paolo
  • Show More...

  • Refine by Classification
  • 1 Applied computing → Health informatics
  • 1 Applied computing → Psychology
  • 1 Mathematics of computing → Approximation algorithms
  • 1 Mathematics of computing → Submodular optimization and polymatroids
  • 1 Security and privacy → Mathematical foundations of cryptography
  • Show More...

  • Refine by Keyword
  • 2 Ontology
  • 2 Vagueness
  • 2 spatial reasoning
  • 2 wayfinding
  • 1 Adaptive submodularity
  • Show More...

  • Refine by Type
  • 28 document
  • 1 volume

  • Refine by Publication Year
  • 25 2017
  • 2 2023
  • 1 2014
  • 1 2021

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact