In this article we present a variant of the basic result of "T. Gnana. Bhaskar and V. Lakshmikanthan, Fixed point theorem in partially ordered metric spaces and applications, Nonlinear Anal. TMA, 65 (2006), 1379–1393." to …nd the coupled …xed points of multivalued mappings without mixed monotone property in cone metric space involving non-normal cones. As applications we prove the existence of ...

In this article, we present general properties of xed-point groups of the automorphisms of nite groups. Speci cally, we determine the form of xed-point groups and partition Aut(G) according to the number of xed points possessed by each automorphism. A function θ records the size of each partitioning set; we nd properties for θ in general and develop formulae for θ with respect to certain classe...

The Steiner tree problem is to nd the tree with minimal Euclidean length spanning a set of xed points in the plane, given the ability to add points (Steiner points). The problem is NP-hard, so polynomial-time heuristics are desired. We present two such heuristics, both of which utilize an eecient method for computing a locally optimal tree with a given topology. The rst systematically inserts S...

We introduce Partitioned Dependency Graphs (PDGs), an abstract framework for the speci cation and evaluation of arbitrarily nested alternating xed points. The generality of PDGs subsumes that of similarly proposed models of nested xed-point computation such as Boolean graphs, Boolean equation systems, and the propositional modal mu-calculus. Our main result is an e cient local algorithm for eva...

Constructive type theory as conceived by Per Martin-LL of has a very rich type system, but partial functions cannot be typed. This also makes it impossible to directly write recursive programs. In this paper a constructive type theory Red is deened which includes a partial type constructor A; objects in the type A may diverge, but if they converge, they must be members of A. A xed point typing ...

We deene Ehrenfeucht-Fra ss e games which exactly capture the expressive power of the extremal xed point operators of modal mu-calculus. The resulting games have signiicance, we believe, within and outside of concurrency theory. On the one hand they naturally extend the iterative bisimulation games associated with Hennessy-Milner logic, and on the other hand they ooer deeper insight into the lo...

We study ve extensions of the polymorphically typed lambda-calculus (system F) by type constructs intended to model xed-points of monotone operators. Building on work by H. Geuvers concerning the relation between term rewrite systems for least pre-xed-points and greatest post-xed-points of positive type schemes (i. e., non-nested positive inductive and coinductive types) and so-called retract t...

We show that the input-output function computed by a network of asynchronous real-time processes is denoted by the unique xed point of a Scott continuous functional even though the network or its components may compute a discontinuous function. This extends a well-known principle of Kahn [Kahn, 1974] to an important class of parallel systems that has resisted the traditional xed point approach....

Let C be a binary self-dual code with an automorphism g of order 2p, where p is an odd prime, such that g is a xed point free involution. If C is extremal of length a multiple of 24 all the involutions are xed point free, except the Golay Code and eventually putative codes of length 120. Connecting module theoretical properties of a self-dual code C with coding theoretical ones of the subcode C...

We prove this conjecture in case (a) and signi cantly extend the range of p and q for which it is known in case (b). In cases (a) and (b), these questions are equivalent to global stability of the xed point (L;L) of the planar map (u; v) = (v; f(u; v)). For as in case (a), we consider natural four dimensional extensions T of 3 and S of . For 0 q < p, we prove that (L;L; L; L) is a global stable...