For a complete lattice V which, as a category, is monoidal closed, and for a suitable Setmonad T we consider (T, V)-algebras and introduce (T, V)-proalgebras, in generalization of...
Maria Manuel Clementino, Dirk Hofmann, Walter Thol...
The theory of apartness spaces, and their relation to topological spaces (in the point--set case) and uniform spaces (in the set--set case), is sketched. New notions of local decom...
Douglas S. Bridges, Peter Schuster, Luminita V&ici...
In this paper we study digital versions of some properties of covering spaces from algebraic topology. We correct and improve upon the presentation of assertions in Han’s papers ...
Web user search customization research has been fueled by the recognition that if the WWW is to attain to its optimal potential as an interactive medium the development of new and...
In this paper, a new methodology is presented for topology optimization of networked embedded systems as they occur in automotive and avionic systems as well