LIPIcs, Volume 86
COSIT 2017, September 4-8, 2017, L'Aquila, Italy
Editors: Eliseo Clementini, Maureen Donnelly, May Yuan, Christian Kray, Paolo Fogliaroni, and Andrea Ballatore
Published in: LIPIcs, Volume 277, 12th International Conference on Geographic Information Science (GIScience 2023)
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)
@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} }
Published in: LIPIcs, Volume 267, 4th Conference on Information-Theoretic Cryptography (ITC 2023)
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)
@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} }
Published in: LIPIcs, Volume 212, 32nd International Symposium on Algorithms and Computation (ISAAC 2021)
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)
@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} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
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)
@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} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
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)
@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} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
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)
@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} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
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)
@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} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
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)
@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} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
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)
@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} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
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)
@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} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
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)
@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} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
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)
@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} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
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)
@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} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
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)
@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} }
Feedback for Dagstuhl Publishing