3 citations · 5 across the 3 of their papers we have counts for
6 papers
Effective metastability for a method of alternating resolvents
Bruno Dinis, Pedro Pinto
A generalized method of alternating resolvents was introduced by Boikanyo and Moro{\c s}anu as a way to approximate common zeros of two maximal monotone operators. In this paper we…
On the convergence of algorithms with Tikhonov regularization terms
Bruno Dinis, Pedro Pinto
We consider the strongly convergent modified versions of the Krasnosel'ski\uı-Mann, the forward-backward and the Douglas-Rachford algorithms with Tikhonov regularization terms, int…
Parametrised Functional Interpretations
Bruno Dinis, Paulo Oliva
This paper presents a general framework for unifying functional interpretations. It is based on families of parameters allowing for different degrees of freedom on the design of th…
Quantitative results on the multi-parameters Proximal Point Algorithm
Bruno Dinis, Pedro Pinto
We give a quantitative analysis of a theorem due to Fenghui Wang and Huanhuan Cui concerning the convergence of a multi-parametric version of the proximal point algorithm. Wang and…
Metastability of the proximal point algorithm with multi-parameters
Bruno Dinis, Pedro Pinto
In this article we use techniques of proof mining to analyse a result, due to Yonghong Yao and Muhammad Aslam Noor, concerning the strong convergence of a generalized proximal poin…
Fundamental group in o-minimal structures with definable Skolem functions
Bruno Dinis, Mário J. Edmundo, Marcello Mamino
In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and we prove that definably connected, locally definable manifolds are uniformly definably…