Results 51 to 60 of about 11,792,067 (380)
IEEE Access, 2020 In this article, we propose a modified conjugate descent (CD) projection algorithm for solving system of nonlinear monotone equations with convex constraints.
Sani Aji +4 more
doaj +1 more source
An inertially constructed forward–backward splitting algorithm in Hilbert spaces
Advances in Difference Equations, 2021 In this paper, we develop an iterative algorithm whose architecture comprises a modified version of the forward–backward splitting algorithm and the hybrid shrinking projection algorithm.
Yasir Arfat +4 more
doaj +1 more source
IEEE Access, 2022 Many problems in science and engineering can be formulated as nonlinear least-squares (NLS) problems. Thus, the need for efficient algorithms to solve these problems can not be overemphasized.
Mahmoud Muhammad Yahaya +5 more
doaj +1 more source
Advances in Difference Equations, 2021 This paper provides iterative construction of a common solution associated with the classes of equilibrium problems (EP) and split convex feasibility problems.
Yasir Arfat +4 more
doaj +1 more source
Fractional order mathematical modeling of typhoid fever disease
Results in Physics, 2022 This manuscript is devoted to focusing on the modeling and numerical solution of the dynamical model of Typhoid Fever. We use the Atangana–Baleanu operator with the Mittag–Leffler function in Caputo sense to study the behavior of the model.
Muhammad Sinan +6 more
doaj +1 more source
Are corresponding points fixed? [PDF]
Vision Research, 2001 Several investigators have claimed that the retinal coordinates of corresponding points shift with vergence eye movements. Two kinds of shifts have been reported. First, global shifts that increase with retinal eccentricity; such shifts would cause a flattening of the horopter at all viewing distances and would facilitate fusion of flat surfaces ...
Martin S. Banks, James M. Hillis
openaire +2 more sources
Analysis and Geometry in Metric Spaces, 2023 This article analyses two schemes: Mann-type and viscosity-type proximal point algorithms. Using these schemes, we establish Δ-convergence and strong convergence theorems for finding a common solution of monotone vector field inclusion problems, a ...
Salisu Sani +2 more
doaj +1 more source
The Bulletin of Symbolic Logic, 2002 AbstractWe consider fixed point logics, i.e., extensions of first order predicate logic with operators defining fixed points. A number of such operators, generalizing inductive definitions, have been studied in the context of finite model theory, including nondeterministic and alternating operators. We review results established in finite model theory,
Dawar, Anuj, Gurevich, Yuri
openaire +2 more sources
, 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
Fixed points of automorphisms [PDF]
Proceedings of the American Mathematical Society, 1976 We prove that the fixed point set of a compact Lie group of automorphisms of a Lie group has finitely many components if the Lie group does.
openaire +2 more sources