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.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team