Search Results

Documents authored by Smyth, Michael B.

Document
DOI: 10.4230/DagSemProc.06341.1
06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality

Authors: Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, and Dieter Spreen

Published in: Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007)

Abstract
From 20.08.06 to 25.08.06, the Dagstuhl Seminar 06341 ``Computational Structures for Modelling Space, Time and Causality'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, and Dieter Spreen. 06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality. In Computational Structures for Modelling Space, Time and Causality. Dagstuhl Seminar Proceedings, Volume 6341, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{kopperman_et_al:DagSemProc.06341.1,
  author =	{Kopperman, Ralph and Panangaden, Prakash and Smyth, Michael B. and Spreen, Dieter},
  title =	{{06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality}},
  booktitle =	{Computational Structures for Modelling Space, Time and Causality},
  pages =	{1--23},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6341},
  editor =	{Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.1},
  URN =		{urn:nbn:de:0030-drops-9000},
  doi =		{10.4230/DagSemProc.06341.1},
  annote =	{Keywords: Borel hierarchy, causets, Chu spaces, computations in higher types, computable analysis, constructive topology, differential calculus, digital topology, dihomotopy, domain theory, domain representation, formal topology, higher dimensional automata, mereo\backslash-topology, partial metrics}
}
Document
DOI: 10.4230/DagSemProc.04351.1
04351 Abstracts Collection – Spatial Representation: Discrete vs. Continuous Computational Models

Authors: Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, and Julian Webster

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

Abstract
From 22.08.04 to 27.08.04, the Dagstuhl Seminar 04351 ``Spatial Representation: Discrete vs. Continuous Computational Models'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, and Julian Webster. 04351 Abstracts Collection – Spatial Representation: Discrete vs. Continuous Computational Models. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{kopperman_et_al:DagSemProc.04351.1,
  author =	{Kopperman, Ralph and Panangaden, Prakash and Smyth, Michael B. and Spreen, Dieter and Webster, Julian},
  title =	{{04351 Abstracts Collection – Spatial Representation: Discrete vs. Continuous Computational Models}},
  booktitle =	{Spatial Representation: Discrete vs. Continuous Computational Models},
  pages =	{1--24},
  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.1},
  URN =		{urn:nbn:de:0030-drops-1742},
  doi =		{10.4230/DagSemProc.04351.1},
  annote =	{Keywords: Domain theory , formal topology , constructive topology , domain representation, space-time , quantum gravity , inverse limit construction, matroid geometry , descriptive set theory , Borel hierarchy , Hausdorff difference hierarchy , Wadge degree partial metric , fractafold , region geometry , oriented projective geometry}
}
Document
DOI: 10.4230/DagSemProc.04351.2
04351 Summary – Spatial Representation: Discrete vs. Continuous Computational Models

Authors: Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, and Julian Webster

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

Abstract
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.
Cite as

Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, and Julian Webster. 04351 Summary – Spatial Representation: Discrete vs. Continuous Computational Models. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{kopperman_et_al:DagSemProc.04351.2,
  author =	{Kopperman, Ralph and Panangaden, Prakash and Smyth, Michael B. and Spreen, Dieter and Webster, Julian},
  title =	{{04351 Summary – Spatial Representation: Discrete vs. Continuous Computational Models}},
  booktitle =	{Spatial Representation: Discrete vs. Continuous Computational Models},
  pages =	{1--5},
  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.2},
  URN =		{urn:nbn:de:0030-drops-1710},
  doi =		{10.4230/DagSemProc.04351.2},
  annote =	{Keywords: Domain theory , formal topology , constructive topology , domain representation , space-time , quantum gravity , inverse limit construction , matroid geometry , descriptive set theory , Borel hierarchy , Hausdorff difference hierarchy , Wadge degree , partial metric , fractafold , region geometry}
}
Document
DOI: 10.4230/DagSemRep.342
Mathematical Structures for Computable Topology and Geometry (Dagstuhl Seminar 02221)

Authors: Ralph Kopperman, Michael B. Smyth, and Dieter Spreen

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Ralph Kopperman, Michael B. Smyth, and Dieter Spreen. Mathematical Structures for Computable Topology and Geometry (Dagstuhl Seminar 02221). Dagstuhl Seminar Report 342, pp. 1-38, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2002)

Copy BibTex To Clipboard

@TechReport{kopperman_et_al:DagSemRep.342,
  author =	{Kopperman, Ralph and Smyth, Michael B. and Spreen, Dieter},
  title =	{{Mathematical Structures for Computable Topology and Geometry (Dagstuhl Seminar 02221)}},
  pages =	{1--38},
  ISSN =	{1619-0203},
  year =	{2002},
  type = 	{Dagstuhl Seminar Report},
  number =	{342},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.342},
  URN =		{urn:nbn:de:0030-drops-152238},
  doi =		{10.4230/DagSemRep.342},
}
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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact