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.

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.(...)

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

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.

Fractional bioheat equation

In this work we develop a new mathematical model for the Pennes’ bioheat equation assuming a fractional time derivative of single order. A numerical method for the solu- tion of such equations is proposed, and, the suitability of the new model for modelling real physical problems is studied and discussed

Comparison of different numerical methods for the solution of the time-fractional reaction-diffusion equation with variable diffusion coefficient

In this work we perform a comparison of two different numerical schemes for the solution of the time-fractional diffusion equation with variable diffusion coefficient and a nonlinear source term. The two methods are the implicit numerical scheme presented in [M.L. Morgado, M. Rebelo, Numerical approximation of distributed order reaction- diffusion equations, Journal of Computational and Applied Mathematics 275 (2015) 216-227] that is adapted to our type of equation, and a colocation method where Chebyshev polynomials are used to reduce the fractional differential equation to a system of ordinary differential equations

The role of Pep4p, the vacuolar yeast protease ortholog of human cathepsin D, in mitochondria-dependent apoptosis

Doctoral Thesis (PhD Programm on Molecular and Environmental Biology)

Ion exchange dependent electroactive phase content and electrical properties of poly(vinylidene fluoride)/Na(M)Y composites

Different metal-ion exchanged NaY zeolite, Na(M)Y, were used to prepare poly(vinylidene fluoride) based composites by solvent casting and melting crystallization. The effect of different metal ion-exchanged zeolites on polymer crystallization and electrical properties was reported. Cation-framework interactions and hydration energy of the cations determined that K+ is the most efficient exchanged ion in NaY zeolite, followed by Cs+ and Li+. The electroactive phase crystallization strongly depends on the ions present in the zeolite, leading to variations of the surface energy characteristics of the Na(M)Y zeolites and the polymer chain ability of penetration in the zeolite. Thus, Na(Li)Y and NaY induces the complete electroactive -phase crystallization of the crystalline phase of PVDF, while Na(K)Y only induces it partly and Na(Cs)Y is not able to promote the crystallization of the electroactive phase. Furthermore, different ion size/weigh and different interaction with the zeolite framework results in significant variations in the electrical response of the composite. In this way, iinterfacial polarization effects in the zeolite cavities and zeolite-polymer interface, leads to strong increases of the dielectric constant on the composites with lightest ions weakly bound to the zeolite framework. Polymer composite with Na(Li)Y show the highest dielectric response, followed by NaY and Na(K)Y. Zeolite Na(Cs)Y contribute to a decrease of the dielectric constant of the composite. The results show the relevance of the materials for sensor development.

Nonparametric estimation of time-dependent ROC curves conditional on a continuous covariate

The receiver-operating characteristic (ROC) curve is the most widely used measure for evaluating the performance of a diagnostic biomarker when predicting a binary disease outcome. The ROC curve displays the true positive rate (or sensitivity) and the false positive rate (or 1-specificity) for different cut-off values used to classify an individual as healthy or diseased. In time-to-event studies, however, the disease status (e.g. death or alive) of an individual is not a fixed characteristic, and it varies along the study. In such cases, when evaluating the performance of the biomarker, several issues should be taken into account: first, the time-dependent nature of the disease status; and second, the presence of incomplete data (e.g. censored data typically present in survival studies). Accordingly, to assess the discrimination power of continuous biomarkers for time-dependent disease outcomes, time-dependent extensions of true positive rate, false positive rate, and ROC curve have been recently proposed. In this work, we present new nonparametric estimators of the cumulative/dynamic time-dependent ROC curve that allow accounting for the possible modifying effect of current or past covariate measures on the discriminatory power of the biomarker. The proposed estimators can accommodate right-censored data, as well as covariate-dependent censoring. The behavior of the estimators proposed in this study will be explored through simulations and illustrated using data from a cohort of patients who suffered from acute coronary syndrome.