BAMoL Formalização da linguagem e validação sintática de modelos

A BAMoL (Business Application Modeling Language) é uma linguagem de domínio específico utilizada para o desenvolvimento de soluções para a plataforma myMIS, no âmbito dos sistemas de informação para a gestão. Esta linguagem carecia de dois aspetos, nomeadamente a sua formalização e a existência de mecanismos de validação sintática das soluções desenvolvidas. Estes problemas identificados tornam impossível a validação sintática das soluções desenvolvidas utilizando esta linguagem, aumentando assim a probabilidade de existência de erros, podendo fazer com que as mesmas sejam mais ineficientes e podendo até trazer um aumento de custos de manutenção da plataforma. De forma a resolver os problemas enunciados, foi realizada, para o primeiro, uma descrição textual de todos os constituintes da linguagem e criada uma gramática representativa da mesma, em que constam todos os seus elementos e regras. No caso do segundo problema, a sua resolução passou pela criação de uma ferramenta que utiliza a gramática criada e que permite validar sintaticamente e encontrar as falhas das soluções desenvolvidas. Desta forma, passa a ser possível detetar os erros existentes nas soluções, permitindo assim à equipa de desenvolvimento ter maior controlo sobre as mesmas, podendo torná-las mais corretas, na perspetiva das regras da linguagem.

A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), Madrid, Spain.

Exploring the long-term associations between adolescents’ music training and academic achievement

There is a positive relationship between learning music and academic achievement, although doubts remain regarding the mechanisms underlying this association. This research analyses the academic performance of music and non-music students from seventh to ninth grade. The study controls for socioeconomic status, intelligence, motivation and prior academic achievement. Data were collected from 110 adolescents at two time points, once when the students were between 11 and 14 years old in the seventh grade, and again 3 years later. Our results show that music students perform better academically than non-music students in the seventh grade (Cohen’s d = 0.88) and in the ninth grade (Cohen’s d = 1.05). This difference is particularly evident in their scores in Portuguese language and natural science; the difference is somewhat weaker in history and geography scores, and is least pronounced in mathematics and English scores (η2 p from .09 to .21). A longitudinal analysis also revealed better academic performance by music students after controlling for prior academic achievement (η2 p = .07). Furthermore, controlling for intelligence, socioeconomic status and motivation did not eliminate the positive association between music learning from the seventh to the ninth grade and students’ academic achievement (η2 p = .06). During the period, music students maintained better and more consistent academic standing. We conclude that, after controlling for intelligence, socioeconomic status and motivation, music training is positively associated with academic achievement.

The role of literature: english textbooks and literature in secondary teaching in Portugal

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino de Inglês

Information flow analysis using data-dependent logical propositions

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Rett Syndrome With and Without Detected MECP2 Mutations: an Attempt to Redefine Phenotypes

Background: The diagnosis of Rett syndrome (RTT) is based on a set of clinical criteria, irrespective of mutation status. The aims of this study were (1) to define the clinical differences existing between patients with Rett syndrome with (Group I) and without a MECP2 mutation (Group II), and (2) to characterize the phenotypes associated with the more common MECP2 mutations. Patients and Methods: We analyzed 87 patients fulfilling the clinical criteria for RTT. All were observed and videotaped by the same paediatric neurologist. Seven common mutations were considered separately, and associated clinical features analysed. Results: Comparing Group I and II, we found differences concerning psychomotor development prior to onset, acquisition of propositive manipulation and language, and evolving autistic traits. Based on age at observation, we found differences in eye pointing, microcephaly, growth, number of stereotypies, rigidity, ataxia and ataxic-rigid gait, and severity score. Patients with truncating differed from those with missense mutations regarding acquisition of propositive words and independent gait, before the beginning of the disease, and microcephaly, growth, foot length, dystonia, rigidity and severity score, at the time of observation. Patients with the R168X mutation had a more severe phenotype, whereas those with R133C showed a less severe one. Patients with R294X had a hyperactive behaviour, and those with T158M seemed to be particularly ataxic and rigid. Conclusion: A clear regressive period (with loss of prehension and language, deceleration of growth) and the presence of more than three different stereotypies, rigidity and ataxic-rigid gait seemed to be very helpful in differentiating Group I from Group II.

Analysis and simulation of social unrest in Europe: towards understanding social unrest in Europe

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies

A framework for efficient model transformations

The reported productivity gains while using models and model transformations to develop entire systems, after almost a decade of experience applying model-driven approaches for system development, are already undeniable benefits of this approach. However, the slowness of higher-level, rule based model transformation languages hinders the applicability of this approach to industrial scales. Lower-level, and efficient, languages can be used but productivity and easy maintenance seize to exist. The abstraction penalty problem is not new, it also exists for high-level, object oriented languages but everyone is using them now. Why is not everyone using rule based model transformation languages then? In this thesis, we propose a framework, comprised of a language and its respective environment, designed to tackle the most performance critical operation of high-level model transformation languages: the pattern matching. This framework shows that it is possible to mitigate the performance penalty while still using high-level model transformation languages.

Adaptação cultural e contributo para a validação da pain attitudes and believes scale for physiotherapists (PABS-PT) para a população de fisioterapeutas portugueses

RESUMO: Introdução: Vários estudos têm encontrado evidência para a relação entre as crenças e atitudes dos profissionais de saúde, a sua abordagem de tratamento, referida como orientada segundo o modelo biomédico ou modelo biopsicossocial (Bishop, 2008; Mutsaers, 2012), e os resultados obtidos. É sugerido que, no tratamento da dor lombar crónica, os profissionais que orientam o seu raciocínio e prática segundo o modelo biomédico, tendem a obter piores resultados quando comparados com os obtidos pelos profissionais que orientam o seu raciocínio e prática segundo uma abordagem biopsicossocial. Esta área de estudo tem salientado a importância de desenhar instrumentos capazes de identificar a orientação preferencial dos profissionais de saúde no tratamento da dor crónica de natureza músculo-esquelética, entre os quais se encontra a “Pain Attitudes and Beliefs Scale for Physiotherapists” (PABS-PT). Objetivo: Adaptar culturalmente a PABS-PT para a população de fisioterapeutas portugueses que intervêm em utentes com dor (lombar) crónica, e contribuir para a sua validação Metodologia: A versão original (língua inglesa) do PABS-PT foi adaptada para a língua e cultura portuguesas, através das etapas definidas nas normas orientadoras estabelecidas para este processo (Beaton et al., 2002; MAPI Institute, 2001). A avaliação das propriedades psicométricas da versão portuguesa foi realizada com recurso a uma amostra de 202 fisioterapeutas e estudantes finalistas do curso de licenciatura em Fisioterapia. Inicialmente foi realizada a análise fatorial exploratória da escala através do método das componentes principais. Posteriormente avaliou-se a consistência interna das componentes obtidas com recurso ao alpha de Cronbach (α). Para analisar a validade de constructo foram correlacionadas as componentes obtidas com a versão portuguesa da “Health Care Providers’ Pain and Impairment Relationship Scale” (HC-PAIRS), recorrendo ao cálculo do coeficiente de Spearman. Resultados: O processo de adaptação cultural não revelou dificuldades importantes sendo considerado que a versão portuguesa da PABS-PT é de fácil compreensão e preenchimento, e os seus itens adequados para avaliar as crenças e atitudes dos fisioterapeutas portugueses relativas à intervenção na dor crónica músculo-esquelética. Os resultados revelaram uma estrutura fatorial de duas componentes, identificadas com as componentes da escala original que explicam 30,96% da variância total. A consistência interna encontrada é boa, para a componente biomédica (α de Cronbach = 0,826), mas muito fraca para a componente biopsicossocial (α de Cronbach= 0,589). Relativamente à validade convergente e discriminativa, foi encontrada uma associação estatisticamente significativa e positiva, entre as componentes 1 (biomédica) da versão nportuguesa da PABS e a HC-PAIRS (Rs = 0,481, p≤ 0,005), e negativa, fraca e significativa entre a pontuação total da componente 2 (biopsicossocial) e a HC-PAIRS (Rs = -0,038, p=0,612). Conclusão: A versão portuguesa do PABS-PT é de fácil compreensão e aparenta ser um instrumento válido para a medição da orientação preferencial dos fisioterapeutas, relativamente às suas atitudes e crenças na avaliação e tratamento de utentes com dor crónica de natureza músculo-esquelética. No entanto, a componente biopsicossocial requer uma análise mais aprofundada para que possa, com rigor, ser utilizada na definição de uma orientação preferencialmente biopsicossocial.--------------ABSTRACT: Introduction: Previous studies have found a relation between the beliefs and attitudes of health professionals, their treatment approach, which can follows a biomedical or a biopsychosocial orientation (Bishop, 2008; Mutsaers, 2012), and the outcomes obtained. Therefore, is suggested that the professionals who tend to approach chronic low back pain patients according to the biomedical model have worse outcomes than professionals who use a biopsychosocial approach in there clinical reasoning. This research field has highlighted the importance of developing measures capable of identifying the preferred orientation of health professionals in the treatment of chronic pain of musculoskeletal nature, including the “Pain Attitudes and Beliefs Scale for Physiotherapists” (PABS-PT). Objective: To cross culturally adapt and validate the PABS-PT for the Portuguese population of physiotherapists. Methodology: The original version (English version) of the PABS-PT was adapted to the Portuguese language and culture, through the guidelines established for these processes (Beaton et al., 2002; MAPI Institute, 2001). The psychometric evaluation of the Portuguese version was carried out on a sample of 202 p physiotherapist and final year students of the physiotherapy course. Initially, an exploratory factorial analysis was performed through the method of the main components. Then, the internal consistence of the main components was evaluated using the Cronbach’s alpha (α). The convergent construct validity was analysed through the correlation between the obtained components of PABS-PT and the Health Care Provider’s Pain and Impairment Relationship Scale (HC-PAIRS), using the Spearmen correlation coefficient. Results: No major difficulties were found during the cultural adaptation process of PABS-PT to Portugal, which means that the Portuguese version is easy to understand and fulfill, and items are appropriated to evaluate the beliefs and attitudes of the Portuguese physiotherapists who treat chronic pain of musculoskeletal origins. The results revealed a factorial structure of two components, as the original scale, explaining 30,96% of the total variance. Internal consistence results were good, for the biomedical component (Cronbach’s α = 0,826), but very weak for the biopsychosocial componente (Cronbach’s α = 0,589). Relatively to convergent and discriminative validity, a statistically significant association was found, between the components 1 (biomedical) of the Portuguese version of PABS-PT and the HC-PAIRS (Rs= 0,481, p≤ 0,005) and negative, weak and significant between the total score of component 2 (biopsychosocial) and the HC-PAIRS (Rs = -0,038, p=0,612). Conclusion: The Portuguese Version of PABS-PT is easy to understand and seems to be a valid instrument to measure the attitudes and beliefs of physiotherapists in the management of patients with chronic low back pain. However, the biopsychosocial component requires a further deep analysis to examine a preferable biopsychosocial orientation.

Lexicografia bilingue de especialidade : e-dicionário de português-kimbundu no domínio da saúde

Este trabalho tem como temática central a Lexicografia Bilingue de Especialidade (Português-Kimbundu) no Domínio da Saúde. Esta investigação resulta das constatações e das pesquisas feitas por nós, no banco de urgência dos diversos hospitais de Luanda, onde nos deparamos com a falta de comunicação entre os pacientes que falam a língua Kimbundu e os médicos que falam a língua Portuguesa. A nossa investigação incide sobre a situação geolinguística de Angola, a caracterização sociolinguística do Bengo, as características gerais do Kimbundu, as metáforas terminológicas no domínio da saúde; subjacente ao trabalho, estão os princípios teóricos e metodológicos em lexicografia bilingue, em línguas de especialidades e no ensino da Terminologia; o trabalha termina com a proposta de um modelo de e-dicionário bilingue Português-Kimbundu em saúde.

Os contributos do texto literário para o ensino-aprendizagem de PLE: elaboração de uma proposta de didatização de um conto de Sophia de Mello Breyner Andresen

Dissertação de mestrado em Português Língua Não Materna (PLNM) – Português Língua Estrangeira (PLE) e Língua Segunda (PL2)

Monitoring and analysis of queries in distributed databases

Dissertação de Mestrado em Engenharia Informática

Using relational algebra on the specification of real world ETL processes

Modeling Extract-Transform-Load (ETL) processes of a Data Warehousing System has always been a challenge. The heterogeneity of the sources, the quality of the data obtained and the conciliation process are some of the issues that must be addressed in the design phase of this critical component. Commercial ETL tools often provide proprietary diagrammatic components and modeling languages that are not standard, thus not providing the ideal separation between a modeling platform and an execution platform. This separation in conjunction with the use of standard notations and languages is critical in a system that tends to evolve through time and which cannot be undermined by a normally expensive tool that becomes an unsatisfactory component. In this paper we demonstrate the application of Relational Algebra as a modeling language of an ETL system as an effort to standardize operations and provide a basis for uncommon ETL execution platforms.

Aquisição de verbos da língua portuguesa, no primeiro ciclo de escolaridade, por crianças bilingues luso-alemãs e crianças monolingues alemãs

Tese de Doutoramento em Ciências da Linguagem (área de especialização em Linguística Aplicada).

Radio mobility in the digital era: interactivity, participation and content share possibilities in Iberian broadcasters

In the context of the scientific research into radio, recent years have encouraged many theories about the meaning of a post-radio (Oliveira & Portela, 2011), thus enlisting several parameters regarding the inclusion of contemporary radio in the digital and online environments. This digital migration has led to the development of mobile applications for radio, broadening the communicative potential of audiences (Aguado, Feijoo & Martínez, 2013), as well as promoting convergence of interactive content among listeners-users. Aware of this opportunity, the main broadcasters in Spain and Portugal have broadened their radiophonic scope to the mobile platform, especially geared towards smartphones through the development of mobile applications, commonly known as apps (Cerezo, 2010). As a symbol of a culture in permanent changing, smartphones not only provide greater easiness in terms of access and interaction, but also afford larger opportunities for disseminating content among audiences, a phenomenon that some studies have labelled as user distributed content (Villi, 2012). This article presents an exploratory analysis of the current policies of the main Spanish and Portuguese radio broadcasters regarding mobile applications, evaluating the different levels of interaction and participation in these platforms. This observation led to the conclusion, among other findings, that the mobile platform represents a supplementary channel for traditional FM radio, rather than a new medium with its own language and expression.