Improving discovery in the life sciences using semantic Web technologies and linked data: design principles for life sciences knowledge organization systems

Dissertation presented to obtain the Ph.D degree in Bioinformatics

Expression of antibodies and retroviralVectors from defined chromosomal sites: strategies towards reliable production systems

Dissertation presented to obtain a Ph.D. degree in Sciences of Engineering and Technology, Cell Technology, at the Instituto de Tecnologia Química e Biológica, Universidade Nova de Lisboa

Evolução hidrogeoquímica das águas sulfúreas de Entre-os-Rios: avaliação preliminar

O principal objectivo desta dissertação foi avaliar a evolução hidrogeoquímica das águas minerais de Entre‐os‐Rios, para uma melhor compreensão do modelo hidrogeológico conceptual deste sistema hidromineral. Desta forma, foram coligidos diversos dados hidroquímicos, quer das nascentes clássicas (Torre, Curveira, Ardias, Arcos Esquerda e Arcos Direita), quer do furo Barbeitos. Foram compiladas e analisadas oitenta análises hidroquímicas no período 1938‐2012, incluindo características organolépticas (cheiro, cor e turbidez), diversas propriedades físico-químicas (temperatura, pH, condutividade eléctrica, sulfuração, etc), os principais catiões e aniões (bicarbonato, fluoreto, sódio, lítio, etc) e os elementos vestigiários (chumbo, tungsténio, boro, etc). Além disso, foram integrados os dados históricos disponíveis de finais do século XIX e inícios do século XX. Foram igualmente reunidos e discutidos alguns dados isotópicos (oxigénio‐18, deutério e trítio). O recurso hidromineral de Entre‐os‐Rios está condicionado pela litologia e pelas condições tectónicas. As análises químicas revelaram que as águas minerais de Entre‐os‐Rios apresentam uma estabilidade química nos últimos 100 anos. Estas águas são orto‐ a hipertermais, fracamente mineralizadas, de reacção alcalina, sulfídricas, bicarbonatadas sódicas, carbonatadas e muito fluoretadas. Estas características são claramente distintas das águas normais da região. As águas de Entre‐os‐Rios são muito semelhantes às águas minerais de S. Vicente e, em diversos parâmetros, bastante diferentes das águas minerais das Caldas da Saúde. Os dados isotópicos permitiram concluir que as águas de Entre‐os‐Rios têm uma origem meteórica, com um tempo de residência longo no sistema aquífero, e que são, muito provavelmente, submodernas, com uma recarga anterior a 1952. Na região de Entre‐os‐Rios coexistem três sistemas aquíferos, um sistema granítico superficial, livre e um sistema livre a semi‐confinado, ambos com circulação de águas normais, e um sistema aquífero granítico, profundo, confinado, com circulação de água mineral.

Invited review: Models for the optimization of regional wastewater treatment systems

European Journal of Operational Research, nº 73 (1994)

A process-based control for evolvable production systems

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 Electrotécnica e de Computadores

Models and tools for value systems analysis in collaborative environments

Dissertation to obtain the degree of Doctor in Electrical and Computer Engineering, specialization of Collaborative Networks

Development of cyclodextrin-hydrogel polymeric systems in scCO2 for drug delivery

Thesis for the Degree of Master of Science in Bioorganic Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Hybrid systems biology: application to Escherichia coli

Dissertation presented to obtain a Master degree in Biotechnology

Systems biotechnology of baculovirus-producing insect cells

Dissertation presented to obtain the Ph.D degree in Ciências da Engenharia e Tecnologia, especialidade Biotecnologia

Natural antioxidants extraction and their incorporation into model pharmaceutical systems

Dissertation to obtain a Master Degree in Biotechnology

Cantor exchange systems and renormalization

We prove a one-to-one correspondence between (i) C1+ conjugacy classes of C1+H Cantor exchange systems that are C1+H fixed points of renormalization and (ii) C1+ conjugacy classes of C1+H diffeomorphisms f with a codimension 1 hyperbolic attractor Lambda that admit an invariant measure absolutely continuous with respect to the Hausdorff measure on Lambda. However, we prove that there is no C1+alpha Cantor exchange system, with bounded geometry, that is a C1+alpha fixed point of renormalization with regularity alpha greater than the Hausdorff dimension of its invariant Cantor set.

Arc exchange systems and renormalization

We exhibit the construction of stable arc exchange systems from the stable laminations of hyperbolic diffeomorphisms. We prove a one-to-one correspondence between (i) Lipshitz conjugacy classes of C(1+H) stable arc exchange systems that are C(1+H) fixed points of renormalization and (ii) Lipshitz conjugacy classes of C(1+H) diffeomorphisms f with hyperbolic basic sets Lambda that admit an invariant measure absolutely continuous with respect to the Hausdorff measure on Lambda. Let HD(s)(Lambda) and HD(u)(Lambda) be, respectively, the Hausdorff dimension of the stable and unstable leaves intersected with the hyperbolic basic set L. If HD(u)(Lambda) = 1, then the Lipschitz conjugacy is, in fact, a C(1+H) conjugacy in (i) and (ii). We prove that if the stable arc exchange system is a C(1+HDs+alpha) fixed point of renormalization with bounded geometry, then the stable arc exchange system is smooth conjugate to an affine stable arc exchange system.

Intra-Task Device Scheduling for Real-Time Embedded Systems

An ever increasing need for extra functionality in a single embedded system demands for extra Input/Output (I/O) devices, which are usually connected externally and are expensive in terms of energy consumption. To reduce their energy consumption, these devices are equipped with power saving mechanisms. While I/O device scheduling for real-time (RT) systems with such power saving features has been studied in the past, the use of energy resources by these scheduling algorithms may be improved. Technology enhancements in the semiconductor industry have allowed the hardware vendors to reduce the device transition and energy overheads. The decrease in overhead of sleep transitions has opened new opportunities to further reduce the device energy consumption. In this research effort, we propose an intra-task device scheduling algorithm for real-time systems that wakes up a device on demand and reduces its active time while ensuring system schedulability. This intra-task device scheduling algorithm is extended for devices with multiple sleep states to further minimise the overall device energy consumption of the system. The proposed algorithms have less complexity when compared to the conservative inter-task device scheduling algorithms. The system model used relaxes some of the assumptions commonly made in the state-of-the-art that restrict their practical relevance. Apart from the aforementioned advantages, the proposed algorithms are shown to demonstrate the substantial energy savings.

Adaptive offloading for infotainment systems

Infotainment applications in vehicles are currently supported both by the in-vehicle platform, as well as by user’s smart devices, such as smartphones and tablets. More and more the user expects that there is a continuous service of applications inside or outside of the vehicle, provided in any of these devices (a simple but common example is hands-free mobile phone calls provided by the vehicle platform). With the increasing complexity of ‘apps’, it is necessary to support increasing levels of Quality of Service (QoS), with varying resource requirements. Users may want to start listening to music in the smartphone, or video in the tablet, being this application transparently ‘moved’ into the vehicle when it is started. This paper presents an adaptable offloading mechanism, following a service-oriented architecture pattern, which takes into account the QoS requirements of the applications being executed when making decisions.

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.