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.

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.

The Warburg effect in mycobacterial granulomas is dependent on the recruitment and activation of macrophages by interferon-γ

Granulomas are the hallmark of mycobacterial disease. Here, we demonstrate that both the cell recruitment and the increased glucose consumption in granulomatous infiltrates during Mycobacterium avium infection are highly dependent on interferon-y (IFN-y). Mycobacterium avium-infected mice lacking IFN-y signalling failed to developed significant inflammatory infiltrations and lacked the characteristic uptake of the glucose analogue fluorine-18-fluorodeoxyglucose (FDG). To assess the role of macrophages in glucose uptake we infected mice with a selective impairment of IFN-y signalling in the macrophage lineage (MIIG mice). Although only a partial reduction of the granulomatous areas was observed in infected MIIG mice, the insensitivity of macrophages to IFN-y reduced the accumulation of FDG. In vivo, ex vivo and in vitro assays showed that macrophage activated by IFN-y displayed increased rates of glucose uptake and in vitro studies showed also that they had increased lactate production and increased expression of key glycolytic enzymes. Overall, our results show that the activation of macrophages by IFN-y is responsible for the Warburg effect observed in organs infected with M. avium.

Rational manipulation of mRNA folding free energy allows rheostat control of pneumolysin production by Streptococcus pneumoniae

Rational manipulation of mRNA folding free energy allows rheostat control of pneumolysin production by Streptococcus pneumoniae

Density-dependent morphological plasticity and trade-offs among vegetative traits in Eichhornia crassipes (Pontederiaceae)

Density-dependent responses are an important component of the organism life-history, and the resource allocation theory is a central concept to the life-history theory. When resource allocation varies due to environmental changes, a plant may change its morphology or physiology to cope with the new conditions, a process known as phenotypic plasticity. Our study aimed to evaluate how plant density affects Eichhornia crassipes allocation patterns. A total of 214 individuals in high and low density were collected. The density effect was observed in all plant traits examined including biomass accumulation. All traits of E. crassipes demonstrated higher values in high density conditions, except for biomass of leaves. Density exhibited a high influence on vegetative traits of E. crassipes, but did not influence allocation pattern, since a trade-off among the vegetative traits was not found. The morphological plasticity and the absence of trade-offs were discussed as strategies to overcome neighbor plants in competition situations. In high density conditions, there were clear changes in the morphology of the plants which probably allows for their survival in a highly competitive environment.

Implementation and validation of a strain rate dependent anisotropic continuum model for masonry

A newly developed strain rate dependent anisotropic continuum model is proposed for impact and blast applications in masonry. The present model adopted the usual approach of considering different yield criteria in tension and compression. The analysis of unreinforced block work masonry walls subjected to impact is carried out to validate the capability of the model. Comparison of the numerical predictions and test data revealed good agreement. Next, a parametric study is conducted to evaluate the influence of the tensile strengths along the three orthogonal directions and of the wall thickness on the global behavior of masonry walls.

Structure dependent resistivity and dielectric characteristics of tantalum oxynitride thin films produced by magnetron sputtering

tThe main purpose of this work is to present and to interpret the change of electrical properties of TaxNyOzthin films, produced by DC reactive magnetron sputtering. Some parameters were varied during deposi-tion: the flow of the reactive gases mixture (N2and O2, with a constant concentration ratio of 17:3); thesubstrate voltage bias (grounded, −50 V or −100 V) and the substrate (glass, (1 0 0) Si or high speed steel).The obtained films exhibit significant differences. The variation of the deposition parameters inducesvariations of the composition, microstructure and morphology. These differences cause variation of theelectrical resistivity essentially correlated with the composition and structural changes. The gradualdecrease of the Ta concentration in the films induces amorphization and causes a raise of the resistivity.The dielectric characteristics of some of the high resistance TaxNyOzfilms were obtained in the sampleswith a capacitor-like design (deposited onto high speed steel, with gold pads deposited on the dielectricTaxNyOzfilms). Some of these films exhibited dielectric constant values higher than those reported forother tantalum based dielectric films.

Alcohol-dependent patients receiving specialised outpatient care: an overview of gender issues

OBJECTIVE: The objective of the present study, with focus on gender, was aimed at evaluating alcohol-dependent individual in terms of socio-demographic variables related to alcohol consumption and therapeutic interventions. METHODS: This is a retrospective cross-sectional study of 1,051 patients (833 men and 218 women), with diagnosis of alcohol dependence syndrome, according to ICD-10 criteria, who had sought treatment for the first time at a specialised health centre between 2000 and 2006. RESULTS: The results showed that women, compared to men, are more likely to be unemployed and without partner, in addition to having higher educational level, latter age of alcohol initiation, needing less outpatient alcohol detoxification program, consuming more fermented beverage, presenting less psychiatric comorbidities, and using less coadjutant medications during treatment. CONCLUSION: We can state that some peculiarities exist permeating both gender and alcohol consumption. A further focus on the characteristics of each population is needed to facilitate the adequate use of therapeutic interventions according to gender specificities.

Eating habits and psychopathology: translation, adaptation, reliability of the Nutrition Behavior Inventory to Portuguese and relation to psychopathology

Objective: The Nutrition-Behavior Inventory (NBI) is a self-administered instrument that allows eating habits to be correlated with psychopathological symptoms. The objective was to translate and adapt the NBI to Portuguese, and test the Portuguese NBI’s reliability. The second aim was to verify its sensitivity for identification of risk factors in terms of behavior/eating habits in children and adolescents. Methods: The NBI was translated, adapted, and back-translated. The Portuguese version of the NBI was then applied (N = 96; 9-12 years). In order to verify the internal consistency, Cronbach’s alpha was used. The psychopathological indicators of the participants were accessed using the Child Behavior Checklist (CBCL). The mean CBCL scores were analyzed in relation to the NBI data (cutoff point: ≥ 30 with indicators, and < 30 without). Results: Internal consistency was high (Cronbach’s alpha = 0.89) for the NBI. The CBCL scores correlated significantly with NBI (> 30) on the following: anxiety and depression (p = 0.041), social difficulties (p = 0.028), attention problems (p = 0.001), aggressive behavior (p = 0.015); ADHD (p < 0.001), and conduct problems (p = 0.032). Conclusion: The present results indicate that the NBI is a reliable instrument. The NBI can be useful for evaluating psychopathological symptoms related to the eating habits and behaviors of children and adolescents.

Prodromal Questionnaire: translation, adaptation to Portuguese and preliminary results in ultra-high risk individuals and first episode psychosis

OBJECTIVE: The Prodromal Questionnaire (PQ) is a 92-item self-report screening tool for individuals at ultra-high risk (UHR) to develop psychosis. This study aims to present the translation to Portuguese and preliminary results in UHR and first episode (FE) psychosis in a Portuguese sample. METHODS: The PQ was translated from English to Portuguese by two bilingual researchers from the research program on early psychosis of the Instituto de Psiquiatria HCFMUSP, São Paulo, Brazil (ASAS - "Evaluation and Follow up of Adolescents and Young Adults in São Paulo") and back translated by two other researchers. The study participants (n = 11-) were evaluated through the Portuguese version of the Prodromal Questionnaire (PQ) and SIPS. RESULTS: The individuals at UHR (n = 7) presented a lower score than first episode patients (n = 4). The UHR mean scores and standard deviation on Portuguese version of the PQ were: 13.0 ± 10.0 points on positive symptoms subscale, and FE patients: 33.0 ± 10.0. CONCLUSION: The UHR and FE patients' of this study presented PQ scores similar to the ones found in the literature; what suggests that it is possible to use the PQ in Brazilian help-seeking individuals as a screening tool.

Comorbidities of mental and behavioral disorders in chemically dependent patients in different periods of abstinence

OBJECTIVE: To assess the frequency of comorbidities of mental and behavioral disorders (CMBD) in psychoactive substance (PAS)-dependent patients with different periods of abstinence cared for at Alcohol and Other Drug Psychosocial Care Centers (CAPS-ad). METHOD: All patients under treatment in the two CAPS-ad of the city of Uberlândia-MG, between April and September 2010, were consecutively assessed. The ICD-10 symptom checklist was used to diagnose CMBD; additional information was obtained from interviews and medical records. The patients were divided according to duration of abstinence: < 1 week (Group 1); 1-4 weeks (Group 2); and > 4 weeks (Group 3). RESULTS: Of all patients assessed, 62.8% were diagnosed with CMBD, which were more frequent (p < 0.05) in Group 1 (72%) than Group 3 (54.2%), and both groups were similar to Group 2 (61%). Depressive and anxiety disorders were more frequent among patients of Group 1. Mood disorders were more frequent (p < 0.05) in women [22/34 (65%) vs. 54/154 (35.1%)], whereas psychotic disorders were more frequent (p = 0.05) in men [16/154 (10.4%) vs. 0]. The presence of CMBD was associated with more severe clinical conditions. CONCLUSIONS: The higher frequency of diagnosis of CMBD in patients of Group 1 may have resulted from the difficulties in distinguishing mental disorders that are due to PAS intoxication or withdrawal from those that are not. However, to make the diagnosis of CMBD, even during detoxification, can increase the likelihood of better response to treatment.

Personal and Social Performance (PSP) scale for patients with schizophrenia: translation to Portuguese, cross-cultural adaptation and interrater reliability

INTRODUCTION: Schizophrenia is a chronic mental disorder associated with impairment in social functioning. The most widely used scale to measure social functioning is the GAF (Global Assessment of Functioning), but it has the disadvantage of measuring at the same time symptoms and functioning, as described in its anchors. OBJECTIVES:Translation and cultural adaptation of the PSP, proposing a final version in Portuguese for use in Brazil. METHODS: We performed five steps: 1) translation; 2) back translation; 3) formal assessment of semantic equivalence; 4) debriefing; 5) analysis by experts. Interrater reliability (Intraclass correlation, ICC) between two raters was also measured. RESULTS: The final version was applied by two independent investigators in 18 adults with schizophrenia (DSM-IV-TR). The interrater reliability (ICC) was 0.812 (p < 0.001). CONCLUSION: The translation and adaptation of the PSP had an adequate level of semantic equivalence between the Portuguese version and the original English version. There were no difficulties related to understanding the content expressed in the translated texts and terms. Its application was easy and it showed a good interrater reliability. The PSP is a valid instrument for the measurement of personal and social functioning in schizophrenia.