Mathematical Logic Webinar

Halpern and Mann iterative schemas

A path towards generalization

Sala 6.2.33, Ciências ULisboa (com transmissão através de videoconferência)

Por Pedro Pinto (Technische Universität Darmstadt).

In this talk I shall discuss recent joint work with Bruno Dinis, where we considered an iterative schema which alternates between Halpern and Krasnoselskii-Mann style iterations.
We prove, under suitable conditions, the strong convergence of this algorithm in the general nonlinear setting of CAT(0) spaces. Besides obtaining quantitative information, we will see how such proof was made possible by techniques and ideas from the proof mining program.
Our results generalize recent work by Boț, Csetnek and Meier, and Cheval and Leustean.

References:

  1. B. Dinis and P. Pinto. Strong convergence for the alternating Halpern-Mann iteration in CAT(0) spaces. arXiv:2112.14525, 2021.
  2. R. I. Bot, E. R. Csetnek, and D. Meier. Inducing strong convergence into the asymptotic behaviour of proximal splitting algorithms in Hilbert spaces. Optim. Methods Softw., 34(3):489{514, 2019.
  3. H. Cheval and L. Leuștean. Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration. arXiv:2107.07176, 2021.
  4. F. Ferreira, L. Leuștean, and P. Pinto. On the removal of weak compactness arguments in proof mining. Advances in Mathematics, 354:106728, 2019
  5. U. Kohlenbach and L. Leuștean. Effective metastability of Halpern iterates in CAT(0) spaces. Advances in Mathematics, 231(5):2526{2556, 2012.

Zoom | ID da reunião: 890 8479 3299 - senha de acesso: 409604 

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Título "Ciências, onde andas tu?", sobre um mapa

Esta é a pergunta que estamos a fazer a alumni de Ciências ULisboa. A resposta interessa-vos?

Seminário Doutoral, por Rita Sousa.

Título e data do evento, acompanhados de representações de espécies animais/vegetais e dos logótipos dos organizadores

No dia 26 de maio, a comunidade de Ciências, em conjunto com especialistas de diferentes grupos taxonómicos, inventaria e regista toda a biodiversidade que consiga observar.

Seminário Helena Avelar de Astronomia e Astrologia Antiga, por Jeffrey Kotyk (University of British Columbia).

The main purpose of this course is to present new recent developments in integrated nested Laplace approximation (INLA) that is a method for approximate Bayesian inference.

In 2022, CQE Days will be held on the 26th and 27th of May at Ciências campus.

Banner do evento

Um debate sobre o papel da bioinspiração no Design, na Arquitetura e no Planeamento Urbano.

Um ciclo de entrevistas com o objetivo de conhecer melhor os docentes do Departamento de Matemática de Ciências ULisboa. Gracinda Gomes é a entrevistada.

Logótipo da iniciativa e prazo de candidatura

Candidaturas de 16 a 27 de maio de 2022.

Fotografia de elétrico e diversas informações sobre o evento

Evento no âmbito do Ciclo de Conferências "Conversas à 6.ª", promovido pela redeMOV da Universidade de Lisboa.

Imagem ilustrativa do evento e várias informações (título, orador, data)

Formação de Comunicação em Ciência(s), por Luís Morgado (Science Communication Office ITQB NOVA).

Imagem representativa de um mundo digital

Sessão de apresentação dos Mestrados do Departamento de Informática.

Ação de formação para docentes, por Sofia Sá.

The objective of this course is to provide participants with basic knowledge on a) the fundamental aspects of experimental design and b) workflows, platforms and tools to increase reproducibility at all scientific levels.

Pormenor da Exposição "Formas & Fórmulas" (Ciências ULisboa, outubro 2016 a março 2017)

A sessão conta com a presença do coordenador, docentes e alunos do Mestrado.

Fotografia de bando de aves

O National Geographic Summit está finalmente de volta!

Fotografias do Estuário do Tejo

Concurso de fotografia no âmbito do projeto "MigraWebs: Migradores como modeladores ecológicos sazonais das comunidades e funções ecossistémicas de áreas costeiras temperadas e tropicais", com candidaturas de 18 de abril a 31 de maio de 2022.

Título e data do evento, sobre uma fotografia de um elétrico

The course aims to provide a better understanding of how to use and customize NIMBLE's statistical algorithms.

Ação de formação para docentes, por Sofia Sá.

Pormenor de vida marinha

Seminários doutorais no âmbito do Doutoramento em Biologia de Ciências ULisboa.

The goal of this event is to allow PhD students from our research unit / faculty (LASIGE / FCUL), and other institutions, to disseminate their work and fostering knowledge sharing and cross-institution student collaborations.

Título do evento e indicação dos oradores

Encontro de Comunicação de Ciência(s), por Diogo Veríssimo (Universidade de Oxford), Maria Vicente (Plataforma de Ciência Aberta) e Milene Matos (BioLiving; Município de Lousada).

Fotografia de documentos antigos

As perspetivas epistemológicas acerca do arquivo, entendido enquanto realidade mas também como metáfora, sofreram transformações assinaláveis nos últimos anos.

Geometry Seminar, por Daniel Barlet (Institut Elie Cartan, Géométrie, Université de Lorraine, Nancy).

Banner do evento

Sessão de apresentação de e-book no âmbito do projeto HOUSE (Hábitos e AlimentaçãO dos Universitários na SaúdE).

Páginas