Power domains and iterated function systems

DOI10.1006/INCO.1996.0014zbMath0916.54014OpenAlexW1997766149MaRDI QIDQ1917075

Abbas Edalat

Publication date: 5 September 1996

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10044/1/619

zbMATH Keywords

invariant measurePlotkin power domainweakly hyperbolic iterated function system

Mathematics Subject Classification ID

Measure-preserving transformations (28D05) Fixed-point and coincidence theorems (topological aspects) (54H25) Probabilistic measure theory (60A10) Maps and general types of topological spaces defined by maps (54C99) Theory of computing (68Q99)

Related Items (45)

Contractive affine generalized iterated function systems which are topologically contracting ⋮ Bounding the attractor of an IFS ⋮ Measuring the probabilistic powerdomain ⋮ PCF extended with real numbers ⋮ Denotational semantics of hybrid automata ⋮ A generalization of the Hutchinson measure ⋮ Physical measures for certain class of non-uniformly hyperbolic endomorphisms on the solid torus ⋮ On weakly hyperbolic iterated function systems ⋮ Stability of the Markov operator and synchronization of Markovian random products ⋮ Invariant measure for infinite weakly hyperbolic iterated function systems ⋮ Diameter diminishing to zero IFSs ⋮ A computational model for metric spaces ⋮ Markovian random iterations of homeomorphisms of the circle ⋮ Contracting on average iterated function systems by metric change ⋮ Strongly-Fibred Iterated Function Systems and the Barnsley–Vince triangle ⋮ On \(\mathbb {P}\)-weakly hyperbolic iterated function systems ⋮ Non hyperbolic solenoidal thick bony attractors ⋮ Generalizing the Kantorovich metric to projection valued measures ⋮ Unnamed Item ⋮ Generalized iterated function systems with place dependent probabilities ⋮ Unnamed Item ⋮ Non-hyperbolic iterated function systems: semifractals and the chaos game ⋮ Domain theory and integration ⋮ Computing with continuous objects: a uniform co-inductive approach ⋮ Domains for Computation in Mathematics, Physics and Exact Real Arithmetic ⋮ An ergodic decomposition defined by transition probabilities ⋮ Topological version of generalized (infinite) iterated function systems ⋮ Weighting by iteration: iterations of \(n\) variables means based on subdivisions of the standard \((n-1)\)-simplex ⋮ BASIC TOPOLOGICAL STRUCTURE OF FAST BASINS ⋮ A domain-theoretic approach to computability on the real line ⋮ Computability on the probability measures on the Borel sets of the unit interval ⋮ Weakly contractive iterated function systems and beyond: a manual ⋮ Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets ⋮ Computability on the probability measures on the Borel sets of the unit interval ⋮ The generalized Riemann integral on locally compact spaces ⋮ Topology, domain theory and theoretical computer science ⋮ Computation on metric spaces via domain theory ⋮ An open set of skew products with invariant multi-graphs and bony multi-graphs ⋮ Domain representations of topological spaces ⋮ Interpolation type iterated function systems ⋮ Integration in Real PCF ⋮ A Domain-Theoretic Approach to Integration in Hausdorff Spaces ⋮ Entropy computing via integration over fractal measures ⋮ A PROBABILISTIC POWER DOMAIN ALGORITHM FOR FRACTAL IMAGE DECODING ⋮ Iterated Function Systems with the Weak Average Contraction Conditions

This page was built for publication: Power domains and iterated function systems