Results 291 to 300 of about 7,821,983 (355)
Some of the next articles are maybe not open access.
Fixed-Point Back-Propagation Training
Computer Vision and Pattern Recognition, 2020Recent emerged quantization technique (i.e., using low bit-width fixed-point data instead of high bit-width floating-point data) has been applied to inference of deep neural networks for fast and efficient execution.
Xishan Zhang +10 more
semanticscholar +1 more source
Mathematical Logic Quarterly, 1988
The paper establishes some general conditions under wich a formula A(p) has only provable fixed points in Guaspari-Solovay modal logic of provability R. This result is used to give another proof of Parikh's theorem: For each natural number \(k\geq 1\) there is an arithmetical sentence A, provable in PA, such that \(\square^ kA\) has a much shorter ...
de Jongh, Dick, Montagna, Franco
openaire +2 more sources
The paper establishes some general conditions under wich a formula A(p) has only provable fixed points in Guaspari-Solovay modal logic of provability R. This result is used to give another proof of Parikh's theorem: For each natural number \(k\geq 1\) there is an arithmetical sentence A, provable in PA, such that \(\square^ kA\) has a much shorter ...
de Jongh, Dick, Montagna, Franco
openaire +2 more sources
Fixed points vs. coupled fixed points
Journal of Fixed Point Theory and Applications, 2018zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
1994
Abstract In an Ockham algebra (L;f) the notion of a fixed point f was introduced in Chapter 2 as an element a ∈L such that f(a) = a. Dually, we say that an element x of an Ockham space (X;g) is a fixed point of g if g(x) = x. We shall denote by Fix L [resp. Fix X] the subset of L [resp. X] formed by the fixed points f [resp. g].
T S Blyth, J C Varlet
+4 more sources
Abstract In an Ockham algebra (L;f) the notion of a fixed point f was introduced in Chapter 2 as an element a ∈L such that f(a) = a. Dually, we say that an element x of an Ockham space (X;g) is a fixed point of g if g(x) = x. We shall denote by Fix L [resp. Fix X] the subset of L [resp. X] formed by the fixed points f [resp. g].
T S Blyth, J C Varlet
+4 more sources
Proceedings of the American Mathematical Society, 1982
In this paper, we develop a machine which enables us to predict, in many cases, the exact number of fixed points of a local diffeomorphism. Though much more general, our technique applies in particular to locally expansive maps on compact, connected, orientable differentiable manifolds.
openaire +1 more source
In this paper, we develop a machine which enables us to predict, in many cases, the exact number of fixed points of a local diffeomorphism. Though much more general, our technique applies in particular to locally expansive maps on compact, connected, orientable differentiable manifolds.
openaire +1 more source
2008
This article gives statements of the Tarski fixed point theorem and the main versions of the topological fixed point principle that have been ...
openaire +1 more source
This article gives statements of the Tarski fixed point theorem and the main versions of the topological fixed point principle that have been ...
openaire +1 more source
Proceedings of the American Mathematical Society, 1961
the importance of the following Problem. Let A : X—*Y be a mapping (not necessarily linear) of a topological space X into a topological space Y. Under what conditions is A (X) open in F? The aim of this paper is to give a particular solution of this problem in the case of mappings A : X—>X of a Banach space X into itself.
openaire +1 more source
the importance of the following Problem. Let A : X—*Y be a mapping (not necessarily linear) of a topological space X into a topological space Y. Under what conditions is A (X) open in F? The aim of this paper is to give a particular solution of this problem in the case of mappings A : X—>X of a Banach space X into itself.
openaire +1 more source
1987
An economic system, which consists of a number of relationships among the relevant factors, is modelled as a system of equations or inequalities of certain unknowns, whose solution represents a specific state in which the system settles. This is typically exemplified by the Walrasian competitive economy (Walras, 1874), consisting of the interaction of ...
openaire +1 more source
An economic system, which consists of a number of relationships among the relevant factors, is modelled as a system of equations or inequalities of certain unknowns, whose solution represents a specific state in which the system settles. This is typically exemplified by the Walrasian competitive economy (Walras, 1874), consisting of the interaction of ...
openaire +1 more source
Fixed point theorems for generalized contractive mappings in metric spaces
Journal of Fixed Point Theory and Applications, 2020Petko D. Proinov
semanticscholar +1 more source
Function Secret Sharing for Mixed-Mode and Fixed-Point Secure Computation
IACR Cryptology ePrint Archive, 2020Elette Boyle +6 more
semanticscholar +1 more source