Results 21 to 30 of about 5,516,012 (291)
, 2012 We present a logic for the specification of static analysis problems that goes beyond the logics traditionally used. Its most prominent feature is the direct support for both inductive computations of behaviors as well as co-inductive specifications of ...
Filipiuk, Piotr +2 more
core +1 more source
The multiplicativity of fixed point invariants
, 2013 We prove two general factorization theorems for fixed-point invariants of fibrations: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar multiplicativity results for the Lefschetz and Nielsen numbers of a ...
Citterio +10 more
core +1 more source
Infrared fixed point in quantum Einstein gravity [PDF]
, 2012 We performed the renormalization group analysis of the quantum Einstein gravity in the deep infrared regime for different types of extensions of the model.
A Bonanno +68 more
core +2 more sources
Fixed Points of Isometries [PDF]
Nagoya Mathematical Journal, 1958 The purpose of this paper is to prove the followingTheorem. Let M be a Riemannian manifold of dimension n and let ξ be a Killing vector field (i.e., infinitesimal isometry) of M. Let F be the set of points x of M where ξ vanishes and let F = ∪ Vi, where the Vi’s are the connected components of F. Then (assuming F to be non-empty)
openaire +4 more sources
On characterizations of fixed points [PDF]
International Journal of Mathematics and Mathematical Sciences, 2001 We give some necessary and sufficient conditions for the existence of fixed points of a family of self mappings of a metric space and we establish an equivalent condition for the existence of fixed points of a continuous compact mapping of a metric space.
Zeqing Liu, Shin Min Kang, Lili Zhang
openaire +4 more sources
The unpredictably eruptive dynamics of spruce budworm populations in eastern Canada
Population Ecology, EarlyView.We examine historical population data for spruce budworm from several locations through the period 1930–1997, and use density‐dependent recruitment curves to test whether the pattern of population growth over time is more consistent with Royama's (1984; Ecological Monographs 54:429–462) linear R(t) model of harmonic oscillation at Green River New ...
Barry J. Cooke, Jacques Régnière
wiley +1 more source
Understanding Fixed Point Theorems [PDF]
, 2003 Fixed point theorems are the standard tool used to prove the existence of equilibria in mathematical economics. This paper shows how to prove a slight generalization of Brouwer's and Kakutani's fixed point theorems using the familiar techniques of ...
Arnold, Lutz G.
core
Fixed points and boundaries [PDF]
Proceedings of the American Mathematical Society, 1981 A lemma of Ludvik Janos is used to show that if a nonexpansive self-map T T of a compact set X X is contractive on Δ ′ X \Delta ’X , the boundary of X X in co ¯ X ...
openaire +2 more sources
Network topology drives population temporal variability in experimental habitat networks
Population Ecology, EarlyView.Habitat patches connected by dispersal pathways form habitat networks. We explored how network topology affects population outcomes in laboratory experiments using a model species (Daphnia carinata). Central habitat nodes in complex lattice networks exhibited lower temporal variability in population sizes, suggesting they support more stable ...
Yiwen Xu +3 more
wiley +1 more source
Unique fixed points vs. least fixed points
Theoretical Computer Science, 1980 AbstractThe aim of this paper is to compare two approaches to the semantics of programming languages: the least fixed point approach, and the unique fixed point approach. Briefly speaking, we investigate here the problem of existence of extensions of algebras with the unique fixed point property to ordered algebras with the least fixed point property ...
openaire +3 more sources