Results 11 to 20 of about 11,792,067 (380)
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
Fixed-Point Factorized Networks [PDF]
Computer Vision and Pattern Recognition, 2016 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-
Peisong Wang, Jian Cheng
semanticscholar +3 more sources
Foundations of Physics, 2003 Contribution to Mermin Festschrift; 8 pages, 5 ...
Elser, Veit
openaire +4 more sources
On Hilfer generalized proportional fractional derivative
Advances in Difference Equations, 2020 Motivated by the Hilfer and the Hilfer–Katugampola fractional derivative, we introduce in this paper a new Hilfer generalized proportional fractional derivative, which unifies the Riemann–Liouville and Caputo generalized proportional fractional ...
Idris Ahmed +4 more
doaj +1 more source
Strong convergence theorems for fixed point of multi-valued mappings in Hadamard spaces
Journal of Inequalities and Applications, 2022 With the help of CN-inequality, we study fixed point of multi-valued mappings with closed bounded images and establish some strong convergence theorems involving a countable family of demicontractive mappings in Hadamard spaces.
Sani Salisu +2 more
doaj +1 more source
Plug-and-Play ADMM for Image Restoration: Fixed-Point Convergence and Applications [PDF]
IEEE Transactions on Computational Imaging, 2016 Alternating direction method of multiplier (ADMM) is a widely used algorithm for solving constrained optimization problems in image restoration. Among many useful features, one critical feature of the ADMM algorithm is its modular structure, which allows
Stanley H. Chan +2 more
semanticscholar +1 more source
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
Advances in Difference Equations, 2021 In this paper, the problem of temperature distribution for convective straight fins with constant and temperature-dependent thermal conductivity is solved by using artificial neural networks trained by the biogeography-based heterogeneous cuckoo search ...
Ashfaq Ahmad +2 more
doaj +1 more source
Variational methods to second-order Dirichlet boundary value problems with impulses on the half-line
Cubo, 2022 In this paper, the existence of solutions for a second-order impulsive differential equation with a parameter on the half-line is investigated. Applying Lax-Milgram Theorem, we deal with a linear Dirichlet impulsive problem, while the nonlinear case is ...
Meriem Djibaoui, Toufik Moussaoui
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