Deteção remota na avaliação das alterações da cobertura do solo no Parque Nacional da Peneda-Gerês

Dissertação de mestrado integrado em Engenharia Civil

Aplicação da metodologia ROC na avaliação de desempenho de índices de gravidade clínica em unidades de neonatologia de Portugal

Tese de Doutoramento em Engenharia Industrial e de Sistemas

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

Parameter identification of the fermentative production of fructo-oligosaccharides by Aureobasidium pullulans

In this study, a mathematical model for the production of Fructo-oligosaccharides (FOS) by Aureobasidium pullulans is developed. This model contains a relatively large set of unknown parameters, and the identification problem is analyzed using simulation data, as well as experimental data. Batch experiments were not sufficiently informative to uniquely estimate all the unknown parameters, thus, additional experiments have to be achieved in fed-batch mode to supplement the missing information. © 2015 IEEE.

KIAA1549: BRAF gene fusion and FGFR1 hotspot mutations are prognostic factors in pilocytic astrocytomas

Up to 20% of patients with pilocytic astrocytoma (PA) experience a poor outcome. BRAF alterations and Fibroblast growth factor receptor 1 (FGFR1) point mutations are key molecular alterations in Pas, but their clinical implications are not established. We aimed to determine the frequency and prognostic role of these alterations in a cohort of 69 patients with PAs. We assessed KIAA1549:BRAF fusion by fluorescence in situ hybridization and BRAF (exon 15) mutations by capillary sequencing. In addition, FGFR1 expression was analyzed using immunohistochemistry, and this was compared with gene amplification and hotspot mutations (exons 12 and 14) assessed by fluorescence in situ hybridization and capillary sequencing. KIAA1549:BRAF fusion was identified in almost 60% of cases. Two tumors harbored mutated BRAF. Despite high FGFR1 expression overall, no cases had FGFR1 amplifications. Three cases harbored a FGFR1 p.K656E point mutation. No correlation was observed between BRAF and FGFR1 alterations. The cases were predominantly pediatric (87%), and no statistical differences were observed in molecular alterations-related patient ages. In summary, we confirmed the high frequency of KIAA1549:BRAF fusion in PAs and its association with a better outcome. Oncogenic mutations of FGFR1, although rare, occurred in a subset of patients with worse outcome. These molecular alterations may constitute alternative targets for novel clinical approaches, when radical surgical resection is unachievable.

Are apolipoproteins A and B better than lipoproteins for assessing risk of obstructive coronary heart disease?

OBJECTIVE: To evaluate whether apolipoproteins A-I (Apo A-I) and B (Apo B) have, higher ensitivity (SN), specificity (SP) and positive predictive value (PPV) than lipoproteins (LP), total cholesterol (TC), high density lipoprotein (HDL), low density lipoprotein (LDL), very low density lipoprotein (VLDL), and triglycerides (TGL) in assessing the risk of coronary heart disease (CHD). METHODS: This is a transversal case-control study of 241 patients, who were divided into two groups: 1) 145 patients with CHD, and 2) 96 patients without coronary disease. A model of logistic regression to evaluate the relation between the LPs and CHD was developed in which variables with a p-alpha <0.1 were included. RESULTS: Apo A-I levels were higher in the patients without CHD, (OR 2.08, CI 1.20-3.57). There were no statistical differences between the values of Apo A-I and the remaining lipid fractions (Apo A-I: 67%; Apo B: 100%; PPV: TC= 71%; TGC=71%; HDL=71%; LDL=71%). The costs of the tests in Reais were as follows: Apo A-I: R$ 56.60; Apo B-100: R$ 56.60; TC: R$ 9.94; HDL: R$ 21.30; LDL: R$ 28.40; TGL: R$ 14.20. CONCLUSION: Levels of Apo A-I and Apo B have no advantage over conventional lipoproteins in predicting the risk of CHD, despite the statistical association between Apo A-I and CHD; in addition, their costs are higher than those of the conventional lipoproteins.

Analysis of the effects of the continuous electrode paste band on precordial leads of the electrocardiogram

OBJECTIVE - To determine if the application of a continuous electrode paste band on precordial leads results in alteration of the electrocardiographic tracing as compared with an adequate amount of electrode paste, and if the former condition does not cause uniform morphologies from V1 to V6. METHODS - The amplitude and morphology of the electrocardiographic waves on the precordial leads in electrocardiographic tracings, which were performed with standard (control group) or excessive (continuous band) application of the electrode paste, were compared. RESULTS - None of the 106 patients studied showed uniformity of the QRS morphology from V1 to V6. The eletrocardiographic alterations identified in the tracings performed with a continuous electrode paste band that showed statistical significance in relation to the control group were the following: inversion of the P wave in V1; inversion of the T wave in V1, V2, and V3; appearance of R' waves in V1 and V2; disappearance of S waves in V1; appearance of S waves in V5 and V6; alterations in the amplitude of almost all waves, in all leads. CONCLUSION - Application of a continuous electrode paste band in the precordial leads may cause significant alterations in the electrocardiographic tracing obtained.

Effects of lisinopril on experimental ischemia in rats. Influence of infarct size

OBJECTIVE - Angiotensin-converting enzyme inhibitors (ACEIs) have gained importance in preventing or attenuating the process of ventricular remodeling after myocardial infarction. The significance of infarct size in regard to the response to ACEIs, however, is controversial. This study aimed to analyze the effects of lisinopril on mortality rate, cardiac function, degree of cardiac hypertrophy and fibrosis in rats with different infarct sizes. METHODS - Lisinopril (20 mg/kg/day) dissolved in drinking water was administered to rats immediately after coronary artery occlusion. After being sacrificed, the infarcted animals were divided into two groups: one group of animals with small infarcts (< 40% of the left ventricle) and another group of animals with large infarcts (> 40% of the left ventricle). RESULTS - The mortality rate was 31.7% in treated rats and 47% in the untreated rats. There was no statistical difference between the groups with small and large infarcts in regard to myocardial concentration of hydroxyproline. In small infarcts, the treatment attenuated the heart dysfunction characterized by lower levels of blood pressure and lower values of the first derivative of pressure and of the negative derivative of pressure. The degree of hypertrophy was also attenuated in small infarcts. In regard to large infarcts, no differences between the groups were observed. CONCLUSION - Treatment with the ACEIs had no effect on mortality rate and on the amount of fibrosis. The protective effect of lisinopril on heart function and on the degree of hypertrophy could only be detected in small infarcts

Estimation of statistical cure from cancer using population-based data

Dissertação de mestrado em Estatística

Atrial activation during sinus rhythm in patients with rheumatic and non-rheumatic paroxysmal atrial fibrillation. Frequency-domain analysis using signal-averaged electrocardiography

OBJECTIVE: Using P-wave signal-averaged electrocardiography, we assessed the patterns of atrial electrical activation in patients with idiopathic atrial fibrillation as compared with patterns in patients with atrial fibrillation associated with structural heart disease. METHODS: Eighty patients with recurrent paroxysmal atrial fibrillation were divided into 3 groups as follows: group I - 40 patients with atrial fibrillation associated with non-rheumatic heart disease; group II - 25 patients with rheumatic atrial fibrillation; and group III - 15 patients with idiopathic atrial fibrillation. All patients underwent P-wave signal-averaged electrocardiography for frequency-domain analysis using spectrotemporal mapping and statistical techniques for detecting and quantifying intraatrial conduction disturbances. RESULTS: We observed an important fragmentation in atrial electrical conduction in 27% of the patients in group I, 64% of the patients in group II, and 67% of the patients in group III (p=0.003). CONCLUSION: Idiopathic atrial fibrillation has important intraatrial conduction disturbances. These alterations are similar to those observed in individuals with rheumatic atrial fibrillation, suggesting the existence of some degree of structural involvement of the atrial myocardium that cannot be detected with conventional electrocardiography and echocardiography.

From perfect strangers to research partners: a study of relationships, resource sharing and perceived benefits within R&D cooperation networks

Doctoral thesis in Marketing and Strategy.

Stress, cognitive appraisal, and psychological health: testing instruments for health professionals

The job of health professionals, including nurses, is considered inherently stressful (Lee & Wang, 2002; Rutledge et al., 2009), and thus it is important to improve and develop specific measures that are sensitive to the demands that health professionals face. This study analysed the psychometric properties of three instruments that focus on the professional experiences of nurses in aspects related to occupational stress, cognitive appraisal, and mental health issues. The evaluation protocol included the Stress Questionnaire for Health Professionals (SQHP; Gomes, 2014), the Cognitive Appraisal Scale (CAS; Gomes, Faria, & Gonçalves, 2013), and the General Health Questionnaire-12 (GHQ-12; Goldberg, 1972). Validity and reliability issues were considered with statistical analysis (i.e. confirmatory factor analysis, convergent validity, and composite reliability) that revealed adequate values for all of the instruments, namely, a six-factor structure for the SQHP, a five-factor structure for the CAS, and a two-factor structure for the GHQ-12. In conclusion, this study proposes three consistent instruments that may be useful for analysing nurses’ adaptation to work contexts.