Dynamical systems, measures, and fractals via domain theory
From MaRDI portal
Publication:1898475
DOI10.1006/inco.1995.1096zbMath0834.58029OpenAlexW3096424428MaRDI QIDQ1898475
Publication date: 1 April 1996
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1995.1096
Semantics in the theory of computing (68Q55) Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Fractals (28A80) Ergodic theory (37A99)
Related Items (62)
Computability of measurable sets via effective topologies ⋮ On some topological properties of dcpo models of \(T_1\) topological spaces ⋮ Topological games in domain theory ⋮ Bounded complete models of topological spaces ⋮ Almost minimal systems and periodicity in hyperspaces ⋮ Coalgebraic Representation Theory of Fractals ⋮ PCF extended with real numbers ⋮ Denotational semantics of hybrid automata ⋮ A geometric interpretation of LD-resolution ⋮ A domain-theoretic approach to Brownian motion and general continuous stochastic processes ⋮ A computational model for metric spaces ⋮ Limiting semantics of numerical programs ⋮ Recursive solution of initial value problems with temporal discretization ⋮ Invariant sets and Knaster-Tarski principle ⋮ Approximating labelled Markov processes ⋮ A domain-theoretic framework for robustness analysis of neural networks ⋮ Robustness, Scott continuity, and computability ⋮ Completeness of hyperspaces of compact subsets of quasi-metric spaces ⋮ Bisimulation for probabilistic transition systems: A coalgebraic approach ⋮ Riemann and Edalat integration on domains. ⋮ Ideal models of spaces. ⋮ Computability and the morphological complexity of some dynamics on continuous domains ⋮ Reducibility of domain representations and Cantor–Weihrauch domain representations ⋮ A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations ⋮ Domain theory and integration ⋮ On computational environments of topological spaces ⋮ Chain transitivity in hyperspaces ⋮ Domain theoretic characterisations of quasi-metric completeness in terms of formal balls ⋮ A mathematical-physical approach on regularity in hit-and-miss hypertopologies for fuzzy set multifunctions ⋮ Domains for Computation in Mathematics, Physics and Exact Real Arithmetic ⋮ Topological transitivity and mixing notions for group actions ⋮ Chaos for induced hyperspace maps ⋮ Models of computation for partial functions on the reals ⋮ A differential operator and weak topology for Lipschitz maps ⋮ Multivalued fractals ⋮ SELF-SIMILARITY OF SATISFIABLE BOOLEAN EXPRESSIONS DECIPHERED IN TERMS OF GRAPH DIRECTED ITERATED FUNCTION SYSTEMS ⋮ Order environments of topological spaces ⋮ A computable version of the Daniell-Stone theorem on integration and linear functionals ⋮ Safe \& robust reachability analysis of hybrid systems ⋮ Domains and stochastic processes ⋮ Topological entropy and chaos for maps induced on hyperspaces ⋮ The space of formal balls and models of quasi-metric spaces ⋮ The formal ball model for -categories ⋮ A quantitative computational model for complete partial metric spaces via formal balls ⋮ A computable approach to measure and integration theory ⋮ A domain-theoretic approach to computability on the real line ⋮ Shadowing for induced maps of hyperspaces ⋮ Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets ⋮ Concrete models of computation for topological algebras ⋮ Computation by `While' programs on topological partial algebras ⋮ The generalized Riemann integral on locally compact spaces ⋮ Properly injective spaces and function spaces ⋮ Topology, domain theory and theoretical computer science ⋮ Computation on metric spaces via domain theory ⋮ Uniform approximation of topological spaces ⋮ Domain representations of topological spaces ⋮ Measure and probability for concurrency theorists ⋮ Integration in Real PCF ⋮ A Domain-Theoretic Approach to Integration in Hausdorff Spaces ⋮ Extension of valuations on locally compact sober spaces ⋮ Foundation of a computable solid modelling. ⋮ A PROBABILISTIC POWER DOMAIN ALGORITHM FOR FRACTAL IMAGE DECODING
This page was built for publication: Dynamical systems, measures, and fractals via domain theory
