A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Multy-dimensional composition by objectives in aspect-oriented requirements analysis

Thesis submitted to Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa in partial fulfilment of the requirements for the degree of Master in Computer Science

NEGOSEIO: framework for the sustainability of model-oriented enterprise interoperability

Dissertation to obtain the degree of Doctor of Philosophy in Electrical and Computer Engineering(Industrial Information Systems)

Transport mechanism in ionic liquid membranes and the study of thiomersal biodegradation

The initial goal of this work was the development of a supported liquid membrane (SLM) bioreactor for the remediation of vaccine production effluents contaminated with a highly toxic organomercurial – thiomersal. Therefore, two main aspects were focused on: 1) the development of a stable supported liquid membrane – using room temperature ionic liquids (RTILs) – for the selective transport of thiomersal from the wastewater to a biological compartment, 2) study of the biodegradation kinetics of thiomersal to metallic mercury by a Pseudomonas putida strain. The first part of the work focused on the evaluation of the physicochemical properties of ionic liquids and on the SLMs’ operational stability. The results obtained showed that, although it is possible to obtain a SLM with a high stability, water possesses nonnegligible solubility in the RTILs studied. The formation of water clusters inside the hydrophobic ionic liquid was identified and found to regulate the transport of water and small ions. In practical terms, this meant that, although it was possible to transport thiomersal from the vaccine effluent to the biological compartment, complete isolation of the microbial culture could not be guaranteed and the membrane might ultimately be permeable to other species present in the aqueous vaccine wastewater. It was therefore decided not to operate the initially targeted integrated system but, instead, the biological system by itself. Additionally, attention was given to the development of a thorough understanding of the transport mechanisms involved in the solubilisation and transport of water through supported liquid membranes with RTILs as well as to the evaluation of the effect of water uptake by the SLM in the transport mechanisms of water-soluble solutes and its effect on SLM performance. The results obtained highlighted the determinant role played by water – solubilised inside the ionic liquids – on the transport mechanism. It became clear that the transport mechanism of water and water-soluble solutes through SLMs with [CnMIM][PF6] RTILs was regulated by the dynamics of water clusters inside the RTIL, rather than by molecular diffusion through the bulk of the ionic liquid. Although the stability tests vi performed showed that there were no significant losses of organic phase from the membrane pores, the formation of water clusters inside the ionic liquid, which constitute new, non-selective environments for solute transport, leads to a clear deterioration of SLM performance and selectivity. Nevertheless, electrical impedance spectroscopy characterisation of the SLMs showed that the formation of water clusters did not seem to have a detrimental effect on the SLMs’ electrical characteristics and highlighted the potential of using this type of membranes in electrochemical applications with low resistance requirements. The second part of the work studied the kinetics of thiomersal degradation by a pure culture of P. putida spi3 strain, in batch culture and using a synthe tic wastewater. A continuous ly stirred tank reactor fed with the synthetic wastewater was also operated and the bioreactor’s performance and robustness, when exposed to thiomersal shock loads, were evaluated. Finally, a bioreactor for the biological treatment of a real va ccine production effluent was set up and operated at different dilution rates. Thus it was possible to treat a real thiomersal-contaminated effluent, lowering the outlet mercury concentration to values below the European limit for mercury effluent discharges.

Aspect-oriented domain analysis

Dissertação de Mestrado em Engenharia Informática

Integrating early aspects with goal-oriented requirements engineering

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Integrating the theme approach with aspectual scenarios

Dissertação de Mestrado em Engenharia Informática

Viewpoints and goals: towards an integrated approach

Dissertação de Mestrado em Engenharia Informática

Land use / land cover change detection: an object oriented approach, Münster, Germany

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Service-oriented mobility of java code in web services-based architectures

Dissertação apresentada na Faculdade de Ciências e Tecnologias da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

A middleware for service oriented computing in dynamic environments

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

A calculus for modeling and analyzing conversations in service-oriented computing

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Emotion-oriented interventions for environment and the facilitation of pro-environmental behavior

Dissertação para obtenção do Grau de Doutor em Ambiente, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Mechanism of interleukin-8 induction by human cytomegalovirus UL76 protein

Dissertation presented to obtain the Ph.D degree in Biology

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