DSpace Collection:http://hdl.handle.net/10174/1802024-03-28T11:08:51Z2024-03-28T11:08:51ZCOVID-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:00ZAn alternative viscoelastic model for blood flow simulationsPires, MariliaBodnar, Tomashttp://hdl.handle.net/10174/266562020-01-24T16:29:53Z2019-05-31T23:00:00ZTitle: An alternative viscoelastic model for blood flow simulations
Authors: Pires, Marilia; Bodnar, Tomas
Abstract: In the traceless Oldroyd viscoelastic model, the viscoelastic extra stress tensor is decomposed into its traceless (deviatoric) and spherical parts, leading to a reformulation of the classical Oldoyd model. The equivalence of the two models is established comparing model predictions for simple test cases. The new model is validated using several 2D benchmark problems.
The structure and behaviour of the new model are discussed and the future use of the new model in envisioned, both on the theoretical and numerical
perspectives.2019-05-31T23:00:00Z