http://hdl.handle.net/10174/203 2026-04-05T16:40:38Z http://hdl.handle.net/10174/37405 Title: CPLP Docti XIX/2022: início dos estudos Authors: Tiago de Oliveira, José Carlos; Quaresma, Paulo; Flávia, Lenira Santos Abstract: Nesta comunicação será efetuada uma apresentação dos resultados de um trabalho em curso de identificação, análise, caracterização e impacto dos Doutores dos Países de Língua Oficial Portuguesa do século XIX até aos nossos dias. Em concreto, neste artigo será dado uma especial relevância à identificação dos docti originários de Goa, Moçambique, Angola, Cabo Verde, Guiné-Bissau, S. Tomé e Príncipe e Timor-Leste. Para cada um destes Países/regiões foi efetuado um levantamento proveniente de várias fontes, desde publicações e textos de referência, até à recolha via canais informais escritos e orais. O objetivo visa essencialmente a identificação e catalogação das teses de Mestrado e Doutoramento, bem como de Doutoramentos Honoris Causa, de docti originários de Países ou regiões de Língua Portuguesa. É um trabalho em curso, longe de estar terminado, mas que permite, desde já, efetuar a apresentação de resultados preliminares bastante relevantes, merecendo uma disseminação e aplicação imediata no contexto dos membros da AULP. Os resultados obtidos permitem, por um lado, efetuar a sensibilização da comunidade de Língua Portuguesa para este trabalho e, por outro lado, potenciar a receção de novos contributos e o aumento da abrangência e caracterização do estudo em curso. A título ilustrativo no contexto deste resumo, salienta-se que, embora o estudo atual foque essencialmente o século XX, em Angola remonta à criação da Escola Médica de Angola em 1791, chefiada pelo Dr. José Pinto de Azeredo e, em Goa, há um foco nos últimos dois séculos, remontando ao ensino médico no Hospital de Goa (1821). Neste estudo preliminar, serão apresentadas, para cada País e/ou região, Mestres e Doutores com um papel relevante na ciência e na história dos seus Países e regiões, num total global de mais de uma centena de personalidades. O objetivo final do projeto visa a criação de um portal de acesso público, e de um conjunto de publicações associadas, em que seja possível consultar, de uma forma cronológica, geográfica e temática, as personalidades relevantes e a sua intervenção e impacto no desenvolvimento da ciência e da sociedade. 2023-01-01T00:00:00Z http://hdl.handle.net/10174/33646 Title: 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:00Z http://hdl.handle.net/10174/33645 Title: 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 http://hdl.handle.net/10174/24480 Title: Teoremas básicos do sucesso escolar Authors: Albuquerque, Rui Abstract: Estudo quantitativo da dinâmico do sucesso escolar em disciplinas do Ensino Superior de muito baixa Taxa de Sucesso de Inscritos. 2018-06-27T23:00:00Z