04351 Summary – Spatial Representation: Discrete vs. Continuous Computational Models

Authors Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster



PDF
Thumbnail PDF

File

DagSemProc.04351.2.pdf
  • Filesize: 103 kB
  • 5 pages

Document Identifiers

Author Details

Ralph Kopperman
Prakash Panangaden
Michael B. Smyth
Dieter Spreen
Julian Webster

Cite AsGet BibTex

Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, and Julian Webster. 04351 Summary – Spatial Representation: Discrete vs. Continuous Computational Models. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
https://doi.org/10.4230/DagSemProc.04351.2

Abstract

Topological notions and methods are used in various areas of the physical sciences and engineering, and therefore computer processing of topological data is important. Separate from this, but closely related, are computer science uses of topology: applications to programming language semantics and computing with exact real numbers are important examples. The seminar concentrated on an important approach, which is basic to all these applications, i.e. spatial representation.
Keywords
  • Domain theory
  • formal topology
  • constructive topology
  • domain representation
  • space-time
  • quantum gravity
  • inverse limit construction
  • matroid geometry
  • descriptive set theory
  • Borel hierarchy
  • Hausdorff difference hierarchy
  • Wadge degree
  • partial metric
  • fractafold
  • region geometry

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
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