Community-acquired methicillin-resistant Staphylococcus aureus carrying SCCmec type IV in southern Brazil

INTRODUCTION: Methicillin-resistant Staphylococcus aureus (MRSA) is an important pathogen commonly associated with nosocomial infections. However, it has also been associated with community-acquired skin and soft tissue infections (CA-MRSA). There are few data on the identification and prevalence of CA-MRSA infections in Brazil. METHODS: This is a cross-sectional study of 104 patients with community-acquired skin infections attending two health care centers in Porto Alegre, southern Brazil. MRSA isolates were characterized by molecular methods, including detection of the mecA gene by PCR, gene SCCmec typing, Panton-Valentine leukocidin (PVL) detection, pulsed-field gel electrophoresis (PFGE), and multilocus sequence typing (MLST). RESULTS: From the 104 samples, 58 Staphylococcus aureus isolates were obtained, of which five (8.6%) had a CA-MRSA-resistant profile. All five isolates had the mecA gene and amplified to SCCmec type IV. Analysis of chromosomal DNA by PFGE revealed the presence of two clusters related to international clones (OSPC and USA 300), with a Dice similarity coefficient >80%. The study was complemented by MLST, which detected three different strains: ST30, ST8, and ST45, the latter not presenting any relation with the clones compared in PFGE. CONCLUSIONS: The presence of CA-MRSA reveals an important change in the epidemiology of this pathogen and adds new elements to the knowledge of the molecular biology of infections by MRSA with SCCmec type IV in southern Brazil.

Non-gyrator type active inductors

Modern CMOS radio frequency (RF) Receivers have enabled efficient and increasing applications. The main requirement is to have system in a single chip, in order to minimize area and cost. For the purpose it is required the development of inductorless circuits for the key blocks of an RF receiver. Examples of this key blocks are RC oscillators, RF band pass filters, and Low Noise Amplifiers. The present dissertation presents an inductorless wideband MOSFET-only RF Non-Gyrator Type of Active Inductors with low area, low cost, and very low power, capable of covering the whole WMTS, and ISM, band and intended for biomedical applications. The proposed circuit is based on a floating capacitor connected between two controlled current sources. The first current source, which is controlled by the circuit input voltage, has two objectives: supply current to the capacitor (

Study of Helium II heat transport phenomena in superconducting rutherford type cables

This thesis is a study of how heat is transported in non-steady-state conditions from a superconducting Rutherford cable to a bath of superfluid helium (He II). The same type of superconducting cable is used in the dipole magnets of the Large Hadron Collider (LHC). The dipole magnets of the LHC are immersed in a bath of He II at 1.9 K. At this temperature helium has an extremely high thermal conductivity. During operation, heat needs to be efficiently extracted from the dipole magnets to keep their superconducting state. The thermal stability of the magnets is crucial for the operation of the LHC, therefore it is necessary to understand how heat is transported from the superconducting cables to the He II bath. In He II the heat transfer can be described by the Landau regime or by the Gorter-Mellink regime, depending on the heat flux. In this thesis both measurements and numerical simulation have been performed to study the heat transfer in the two regimes. A temperature increase of 8 2 mK of the superconducting cables was successfully measured experimentally. A new numerical model that covers the two heat transfer regimes has been developed. The numerical model has been validated by comparison with existing experimental data. A comparison is made between the measurements and the numerical results obtained with the developed model.

Evaluation of long term persistence of Diabetes Mellitus Type II treatment newly diagnosed patients in Lisbon and Tagus health administration region : a three year follow up study

RESUMO: Raional: A persistência à terapêutica é o tempo em qualquer antidiabético oral, desde o seu início até à descontinuação de todas as medicações ou até ao fim do período do estudo. Os objetivos deste estudo foi a análise da persistência à terapêutica no segundo e terceiro anos após início do tratamento em doentes adultos diagnosticados na região de Lisboa e Vale do Tejo e determinar o efeito de determinadas variáveis na persistência a longo prazo. Métodos: Um estudo retrospetivo não interventivo foi desenhado com base nos dados a obter do SIARS (prescrições e aquisições na farmácia) e Pordata. A persistência foi quantificada como a percentagem de doentes que continuam a adquirir pelo menos um antidiabético oral ao segundo e terceiro anos após a compra da primeira receita. A associação entre a persistência e o segundo e terceiro anos com cada uma das co-variáveis foi aferido pelo teste qui-quadrado e os odd ratios foram calculados com recurso a um modelo de regressão logística. Resultados: A persistência à terapêutica obtida foi de 80% e 62% para o segundo e terceiro anos após início da terapêutica. Odd ratios para primeiro e segundo ano: número de grupos farmacoterapêuticos diferentes (OR = 2.167, 1.807 – 2.598, p = 0.000 / OR = 1.863, 1.621 – 2.142, p = 0.000); idade (OR = 0.914, 0.772 – 1.081, p = 0.294 / OR = 0.875, 0.764 – 1.002, p = 0.054); sexo (OR = 1.163, 0.983 – 1.377, p = 0.079); número de diferentes prescritores (OR = 3.594, 3.030 – 4.262, p = 0.000 / OR = 2.167, 1.886 – 2.491, p = 0.000); instituição de prescrição (OR = 0.725, 0.698 – 0.753, p = 0.000 / OR = 0.683, 0.650 – 0.717, p = 0.000); grupo farmacoterapêutico (OR = 1.056, 1.043 – 1.069, p = 0.000 / OR = 1.077, 1.060 – 1.095, p = 0.000); relação com o médico (OR = 0.834, 0.816 – 0.852, p = 0.000 / OR = 0.799, 0.777 – 0.821, p = 0.000) e custo médio mensal por grupo farmacoterapêutico (OR = 0.954, 0.942 – 0.968, p = 0.000 / OR = 0.930, 0.914 – 0.947, p = 0.000). Conclusões: O valor da persistência à terapêutica no segundo ano é ligeiramente acima do que é mencionado na literatura e não existem dados para comparar os resultados do terceiro ano. Relativamente ao efeito das co-variáveis no segundo e terceiro anos após o início do tratamento, os resultados são sobreponíveis, sendo que o sexo não está associado à persistência ao terceiro ano.----------------------------------ABSTRACT: Background: Therapy persistence is the time on any antidiabetic medication, from initiation of therapy to discontinuation of all medications or the end of the study period. The aim of the study was to analyse the therapy persistence in the second and third years after treatment initiation in newly diagnosed adult patients in the Lisbon and Tagus Valley region and to determine the effect of several co-variables in the long term persistence. Methods: A retrospective non-interventional study based on SIARS data (drug prescriptions and acquisitions) and Pordata was designed. Persistence was quantified as the percentage of patients that continued to purchase at least one type of antidiabetic at year 2 and 3 after the date of first prescription acquisition. Association between persistence at second and third years with each of the other co-variables were verified by using the Chi-Square test and odds ratio were calculated using a regression logistic model. Results: Therapy persistence obtained was 80% and 62% for the second and third years after treatment initiation. Odd ratios for second and third years: number of different pharmacotherapeutic groups (OR = 2.167, 1.807 – 2.598, p = 0.000 / OR = 1.863, 1.621 – 2.142, p = 0.000); age (OR = 0.914, 0.772 – 1.081, p = 0.294 / OR = 0.875, 0.764 – 1.002, p = 0.054); gender (OR = 1.163, 0.983 – 1.377, p = 0.079); number of different prescribers (OR = 3.594, 3.030 – 4.262, p = 0.000 / OR = 2.167, 1.886 – 2.491, p = 0.000); institution of prescription (OR = 0.725, 0.698 – 0.753, p = 0.000 / OR = 0.683, 0.650 – 0.717, p = 0.000); pharmacotherapeutic group (OR = 1.056, 1.043 – 1.069, p = 0.000 / OR = 1.077, 1.060 – 1.095, p = 0.000); relationship with the physician (OR = 0.834, 0.816 – 0.852, p = 0.000 / OR = 0.799, 0.777 – 0.821, p = 0.000) and average cost per month and per pharmacotherapeutic group (OR = 0.954, 0.942 – 0.968, p = 0.000 / OR = 0.930, 0.914 – 0.947, p = 0.000). Conclusions: Second year therapy persistence value is slightly above of what is referenced in literature and no data was found to compare the third year value. Regarding the effect of the co-variables analysed at second and third years after treatment initiation, the results were overlapping with gender being not associated with persistence at the third year.

Sexual transmission of human T-cell lymphotropic virus type 1

Human T-cell lymphotropic virus type 1 (HTLV-1) is endemic in many parts of the world and is primarily transmitted through sexual intercourse or from mother to child. Sexual transmission occurs more efficiently from men to women than women to men and might be enhanced by sexually transmitted diseases that cause ulcers and result in mucosal ruptures, such as syphilis, herpes simplex type 2 (HSV-2), and chancroid. Other sexually transmitted diseases might result in the recruitment of inflammatory cells and could increase the risk of HTLV-1 acquisition and transmission. Additionally, factors that are associated with higher transmission risks include the presence of antibodies against the viral oncoprotein Tax (anti-Tax), a higher proviral load in peripheral blood lymphocytes, and increased cervicovaginal or seminal secretions. Seminal fluid has been reported to increase HTLV replication and transmission, whereas male circumcision and neutralizing antibodies might have a protective effect. Recently, free virions were discovered in plasma, which reveals a possible new mode of HTLV replication. It is unclear how this discovery might affect the routes of HTLV transmission, particularly sexual transmission, because HTLV transmission rates are significantly higher from men to women than women to men.

The use of botulinum toxin type A in the treatment of HTLV-1-associated overactive bladder refractory to conventional therapy

Urinary symptoms occur in 19% of human T-cell lymphotropic virus type 1 (HTLV-1)-infected patients who do not fulfill criteria for HTLV-1-associated myelopathy/tropical spastic paraparesis (HAM/TSP) and in almost 100% of HAM/TSP patients. Few studies have evaluated therapies for overactive bladder (OAB) caused by HTLV-1 infection. This case report describes the effect of onabotulinum toxin A on the urinary manifestations of three patients with HAM/TSP and OAB symptoms. The patients were intravesically administered 200 units of Botox®. Their incontinence episodes improved, and their OAB symptoms scores (OABSS) reduced significantly. These data indicate that Botox® should be a treatment option for OAB associated with HTLV-1 infection.

Surgical treatment of type I neuritis in a teenage boy with borderline tuberculoid leprosy

Exacerbation of the immune response against Mycobacterium leprae can lead to neuritis, which is commonly treated via immunosuppression with corticosteroids. Early neurolysis may be performed concurrently, especially in young patients with a risk of functional sequelae. We report the case of a young patient experienced intense pain in the left elbow one year after the treatment of tuberculoid-tuberculoid leprosy. The pain was associated with paresthesias in the ulnar edge and left ulnar claw. After evaluation, the diagnosis was changed to borderline tuberculoid leprosy accompanied with neuritis of the left ulnar nerve. Early neurolysis resulted in rapid reduction of the pain and recovery of motor function.

Primary cilia and the regulation of hedgehog signaling: link to cardiac development

RESUMO: As células eucarióticas evoluíram um sistema de sinalização complexo que lhes permite responder aos sinais extracelulares e intracelulares. Desta forma, as vias de sinalização são essenciais para a sobrevivência da célula e do organismo, uma vez que regulam processos fundamentais, tais como o desenvolvimento, o crescimento, a imunidade, e a homeostase dos tecidos. A via de transdução de sinal Hedgehog (Hh) envolve o receptor Patched1 (Ptch1), que tem um efeito inibidor sobre a proteína Smoothened (Smo) na ausência dos seus ligandos, as proteínas Sonic hedgehog (Shh). Estas proteínas são reguladores fundamentais do desenvolvimento embrionário, como ilustrado pelas malformações drásticas observadas em embriões humanos e de murganho com perturbações da transdução de sinal da via Hh e que incluem polidactilia, defeitos craniofaciais e malformações ósseas. Igualmente importantes são as consequências da ativação inapropriada da via de sinalização Hh na formação de tumores. Curiosamente, os componentes desta via localizam-se nos cílios primários. Além disso, demonstrou-se que esta localização é crucial para a sinalização através da via Hh. Na presença dos ligandos, Ptch1 é internalizado e destinado a degradação ou sequestrado num compartimento da célula de onde não pode desempenhar o seu papel inibitório. A proteína Arl13b é uma pequena GTPase pertencente à família Arf/Arl da superfamília Ras de pequenas GTPases e foi implicada no síndrome de Joubert, uma ciliopatia caracterizada por ataxia congénita cerebelar, hipotonia, atrso mental e cardiopatia congénita. Murganhos deficientes para Arl13b, chamado hennin (hnn) morrem morrem prematuramente ao dia 13,5 de gestação (E13,5) e exibem anomalias morfológicas nos cílios que levam à interrupção da sinalização Hh. Além disso, a Arl13b está diretamente envolvida na regulação da via Hh, controlando a localização de vários componentes desta via nos cílios primários. Neste trabalho, mostramos que a Arl13b se localiza em circular dorsal ruffles (CDRs), que são estruturas de actina envolvidas em macropinocitose e internalização de recetores, e que regula a sua formação. Além disso, aprofundámos o conhecimento do processo de ativação da via de sinalização Hh, mostrando que as CDRs sequestram seletivamente e internalizam o recetor Ptch1. As CDRs formam-se minutos após ativação da via por ligandos Shh ou pelo agonista de Smo SAG e continuam a ser formadas a partir daí, sugerindo uma indução contínua da reorganização do citoesqueleto de actina quando a via está ativada. Observámos ainda que a inibição da formação de CDRs através do silenciamento de WAVE1, uma proteína necessária para a formação destas estruturas, resulta na diminuição da ativação da via de sinalização Hh. Além disso, o bloqueio da macropinocitose, que se segue ao fecho das CDRs, através do silenciamento de uma proteína necessária para a cisão de macropinossomas, nomeadamente a proteína BARS, tem um efeito semelhante. Estes resultados sugerem que as CDRs e a macropinocitose são necessárias para a ativação da via de sinalização Hh e indicam que esta via de internalização controla os níveis de sinal Hh. Durante o desenvolvimento, as células proliferativas dependem do cílio primário para a transdução de várias vias de sinalização. A via Hh induz a diferenciação do músculo cardíaco. Por conseguinte, os murganhos deficientes na via de sinalização Hh exibem uma variedade de defeitos de lateralidade, incluindo alteração do looping do coração, como pode ser visto em murganhos deficientes para Arl13b. Por conseguinte, investigámos o papel da Arl13b no desenvolvimento do coração. Mostramos que a Arl13b é altamente expressa no coração de embriões de murganho e de murganhos adultos ao nível do mRNA e da proteína. Além disso, o perfil de distribuição da Arl13b no coração segue o dos cílios primários, que são essenciais para o desenvolvimento cardíaco. Corações de murganhos hnn no estadio E12,5 mostram um canal átrio-ventricular aberto, espessamento da camada compacta ventricular e aumento do índice mitótico no ventrículo esquerdo. Além disso, um atraso de 1 a 2 dias no desenvolvimento é observado em corações de murganhos hnn, quando comparados com controlos selvagens no estadio E13,5. Assim, estes resultados sugerem que a Arl13b é necessária para o desenvolvimento embrionário do coração e que defeitos cardíacos podem contribuir para a letalidade embrionária de murganhos hnn. Em suma, foi estabelecido um novo mecanismo para a regulação dos níveis de superfície do recetor Ptch1, que envolve a remodelação do citoesqueleto de actina e a formação de CDRs após a ativação da via de sinalização Hh. Este mecanismo permite um feedback negativo que evita a repressão excessiva da via através da remoção de Ptch1 da superfície da célula. Além disso, determinou-se que uma mutação de perda de função na Arl13b causa defeitos cardíacos durante o desenvolvimento, possivelmente relacionados com a associação dos defeitos em cílios primários e na sinalização Hh, existentes em murganhos deficientes para Arl13b. A via de sinalização Hh tem tido um papel central entre as vias de sinalização, uma vez que a sua regulação é crucial para o funcionamento apropriada da célula. Assim, a descoberta de um novo mecanismo de tráfego através de macropinocitose e CDRs que controla a ativação e repressão da via de sinalização Hh traz novas perspetivas de como esta via pode ser regulada e pode ainda conduzir à identificação de novos alvos e estratégias terapêuticas. --------------------ABSTRACT: Eukaryotic cells have evolved a complex signaling system that allows them to respond to extracellular and intracellular cues. Signaling pathways are essential for cell and organism survival, since they regulate fundamental processes such as development, growth, immunity, and tissue homeostasis. The Hedgehog (Hh) pathway of signal transduction involves the receptor Patched1 (Ptch1), which has an inhibitory effect on Smoothened (Smo) in the absence of its ligands, the Sonic hedgehog (Shh) proteins. These proteins are fundamental regulators of embryonic development, as illustrated by the dramatic malformations seen in human and mouse embryos with perturbed Hh signal transduction that include polydactyly, craniofacial defects and skeletal malformations. Equally important are the consequences of inappropriate activation of the Hh signaling response in tumor formation. Interestingly, the components of this pathway localize to primary cilia. Moreover, it has been shown that this localization is crucial for Hh signaling. However, in the presence of the ligands, Ptch1 is internalized and destined for degradation or sequestered in a cell compartment where it no longer can play its inhibitory role. ADP-ribosylation factor-like (Arl) 13b, a small GTPase belonging to Arf/Arl family of the Ras superfamily of small GTPases has been implicated in Joubert syndrome, a ciliopathy characterized by congenital cerebellar ataxia, hypotonia, intellectual disability and congenital heart disease. Arl13b-deficient mice, called hennin (hnn) die at embryonic day 13.5 (E13.5) and display morphological abnormalities in primary cilia that lead to the disruption of Hh signaling. Furthermore, Arl13b is directly involved in the regulation of Hh signaling by controlling the localization of several components of this pathway to primary cilia. Here, we show that Arl13b localizes to and regulates the formation of circular dorsal rufles (CDRs), which are actin-basedstructures known to be involved in macropinocytosis and receptor internalization. Additionally, we extended the knowledge of the Hh signaling activation process by showing that CDRs selectively sequester and internalize Ptch1 receptors. CDRs are formed minutes after Hh activation by Shh ligands or the Smo agonist SAG and keep being formed thereafter, suggesting a continuous induction of actin reorganization when the pathway is switched on. Importantly, we observed that disruption of CDRs by silencing WAVE1, a protein required for CDR formation, results in down-regulation of Hh signaling activation. Moreover, the blockade of macropinocytosis, which follows CDR closure, through silencing of a protein necessary for the fission of macropinosomes, namely BARS has a similar effect. These results suggest that CDRs and macropinocytosis are necessary for activation of Hh signaling and indicate that this pathway of internalization controls Hh signal levels. During development, proliferating cells rely on the primary cilium for the transduction of several signaling pathways. Hh induces the differentiation of cardiac muscle. Accordingly, Hh-deficient mice display a variety of laterality defects, including alteration of heart looping, as seen in Arl13b-deficient mice. Therefore, we investigated the role of Arl13b in heart development. We show that Arl13b is highly expressed in the heart of both embryonic and adult mice at mRNA and protein levels. Also, Arl13b localization profile mimics that of primary cilia, which have been shown to be essential to early heart development. E12.5 hnn hearts show an open atrioventricular channel, increased thickening of the ventricular compact layer and increased mitotic index in the left ventricle. Moreover, a delay of 1 to 2 days in development is observed in hnn hearts, when compared to wild-type controls at E13.5. Hence, these results suggest that Arl13b is necessary for embryonic heart development and that cardiac defects might contribute to the embryonic lethality of hnn mice. Altogether, we established a novel mechanism for the regulation of Ptch1 surface levels, involving cytoskeleton remodeling and CDR formation upon Hh signaling activation. This mechanism allows a negative feedback loop that prevents excessive repression of the pathway by removing Ptch1 from the cell surface. Additionally, we determined that the Arl13b loss-offunction mutation causes cardiac defects during development, possibly related to the associated ciliary and Hh signaling defects found in Arl13b-deficient mice. Hh signaling has taken a center stage among the signaling pathways since its regulation is crucial for the appropriate output and function of the cell. Hence, the finding of a novel trafficking mechanism through CDRs and macropinocytosis that controls Hh signaling activation and repression brings new insights to how this pathway can be regulated and can lead to the discovery of novel therapeutic targets and strategies.

The role of s-nitrosothiols and rho-kinase 1 in glucose and lipid metabolism

RESUMO: Na sociedade contemporânea a diabetes tipo 2 e a obesidade estão a aumentar exponencialmente, representando um grave problema de saúde pública. De acordo com a IDF “A diabetes e a obesidade são o principal problema de saúde pública do século XXI’. Para além destas duas patologias, a prevalência de esteatose hepática não-alcoólica (NAFLD), entre a população obesa e diabética, é de cerca de 90%. O aumento da obesidade, diabetes e NAFLD tem uma forte correlação com o aumento do consumo de gorduras e açúcares, acompanhado de um decréscimo acentuado da actividade física. A obesidade, diabetes e NAFLD tem sido escrupolosamente investigada mas as terapêuticas disponíveis continuam a ser muito limitadas. Tendo em conta o número crescente e alarmante de obesos e diabéticos o conhecimento detalhado da patofisiologia da obesidade, diabetes e NAFLD, tendo em vista a necessidade extrema de desenvolvimento de novas estratégias terapêuticas, é da mais elevada urgência. O fígado é reconhecido como um orgão primordial no controlo da homeostase. No estado pós-prandial, o fígado converte a glucose em glicogénio e lípidos. Em contraste, no estado de jejum, o fígado promove a produção de glucose. Sistemas neuronais e hormonais, bem como o estado metabólico do fígado, controlam de forma muito precisa a alternância entre os diferentes substratos metabólicos, dependente do estado prandial. A insulina tem um papel central no controlo do metabolismo energético no fígado; se, por um lado, inibe a produção hepática de glucose e corpos cetónicos, por outro, promove a glicólise e a lipogénese. O metabolismo energético no fígado é também regulado por vários factores de transcrição e co-reguladores que, por sua vez, são regulados pela insulina, glucagina e outras hormonas metabólicas. Em conjunto, todos estes factores e reguladores vão controlar de forma muito estreita a gluconeogénese, a β-oxidação e a lipogénese, no fígado. Para além dos já conhecidos reguladores do metabolismo hepático, novas moléculas têm sido estudadas como tendo um papel fundamental na regulação do metabolismo energético no fígado. Qualquer desequilíbrio no metabolismo hepático vai contribuir para a insulino-resistência, NAFLD e diabetes tipo 2. O principal objectivo do trabalho de investigação aqui apresentado é o contributo para o estudo detalhado da patogénese da diabetes e obesidade, num contexto de dietas ricas em açúcares e gorduras, e com a perspectiva de explorar novas estratégias terapêuticas. Os objectivos específicos deste trabalho eram: primeiro, determinar se o tratamento com glutationo (GSH) e óxido nítrico (NO) era suficiente para melhorar a insulino-resistência associada ao elevado consumo de sacarose; segundo, determinar o papel da Rho-kinase 1 (ROCK1) na regulação do metabolismo hepático da glucose e dos lípidos; e terceiro, estudar o efeito do metilsulfonilmetano (MSM) em doenças metabólicas associadas à obesidade. Na primeira parte deste trabalho de investigação foram utilizados ratos Wistar machos sujeitos a uma dieta rica em sacarose (HS). Tal como esperado, estes animais apresentavam insulino-resistência e hiperinsulinémia. A dieta HS levou ao aumento dos níveis hepáticos de NO e ao decréscimo dos níveis de GSH no fígado. Em jejum, a administração intraportal de GSH e NO, a animais saudáveis promoveu um aumento significativo da sensibilidade à insulina. Também nestes animais, a administração intravenosa de S-nitrosotióis, compostos orgânicos que contém um grupo nitroso acoplado a um átomo de enxofre de um tiol, promoveu o aumento significativo da sensibilidade à insulina. Pelo contrário, em animais sujeitos à dieta HS, as doses padrão de GSH + NO e de S-nitrosotióis não conseguiram promover o aumento da sensibilidade à insulina. No entanto, ao aumentar a dose de S-nitrosotióis administrados por via intravenosa, foi possível observar o aumento da sensibilidade à insulina dependente da dose, indicando um possível papel dos S-nitrosotióis como sensibilizadores de insulina. O estudo detalhado do papel dos S-nitrosotióis na via de sinalização da insulina revelou que há um aumento da fosforilação do receptor da insulina (IR) e da proteína cinase B (Akt), sugerindo um efeito dos S-nitrosotióis nesta via de sinalização. Os resultados apresentados nesta primeira parte sugerem que os S-nitrosotióis promovem a correcta acção da insulina, podendo vir a ser importantes alvos terapêuticos. Na segunda parte deste trabalho de investigação utilizámos murganhos, com uma delecção específica da ROCK1 no fígado, e sujeitos a uma dieta rica em lípidos (HFD). Foi possível concluir que a ausência da ROCK1 no fígado previne a obesidade, melhora a sensibilidade à insulina e protege contra a esteatose hepática. A ausência de ROCK1 no fígado levou a um decréscimo significativo da expressão génica de genes associados à lipogénese, com uma diminuição acentuada do fluxo metabólico associado a esta via. Pelo contrário, a sobreexpressão de ROCK1, exclusivamente no fígado, promove a insulino-resistência e a esteatose hepática no contexto de obesidade induzida pela dieta. Para além disto, a delecção da ROCK1 no fígado de animais obesos e diabéticos, os murganhos deficientes em leptina, corroborou os dados obtidos no primeiro modelo animal, com a franca melhoria da hiperglicémia, hiperinsulinémia e esteatose hepática. Os dados que compõem esta parte do trabalho de investigação sugerem que a ROCK1 tem um papel crucial na regulação do metabolismo lipídico. Na terceira e última parte deste trabalho de investigação foi investigado o efeito do composto metilsulfunilmetano (MSM), um composto organosulfúrico naturalmente presente em plantas e utilizado também como suplemento dietético, em murganhos obesos e insulino-resistentes, por exposição a uma dieta rica em lípidos (DIO). O tratamento com MSM melhorou a insulino-resistência e protegeu contra a esteatose hepática. O conteúdo hepático em triglicéridos e colesterol também diminuíu de forma significativa nos animais DIO sujeitos ao tratamento com MSM, bem como a expressão génica associada à lipogénese. Para além disto, o tratamento com MSM levou a uma diminuição da expressão génica associada à inflamação. De realçar que o tratamento com MSM levou a uma melhoria do perfil hematopoiético destes animais, tanto na medula óssea como no sangue. Para comprovar o efeito benéfico do MSM na obesidade e insulino-resistência utilizámos murganhos deficientes no receptor da leptina, e por isso obesos e diabéticos, tendo observado um perfil semelhante ao obtido para murganhos sujeitos a uma dieta rica em lípidos e tratados com MSM. Concluímos, através dos dados recolhidos, que o MSM como suplemento pode ter efeitos benéficos na hiperinsulinémia, insulino-resistência e inflamação que caracterizam a diabetes tipo 2. Em resumo, os dados obtidos neste trabalho de investigação mostram que os S-nitrosotióis podem ter um papel importante como sensibilizadores da insulina, promovendo um aumento da sensibilidade à insulina num contexto de dietas ricas em sacarose. Para além disto, estudos in vitro, sugerem que os S-nitrosotióis regulam, especificamente, a via de sinalização da insulina. Este trabalho teve também como objectivo o estudo da ROCK1 como regulador do metabolismo da glucose e dos lípidos no fígado. Através do estudo de animais com uma delecção ou uma sobreexpressão da ROCK1 no fígado mostrou-se que esta tem um papel crucial na patogénese da obesidade e diabetes tipo 2, especificamente através do controlo da lipogénese de novo. Finalmente, foi também objectivo deste trabalho, explorar o efeito do MSM em animais DIO e deficientes em leptina. O tratamento com MSM protege de forma evidente contra a obesidade e insulino-resistência, com especial enfâse para a capacidade que esta molécula demonstrou ter na protecção contra a inflamação. Em conjunto os vários estudos aqui apresentados mostram que tanto os S-nitrosotióis como a ROCK1 têm um papel na patogénese da obesidade e diabetes tipo 2 e que a utilização de MSM como suplemento às terapêuticas convencionais pode ter um papel no tratamentos de doenças metabólicas.-------------------------------ABSTRACT: In modern western societies type 2 diabetes and obesity are increasing exponentially, representing a somber public concern. According to the International Diabetes Federation (IDF) ‘Diabetes and Obesity are the biggest public health challenges of the 21st century’. Aside from these the prevalence of nonalcoholic fatty liver disease (NAFLD), among the diabetic and obese population, is as high as 90%. It is now well established that the increase in obesity, diabetes and NAFLD strongly correlates with an increase in fat and sugar intake in our diet, alongside physical inactivity. The pathogenesis of obesity, diabetes and NAFLD has been thoroughly studied but the treatment options available are still narrow. Considering the alarming number in the obese and diabetic population the complete understanding of the pathogenesis, keeping in mind that new therapeutic strategies need to be attained, is of the highest urgency. The liver has been well established as a fundamental organ in regulating whole-body homeostasis. In the fed state the liver converts the glucose into glycogen and lipids. Conversely, in the fasted state, glucose will be produced in the liver. Neuronal and hormonal systems, as well as the hepatic metabolic states, tightly control the fast to fed switch in metabolic fuels. Insulin has a central role in controlling hepatic energy metabolism, by suppressing glucose production and ketogenesis, while stimulating glycolysis and lipogenesis. Liver energy metabolism is also regulated by various transcription factors and coregulators that are, in turn, regulated by insulin, glucagon and other metabolic hormones. Together, these regulators will act to control gluconeogenesis, β-oxidation and lipogenesis in the liver. Aside from the well-established regulators of liver energy metabolism new molecules are being studied has having a role in regulating hepatic metabolism. Any imbalance in the liver energy metabolism is a major contributor to insulin resistance, NAFLD and type 2 diabetes. The overall goal of this research work was to contribute to the understanding of the pathogenesis of diabetes and obesity, on a setting of high-sucrose and high-fat diets, and to explore potential therapeutic options. The specific aims were: first, to determine if treatment with glutathione (GSH) and nitric oxide (NO) was sufficient to ameliorate insulin resistance induced by high-sucrose feeding; second, to determine the physiological role of rho-kinase 1 (ROCK1) in regulating hepatic and lipid metabolism; and third, to study the effect of methylsulfonylmethane (MSM) on obesity-linked metabolic disorders. In the first part of this research work we used male Wistar rats fed a high-sucrose (HS) diet. As expected, rats fed a HS diet were insulin resistant and hyperinsulinemic. HS feeding increased hepatic levels of NO, while decreasing GSH. In fasted healthy animals administration of both GSH and NO, to the liver, was able to increase insulin sensitivity. Intravenous administration of S-nitrosothiols, organic compounds containing a nitroso group attached to the sulfur atom of a thiol, in fasted control animals also increased insulin sensitivity. Under HS feeding the standard doses of GSH + NO and S-nitrosothiols were unable to promote an increase in insulin sensitivity. However, the intravenous administration of increasing concentrations of S-nitrosothiols was able to restore insulin sensitivity, suggesting that S-nitrosothiols have an insulin sensitizing effect. Investigation of the effect of S-nitrosothiols on the insulin signaling pathway showed increased phosphorylation of the insulin receptor (IR) and protein kinase B (Akt), suggesting that S-nitrosothiols may have an effect on the insulin signaling pathway. Together, these data showed that S-nitrosothiols promote normal insulin action, suggesting that they may act as potential pharmacological tools. In the second part of this research work we used liver-specific ROCK1 knockout mice fed a high-fat (HF) diet. Liver-specific deletion of ROCK1 prevented obesity, improved insulin sensitivity and protected against hepatic steatosis. Deficiency of ROCK1 in the liver caused a significant decrease in the gene expression of lipogenesis associated gene, ultimately leading to decreased lipogenesis. Contrariwise, ROCK1 overexpression in the liver promoted insulin resistance and hepatic steatosis in diet-induced obesity. Furthermore, liver-specific deletion of ROCK1 in obese and diabetic mice, the leptin-deficient mice, improved the typical hyperglycemia, hyperinsulinemia and liver steatosis. Together, these data identify ROCK1 as a crucial regulator of lipid metabolism. In the third and final part of this research work we investigated the effect of MSM, an organosulfur compound naturally found in plants and used as a dietary supplement, on diet-induced obese (DIO) and insulin resistant mice. MSM treatment ameliorated insulin resistance and protected against hepatosteatosis. Hepatic content in triglycerides and cholesterol was significantly decreased by MSM treatment, as well as lipogenesis associated gene expression. Furthermore, MSM treated mice had decreased inflammation associated gene expression in the liver. Importantly, FACS analysis showed that MSM treatment rescued the inflammatory hematopoietic phenotype of DIO mice in the bone marrow and the peripheral blood. Moreover, MSM treatment of the obese and diabetic mice, the leptin-deficient mice, resulted in similar effects as the ones observed for DIO mice. Collectively, these data suggest that MSM supplementation has a beneficial effect on hyperinsulinemia, insulin resistance and inflammation, which are often found in type 2 diabetes. In conclusion, this research work showed that S-nitrosothiols may play a role as insulin sensitizers, restoring insulin sensitivity in a setting of high-sucrose induced insulin resistance. Furthermore, in vitro studies suggest that S-nitrosothiols specifically regulate the insulin signaling pathway. This research work also investigated the role of hepatic ROCK1 in regulation of glucose and lipid metabolism. Using liver-specific ROCK 1 knockout and ROCK1 overexpressing mice it was shown that ROCK1 plays a role in the pathogenesis of obesity and type 2 diabetes, specifically through regulation of the de novo lipogenesis pathway. Finally, this research work aimed to explore the effect of MSM in DIO and leptin receptor-deficient mice. MSM strongly protects against obesity and insulin resistance, moreover showed a robust ability to decrease inflammation. Together, the individual studies that compose this dissertation showed that S-nitrosothiols and ROCK1 play a role in the pathogenesis of obesity and type 2 diabetes and that MSM supplementation may have a role in the treatment of metabolic disorders.

Oropharyngeal colonization by Haemophilus influenzae in healthy children from Taubaté (São Paulo), prior to the Haemophilus influenzae type b vaccination program in Brazil

Haemophilus influenzae is one of the most important bacterial agents of otitis and sinusitis. H. influenzae type b (Hib) is one of the main causes of meningitis, pneumonia, and septicemia in nonvaccinated children under 6 years of age. The aims of this study were to determine the prevalence of H. influenzae and Hib oropharyngeal colonization prior to the onset of the Hib vaccination program in Brazil in previously healthy children and to assess the susceptibility profile of this microorganism to a selected group of antimicrobials that are used to treat acute respiratory infections. METHOD: Cultures of Haemophilus influenzae were made from oropharynx swabs from 987 children under 6 years of age who were enrolled in 29 day-care centers in Taubaté (a city of São Paulo state, Brazil) between July and December 1998. RESULTS: The prevalence of H. influenzae carriers was 17.4%, and only 5.5% of the strains were beta-lactamase producers. The prevalence of Hib carriers was high, 7.3% on average (range, 0.0 - 33.3%). CONCLUSIONS: The low prevalence of colonization by penicillin-resistant strains indicates that it is not necessary to substitute ampicilin or amoxicilin to effectively treat otitis and sinusitis caused by H. influenzae in Taubaté.

Habitat preferences, diet, feeding strategy and social organization of the black spider monkey [Ateles paniscus paniscus Linnaeus 1758] in Surinam

A Socioecological Field Study.This monograph reports on a 26 month socioecological study of black spider monkeys (Ateles paniscus paniscus)in the Raleigh-vallen — Voltzberg Nature Reserve, Surinam. It recognizes the fundamental importance of food to the behavior and the regulation of population density fox this primate. It clarifies the complex temporal and spatial effects of tropical rain forest food sources on the behavior of a group of spider monkeys, concentrating on food category, food plant identity and phenology, and quantity, density and dispersion of the most important food sources. In addition, the present study describes habitat choice, optimal feeding strategy and sexual behavior of the spider monkey, and discusses implications of diet for social behavior. This study is also fundamental to conservation. Specialized in eating mature fruits, the spider monkey is a very important dispersal agent for many trees and lianes, particularly canopy species. However, the spider monkey is probably the most vulnerable monkey species in Surinam and it is disappearing rapidly throughout the remainder of its range. Unfortunately, it is large and noisy and can be easily tracked and hunted. It is largely restricted to undisturbed high forest, and consequently habitat destruction has more effect on it than on most other species. Together with its slow reproductive rate (a female gives birth only once every four or five years), this means that the species is poorly adapted to recover from exploitation. In order to implement proper measures for conservation, data on forest type preferences, diet and social behavior of the species, or on closely related species, in undisturbed areas, such as the one described in this monograph, are essential tools for assessing the potential of proposed protected areas.

The role of α2,3- and α2,6-sialylation

RESUMO: Os glicoconjugados que decoram a superfície celular e os lípidos e proteínas secretados ocupam o ponto de encontro onde normalmente ocorrem interacções críticas homólogas (hospedeiro-hospedeiro) e heterólogas (hospedeiro-patogénio). Apesar de ser largamente aceite que os glicanos são parte integrante do processo de imunidade, continua a não ser claro qual o papel que os glicanos, em toda a sua diversidade, tomam no quadro geral da imunidade. Os glicanos, que são frequentemente terminados por resíduos de ácido siálico, podem ser alterados por factores externos, tais como patogénios, ou por acontecimentos fisiológicos celulares específicos. Normalmente em posição terminal, as glico-estruturas que contêm ácido siálico assumem um papel fundamental numa quantidade substancial de receptores imunes envolvidos na adesividade e tráfico celular, tal como as Selectinas e as Siglecs, das quais se sabe apresentarem uma relevante função imune. À altura do início desta tese, era sabido que os ácidos siálicos expressos à superfície das células poderiam modular mecanismos importantes nas respostas imunes adaptativas. Considerando a posição de charneira que as células dendríticas (DCs) ocupam na transição da resposta imune inata para a adaptativa, antecipámos que os ácidos siálicos poderiam também modular mecanismos relevantes nas DCs humanas. As DCs têm uma função muito relevante na verificação e captura antigénica, migração para os gânglios linfáticos e apresentação antigénica aos linfócitos, uma sequência de funções que conduz, em ultima instância, à indução da resposta inata adaptativa. Considerando estas premissas, a nossa hipótese principal foi que os ácidos siálicos podem influenciar funções relevantes das DCs, tais como captura de antigénios, maturação, migração para os gânglios linfáticos e apresentação antigénica às células Para testar esta hipótese, dividimos o trabalho em quatro partes: 1) Analisámos os glicanos sialilados de superfície, expressos durante a diferenciação de monócitos humanos em DCs (moDCs). Os nossos dados mostraram que a expressão dos glicanos com ligações em O (O-glicanos) e sialilados em α2,3, assim como glicanos com ligações em N (N-glicanos) sialilados em α2,6 e α2,3 aumentou durante o processo de diferenciação das moDCs. Contribuindo para esta nova configuração glicosídica, três sialiltransferases (STs) poderão estar envolvidas: a ST6Gal-1 correlaciona-se com a expressão aumentada de N-glicanos sialilados em α2,6; a ST3Gal-1 contribui para a sialilação em α2,3 de O-glicanos, em especial de antigénios T; e a ST3Gal-4 poderá ser responsável pelo aumento de N-glicanos sialilados em α2,3. Após estímulo e consequente maturação das moDCs, ambos os níveis de expressão génica de ST6Gal-1 e ST3Gal-4 são negativamente modificados sendo, também, que a expressão de ST3Gal-1 varia consoante o estímulo. 2) Estudámos posteriormente as consequências da modulação dos ácidos siálicos de superfície nas funções das DCs. Observámos que a remoção dos ácidos siálicos de superfície diminui significativamente a capacidade de macropinocitose e endocitose mediada por receptores nas moDCs. Em contrapartida, o tratamento com sialidase aumentou significativamente a capacidade das moDCs para fagocitar Escherichia coli. Determinou-se também que este mecanismo requer a existência de ácido siálico presente nas E. coli indicando um mecanismo de interacção hospedeiro-patogénio dependente de ácido siálico em ambas as partes envolvidas. As moDCs tratadas com sialidase também apresentam um nível superior de expressão de moléculas de MHC e moléculas co-estimulatórias, sugerindo um fenótipo celular mais maduro. Recorrendo ao modelo de ratinho, utilizaram-se DCs derivadas de células da medula (BMDCs) de ratinhos deficientes em ST3Gal-1 e ST6Gal-1. Estes ensaios revelaram que quer a endocitose quer a maturação são influenciadas por modificações 37 nos glicanos sialilados em α2,3 ou α2,6. A detecção e quantificação de proteínas Nglicosiladas e sialiladas em α2,6 apontou para um potencial envolvimento de integrinas β2 nestes mecanismos. 3) O efeito da sialilação em α2,6 na migração das DCs para os gânglios linfáticos foi também analisado. Observámos que BMDCs deficientes para ST6Gal-1 apresentam uma redução de cerca de 50% nos níveis de migração das DCs para os gânglios linfáticos, tal como aferido em ensaios de inflamação in situ e estudos de transferência adoptiva de células. Uma redução dos níveis deste tipo de migração foi também observada quando BMDCs nativas foram transferidas para ratinhos receptores deficientes em ST6Gal-1. São, contudo, necessários mais ensaios de forma a identificar as moléculas envolvidas neste processo. 4) Por último, analisámos o impacto da sialilação na estimulação antigénica das DCs às células T. Assim, concluiu-se que moDCs tratadas com sialidase apresentam um nível de expressão superior de IL-12, TNF-ɑ, IL-6 e IL-10, e activação do factor de transcrição nuclear kappa B (NF-κB). As DCs tratadas com sialidase induziram uma maior proliferação nas células T, com expressão correspondente de interferão-γ. Este dado sugere que a remoção de ácidos siálicos de superfície contribui para o desenvolvimento de uma resposta pro-inflamatória do tipo 1 por células T auxiliares (resposta Th1). Considerando estes dados no seu todo, concluímos que o ácido siálico tem um papel marcante nas funções imunes das DCs. Alterações à concentração de ácido siálico à superfície das células podem alterar a endocitose/fagocitose, maturação, migração para os tecidos e gânglios linfáticos e capacidade estimulatória para com as células T. Complementando estes dados, as ligações glicosídicas de ácidos siálicos criados por ST6Gal-1 e ST3Gal-1 são funcionalmente relevantes. A modulação programada da sialilação do glicocálice, mediada por sialidases individuais ou sialiltransferases é uma possibilidade aceitável para a melhoria da fagocitose por DCs e da sua potência imunológica. Este facto tem um significado particular para imunoterapias baseadas em DCs, podendo provar-se decisivo para a sua eficiência e aplicabilidade num futuro muito próximo.-------------------------------ABSTRACT: Glycans decorating cell surface and secreted proteins and lipids occupy the junction where critical host–host and host-pathogen interactions occur. In spite of the wide acceptance that glycans are centrally implicated in immunity, exactly how glycans and their variety and variability contribute to the overall immune response remains poorly defined. Glycans, frequently terminated by sialic acid residues, may be modified by external factors such as pathogens or upon specific physiological cellular events. The terminal, privileged positions of sialic acid-modified structures makes them key, fundamental determinants for a number of immune receptors with known involvement in cellular adhesiveness and cell trafficking, such as Selectins and Siglecs, with known relevant immune functions. At the time this thesis was initiated, it was established that sialic acids expressed at cell surface could modulate important mechanisms of the adaptive immune responses. Given the key role of dendritic cells (DCs) in the transition from innate to the adaptive immune responses, we anticipated that sialic acids could also modulate important mechanisms of human DCs. DCs have a relevant role in antigen screening and uptake, migration to lymph nodes and antigen presentation to lymphocytes, ultimately triggering the adaptive immune response. Therefore, our primary hypothesis was that sialic acids may modulate DC functions, such as antigen uptake, maturation, homing to lymph nodes and antigen presentation to T cells. To test this hypothesis, we divided our work in four parts. 1) Surface sialylated glycans expressed during differentiation from human monocytes to DCs (moDCs) were analyzed. Our data showed that α2,3-sialylated O-glycans and α2,6- and α2,3-sialylated N-glycans expression increased during moDC differentiation. Three main sialyltransferases (STs) are committed with this new glycan configuration: ST6Gal- 1 correlates with the increased expression of α2,6-sialylated N-glycans; ST3Gal-1 32 contributes for the α2,3-sialylation of O-glycans, especially T antigens; and ST3Gal-4 may contribute for the increased α2,3-sialylated N-glycans. Upon moDC maturation, ST6Gal-1 and ST3Gal-4 are downregulated and ST3Gal-1 is altered in a stimulus dependent manner. 2) We subsequently analyzed the consequences of the modulation of cell surface sialic acids in DC functions. We observed that removing surface sialic acid by sialidase significantly decreased the capacity of moDCs to micropinocytose and receptormediated endocytose. In contrast, treatment with a sialidase significantly improved the capacity of moDCs to phagocytose Escherichia coli. The improved phagocytosis mechanism required E. coli sialic acids, indicating a mechanism of host–pathogen interaction dependent on sialic acid moieties. Sialidase-treated moDCs have increased expression of MHC and co-stimulatory molecules, suggesting a more mature phenotype. Experiments using mouse bone marrow-derived DCs (BMDCs) from ST3Gal-1-/- and ST6Gal-1-/- strains indicated that endocytosis and maturation are influenced by changes in either α2,3 or α2,6-sialylated glycans. The analysis of α2,6-sialylated, N-glycosylated proteins, strongly suggested the potential involvement of β2 integrins, underlying these mechanisms. 3) The effect of α2,6-sialylation in DC homing to lymph nodes was also analyzed. We observed that BMDCs deficient for ST6Gal-1 have an almost 50% reduction in DC homing, as assayed by in situ inflammation and adoptive transfer studies. A reduction in DC homing was also observed when wild type BMDCs were transferred into ST6Gal-1-/- recipient mice. Further investigations are necessary to identify the molecules involved in this process. 4) Finally, we also analyzed the impact of sialylation on DCs ability to prime T cells. Sialidase-treated moDCs show increased gene expression of IL-12, TNF-α, IL-6 and IL- 10 cytokines, and activation of the transcription factor nuclear factor-κB. Sialidase33 treated DCs induced a higher proliferative response of T cells with concomitant higher expression of interferon-γ, suggesting that the clearance of cell surface sialic acids contributes to the development of a T helper type 1 proinflammatory response. Together, our data strongly support sialic acid’s relevance in DC immune functions. Alterations of cell surface sialic acid content can alter the endocytosis/phagocytosis, maturation, migration/homing and the ability for T cell priming in human DCs. Moreover, sialic acid linkages created by ST6Gal-1 and ST3Gal-1 are functionally relevant. The engineering of cell surface sialylation, mediated by individual sialidases or sialyltransferases is a likely possibility to fine tune DC phagocytosis and immunological potency, with particular significance to DC-based therapies.

A internet e o sistema de justiça

The subject of study of this Thesis aims to highlight and recognize as an object of reflection the undoubted relationship between the Internet and the Justice System, based on the issue of digital evidence. The simultaneously crossing of the juridical-legal implications and the more technical computer issues is the actual trigger for the discussion of the issues established. The Convention on Cybercrime of the Council of Europe of 23rd November 2001 and the Council Framework Decision n.° 2005/222/JHA of 24th February 2005 were avant-garde in terms of the international work about the crimes in the digital environment. In addition they enabled the harmonization of national legislations on the matter and, consequently, a greater flexibility in international judicial cooperation. Portugal, in compliance with these international studies, ratified, implemented and approved Law n. º 109/2009 of 15th September concerning the Cybercrime Act, establishing a more specific investigation and collection of evidence in electronic support when it comes to combating this type of crime, as it reinforced the Substantive Criminal Law and Procedural Nature. Nevertheless, the constant debates about the New Technologies of Information and Communication have not neglected the positive role of these tools for the user. However, they express a particular concern for their counterproductive effects; a special caution prevails on the part of the judge in assessing the digital evidence, especially circumstantial evidence, due to the its fragility. Indisputably, the practice of crimes through the computer universe, given its inexorable technical complexity, entails many difficulties for the forensic investigation, since the proofs hold temporary, changeable, volatile, and dispersed features. In this pillar, after the consummation of iter criminis, the Fundamental Rights of the suspects may be debated in the course of the investigation and the construction of iter probatorium. The intent of this Thesis is to contribute in a reflective way on the issues presented in order to achieve a bigger technical and legal awareness regarding the collection of digital proof, looking for a much lighter approach to its suitability in terms of evidentiary value.

Entre a plasticidade do corpo e da imagem : contributos para uma viagem interactiva pelos territórios incertos da arte contemporânea

Este trabalho de investigação começou por ser estruturado em torno de quatro grandes capítulos (quatro grandes linhas de orientação temática), todos eles amplamente desenvolvidos no sentido de podermos cartografar alguns dos principais territórios e sintomas da arte contemporânea, sendo certo também, que cada um deles assenta precisamente nos princípios de uma estrutura maleável que, para todos os efeitos, se encontra em processo de construção (work in progress), neste caso, graças à plasticidade do corpo, do espaço, da imagem e do uso criativo das tecnologias digitais, no âmbito das quais, aliás, tudo se parece produzir, transformar e disseminar hoje em dia à nossa volta (quase como se de uma autêntica viagem interactiva se tratasse). Por isso, a partir daqui, todo o esforço que se segue procurará ensaiar uma hipótese de trabalho (desenvolver uma investigação) que, porventura, nos permita desbravar alguns caminhos em direcção aos intermináveis túneis do futuro, sempre na expectativa de podermos dar forma, função e sentido a um desejo irreprimível de liberdade criativa, pois, a arte contemporânea tem essa extraordinária capacidade de nos transportar para muitos outros lugares do mundo, tão reais e imaginários como a nossa própria vida. Assim sendo, há que sumariar algumas das principais etapas a desenvolver ao longo desta investigação. Ora, num primeiro momento, começaremos por reflectir sobre o conceito alargado de «crise» (a crise da modernidade), para logo de seguida podermos abordar a questão da crise das antigas categorias estéticas, questionando assim, para todos os efeitos, quer o conceito de «belo» (Platão) e de «gosto» (Kant), quer ainda o conceito de «forma» (Foccilon), não só no sentido de tentarmos compreender algumas das principais razões que terão estado na origem do chamado «fim da arte» (Hegel), mas também algumas daquelas que terão conduzido à estetização generalizada da experiência contemporânea e à sua respectiva disseminação pelas mais variadas plataformas digitais. Num segundo momento, procuraremos reflectir sobre alguns dos principais problemas da inquietante história das imagens, nomeadamente para tentarmos perceber como é que todas estas transformações técnicas (ligadas ao aparecimento da fotografia, do cinema, do vídeo, do computador e da internet) terão contribuído para o processo de instauração e respectivo alargamento daquilo que todos nós ficaríamos a conhecer como a nova «era da imagem», ou a imagem na «era da sua própria reprodutibilidade técnica» (Benjamin), pois, só assim é que conseguiremos interrogar este imparável processo de movimentação, fragmentação, disseminação, simulação e interacção das mais variadas «formas de vida» (Nietzsche, Agamben). Entretanto, chegados ao terceiro grande momento, interessa-nos percepcionar a arte contemporânea como uma espécie de plataforma interactiva que, por sua vez, nos levará a interpelar alguns dos principais dispositivos metafóricos e experimentais da viagem, neste caso, da viagem enquanto linha facilitadora de acesso à arte, à cultura e à vida contemporânea em geral, ou seja, todo um processo de reflexão que nos incitará a cartografar alguns dos mais atractivos sintomas provenientes da estética do flâneur (na perspectiva de Rimbaud, Baudelaire, Long e Benjamin) e, consequentemente, a convocar algumas das principais sensações decorrentes da experiência altamente sedutora daqueles que vivem mergulhados na órbita interactiva do ciberespaço (na condição de ciberflâneurs), quase como se o mundo inteiro, agora, fosse tão somente um espaço poético «inteiramente navegável» (Manovich). Por fim, no quarto e último momento, procuraremos fazer uma profunda reflexão sobre a inquietante história do corpo, principalmente com o objectivo de reforçar a ideia de que apesar das suas inúmeras fragilidades biológicas (um ser que adoece e morre), o corpo continua a ser uma das «categorias mais persistentes de toda a cultura ocidental» (Ieda Tucherman), não só porque ele resistiu a todas as transformações que lhe foram impostas historicamente, mas também porque ele se soube reinventar e readaptar pacientemente face a todas essas transformações históricas. Sinal evidente de que a sua plasticidade lhe iria conferir, principalmente a partir do século XX («o século do corpo») um estatuto teórico e performativo verdadeiramente especial. Tão especial, aliás, que basta termos uma noção, mesmo que breve, da sua inquietante história para percebermos imediatamente a extraordinária importância dalgumas das suas mais variadas transformações, atracções, ligações e exibições ao longo das últimas décadas, nomeadamente sob o efeito criativo das tecnologias digitais (no âmbito das quais se processam algumas das mais interessantes operações de dinamização cultural e artística do nosso tempo). Em suma, esperamos sinceramente que este trabalho de investigação possa vir a contribuir para o processo de alargamento das fronteiras cada vez mais incertas, dinâmicas e interactivas do conhecimento daquilo que parece constituir, hoje em dia, o jogo fundamental da nossa contemporaneidade.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.