Dagstuhl Seminar Proceedings 04351

Spatial Representation: Discrete vs. Continuous Computational Models

R. Kopperman, M. B. Smyth, D. Spreen, J. Webster (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 04351, 22.08. - 27.08.2004
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Abramsky, Samson
  • Berger, Ulrich
  • Bridges, Douglas
  • Coecke, Bob
  • Fajstrup, Lisbeth
  • Ferguson, David R.
  • God, Chris
  • Gratus, Jonathan
  • Heckmann, Reinhold
  • Ishihara, Hajime
  • Johnson, Jamie
  • Jung, Achim
  • Künzi, Hans-Peter A.
  • Knight, Robin
  • Kopperman, Ralph
  • Kovar, Martin
  • Martin, Keye
  • Matthews, Steve
  • Moore, Edward L. F.
  • Pajoohesh, Homeira
  • Panangaden, Prakash
  • Peters, Thomas J.
  • Pfaltz, John L.
  • Porter, Timothy
  • Raussen, Martin
  • Richmond, Tom
  • Schuster, Peter
  • Smyth, Michael B.
  • Spreen, Dieter
  • Stewart, Neil F.
  • Tsuiki, Hideki
  • Vita, Luminita S.
  • Webster, Julian
  • Zypen, Dominic van der

  •   
    04351 Abstracts Collection -- Spatial Representation: Discrete vs. Continuous Computational Models
    Authors: Kopperman, Ralph ; Panangaden, Prakash ; Smyth, Michael B. ; Spreen, Dieter ; Webster, Julian

    Abstract | Document (249 KB) | BibTeX

    04351 Summary -- Spatial Representation: Discrete vs. Continuous Computational Models
    Authors: Kopperman, Ralph ; Panangaden, Prakash ; Smyth, Michael B. ; Spreen, Dieter ; Webster, Julian

    Abstract | Document (104 KB) | BibTeX

    A Cartesian Closed Extension of the Category of Locales
    Authors: Heckmann, Reinhold

    Abstract | Document (88 KB) | Document 2 (292 KB) | BibTeX

    A Category of Discrete Closure Spaces
    Authors: Pfaltz, John L.

    Abstract | Document (227 KB) | BibTeX

    A domain of spacetime intervals in general relativity
    Authors: Martin, Keye ; Panangaden, Prakash

    Abstract | Document (225 KB) | BibTeX

    A geometry of information, I: Nerves, posets and differential forms
    Authors: Gratus, Jonathan ; Porter, Timothy

    Abstract | Document (359 KB) | BibTeX

    A geometry of information, II: Sorkin models, and biextensional collapses
    Authors: Gratus, Jonathan ; Porter, Timothy

    Abstract | Document (382 KB) | BibTeX

    Auxiliary relations and sandwich theorems
    Authors: God, Chris ; Jung, Achim ; Knight, Robin ; Kopperman, Ralph

    Abstract | Document (124 KB) | BibTeX

    Compactness in apartness spaces?
    Authors: Bridges, Douglas ; Ishihara, Hajime ; Schuster, Peter ; Vita, Luminita S.

    Abstract | Document (202 KB) | BibTeX

    Continued Radicals
    Authors: Johnson, Jamie ; Richmond, Tom

    Abstract | Document (79 KB) | BibTeX

    Continuous Semantics for Termination Proofs
    Authors: Berger, Ulrich

    Abstract | Document (197 KB) | BibTeX

    Deadlocks and Dihomotopy in Mutual Exclusion Models
    Authors: Raussen, Martin

    Abstract | Document (197 KB) | BibTeX

    Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again
    Authors: Fajstrup, Lisbeth

    Abstract | Document (79 KB) | BibTeX

    Discrete classical vs. continuous quantum data in abstract quantum mechanics
    Authors: Abramsky, Samson ; Coecke, Bob

    Abstract | Document (31 KB) | Document 2 (258 KB) | BibTeX

    Dyadic Subbases and Representations of Topological Spaces
    Authors: Tsuiki, Hideki

    Abstract | Document (134 KB) | BibTeX

    Integrating Topology and Geometry for Macro-Molecular Simulations
    Authors: Moore, Edward L. F. ; Peters, Thomas J. ; Ferguson, David R. ; Stewart, Neil F.

    Abstract | Document (179 KB) | BibTeX

    On Maximality of Compact Topologies
    Authors: Kovar, Martin

    Abstract | Document (210 KB) | BibTeX

    The Construction of Finer Compact Topologies
    Authors: Künzi, Hans-Peter A. ; Zypen, Dominic van der

    Abstract | Document (108 KB) | BibTeX

    The de Groot dual for general collections of sets
    Authors: Kovar, Martin

    Abstract | Document (209 KB) | BibTeX

    The Hofmann-Mislove Theorem for general posets
    Authors: Kovar, Martin

    Abstract | Document (253 KB) | BibTeX

    The Hofmann-Mislove Theorem for general topological structures
    Authors: Kovar, Martin

    Abstract | Document (198 KB) | BibTeX

    What do partial metrics represent?
    Authors: Kopperman, Ralph ; Matthews, Steve ; Pajoohesh, Homeira

    Abstract | Document (160 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI