Search Results

Documents authored by Martin, Keye


Found 2 Possible Name Variants:

Martin, Keye R.

Document
10232 Report – The Semantics of Information

Authors: Keye R. Martin and Michael W. Mislove

Published in: Dagstuhl Seminar Proceedings, Volume 10232, The Semantics of Information (2010)


Abstract
The Dagstuhl Seminar 10232, "Semantics of Information" was devoted to talks by researchers in a wide range of disciplines: mathematics, computer science, systems biology, physics, and economic gam theory, all of which explored the relationship of computer science and its theory to their area.

Cite as

Keye R. Martin and Michael W. Mislove. 10232 Report – The Semantics of Information. In The Semantics of Information. Dagstuhl Seminar Proceedings, Volume 10232, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{martin_et_al:DagSemProc.10232.1,
  author =	{Martin, Keye R. and Mislove, Michael W.},
  title =	{{10232 Report – The Semantics of Information}},
  booktitle =	{The Semantics of Information},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10232},
  editor =	{Keye R. Martin and Michael W. Mislove},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10232.1},
  URN =		{urn:nbn:de:0030-drops-27595},
  doi =		{10.4230/DagSemProc.10232.1},
  annote =	{Keywords: Classical and quantum information and computing, quantum physics, computational chemistry, economic game theory, security, topology, category theory, domain theory}
}

Martin, Keye

Document
A domain of spacetime intervals in general relativity

Authors: Keye Martin and Prakash Panangaden

Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)


Abstract
We prove that a globally hyperbolic spacetime with its causality relation is a bicontinuous poset whose interval topology is the manifold topology. This implies that from only a countable dense set of events and the causality relation, it is possible to reconstruct a globally hyperbolic spacetime in a purely order theoretic manner. The ultimate reason for this is that globally hyperbolic spacetimes belong to a category that is equivalent to a special category of domains called interval domains. We obtain a mathematical setting in which one can study causality independently of geometry and differentiable structure, and which also suggests that spacetime emanates from something discrete.

Cite as

Keye Martin and Prakash Panangaden. A domain of spacetime intervals in general relativity. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{martin_et_al:DagSemProc.04351.5,
  author =	{Martin, Keye and Panangaden, Prakash},
  title =	{{A domain of spacetime intervals in general relativity}},
  booktitle =	{Spatial Representation: Discrete vs. Continuous Computational Models},
  pages =	{1--28},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4351},
  editor =	{Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.5},
  URN =		{urn:nbn:de:0030-drops-1350},
  doi =		{10.4230/DagSemProc.04351.5},
  annote =	{Keywords: Causality , spacetime , global hyperbolicity , interval domains , bicontinuous posets , spacetime topology}
}
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