Results 11 to 20 of about 5,781,205 (339)
Fixed point combinators as fixed points of higher-order fixed point generators [PDF]
Logical Methods in Computer Science, 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. Continuing this idea, define an $\textit{fpc generator}$ to be any sequence of terms $G_1,\dots,G_n$ such that
Polonsky, Andrew
openaire +6 more sources
Local fractional Newton’s inequalities involving generalized harmonic convex functions
Advances in Difference Equations, 2020 A new auxiliary result based on a three step quadratic kernel utilizing the concepts of local fractional calculus is obtained. Using this new auxiliary result we have several new Newton type inequalities whose power q of local fractional derivative in ...
Sabah Iftikhar +3 more
doaj +1 more source
Scientific Reports, 2023 During last decades the research of nanofluid is of great interest all over the World, particularly because of its thermal applications in engineering, and biological sciences.
Muhammad Arif +4 more
doaj +1 more source
An inertial extrapolation method for multiple-set split feasibility problem
Journal of Inequalities and Applications, 2020 In this paper, we propose an iterative algorithm with inertial extrapolation to approximate the solution of multiple-set split feasibility problem. Based on Lopez et al. (Inverse Probl.
Guash Haile Taddele +2 more
doaj +1 more source
Scientific Reports, 2021 The study concerns with the mechanical characteristics of heat and mass transfer flow of a second grade nanofluid as well as gyrotatic microorganism motion past a thin needle with dipole effect, entropy generation, thermal radiation, Arrhenius activation
Muhammad Ramzan +2 more
doaj +1 more source
Fixed points and homotopy fixed points
Commentarii Mathematici Helvetici, 1988 Let G be a finite group, EG be a free contractible G-space, and define \(X^{hG}=Map_ G(EG,X)\) (equivariant mapping space). The main theorem of this paper proves that the following two statements are equivalent (Theorem A): (1) G is a p-group. (2) For every finite G-simplicial complex X, the fixed point set \(X^ G=\emptyset\) if and only if \(X^{hG ...
Zabrodsky, A., Dror Farjoun, E.
openaire +1 more source
Advances in Difference Equations, 2020 Iterative algorithms are widely applied to solve convex optimization problems under a suitable set of constraints. In this paper, we develop an iterative algorithm whose architecture comprises a modified version of the forward-backward splitting ...
Yasir Arfat +3 more
doaj +1 more source
Bulletin of the American Mathematical Society, 1982 A fixed point algebra (FPA) is a pair \(\) of Boolean algebras satisfying the following properties: (1) Each \(\alpha \in B\) is a mapping from A into A; (2) Boolean operations in B are pointwise on A; (3) each constant mapping on A is an element of B; (4) each \(\alpha \in B\) has a fixed point in A.
openaire +2 more sources
Scientific Reports, 2021 In this paper, a numerical study of MHD steady flow due to a rotating disk with mixed convection, Darcy Forchheimer’s porous media, thermal radiation, and heat generation/absorption effects are explored.
Muhammad Ramzan +3 more
doaj +1 more source
Ain Shams Engineering Journal, 2021 In this note, we propose a modification as an alternative to remove the assumption of uniformly monotone as assumed in Aliyu et al. (2019). Numerical experiment shows that the modification improves the numerical performance of the method.
Abdulkarim Hassan Ibrahim, Poom Kumam
doaj +1 more source