Results 1 to 10 of about 3,959,068 (21)
Fixed point combinators as fixed points of higher-order fixed point generators [PDF]
, 2020 Corrado B\"ohm once observed that if $Y$ is any fixed point combinator (fpc), then $Y(\lambda yx.x(yx))$ is again fpc. He thus discovered the first "fpc generating scheme" -- a generic way to build new fpcs from old.
Polonsky, Andrew
core +2 more sources
On Tarski's fixed point theorem [PDF]
, 2014 A concept of abstract inductive definition on a complete lattice is formulated and studied. As an application, a constructive and predicative version of Tarski's fixed point theorem is obtained.Comment: Proc. Amer. Math.
Curi, Giovanni
core +1 more source
Quantum entanglement and fixed-point bifurcations [PDF]
, 2005 How does the classical phase space structure for a composite system relate to the entanglement characteristics of the corresponding quantum system? We demonstrate how the entanglement in nonlinear bipartite systems can be associated with a fixed point ...
Hines, Andrew P. +2 more
core +2 more sources
Fixed Point Polynomials of Permutation Groups [PDF]
, 2013 In this paper we study, given a group $G$ of permutations of a finite set, the so-called fixed point polynomial $\sum_{i=0}^{n}f_{i}x^{i}$, where $f_{i}$ is the number of permutations in $G$ which have exactly $i$ fixed points.
Harden, CM, Penman, DB
core +1 more source
Equality languages and fixed point languages [PDF]
, 1979 This paper considers equality languages and fixed-point languages of homomorphisms and deterministic gsm mappings. It provides some basic properties of these classes of languages. We introduce a new subclass of dgsm mappings, the so-called symmetric dgsm
Engelfriet, Joost, Rozenberg, Grzegorz
core +2 more sources
Nontrivial fixed point in nonabelian models [PDF]
, 2000 We investigate the percolation properties of equatorial strips in the two-dimensional O(3) nonlinear $\sigma$ model. We find convincing evidence that such strips do not percolate at low temperatures, provided they are sufficiently narrow.
Adrian Patrascioiu +9 more
core +3 more sources
Fixed-point Factorized Networks
, 2017 In recent years, Deep Neural Networks (DNN) based methods have achieved remarkable performance in a wide range of tasks and have been among the most powerful and widely used techniques in computer vision. However, DNN-based methods are both computational-
Cheng, Jian, Wang, Peisong
core +1 more source
, 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
A note on the relationship between the isotone assumption of the Abian-Brown fixed point theorem and Abian’s most basic fixed point theorem [PDF]
, 2014 In a recent paper Xie et al. (Fixed Point Theory Appl. 2013:192, 2013) gave several extensions and some applications of the Abian-Brown (AB) fixed point theorem.
Luckraz, Shravan
core +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