‎We present some existence and convergence results for a general class of nonexpansive mappings in partially ordered hyperbolic metric spaces‎. ‎We also give some examples to show the generality of the mappings considered herein.

The optimality approach to modeling natural selection has been criticized by many biologists and philosophers of biology. For instance, Lewontin (1979) argues that the optimality approach is a shortcut that will be replaced by models incorporating genetic information, if and when such models become available. In contrast, I think that optimality models have a permanent role in evolutionary stud...

Introduction. In [Ge1] Gekeler classified all elliptic curves over F2r (T ) with one rational place of multiplicative reduction (without loss of generality located at ∞), one further rational place of bad reduction (without loss of generality located at 0) and good reduction elsewhere. So these curves have conductor ∞ · T where n is a natural number (which actually can be arbitrarily large). In...

This paper introduces two methods for comparing explanation power of different abductive theories. One is comparing explainability for observations, and the other is comparing explanation contents for observations. Those two measures are represented by generality relations over abductive theories. The generality relations are naturally related to the notion of abductive equivalence introduced b...

Synchronization in neuronal systems is a new and intriguing application of dynamical systems theory. Why are neuronal systems different as a subject for synchronization? (1) Neurons in themselves are multidimensional nonlinear systems that are able to exhibit a wide variety of different activity patterns. Their "dynamical repertoire" includes regular or chaotic spiking, regular or chaotic burst...

The classical deenition of the concept of least generalization of a clause set C is that it is a single clause. Since such a unique clause is sometimes over-general, we re-deene this concept as being a minimal-sized set of clauses, each member of this set being the classical least generalization of some subset of C. The elements of these subsets are two by two compatible, in the sense that thei...