Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 4 of 4
Full-Text Articles in Physical Sciences and Mathematics
Convergence Classes And Spaces Of Partial Functions, Anthony K. Seda, Roland Heinze, Pascal Hitzler
Convergence Classes And Spaces Of Partial Functions, Anthony K. Seda, Roland Heinze, Pascal Hitzler
Computer Science and Engineering Faculty Publications
We study the relationship between convergence spaces and convergence classes given by means of both nets and filters, we consider the duality between them and we identify in convergence terms when a convergence space coincides with a convergence class. We examine the basic operators in the Vienna Development Method of formal systems development, namely, extension, glueing, restriction, removal and override, from the perspective of the Logic for Computable Functions. Thus, we examine in detail the Scott continuity, or otherwise, of these operators when viewed as operators on the domain (X → Y) of partial functions mapping X into …
Generalized Metrics And Topology In Logic Programming Semantics, Pascal Hitzler
Generalized Metrics And Topology In Logic Programming Semantics, Pascal Hitzler
Computer Science and Engineering Faculty Publications
Many fixed-point theorems are essentially topological in nature. Among them are the Banach contraction mapping theorem on metric spaces and the fixed-point theorem for Scott-continuous mappings on complete partial orders. The latter theorem is fundamental in denotational semantics since semantic operators in most programming language paradigms satisfy its requirements. The use of negation in logic programming and non-monotonic reasoning, however, renders some semantic operators to be non-monotonic, hence discontinuous with respect to the Scott topology, and therefore invalidates the standard approach, so that alternative methods have to be sought. In this thesis, we investigate topological methods, including generalized metric fixed-point …
Evolution Of Topology In Axi-Symmetric And 3-D Viscous Flows, Gerik Scheuermann, W. Kollmann, Xavier Tricoche, Thomas Wischgoll
Evolution Of Topology In Axi-Symmetric And 3-D Viscous Flows, Gerik Scheuermann, W. Kollmann, Xavier Tricoche, Thomas Wischgoll
Computer Science and Engineering Faculty Publications
No abstract provided.
Parallel Detection Of Closed Streamlines In Planar Flows, Thomas Wischgoll, Gerik Scheuermann, Hans Hagen
Parallel Detection Of Closed Streamlines In Planar Flows, Thomas Wischgoll, Gerik Scheuermann, Hans Hagen
Computer Science and Engineering Faculty Publications
No abstract provided.