Article1303: Unterschied zwischen den Versionen
K (Added from ontology) |
Ne2260 (Diskussion | Beiträge) K (Textersetzung - „Forschungsgruppe=Wissensmanagement“ durch „Forschungsgruppe=Web Science und Wissensmanagement“) |
||
(2 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt) | |||
Zeile 23: | Zeile 23: | ||
|ISSN=0304-3975 | |ISSN=0304-3975 | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
− | + | |Link=http://dx.doi.org/10.1016/j.tcs.2006.05.037, http://korrekt.org/papers/Kroetzsch_TR-WV-04-02.pdf | |
− | |Link=http://dx.doi.org/10.1016/j.tcs.2006.05.037 | ||
|Projekt= | |Projekt= | ||
− | |Forschungsgruppe= | + | |Forschungsgruppe=Web Science und Wissensmanagement |
+ | }} | ||
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Topologie in der Informatik | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
Zeile 33: | Zeile 35: | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
|Forschungsgebiet=Domaintheorie | |Forschungsgebiet=Domaintheorie | ||
− | |||
− | |||
− | |||
}} | }} |
Aktuelle Version vom 8. Oktober 2015, 13:17 Uhr
Generalized Ultrametric Spaces in Quantitative Domain Theory
Generalized Ultrametric Spaces in Quantitative Domain Theory
Veröffentlicht: 2006 Dezember
Journal: Theoretical Computer Science
Nummer: 1--2Der Datenwert „--2“ kann einem Attribut des Datentyps Zahl nicht zugeordnet werden sondern bspw. der Datenwert „1“.
Seiten: 30--49
Verlag: Elsevier
Volume: 368
Referierte Veröffentlichung
Kurzfassung
Domains and metric spaces are two central tools for the study of denotational semantics in computer science, but are otherwise very different in many fundamental aspects. A construction that tries to establish links between both paradigms is the
space of formal balls, a continuous poset which can be defined for every metric space and that reflects many of its properties. On the other hand, in order to obtain a broader framework for applications and possible connections to domain theory, generalized ultrametric spaces (gums) have been introduced. In this paper, we employ the space of formal balls as a tool for studying these more general metrics by using
concepts and results from domain theory. It turns out that many properties of the
metric can be characterized via its formal-ball space. Furthermore, we can state new results on the topology of gums as well as two new fixed point theorems, which may be compared to the Prieß-Crampe and Ribenboim theorem, and the Banach fixed point theorem, respectively. Deeper insights into the nature of formal-ball spaces are gained by applying methods from category theory. Our results suggest that, while
being a useful tool for the study of gums, the space of formal balls does not provide the hoped-for general connection to domain theory.
ISSN: 0304-3975
Weitere Informationen unter: Link, Link
Web Science und Wissensmanagement
Domaintheorie, Topologie in der Informatik, Theoretische Informatik