• Medientyp: Sonstige Veröffentlichung; Elektronischer Konferenzbericht; E-Artikel
  • Titel: 04351 Summary – Spatial Representation: Discrete vs. Continuous Computational Models
  • Beteiligte: Kopperman, Ralph [VerfasserIn]; Panangaden, Prakash [VerfasserIn]; Smyth, Michael B. [VerfasserIn]; Spreen, Dieter [VerfasserIn]; Webster, Julian [VerfasserIn]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/DagSemProc.04351.2
  • Schlagwörter: formal topology ; inverse limit construction ; quantum gravity ; Borel hierarchy ; region geometry ; Domain theory ; domain representation ; descriptive set theory ; constructive topology ; Hausdorff difference hierarchy ; fractafold ; space-time ; Wadge degree ; partial metric ; matroid geometry
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: 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.
  • Zugangsstatus: Freier Zugang