http://hdl.handle.net/10174/159 Sat, 04 Apr 2026 04:25:21 GMT 2026-04-04T04:25:21Z http://hdl.handle.net/10174/33647 Title: Functional interpretations and applications Authors: Dinis, Bruno Abstract: Functional interpretations are maps of formulas from the language of one theory into the language of another theory, in such a way that provability is preserved. These interpretations typically replace logical relations by functional relations. Functional interpretations have many uses, such as relative consistency results, conservation results, and extraction of computational content from proofs as is the case in the so-called proof mining program. I will present several recent functional interpretations and some results that come from these interpretations. I will also give examples of application of functional interpretations, in the spirit of the proof mining program. Sat, 01 Jan 2022 00:00:00 GMT http://hdl.handle.net/10174/33647 2022-01-01T00:00:00Z http://hdl.handle.net/10174/29883 Title: Supply-demand matrix: a process-oriented approach for data warehouses with constellation schemas Authors: Cavique, Luís; Cavique, Mariana; Santos, Jorge Abstract: Star schema in data warehouses is a very well-established model. However, the increasing number of star schemas creating large constellations schemas add new challenges in the organizations. In this document, we intend to make a contribution in the technical architecture of data warehouses with constellation schemas using an extension of the bus matrix. The proposed supply-demand matrix details the raw data from the original databases, describes the constellation schemas with different dimensions and establishes the information demand requirements. Wed, 01 Jan 2020 00:00:00 GMT http://hdl.handle.net/10174/29883 2020-01-01T00:00:00Z http://hdl.handle.net/10174/29366 Title: Use of amniotic membrane in trabeculectomy with mitomycin C: a retrospective comparative study Authors: Santos, Jorge; Roque, Joana; Henriques, S; Pires, G; Lisboa, Maria; Vaz, F.; Prieto, I. Abstract: The use of antifibrotic agents such as mitomycin C (MMC) in trabeculectomy surgery has not completely overcome conjunctival scarring. Amniotic membrane transplantation (AMT) has been investigated as an alternative antifibrotic adjunctive. This study compared the effect of AMT in trabeculectomy with MMC. Fri, 31 May 2019 23:00:00 GMT http://hdl.handle.net/10174/29366 2019-05-31T23:00:00Z http://hdl.handle.net/10174/9996 Title: Rendimento escolar em matemática vs atitudes face à matemática: Fatores de contexto e efeito escola. Authors: Oliveira, M.; Verdasca, J.; Saragoça, J.; Candeias, A. A.; Pomar, C.; Rebelo, N. Abstract: Enquadramento Conceptual: A grande importância atribuída às questões relativas à qualidade da educação tem potenciado muita da investigação científica, visando o desenvolvimento de mecanismos de aferição e de estratégias de monitorização dessa qualidade, numa perspetiva de apoio à definição de políticas públicas de educação para a melhoria escolar. Objetivos: O trabalho que se apresenta procura, por um lado, compreender e analisar os efeitos das variáveis de contexto no rendimento escolar dos alunos na disciplina de Matemática e nas suas atitudes face a essa disciplina, por outro lado, perceber se as escolas em estudo, enquanto organizações escolares, se diferenciam entre si nos resultados escolares e nas atitudes dos seus alunos. Metodologia: Neste estudo participaram 444 alunos do 2.º e 3.º Ciclos do Ensino Básico (47.7% do 6º e 52.3% do 9º, com 232 rapazes e 212 raparigas), de 5 Escolas Portuguesas. Resultados Partindo do pressuposto que há fatores extrínsecos e intrínsecos às escolas, deles dependendo em grande medida o valor que cada escola acrescenta aos seus alunos. Com o fim de contribuirmos para o desenho de propostas organizacionais e de intervenção pedagógica conducentes à melhoria do rendimento escolar dos alunos, analisámos num primeiro momento o impacto de fatores de contexto nos resultados escolares e nas atitudes dos alunos em Matemática e, num segundo momento, com base na estrutura hierárquica dos dados e o recurso à análise multinível, apurámos a magnitude do efeito escola. Conclusões: Os resultados das análises já realizadas sugerem a importância da localização geográfico-territorial da escola e da escolaridade da mãe no rendimento académico a matemática e nas atitudes face a esta disciplina, nos 6º e 9º ano de escolaridade. Tue, 01 Jan 2013 00:00:00 GMT http://hdl.handle.net/10174/9996 2013-01-01T00:00:00Z