http://hdl.handle.net/10174/159 2026-04-07T05:35:48Z 2026-04-07T05:35:48Z Dinis, Bruno http://hdl.handle.net/10174/33647 2023-02-03T10:14:55Z 2022-01-01T00:00:00Z

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.

2022-01-01T00:00:00Z Cavique, Luís Cavique, Mariana Santos, Jorge http://hdl.handle.net/10174/29883 2021-06-08T10:58:10Z 2020-01-01T00:00:00Z

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.

2020-01-01T00:00:00Z Santos, Jorge Roque, Joana Henriques, S Pires, G Lisboa, Maria Vaz, F. Prieto, I. http://hdl.handle.net/10174/29366 2021-10-11T17:00:38Z 2019-05-31T23:00:00Z

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.

2019-05-31T23:00:00Z Oliveira, M. Verdasca, J. Saragoça, J. Candeias, A. A. Pomar, C. Rebelo, N. http://hdl.handle.net/10174/9996 2014-01-31T09:24:18Z 2013-01-01T00:00:00Z

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.

2013-01-01T00:00:00Z