A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

The Cornerstones of Modern Government Maps, Weights and Measures and Census in Liberal Portugal (19th century)

Thesis submitted for assessment with a view to obtaining the degree of Doctor in History and Civilisation from the European University Institute

Changing representations and practices in school mathematics: the case of Modern Math in Portugal

The curricular movement known as Modern Mathematics aimed at the transformation of representations and practices in school mathematics. Its study provides us with ways of understanding how these changes came about. The purpose of this paper is to contribute to the understanding of the ways in which representations of school mathematics gradually were influenced by ideas from the Modern Mathematics movement, how these new ideas merged into local educational traditions, and how they were transformed into meaningful practice. This work is centred on the Portuguese context from the middle 1950s to the middle 1960s, and builds on Chervel’s notion of school culture and Gruzinski’s discussion of connected histories.

Vir sapiens dominabitur astris: astrological knowledge and practices in the Portuguese medieval court (king João I to king Afonso V)

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em História Medieval

Politics, Commerce, and Colonization in Angola at the Turn of the Eighteenth Century

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em História Moderna e dos Descobrimentos

Atherogenesis and atherosclerosis in primary antiphospholipid syndrome

ABSTRACT: In the late seventies the term “Haematological Stress Syndrome” defined some haematological abnormalities appearing in the course of acute and chronic disorders, such as raised plasma levels of fibrinogen (FNG) and factor VIII, reduced fibrinolytic activity and hyperviscosity. In the early nineties the “Membrane stress syndrome hypothesis” proposed the unification of the concepts of haematological stress syndrome with those of oxidation, inflammation and immune activation to explain the pathogenesis of the antiphospholipid syndrome (APS) Antiphospholipid antibodies, coagulation, fibrinolysis and thrombosis. This chapter investigated the occurrence of the “Haematological Stress Syndrome” and thrombosis in 144 participants positive for aPL detected by clotting and immune tests. Among the clotting assays for the detection of lupus anticoagulant, dilute Russell's viper venom time better correlated with a history of venous thrombosis than activated partial thromboplastin time (p<0.0002 vs p<0.009) and was the only test correlated with a history of arterial thrombosis (p<0.01). By regression analysis, serum levels of IgG anticardiolipin antibodies (aCL) associated with the number of venous occlusions (p<0.001). With regards to FNG and von Willebrand factor (vWF), the former rose by 36% (95% CI; 21%, 53%) and the latter by 50% (95% CI; 29%, 75%) at the first venous occlusion and remained unchanged after subsequent occlusions. At variance FNG rose by 45% (95% CI; 31%, 60%) per arterial occlusion and vWF by 27% (95% CI; 10%, 47%) per arterial occlusion throughout. The coagulation/fibrinolytic balance was cross-sectionally evaluated on 18 thrombotic PAPS patients, 18 subjects with persistence of idiopathic aPL and in healthy controls. Markers of thrombin generation prothrombin fragment 1+2 (F1+2), thrombin-antithrombin complex (TAT) and of fibrin turnover D-Dimer (D-D) were higher in thrombotic (p=0.006)and non-thrombotic subjects (p=0.0001) than in controls as were those of D-D (p<0.0001 and p=0.003 respectively). TAT levels did not differ. Gender analysed data revealed blunted tPA release (hence a negative venous occlusion test) in thrombotic females but neither in thrombotic males (p=0.01) nor in asymptomatic subjects of either sex. Also, in both patient groups females had higher mean PAI than males (p<0.0002) and control females (p<0.02). The activity of factor XIII (FXIIIa) was evaluated was evaluated in 29 patients with PAPS, 14 persistent carriers of aPL without thrombosis, 24 thrombotic patients with inherited thrombophilia, 28 healthy controls and 32 patients with mitral and aortic valve prosthesis as controls for FXIII only. FXIIIa was highest in PAPS (p=0.001), particularly in patients with multiple (n=12) than single occlusion (p=0.02) and in correlation with PAI (p=0.003) and FNG (p=0.005). Moreover FXIIIa was strongly associated with IgG aCL and IgG anti-2GPI (p=0.005 for both) in the PAPS group and to a lesser degree in the aPL group (FXIIIa with IgG aCL, p=0.02, with IgG anti-2GPI, p=0.04). Altogether these results indicate: 1) a differential relationship of aPL, vWF and FNG with venous and arterial thrombosis; 2) heightened thrombin generation, accelerated fibrin turnover and fibrinolysis abnormalities also in asymptomatic carriers of aPLs; 3) enhanced FXIIIa that may contribute to atherothrombosis via increased fibrin/fibrinogen cross-linking. Lipid profile, lipid peroxidation and anti-lipoprotein antibodies in thrombotic primary antiphospholipid syndrome. Given the atherogenic lipid profile of SLE, the same possibility was explored in PAPS by comparing high-density lipoprotein (HDL), low-density lipoprotein (LDL), total cholesterol (CHO), apolipoprotein AI (ApoAI), apolipoprotein B (ApoB), triglycerides (TG), anti-lipoprotein antibodies, beta-2-glycoprotein I complexed to oxidized low-density lipoprotein (oxLDL-2GPI) and C-reactive protein (CRP) in 34 thrombotic PAPS patients compared to 36 thrombotic patients with inherited thrombophilia (IT), to 18 subjects persistently positive for antiphospholipid antibodies (aPL) with no underlying autoimmune or non-autoimmune disorders and to 28 healthy controls. Average concentrations of HDL (p<0.0001), LDL (p<0.0001), CHO (p=0.0002), ApoAI (p=0.002) were lower in PAPS whereas average TRY was higher (p=0.01) than other groups. Moreover PAPS showed higher IgG anti-HDL (p=0.01) and IgG anti-ApoAI (p<0.0001) as well as greater average oxLDL-2GPI (p=0.001) and CRP (p=0.003). Within PAPS, IgG anti-HDL correlated negatively to HDL (p=0.004) and was an independent predictor of oxLDL-2GPI (p=0.009). HDL and ApoAI correlated negatively with CRP (p=0.001 and p=0.007, respectively). IgG anti-HDL may hamper the antioxidant and anti-inflammatory effect of HDL favouring low-grade inflammation and enhanced oxidation in thrombotic PAPS. Indeed plasma 8-epi-prostaglandin F2α (a very specific marker of lipid peroxidation) was significantly higher in 10 patients with PAPS than 10 age and sex matched healthy subjects (p=0.0002) and strongly related to the titre of plasma IgG aCL (r=0.89, p=0.0004). Hence oxidative stress, a major player in atherogenesis, also characterises PAPS. Nitric oxide and nitrative stress in thrombotic primary antiphosholipid syndrome. Oxidative stress goes hand in hand with nitrative stress and to address the latter plasma nitrotyrosine (NT, marker of nitrative stress), nitrite (NO2-) and nitrate (NO3-) were measured in 46 thrombotic PAPS patients, 21 asymptomatic but persistent carriers of antiphospholipid antibodies (PCaPL), 38 patients with inherited thrombophilia (IT), 33 patients with systemic lupus erythematosus (SLE) and 29 healthy controls (CTR). Average crude NT was higher in PAPS and SLE (p=0.01) whereas average plasma NO2- was lower in PAPS and average NO3- highest in SLE (p<0.0001). In PAPS, IgG aCL titer and number of vascular occlusions negatively predicted NO2-, (p=0.03 and p=0.001, respectively) whereas arterial occlusions and smoking positively predicted NO3- (p=0.05 and p=0.005). Moreover CRP (an inflammatory marker) positively predicted NT (p=0.004). Nitric oxide metabolites relates to type and number of vascular occlusions and to aPL titers, whereas nitrative stress relates to low grade marker) positively predicted NT (p=0.004). Nitric oxide metabolites relates to type and number of vascular occlusions and to aPL titers, whereas nitrative stress relates to low grade inflammation and both phenomena may have implications for thrombosis and atherosclerosis in PAPS Inflammation and immune activation in thrombotic primary antiphospholipid syndrome. To investigate inflammation and immune activation in thrombotic PAPS high-sensitivity CRP (hs-CRP), serum amyloid A (SAA), oxLDL-2GPI, CRP bound to oxLDL-2GPI (CRP-oxLDL-2GPI) (as inflammatory markers) neopterin (NPT) and soluble CD14 (sCD14) (as immune activation markers) were measured by ELISA in 41 PAPS patients, in 44 patients with inherited thrombophilia (IT) and 39 controls (CTR). Compared to other groups, PAPS presented with higher plasma concentrations of inflammatory, hs-CRP (p=0.0004), SAA (p<0.01), CRP-oxLDL-2GPI (p=0.0004) and immune activation markers, NPT (p<0.0001) and sCD14 (p=0.007). By regression analysis SAA independently predicted thrombosis number (p=0.003) and NPT independently predicted thrombosis type (arterial, p=0.03) and number (p=0.04). These data confirm that low-grade inflammation and immune activation occur and relate to vascular features of PAPS. Antiphosholipid antibodies, haemostatic variables and atherosclerosis in thrombotic primary antiphospholipid syndrome To evaluate whether IgG aCL titre, haemostatic variables and the lipid profile bore any relationship to the intima media thickness (IMT) of carotid arteries high-resolution sonography was applied to the common carotid (CC), carotid bifurcation (CB) and internal carotid (IC) of 42 aPL subjects, 29 with primary thrombotic antiphospholipid syndrome and 13 with persistence of aPL in the absence of any underlying disorder. The following were measured: plasma FNG, vWF, PAI, homocysteine (HC), CHO, TG, HDL, LDL, platelet numbers and aCL of IgG and IgM isotype. By multiple regression analysis, IgG aCL titre independently predicted IMT at all carotid segments examined (p always <0.005). Plasma FNG and HC independently predicted IMT at the CB (p=0.001 and p<0.0001, respectively) and IC (p=0.03 and p<0.0001, respectively). These data strongly support an atherogenic role for IgG aCL in patients with aPL in addition to traditional risk factors. The atherosclerosis hypothesis was investigated in an age and sex-matched case-double-control study including 49 thrombotic PAPS patients (18 M, 31 F, mean age 37 ± 11), 49 thrombotic patients for IT and 49 healthy subjects. Average IMT was always greater in PAPS than control patients (CC: p=0.004, CB: p=0.013, IC: p=0.001). By dividing participants into age tertiles the IMT was greater in the second (CC: p=0.003, CB: p=0.023, IC: p=0.003) and third tertiles (CC: p=0.03, CB: p=0.004, IC: p=0.007). Conclusion: Coagulation activation, fibrinolysis depression, hightened fibrin turnover, oxidative and nitrative stress in parallel with low grade inflammation and immune activation characterise thrombotic PAPS: all these are early atherogenic processes and contribute to the demonstrated premature atherosclerosis that should be considered a clinical feature of PAPS.

Population and railways in Portugal, 1801-1930

Portuguese historiography has mostly adopted a pessimistic view regarding the contribution of the railways to the development of country. Yet, railway access helped to increase population concentration and economic development, favoring migration into towns, the growth of pre-existing urban centers, and the emergence of new centers. But railways tended to be more beneficial to regions that were already prosperous and to aggravate the conditions unfavorable to development in areas with greater structural weaknesses.

Going Public: Conservation of Contemporary Artworks. Between Backstage and Frontstage in Contemporary Art Museums

In museum studies and history of art, what happens behind the scenes of museums stays relatively unseen and unspoken about. In the arts, generally speaking, what is dismissed as irrelevant (e.g. the realm of practices) is deliberately detached from what is thought to really matter; theory, discourse, content and meaning. Up till recently, backstage activities such as conservation practices are merely discussed among specialists and museum professionals. Only the outcomes of these discussions are sometimes – if at all – explicitly communicated to a larger public. Studies into the practices of contemporary art conservation however show that practices behind the scenes play an important role in the perpetuation of these artworks. What happens behind the scenes in terms of conservation has, in several ways, important effects on the ongoing life of these artworks in a museum context. Conservation practices, I argue, should therefore become a necessary part of museum studies and history of art. How can the working practices of conservators become more visible and transparent to a diversity of audiences, including researchers? And what does this mean in terms of research methodology?

Decentralization and privatization in Portuguese health reforms

ABSTRACT - The Portuguese National Health Service (SNS), a universal, centralized and public owned health care system, exhibits an extraordinary record of equalization in the access to health care and health gains in the late thirty years. However, the most recent history of the Portuguese health reform is pervaded by the influence of decentralization and privatization. Decentralization has been present in the system design since the 1976 Constitution, at least in theory. Private ownership of health care suppliers and out-ofpocket expenditures, on the financing side, both have a long tradition of relevance in the NHS mix of services. The initial aim of this study was to demonstrate expected parallelism between health reforms and public administration reforms, where a common pattern of joint decentralization and privatization was observed in many countries. Observers would be tempted to consider these two movements as common signs of new public management (NPM) developments. They have common objectives, are established around the core concepts of gains in effectiveness, efficiency, equity and quality of public services, through improved accountability. However, in practice, in Portugal, each movement was developed in a totally separated way. Besides those rooted in the NPM theory, there are few visible signs of association between decentralization and privatization. Decentralization, in the Portuguese SNS, was never intended to be followed by a privatization movement; it was seen merely as a public administration tool. Private management of health services, as stated in the most recent SNS legislation, was never intended to have decentralization as a condition or as a consequence. Paradoxically, in the Portuguese context, it has led invariably to centralized control. While presented as separate instruments for a common purpose, the association between decentralization and privatization still lacks a convincing demonstration. Many common health care management stereotypes remain to be checked out if we want to look for eventual associations between these two organizational tools.