Design and characterization of novel biopolymeric structure using biocompatible ionic liquids

The main objective of this thesis was the development of polymeric structures from the dissolution of FucoPol, a bacterial exopolysaccharide (EPS), in a biocompatible ionic liquid, choline acetate. The FucoPol was produced by the bacteria Enterobacter A47 using glycerol as carbon source at controlled temperature and pH (30ºC and 7, respectively). At the end of 3 days it was produced 7 g/L of FucoPol. The net yield of Fucopol in glycerol (YP/S) was 0.22 g/g and the maximum productivity 2.37 g/L.d This polymer was characterized about its composition in sugars and acyl groups (by High-Performance Liquid Chromatography - HPLC), containing fucose (35 % mol), galactose (21 % mol), glucose (29 % mol), rhamnose (3% mol) and glucuronic acid (12% mol) as well as acetate (14.28 % mol), pyruvate (2.15 % mol) and succinate (1.80 % mol). Its content of water and ash was 15% p/p and 2% p/p, respectively, and the chemical bonds (determined by Infrared Spectroscopy - FT-IR) are consistent to the literature reports. However, due to limitations in Differential Scanning Calorimetry (DSC) equipment it was not possible to determine the glass transition temperature. In turn, the ionic liquid showed the typical behavior of a Newtonian fluid, glass transition temperature (determined by DSC) -98.03ºC and density 1.1031 g/cm3. The study of chemical bonds by FT-IR showed that amount of water (8.80%) influenced the visualization of the bands predicted to in view of their chemical structure. After the dissolution of the FucoPol in the ionic liquid at different temperatures (50, 60, 80 and 100 ° C) it was promoted the removal of this by the phase inversion method using deionized water as a solvent, followed by drying in an oven at 70 ° C. The mixtures before and after the phase inversion method were characterized through the studies mentioned above. In order to explore possible application field’s biocompatibility assays and collage on balsa wood tests were performed. It was found that the process of washing with water by the phase inversion method was not totally effective in removing the biocompatible ionic liquid, since all FucoPol – IL mixtures still contained ionic liquid in their composition as can be seen by the DSC results and FT-IR. In addition, washing the mixtures with water significantly altered the composition of FucoPol. However, these mixtures, that developed a viscous behavior typical of a non-Newtonian fluid (shear-thinning), have the potential to be applied in the biomedical field as well as biological glues.

Al-doped ZnO ceramic sputtering targets based on nanocrystalline powders produced by emulsion detonation synthesis – deposition and application as a transparent conductive oxide material

Transparent conducting oxides (TCOs) have been largely used in the optoelectronic industry due to their singular combination of low electrical resistivity and high optical transmittance. They are usually deposited by magnetron sputtering systems being applied in several devices, specifically thin film solar cells (TFSCs). Sputtering targets are crucial components of the sputtering process, with many of the sputtered films properties dependent on the targets characteristics. The present thesis focuses on the development of high quality conductive Al-doped ZnO (AZO) ceramic sputtering targets based on nanostructured powders produced by emulsion detonation synthesis method (EDSM), and their application as a TCO. In this sense, the influence of several processing parameters was investigated from the targets raw-materials synthesis to the application of sputtered films in optoelectronic devices. The optimized manufactured AZO targets present a final density above 99 % with controlled grain size, an homogeneous microstructure with a well dispersed ZnAl2O4 spinel phase, and electrical resistivities of ~4 × 10-4 Ωcm independently on the Al-doping level among 0.5 and 2.0 wt. % Al2O3. Sintering conditions proved to have a great influence on the properties of the targets and their performance as a sputtering target. It was demonstrated that both deposition process and final properties of the films are related with the targets characteristics, which in turn depends on the initial powder properties. In parallel, the influence of several deposition parameters in the film´s properties sputtered from these targets was investigated. The sputtered AZO TCOs showed electrical properties at room temperature that are superior to simple oxides and comparable to a reference TCO – indium tin oxide (ITO), namely low electrical resistivity of 5.45 × 10-4 Ωcm, high carrier mobility (29.4 cm2V-1s-1), and high charge carrier concentration (3.97 × 1020 cm-3), and also average transmittance in the visible region > 80 %. These superior properties allowed their successful application in different optoelectronic devices.

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