| In this paper we describe a new technique for proving that a particular system is chaotic in topological sense, i.e. that it has positive topological entropy. This technique combines existence results based on the xed point index theory and computer-assisted computations, necessary to verify assumptions of the existence theorem. First we present an existence theorem for periodic points of map...

We present a new embedding theorem for time series, in the spirit of Takens's theorem, but requiring multivariate signals. Our result is part of a growing body of work that extends the domain of geometric time series analysis to some genuinely stochastic systems|including such natural examples as xj+1 = (xj) + j where is some xed map and the j are i.i.d. random displacements.

We present a domain-theoretic analysis of the invariant measure of the one-dimensional Ising model in a random external magnetic eld. The invariant measure is obtained as a xed point of the Markov transition operator of an iterated function system with probabilities acting on the probabilistic power domain of the upper space of a closed real interval. This enables us to use the generalised Riem...

Synopsis Domain-theoretic categories are axiomatised by means of categorical non-order-theoretic requirements on a cartesian closed category equipped with a commutative monad. We prove an enrichment theorem showing that every axiomatic domain-theoretic category can be endowed with an intensional notion of approximation, the path relation, with respect to which the category Cpo-enriches. Subsequ...

Diiusion processes on the Sierpinski gasket and the abc-gaskets are constructed as limits of random walks. In terms of the associated renor-malization group, the present method uses the inverse trajectories which converge to unstable xed points corresponding to the random walks on one-dimensional chains. In particular, non-degenerate xed points are unnecessary for the construction. A limit theo...

In order to solve domain equations over 1-bounded compact metric spaces, xed points of functors on categories of 1-bounded compact metric spaces are studied. Two categories of 1-bounded compact metric spaces are considered: KMS and KMS E. In both categories, objects are isomorphic if and only if they are isometric. As a consequence, provided that the operation of a domain equation can be extend...

‎in this paper, based on [a. razani, v. rako$check{c}$evi$acute{c}$ and z. goodarzi, nonself mappings in modular spaces and common fixed point theorems, cent. eur. j. math. 2 (2010) 357-366.] a fixed point theorem for non-self contraction mapping $t$ in the modular space $x_rho$ is presented. moreover, we study a new version of krasnoseleskii's fixed point theorem for $s+t$, where $t$ is a cont...

Induction for Horn clauses from data received a major boost from the success of FOIL 1;2;3 as a pioneer clausal learning algorithm. FOIL attempts to explain a target relation (while avoiding a negative set) by incrementally adding clauses that successively increase this explained part. The residue of the target set is obtained by postulating the target set in the antecedents (body) of the gener...

an idea of fuzzy reexivity of felbin's type fuzzy normed linear spaces is introduced and its properties are studied. concept of fuzzy uniform normal structure is given and using the geometric properties of this concept xed point theorems are proved in fuzzy normed linear spaces.

Proof systems with sequents of the form U ` for proving validity of a propositional modal-calculus formula over a set U of states in a given model usually handle xed-point formulae through unfolding, thus allowing such formulae to reappear in a proof. Tagging is a technique originated by Winskel for annotating xed-point formulae with information about the proof states at which these are unfolde...