DSpace Collection:http://hdl.handle.net/10174/1802024-08-15T00:16:05Z2024-08-15T00:16:05ZModelação de eventos extremos -uma introdução: aplicação ao decatlo e ao heptatlo atléticoSilva, DomingosCaeiro, FredericoOliveira, Manuelahttp://hdl.handle.net/10174/367632024-05-24T14:59:23Z2021-01-27T00:00:00ZTitle: Modelação de eventos extremos -uma introdução: aplicação ao decatlo e ao heptatlo atlético
Authors: Silva, Domingos; Caeiro, Frederico; Oliveira, Manuela
Abstract: Seminário sobre Modelação de eventos extremos –uma introdução: aplicação ao decatlo e ao heptatlo atlético, apresentado ao Programa de Doutoramento Em Matemática da UÉvora.2021-01-27T00:00:00ZCOVID-19: How to estimate the percentages of asymptomatic and immune individualsOliveira, ManuelaMexia, João T.Garção, EugénioGrilo, Luís M.http://hdl.handle.net/10174/340412023-02-08T11:48:04Z2020-09-09T23:00:00ZTitle: COVID-19: How to estimate the percentages of asymptomatic and immune individuals
Authors: Oliveira, Manuela; Mexia, João T.; Garção, Eugénio; Grilo, Luís M.
Abstract: Epidemiology focuses on the identification of patterns in disease occurrence in order to provide information that may be useful to help prevent it. The research of how a disease may be transmitted is influential for that identification. In the case of COVID-19 this research should focus on the relations between the disease and the populations of susceptible individuals that might be infected. In this context, we propose an approach based on a stratified sampling scheme to estimate the percentages of asymptomatic and immune persons per region in Portugal.2020-09-09T23:00:00ZThe Halpern-Mann iteration in CAT(0) spaces.Dinis, Brunohttp://hdl.handle.net/10174/336462023-02-03T10:13:05Z2022-01-01T00:00:00ZTitle: The Halpern-Mann iteration in CAT(0) spaces.
Authors: Dinis, Bruno
Abstract: Complete CAT(0) spaces, also known as Hadamard spaces, are a non-linear generalization of Hilbert spaces. Benefiting from ideas and tools from the proof mining program it was shown by Dinis and Pinto the strong convergence of an iterative schema which alternates between Halpern and Krasnoselskii-Mann style iterations in the general context of CAT(0) spaces. At the same time, the logical tools used allowed to obtain quantitative information in the form of rates of asymptotic regularity and rates of metastability (in the sense of T. Tao). If one restricts oneself to Hilbert spaces, the proof follows some standard arguments. However, to obtain the proof in the more general context of CAT(0) spaces the use of logical tools, and in particular the technique introduced by Ferreira et al., seem to be necessary.
In this talk I will explain the role of the logical tools in obtaining this result.2022-01-01T00:00:00ZConvergence: what’s logic got to do with it?Dinis, Brunohttp://hdl.handle.net/10174/336452023-02-03T10:15:22Z2022-11-01T00:00:00ZTitle: Convergence: what’s logic got to do with it?
Authors: Dinis, Bruno
Abstract: Proof mining is a program that makes use of tools from mathematical
logic in order to analyse mathematical proofs. This analysis is developed
with the purpose of extracting quantitative information from proofs, for example
in the form of effective bounds and/or algorithms. The success of the
proof mining program is due to the ability of extracting computational content
from non-constructive proofs which often allows to improve the results
analysed by weakening the hypotheses necessary to prove them. Moreover,
in the improved results the logical tools used to analyse the original proof
are not visible and can therefore be read by non-logicians. Nevertheless,
the understanding of certain logical principles, as well as their strength, is
crucial in order to perform the extraction of information from the proof.
In this talk I will give a soft introduction to the proof mining program
focusing on the somewhat simple example of the convergence of sequences.
As it turns out, this is a very fruitful example, related with Terence Tao’s
notion of metastability, which is has been paramount in different areas of
research.2022-11-01T00:00:00Z