DSpace Collection:http://hdl.handle.net/10174/1592024-03-29T05:58:51Z2024-03-29T05:58:51ZFunctional interpretations and applicationsDinis, Brunohttp://hdl.handle.net/10174/336472023-02-03T10:14:55Z2022-01-01T00:00:00ZTitle: 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:00ZSupply-demand matrix: a process-oriented approach for data warehouses with constellation schemasCavique, LuísCavique, MarianaSantos, Jorgehttp://hdl.handle.net/10174/298832021-06-08T10:58:10Z2020-01-01T00:00:00ZTitle: 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:00ZUse of amniotic membrane in trabeculectomy with mitomycin C: a retrospective comparative studySantos, JorgeRoque, JoanaHenriques, SPires, GLisboa, MariaVaz, F.Prieto, I.http://hdl.handle.net/10174/293662021-10-11T17:00:38Z2019-05-31T23:00:00ZTitle: 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:00ZRendimento escolar em matemática vs atitudes face à matemática: Fatores de contexto e efeito escola.Oliveira, M.Verdasca, J.Saragoça, J.Candeias, A. A.Pomar, C.Rebelo, N.http://hdl.handle.net/10174/99962014-01-31T09:24:18Z2013-01-01T00:00:00ZTitle: 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