Study to determine the cardiovascular risk ofthe population of Guimarães/Vizela, includingthe prevalence of arterial stiffness and early vascular aging syndrome

Tese de Doutoramento em Medicina.

Towards the design and implementation of aspect-oriented programming for spreadsheets

A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems.Unfortunately,spreadsheetsystemsdonotoffermodular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, differentusers develop,orreuse,aspects withoutaddingintrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.

Monitoring for a decidable fragment of MTL-∫

Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.

Expression of histone methyltransferases as novel biomarkers for renal cell tumor diagnosis and prognostication

Renal cell tumors (RCTs) are the most lethal of the common urological cancers. The widespread use of imaging entailed an increased detection of small renal masses, emphasizing the need for accurate distinction between benign and malignant RCTs, which is critical for adequate therapeutic management. Histone methylation has been implicated in renal tumorigenesis, but its potential clinical value as RCT biomarker remains mostly unexplored. Hence, the main goal of this study was to identify differentially expressed histone methyltransferases (HMTs) and histone demethylases (HDMs) that might prove useful for RCT diagnosis and prognostication, emphasizing the discrimination between oncocytoma (a benign tumor) and renal cell carcinoma (RCC), especially the chromophobe subtype (chRCC). We found that the expression levels of three genes-SMYD2, SETD3, and NO66-was significantly altered in a set of RCTs, which was further validated in a large independent cohort. Higher expression levels were found in RCTs compared to normal renal tissues (RNTs) and in chRCCs comparatively to oncocytomas. SMYD2 and SETD3 mRNA levels correlated with protein expression assessed by immunohistochemistry. SMYD2 transcript levels discriminated RCTs from RNT, with 82.1% sensitivity and 100% specificity (AUC=0.959), and distinguished chRCCs from oncocytomas, with 71.0% sensitivity and 73.3% specificity (AUC: 0.784). Low expression levels of SMYD2, SETD3, and NO66 were significantly associated with shorter disease-specific and disease-free survival, especially in patients with non-organ confined tumors. We conclude that expression of selected HMTs and HDMs might constitute novel biomarkers to assist in RCT diagnosis and assessment of tumor aggressiveness.

Pulse wave velocity distribution in a cohort study: from arterial stiffness to early vascular aging

BACKGROUND: By contrast with other southern European people, north Portuguese population registers an especially high prevalence of hypertension and stroke incidence. We designed a cohort study to identify individuals presenting accelerated and premature arterial aging in the Portuguese population. METHOD: Pulse wave velocity (PWV) was measured in randomly sampled population dwellers aged 18-96 years from northern Portugal, and used as a marker of early vascular aging (EVA). Of the 3038 individuals enrolled, 2542 completed the evaluation. RESULTS: Mean PWV value for the entire population was 8.4?m/s (men: 8.6?m/s; women: 8.2?m/s; P??10?m/s). Logistic regression models indicated gender differences concerning the risk of developing large artery damage, with women having the same odds of PWV above 10?m/s 10 years later than men. CONCLUSION: The population PWV values were higher than expected in a low cardiovascular risk area (Portugal). High prevalence rates of EVA and noteworthy large artery damage in young ages were found.

Exploring the factor structure of neurocognitive measures in older individuals

Here we focus on factor analysis from a best practices point of view, by investigating the factor structure of neuropsychological tests and using the results obtained to illustrate on choosing a reasonable solution. The sample (n=1051 individuals) was randomly divided into two groups: one for exploratory factor analysis (EFA) and principal component analysis (PCA), to investigate the number of factors underlying the neurocognitive variables; the second to test the "best fit" model via confirmatory factor analysis (CFA). For the exploratory step, three extraction (maximum likelihood, principal axis factoring and principal components) and two rotation (orthogonal and oblique) methods were used. The analysis methodology allowed exploring how different cognitive/psychological tests correlated/discriminated between dimensions, indicating that to capture latent structures in similar sample sizes and measures, with approximately normal data distribution, reflective models with oblimin rotation might prove the most adequate.

Da utilização e análise de dados de Geofísica em contextos arqueológicos: o Castro de Sapelos (Boticas) e o Seminário Conciliar de São Pedro e São Paulo (Braga)

Dissertação de mestrado em Arqueologia

Bacterial cellulose-lactoferrin as an antimicrobial edible packaging

Bacterial cellulose (BC) films from two distinct sources (obtained by static culture with Gluconacetobacter xylinus ATCC 53582 (BC1) and from a commercial source (BC2)) were modified by bovine lactoferrin (bLF) adsorption. The functionalized films (BC+bLF) were assessed as edible antimicrobial packaging, for use in direct contact with highly perishable foods, specifically fresh sausage as a model of meat products. BC+bLF films and sausage casings were characterized regarding their water vapour permeability (WVP), mechanical properties, and bactericidal efficiency against two food pathogens, Escherichia coli and Staphylococcus aureus. Considering their edibility, an in vitro gastrointestinal tract model was used to study the changes occurring in the BC films during passage through the gastrointestinal tract. Moreover, the cytotoxicity of the BC films against 3T3 mouse embryo fibroblasts was evaluated. BC1 and BC2 showed equivalent density, WVP and maximum tensile strength. The percentage of bactericidal efficiency of BC1 and BC2 with adsorbed bLF (BC1+bLF and BC2+bLF, respectively) in the standalone films and in inoculated fresh sausages, was similar against E. coli (mean reduction 69 % in the films per se versus 94 % in the sausages) and S. aureus (mean reduction 97 % in the films per se versus 36 % in the case sausages). Moreover, the BC1+bLF and BC2+bLF films significantly hindered the specific growth rate of both bacteria. Finally, no relevant cytotoxicity against 3T3 fibroblasts was found for the films before and after the simulated digestion. BC films with adsorbed bLF may constitute an approach in the development of bio-based edible antimicrobial packaging systems.