2 citations · 4 across the 9 of their papers we have counts for
9 papers
Recognizing weighted means in geodesic spaces
Ariel Goodwin, Adrian S. Lewis, Genaro Lopez-Acedo +1
Geodesic metric spaces support a variety of averaging constructions for given finite sets. Computing such averages has generated extensive interest in diverse disciplines. Here we…
Horoballs and the subgradient method
Adrian S. Lewis, Genaro Lopez-Acedo, Adriana Nicolae
To explore convex optimization on Hadamard spaces, we consider an iteration in the style of a subgradient algorithm. Traditionally, such methods assume that the underlying spaces a…
OpenBSD formal driver verification with SeL4
Adriana Nicolae, Paul Irofti, Ioana Leustean
The seL4 microkernel is currently the only kernel that has been fully formally verified. In general, the increased interest in ensuring the security of a kernel's code results from…
Barycenters in uniformly convex geodesic spaces
Laurentiu Leustean, Adriana Nicolae, Alexandru Zaharescu
This note proves a result on the existence of barycenters in a class of uniformly convex geodesic spaces.
Proximal minimization in CAT spaces
Rafa Espínola, Adriana Nicolae
In this note, we provide convergence results for the proximal point algorithm and a splitting variant thereof in the setting of CAT spaces with using a recent definitio…
Continuous Selections of Lipschitz Extensions in Metric Spaces
Rafa Espínola, Adriana Nicolae
This paper deals with the study of parameter dependence of extensions of Lipschitz mappings from the point of view of continuity. We show that if assuming appropriate curvature bou…