Results 61 to 70 of about 11,744,847 (379)
, 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
On p-Common Best Proximity Point Results for S-Weakly Contraction in Complete Metric Spaces
Mathematics, 2018 In this work, we introduced new notions of a new contraction named S -weakly contraction; after that, we obtained the p-common best proximity point results for different types of contractions in the setting of complete metric spaces by using weak
Chayut Kongban +3 more
doaj +1 more source
Fixed Point for Uniformly Local Asymptotic Nonexpansive Map [PDF]
arXiv, 2023 Fixed points for uniformly local asymptotic nonexpansive maps are discussed in this article. An approximate fixed point sequence for such a map over a uniformly convex Banach space is derived. At the end, we study the unique fixed point for uniformly local asymptotic contraction.
arxiv
Handel's fixed point theorem revisited
, 2012 Michael Handel proved in [7] the existence of a fixed point for an orientation preserving homeomorphism of the open unit disk that can be extended to the closed disk, provided that it has points whose orbits form an oriented cycle of links at infinity ...
Brown +4 more
core +2 more sources
Theoretical Computer Science, 2004 AbstractWe study complexity and information and introduce the idea that while complexity is relative to a given class of processes, information is process independent: Information is complexity relative to the class of all conceivable processes. In essence, the idea is that information is an extension of the concept ‘algorithmic complexity’ from a ...
openaire +2 more sources
The dual nature of TDC – bridging dendritic and T cells in immunity
FEBS Letters, EarlyView.TDC are hematopoietic cells combining dendritic and T cell features. They reach secondary lymphoid organs (SLOs) and peripheral organs (liver and lungs) after FLT3‐dependent development in the bone marrow and maturation in the thymus. TDC are activated and enriched in SLOs upon viral infection, suggesting that they might play unique immune roles, since
Maria Nelli, Mirela Kuka
wiley +1 more source
Journal of Mathematical Analysis and Applications, 1992 Fixed point theorems are a very important tool in the study of existence of solutions to differential equations. In general we work in a Banach space and apply Darbo’s or Sadovski’s fixed point theorems. The continuous dependence of the solutions can be obtained by applying a theorem due to Hale [S].
Luiz Augusto da Costa Ladeira +1 more
openaire +2 more sources
Advances in Difference Equations, 2021 In this paper, the authors present a strategy based on fixed point iterative methods to solve a nonlinear dynamical problem in a form of Green’s function with boundary value problems.
Khanitin Muangchoo-in +3 more
doaj +1 more source
Understanding Fixed Point Theorems [PDF]
, 2003 Fixed point theorems are the standard tool used to prove the existence of equilibria in mathematical economics. This paper shows how to prove a slight generalization of Brouwer's and Kakutani's fixed point theorems using the familiar techniques of ...
Arnold, Lutz G.
core
Inhomogeneous Fixed Point Ensembles Revisited
, 2010 The density of states of disordered systems in the Wigner-Dyson classes approaches some finite non-zero value at the mobility edge, whereas the density of states in systems of the chiral and Bogolubov-de Gennes classes shows a divergent or vanishing ...
Dorokhov O. N. +2 more
core +1 more source