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

Organic-inorganic nanostructured multilayers for calcium phosphate biomineralization

The weak fixation of biomaterials within the bone structure is one of the major reasons of implants failures. Calcium phosphate (CaP) coatings are used in bone tissue engineering to improve implant osseointegration by enhancing cellular adhesion, proliferation and differentiation, leading to a tight and stable junction between implant and host bone. It has also been observed that materials compatible with bone tissue either have a CaP coating or develop such a calcified surface upon implantation. Thus, the development of bioactive coatings becomes essential for further improvement of integration with the surrounding tissue. However, most of current applied CaP coatings methods (e.g. physical vapor deposition), cannot be applied to complex shapes and porous implants, provide poor structural control over the coating and prevent incorporation of bioactive organic compounds (e.g. antibiotics, growth factors) because of the used harsh processing conditions. Layer-by-layer (LbL) is a versatile technology that permits the building-up of multilayered polyelectrolyte films in mild conditions based on the alternate adsorption of cationic and anionic elements that can integrate bioactive compounds. As it is recognized in natureâ s biomineralization process the presence of an organic template to induce mineral deposition, this work investigate a ion based biomimetic method where all the process is based on LbL methodology made of weak natural-origin polyelectrolytes. A nanostructured multilayer component, with 5 or 10 bilayers, was produced initially using chitosan and chondroitin sulphate polyelectrolyte biopolymers, which possess similarities with the extracellular matrix and good biocompatibility. The multilayers are then rinsed with a sequential passing of solutions containing Ca2+ and PO43- ions. The formation of CaP over the polyelectrolyte multilayers was confirmed by QCM-D, SEM and EDX. The outcomes show that 10 polyelectrolyte bilayer condition behaved as a  better site for initiating the formation of CaP as the precipitation occur at earlier stages than in 5 polyelectrolyte bilayers one. This denotes that higher number of bilayers could hold the CaP crystals more efficiently. This work achieved uniform coatings that can be applied to any surface with access to the liquid media in a low-temperature method, which potentiates the manufacture of effective bioactive biomaterials with great potential in orthopedic applications.

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.

Biofunctionalization of titanium surfaces for dental implants: osteogenic, anti-microbial and tribocorrosion resistant surfaces

PhD thesis in Biomedical Engineering

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.

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.

Chemical and physical attributes and calcium, magnesium, potassium, and phosphorus in the soil of murundu fields in Brazil

Fields of murundus (FM) are wetlands that provide numerous ecosystem services. The objectives of this study were to evaluate the chemical [organic carbon (OC), P, K+, Ca2+, Mg2+, Al3+ and H+Al] and physical [texture and bulk density (Bd)] soil attributes and calculate the organic matter (OM) and nutrient stock (P, Ca, Mg, and K) in soils of FM located in the Guapore River basin in Mato Grosso. Thirty-six sampling points were selected, and soil samples were collected from two environments: the murundu and plain area surrounding (PAS). At each sampling point, mini trenches of 0.5 × 0.5 × 0.4 m were opened and disturbed and undisturbed soil samples were collected at depths of 0-0.1, 0.1-0.2, and 0.2-0.4 m. In the Principal Component Analysis the variables H+Al (49%) and OM (4%) were associated with the F1 component and sand content (47%) with the F2 component. The FM had lower pH values and higher concentrations of K+, P, and H+Al than PAS at all depths (p < 0.05). Additionally, FM stocked up to 433, 360, 205, and 11 kg ha-1 of Ca, Mg, K, and P, respectively, for up to a depth of 0.2 m. The murundu stored two times more K and three times more P than that in the PAS. Our results show that the FM has high sand content and Bd greater than 1.5 Mg m-3, high acidity, low OC content, and low nutrient concentrations. Thus, special care must be taken to preserve FM such that human intervention does not trigger environmental imbalances.

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.

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.

A possible contribution to improving the therapeutic potentials of Babor's Typology of Alcohol Dependent Patients

ABSTRACT Objective The objective of this study was to replicate Babor's Typology and to explore clinical features related to personality traits that may underlie this classification, in order to improve its therapeutic possibilities. Methods Observational prospective study on a group of 273 male alcoholics. After a replication of Babor's variables, Cluster Analysis, Chi-Square – applied on clinical variables related to a Lappda Tipology – and Kappa tests were performed. Results The study identified two distinct clusters that held similar features to those described for the Type A/Type B classification. Besides presenting a lower socio-economic situation, Cluster 2 patients were associated with higher vulnerability and severe clinical features and also differed from Cluster 1 in their response to treatment. These replicated clusters retained connections and also differences in relation to the variables derived from the Lappda Typology. Conclusion Considering that each of the two replicated clusters seem to be associated to different personality traits – according to their correlations to the affective, cognitive and behavioral dimensions brought forward by the Lappda Typology – it is acceptable that this study may contribute to the development of more comprehensive and effective therapeutic strategies specifically tailored to target more specific personality traits of these subgroups of alcoholic patients.