We address the problem of improving variable-length-toxed-length codes (VF codes). A VF code is an encoding scheme that uses a xed-length code, and thus, one can easily access the compressed data. However, conventional VF codes usually have an inferior compression ratio to that of variable-length codes. Although a method proposed by T. Uemura et al. in 2010 achieves a good compression ratio com...

‎the frobenius complement of a given frobenius group acts on its kernel‎. ‎the scheme which is arisen from the orbitals of this action is called ferrero pair scheme‎. ‎in this paper‎, ‎we show that the fibers of a ferrero pair scheme consist of exactly one singleton fiber and every two fibers with more than one point have the same cardinality‎. ‎moreover‎, ‎it is shown that the restriction of a...

Macbeath gave a formula for the number of xed points for each non-identity element of a cyclic group of automorphisms of a compact Riemann surface in terms of the universal covering transformation group of the cyclic group. We observe that this formula generalizes to determine the xed-point set of each non-identity element of a cyclic group of automorphisms acting on a closed non-orientable sur...

In this paper we formulate and prove some xed and common xed pointTheorems for self-mappings dened on complete lower Transversal functionalprobabilistic spaces.

In this paper a hybrid type theory HTT is deened which combines the programming language notion of partial type with the logical notion of total type into a single theory. A new partial type constructor A is added to the type theory: objects in A may diverge, but if they converge, they must be members of A. A xed point typing rule is given to allow for typing of xed points. The underlying theor...

We consider the pair (pi, fi) as a force with two-dimensional direction vector fi applied at the point pi in the plane. For a given set of forces we ask for a non-crossing geometric graph on the points pi that has the following property: There exists a weight assignment to the edges of the graph, such that for every pi the sum of the weighted edges (seen as vectors) around pi yields −fi. As add...

The basics of a block oriented fractal image coder, are described. The output of the coder is an IFS (Iterated Function System) code, which describes the image as a xed-point of a contractive transformation. A new hierarchical interpretation of the IFS code, which relates diierent scales of the xed-point to the code, is presented and proved. The proof is based on nding a function of a continuou...

For a family of operator inclusions with convex closed-valued right-hand sides in Banach spaces, the existence of solutions is obtained by chieey using Ky Fan's xed point principle. The main result of the paper improves Theorem 1 in 16] as well as Theorem 2.2 of 3]. Some meaningful concrete cases are also presented and discussed. KEY WORDS: operator inclusions in Banach spaces, Ky Fan's xed poi...

The inequality Ffx;fy(qs) Fx;y(s) (s 0), where q 2 (0; 1), is generalized for multivalued mappings in many directions. Using Hausdor distance S.B. Nadler in [7] introduced a generalization of Banach contraction principle in metric spaces. In [3] the de nition of probabilistic Nadler q-contraction is given. Using some results given in [12] a xed point theorem on spaces with a convex structure is...

For every xed-point expression e of alternation-depth r, we construct a new xed-point expression e 0 of alternation-depth 2 and size O(r jej). Expression e 0 is equivalent to e whenever operators are distributive and the underlying complete lattice has a co-continuous least upper bound. We show that our transformation is optimal not only w.r.t. alternation-depth but also w.r.t. the increase in ...