A model of a space X is simply a continuous dcpo D and a homeomorphism : X ! max D, where max D is given its inherited Scott topology. We show that a space has a coherent model ii it has a Scott domain model and investigate the topological structure of spaces which have G models.

Many categories of semantic domains can be considered from an order-theoretic point of view and from a topological point of view via the Scott topology. The topological point of view is particularly fruitful for considerations of computability in classical spaces such as the Euclidean real line. When one embeds topological spaces into domains, one requires that the Scott continuous maps between...

in this paper, we introduce λκ−closed sets and study its properties in generalized topological spaces.

In this paper, the Urysohn and completely Hausdorff axioms in general topology are generalized to L-topological spaces so as to be compatible with pointwise metrics. Some properties and characterizations are also derived

This paper proposes a rough set theoretic approach to Domain theory, thereby establishing a direct connection between Rough Set Theory and Domain Theory. With a rough set theoretic mind-set, we tailor-made new approximation operators specially suited for Domain Theory. Our proposed approach not only offers a fresh perspective to existing concepts and results in Domain Theory through the rough s...

We introduce a technique based on algebraic topology for quantifying spatio-temporally chaotic dynamics. The technique is illustrated using the Gray-Scott and the FitzHugh-Nagumo models.

We show how two general notions of domain theory, the logic induced from the Scott topology on a domain, together with the Smyth powerdomain, interact with the theory of default reasoning introduced by Reiter 19]. We deene extensions, which are xed points of a certain non-monotonic operator on a Scott domain induced by a normal default set over that domain. We specialize this deenition to the S...

We show how two general notions of domain theory, the logic induced from the Scott topology on a domain, together with the Smyth powerdomain, interact with the theory of default reasoning introduced by Reiter 19]. We deene extensions, which are xed points of a certain non-monotonic operator on a Scott domain induced by a normal default set over that domain. We specialize this deenition to the S...

The minimum barrier (MB) distance is defined as the minimal interval of gray-level values in an image along a path between two points, where the image is considered as a vertex-valued graph. Yet this definition does not fit with the interpretation of an image as an elevation map, i.e. a somehow continuous landscape. In this paper, based on the discrete set-valued continuity setting, we present ...