Dagstuhl Seminar Proceedings: Spatial Representation 2005
Ralph Kopperman, Michael B. Smyth, Dieter Spreen, Julian Webster (Eds.): Spatial Representation: Discrete vs. Continuous Computational Models. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 Dagstuhl Seminar Proceedings 04351
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster: 04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models.
Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta: Compactness in apartness spaces?
Martin Kovar: On Maximality of Compact Topologies.
Martin Kovar: The Hofmann-Mislove Theorem for general posets.
Martin Kovar: The Hofmann-Mislove Theorem for general topological structures.
Martin Kovar: The de Groot dual for general collections of sets.

John L. Pfaltz: A Category of Discrete Closure Spaces.
Jonathan Gratus, Timothy Porter: A geometry of information, I: Nerves, posets and differential forms.
Jonathan Gratus, Timothy Porter: A geometry of information, II: Sorkin models, and biextensional collapses.
Ulrich Berger: Continuous Semantics for Termination Proofs.
Samson Abramsky, Bob Coecke: Discrete classical vs. continuous quantum data in abstract quantum mechanics.
Lisbeth Fajstrup: Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again.
Reinhold Heckmann: A Cartesian Closed Extension of the Category of Locales.
Martin Raussen: Deadlocks and Dihomotopy in Mutual Exclusion Models.
Hideki Tsuiki: Dyadic Subbases and Representations of Topological Spaces.
Edward L. F. Moore, Thomas J. Peters, David R. Ferguson, Neil F. Stewart: Integrating Topology and Geometry for Macro-Molecular Simulations.
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster: 04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models.



