Zobrazeno 1 - 10
of 83
pro vyhledávání: '"Leustean, Laurentiu"'
Autor:
Marin, Mircea, Leuştean, Laurenţiu
Publikováno v:
EPTCS 410, 2024
The Working Formal Methods Symposium (FROM) is a series of workshops that aim to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or by creating
Externí odkaz:
http://arxiv.org/abs/2410.23020
Autor:
Firmino, Paulo, Leustean, Laurentiu
In this paper we obtain, by using proof mining methods, quantitative results on the asymptotic regularity of the viscosity approximation method (VAM) with error terms for m-accretive operators in Banach spaces. For concrete instances of the parameter
Externí odkaz:
http://arxiv.org/abs/2402.17947
Publikováno v:
EPTCS 389, 2023
This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.
Externí odkaz:
http://arxiv.org/abs/2309.12959
Autor:
Cheval, Horaţiu, Leuştean, Laurenţiu
In this note we apply a lemma due to Sabach and Shtern to compute linear rates of asymptotic regularity for Halpern-type nonlinear iterations studied in optimization and nonlinear analysis.
Externí odkaz:
http://arxiv.org/abs/2303.05406
Autor:
Leustean, Laurentiu, Pinto, Pedro
In this paper we extend to $UCW$-hyperbolic spaces the quantitative asymptotic regularity results for the alternating Halpern-Mann iteration obtained by Dinis and the second author for CAT(0) spaces. These results are new even for uniformly convex no
Externí odkaz:
http://arxiv.org/abs/2206.02226
We show that the asymptotic regularity and the strong convergence of the modified Halpern iteration due to T.-H. Kim and H.-K. Xu and studied further by A. Cuntavenapit and B. Panyanak and the Tikhonov-Mann iteration introduced by H. Cheval and L. Le
Externí odkaz:
http://arxiv.org/abs/2203.11003
Autor:
Cheval, Horatiu, Leustean, Laurentiu
In this paper, we compute quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration in W-hyperbolic spaces. This iteration is an extension to a nonlinear setting of the modified Mann iteration defined recently by Bot, Csetnek and Meier
Externí odkaz:
http://arxiv.org/abs/2107.07176
Autor:
Leustean, Laurentiu, Pinto, Pedro
We apply proof mining methods to analyse a result of Boikanyo and Moro\c{s}anu on the strong convergence of a Halpern-type proximal point algorithm. As a consequence, we obtain quantitative versions of this result, providing uniform effective rates o
Externí odkaz:
http://arxiv.org/abs/2001.10040
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
The main observation of this paper is that some sequential weak compactness arguments in Hilbert space theory can be replaced by Heine/Borel compactness arguments (for the strong topology). Even though the latter form of compactness fails in (infinit
Externí odkaz:
http://arxiv.org/abs/1810.01508