http://hdl.handle.net/10174/1107 2026-04-05T23:24:18Z 2026-04-05T23:24:18Z Dinis, Bruno Coelho, Francisco Abreu, Salvador Seipel, Dietmar http://hdl.handle.net/10174/39151 2025-08-27T23:00:46Z 2025-01-01T00:00:00Z

Title: Elements for Weighted Answer-Set Programming Authors: Dinis, Bruno; Coelho, Francisco; Abreu, Salvador; Seipel, Dietmar Editors: Baptista, Jorge; Barateiro, Jose Abstract: Logic programs, more specifically, answer-set programs, can be annotated with probabilities on facts to express uncertainty. We address the problem of propagating weight annotations on facts (e.g. probabilities) of an answer-set program to its stable models, and from there to events (defined as sets of atoms) in a dataset over the program’s domain. We propose a novel approach which is algebraic in the sense that it relies on an equivalence relation over the set of events. Uncertainty is then described as polynomial expressions over variables. We propagate the weight function in the space of models and events, rather than doing so within the syntax of the program. As evidence that our approach is sound, we show that certain facts behave as expected. Our approach allows us to investigate weight annotated programs and to determine how suitable a given one is for modeling a given dataset containing events. It’s core is illustrated by a running example and the encoding of a Bayesian network.

2025-01-01T00:00:00Z Canavarro, Ana Paula http://hdl.handle.net/10174/34773 2023-02-27T15:53:14Z 2022-08-31T23:00:00Z

Title: El desarrollo del nuevo currículo en Matemáticas para la Educación Básica en Portugal Authors: Canavarro, Ana Paula Editors: Blanco, TF; Núñez-García, C; Cañadas, MC; González-Calero, JA Abstract: Esta comunicação incide sobre o processo de desenvolvimento de um novo currículo de Matemática para o Ensino Básico em Portugal. Começa por explicar o contexto que fez surgir a necessidade de mudança. De seguida, revela o processo que foi desenvolvido por parte da equipa responsável pela elaboração das novas orientações curriculares. Apresenta depois as novas orientações propriamente ditas, discutindo os princípios que lhe conferem racionalidade e as consequências que estes têm nas opções curriculares com vista à coerência interna e relevância da proposta. Segue-se uma descrição das medidas em marcha com vista a apoiar a generalização das novas orientações curriculares em 2022/23. Termina-se com questões pertinentes em qualquer processo de desenvolvimento curricular e que são neste momento especialmente críticas.

2022-08-31T23:00:00Z Pinto, Luís G. Cavique, Luís Santos, Jorge http://hdl.handle.net/10174/33524 2023-01-18T11:21:52Z 2022-01-01T00:00:00Z

Title: Marketing Mix and New Product Diffusion Models Authors: Pinto, Luís G.; Cavique, Luís; Santos, Jorge Editors: Maria Manuela Cruz-Cunha, Nuno Mateus-Coelho Abstract: In this paper we analyze the relationship between the marketing mix and new product diffusion models. The goal is to obtain a gen eral new product diffusion model that incorporates the classic 4Ps model of the Marketing Mix: Product, Price, Place, Promotion. An empirical study was conducted using mobile broadband adoption data in Japan.

2022-01-01T00:00:00Z Carinhas, Dora M., Alves Infante, Paulo António, Martinho F., Vasquez http://hdl.handle.net/10174/33308 2023-01-09T16:42:33Z 2022-01-01T00:00:00Z

Title: Processamento de dados maregráficos – estação de Viana do Castelo Authors: Carinhas, Dora; M., Alves; Infante, Paulo; António, Martinho; F., Vasquez Abstract: A clássica questão da qualidade dos dados maregráficos tornou-se mais importantes na última década, pois surgiram novas tecnologias e as redes maregráficas foram modernizadas. Este trabalho permitiu avaliar não só o desempenho dos marégrafos da rede maregráfica, mas também apresentar técnicas de controle de qualidade para dados de marés registados em tempo quase-real que implica a necessidade de implementação de software automático de deteção e sinalização de erros. O controle de qualidade consiste na deteção de valores anómalos, atribuição errada de data e hora e cálculo de resíduos. Para avaliar o desempenho de medição dos equipamentos maregráficos, o teste de Van de Casteele foi revisitado. A validação das observações in situ do nível do mar foi baseada em procedimentos de controlo de qualidade sugeridos por normativos internacionais.

2022-01-01T00:00:00Z