Results 31 to 40 of about 5,781,205 (339)
Case Studies in Thermal Engineering, 2021 In the current article, the analysis of magnetohydrodynamic laminar flow past a vertical permeable surface is presented. The flow is considered in the existence of Dufour as well as Soret effects.
Muhammad Jawad +4 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
A Lefschetz fixed point formula for symplectomorphisms [PDF]
, 2010 Consider a compact K\"ahler manifold endowed with a prequantum bundle. Following the geometric quantization scheme, the associated quantum spaces are the spaces of holomorphic sections of the tensor powers of the prequantum bundle.
Charles, Laurent
core +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
DAIMI Report Series, 1991 In the context of abstract interpretation for languages without higher-order features we study the number of times a functional need to be unfolded in order to give the least fixed point. For the cases of total or monotone functions we obtain an exponential bound and in the case of strict and additive (or distributive) functions we obtain a quadratic ...
Nielson, Hanne Riis, Nielson, Flemming
openaire +4 more sources
Fixed Point Algebras for Easy Quantum Groups [PDF]
, 2016 Compact matrix quantum groups act naturally on Cuntz algebras. The first author isolated certain conditions under which the fixed point algebras under this action are Kirchberg algebras. Hence they are completely determined by their $K$-groups.
Gabriel, Olivier, Weber, Moritz
core +3 more sources
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
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