Information flow analysis using data-dependent logical propositions

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

Long-Term and Concentration-Dependent Beneficial Effect of Efavirenz on HDL-Cholesterol in HIV-Infected Patients

AIMS: To investigate the long-term effects of efavirenz on cholesterol (TC), high-density lipoprotein cholesterol (HDL-C), low-density lipoprotein (LDL-C) and triglycerides (TG). METHODS: Thirty-four HIV-infected patients who commenced efavirenz therapy were monitored for 36 months. RESULTS: In patients with baseline HDL-C<40 mg.dL-1 an increase in HDL-C from 31+/-1 mg.dL-1 to 44+/-2 mg.dL-1 (95% confidence interval 5.9, 21.9, P<0.01) was observed and remained throughout the follow-up period. Median efavirenz plasma concentration was 1.98 mg.L-1 and a direct correlation between percentage of HDL-C variation or TC/HDL-C ratio and efavirenz plasma concentrations was found. CONCLUSIONS: There is evidence of a long-term and concentration-dependent beneficial effect of efavirenz on HDL-C in HIV-infected patients.

The mechanism of formate oxidation by metal-dependent formate dehydrogenases

J Biol Inorg Chem (2011) 16:1255–1268 DOI 10.1007/s00775-011-0813-8

Triple Regimen with Rituximab, Plasmapheresis and Intravenous Immunoglobulin in the Treatment of Dialysis Dependent Acute Humoral-Mediated Rejection in Kidney Grafts

Introduction: The clinical importance of humoral-mediated acute rejection has been progressively recognised. Early recognition and treatment with plasmapheresis and intravenous immunoglobulin have recently improved short term prognosis. Case report: In this report we describe the clinical features of three 2nd transplant patients developing severe acute humoral rejection during the first week post-transplant while on anti-thymocyte globulin therapy. Treatment with plasmapheresis/ intravenous immunoglobulin/rituximab resulted in rapid reversal of oliguria,and recovery of renal function within the 1st week of treatment in 2/3 patients. Diagnosis was confirmed by graft biopsies revealing peritubular neutrophiles and C4d deposits. Sequential graft biopsies in all three patients revealed complete histological recovery within two weeks. One patient never recovered renal function, and one patient lost his graft at three months following hemorrhagic shock. After 2 years follow up, the remaining patient maintains a serum creatinine of 1.1mg/dl. Conclusion: The regimen using plasmapheresis plus intravenous immunoglobulin and rituximab was effective in rapidly reversing severe acute humoral rejection.

Differences in Nevirapine Biotransformation as a Factor for its Sex-Dependent Dimorphic Profile of Adverse Drug Reactions

OBJECTIVES: Nevirapine is widely used for the treatment of HIV-1 infection; however, its chronic use has been associated with severe liver and skin toxicity. Women are at increased risk for these toxic events, but the reasons for the sex-related differences are unclear. Disparities in the biotransformation of nevirapine and the generation of toxic metabolites between men and women might be the underlying cause. The present work aimed to explore sex differences in nevirapine biotransformation as a potential factor in nevirapine-induced toxicity. METHODS: All included subjects were adults who had been receiving 400 mg of nevirapine once daily for at least 1 month. Blood samples were collected and the levels of nevirapine and its phase I metabolites were quantified by HPLC. Anthropometric and clinical data, and nevirapine metabolite profiles, were assessed for sex-related differences. RESULTS: A total of 52 patients were included (63% were men). Body weight was lower in women (P = 0.028) and female sex was associated with higher alkaline phosphatase (P = 0.036) and lactate dehydrogenase (P = 0.037) levels. The plasma concentrations of nevirapine (P = 0.030) and the metabolite 3-hydroxy-nevirapine (P = 0.035), as well as the proportions of the metabolites 12-hydroxy-nevirapine (P = 0.037) and 3-hydroxy-nevirapine (P = 0.001), were higher in women, when adjusted for body weight. CONCLUSIONS: There was a sex-dependent variation in nevirapine biotransformation, particularly in the generation of the 12-hydroxy-nevirapine and 3-hydroxy-nevirapine metabolites. These data are consistent with the sex-dependent formation of toxic reactive metabolites, which may contribute to the sex-dependent dimorphic profile of nevirapine toxicity.

Financial crisis spillovers to the corporate sector: Bank-dependent borrowers versus bond market paticipants

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

T cell-dependent immunodepression in vivo in Schistosoma mansoni infected patients

T-cell function was evaluated in 29 patients with either hepatointestinal or hepatosplenic schistosomiasis by intradermal tests to recall antigens. Immunodepression was detected in 26% of the subjects with hepatointestinal schistosomiasis and in 50% of those with the hepatosplenic form. Cellular immunodepression was related to worm load and spleen size. This non specific T-cell immunodepression may represent a serious constraint to the elimination of intracellular pathogens both in hepatosplenic or hepatointestinal schistosomiasis.

Writing/erasing 3D micro and nano wrinkles in flexible elastomers for volatile organic compounds sensor

Micro/nano wrinkled patterns on cross-linked urethane/urea polymeric flexible free standing films with two soft segments, polypropylene oxide and polybutadiene, can be induced by UV-irradiation. The ability to write/erase these 3D structures, in a controlled manner, is the main focus of this work. The imprinting of the wrinkled structures was accomplished by swelling in an appropriate solvent followed by drying the membranes after the cross-linking process and UV irradiation. The surface tailoring of the elastomeric membranes was imaged by optical microscopy, scanning electronic microscopy and by atomic force microscopy. To erase the wrinkled structures the elastomers were swollen. The swelling as well as the sol/gel fraction and the UV radiation were tuned in order to control the wrinkles characteristics. It was found that the wrinkles wavelength, in the order of microns (1±0,25μm), was stamped by the UV radiation intensity and exposure time while the wrinkles' amplitude, in the order of nanometers (150-450 nm), was highly dependent on the swelling and sol/gel fraction. A prototype for volatile organic compounds detection was developed taking advantage of the unique 3D micro/nano wrinkles features.

Trans-Synaptic Signaling by Activity-Dependent Cleavage of Neuroligin-1

Throughout the brain, patterns of activity in postsynaptic neurons influence the properties of synaptic inputs. Such feedback regulation is central to neural network stability that underlies proper information processing and feature representation in the central nervous system. At the cellular level, tight coupling of presynaptic and postsynaptic function is fundamental to neural computation and synaptic plasticity. The cohort of protein complexes at the pre and postsynaptic membrane allows for tight synapse-specific segregation and integration of diverse molecular and electrical signals.(...)

Capillaria hepatica-induced septal fibrosis in rats: a contribution to the study of liver fibrogenesis

INTRODUCTION: Septal fibrosis of the liver regularly develops in rats infected with the nematode Capillaria hepatica. Curative treatment of the infection prevents the development of septal fibrosis when intervention occurs up to postinfection day (PID) 15, but not later. The present investigation aimed to demonstrate which parasitic factors are present when the process of septal fibrosis can no longer be prevented by curative treatment. METHODS: Wistar rats were infected with 600 embryonated eggs of C. hepatica administered by gavage and treated with ivermectin and mebendazole in separate groups at PIDs 10, 12, 15, 17 or 20. Rats from each group and their nontreated controls, were killed and examined 40 days after the end of treatment. RESULTS: Findings by PID 15 were compatible with the stage of complete maturation of infection, when worms and eggs were fully developed and a complex host-parasite multifocal necroinflammatory reaction showed greater intensity, but with no signs of septal fibrosis, which appeared from PID 17 onward. CONCLUSIONS: Since the worms spontaneously died by PID 15, not only septal fibrosis production, but also its maintenance and further development appeared dependent on the presence of eggs, which were the only parasitic factor remaining thereafter.

Increased detection of schistosomiasis with Kato-Katz and SWAP-IgG-ELISA in a Northeastern Brazil low-intensity transmission area

INTRODUCTION: The laboratory diagnosis of schistosomiasis is based mainly on the detection of parasite eggs in stool samples through the Kato-Katz (KK) technique, reading one slide by test. However, a widely known limitation of parasitological methods is reduced sensitivity, particularly in low endemic areas. METHODS: To increase sensitivity, we conducted further slide readings from the same stool sample using the parasitological method associated with a serological test. We used the KK method (three slides) and the IgG anti-Schistosoma mansoni-enzyme-linked immunosorbent assay (ELISA) technique to diagnose schistosomiasis in low endemic areas in the Brazilian State of Ceará. Fecal samples and sera from 250 individuals were analyzed. RESULTS: Sixteen percent and 47.2% of samples were positive in parasitological tests and serological tests, respectively. Parasitological methods showed that 32 (80%) individuals tested positive on the first slide, 6 (15%) on the second slide, and 2 (5%) on the third. The performance of the ELISA test in the diagnosis, using the KK method as diagnostic reference, showed a negative predictive value of 100%, with specificity and positive predictive values of 62.8% and 33.9%, respectively. CONCLUSIONS: In this study, the increase from one to three slides analyzed per sample using the KK technique was shown to be a useful procedure for increasing the diagnostic sensitivity of this technique.

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/.

A GIS extension model to calculate urban heat island intensity based on urban geometry

This paper presents a simulation model, which was incorporated into a Geographic Information System (GIS), in order to calculate the maximum intensity of urban heat islands based on urban geometry data. The method-ology of this study stands on a theoretical-numerical basis (Okeâ s model), followed by the study and selection of existing GIS tools, the design of the calculation model, the incorporation of the resulting algorithm into the GIS platform and the application of the tool, developed as exemplification. The developed tool will help researchers to simulate UHI in different urban scenarios.

Time-dependent flexural behaviour of cracked steel fibre reinforced self-compacting concrete panels

In the present work are described and discussed the results of an extensive experimental program that aims to study the long-term behaviour of cracked steel fibre reinforced self-compacting concrete, SFRSCC, applied in laminar structures. In a first stage, the influence of the initial crack opening level (wcr = 0.3 and 0.5 mm), applied stress level, fibre orientation/dispersion and distance from the casting point, on the flexural creep behaviour of SFRSCC was investigated. Moreover, in order to evaluate the effects of the creep phenomenon on the residual flexural strength, a series of monotonic tests were also executed. It was found that wcr = 0.5 mm series showed a higher creep coefficient comparing to the series with a lower initial crack opening. Furthermore, the creep performance of the SFRSCC was influenced by the orientation of the extracted prismatic specimens regarding the direction of the concrete flow within the cast panel.