A systems biology framework for pathway level culture media engineering: pplication to Pichia pastoris cultures

Dissertação para obtenção do Grau de Doutor em Engenharia Química e Bioquímica

Clearing the cloudy crystal balls: Hybrid modelling for energy and climate change mitigation scenarios – A case study for Portugal

Dissertação para obtenção do Grau de Doutor em Ambiente

A volumetric hybrid representation for obstacle detection in all-terrain robots

This dissertation presents an approach aimed at three-dimensional perception’s obstacle detection on all-terrain robots. Given the huge amount of acquired information, the adversities such environments present to an autonomous system and the swiftness, thus required, from each of its navigation decisions, it becomes imperative that the 3-D perceptional system to be able to map obstacles and passageways in the most swift and detailed manner. In this document, a hybrid approach is presented bringing the best of several methods together, combining the lightness of lesser meticulous analyses with the detail brought by more thorough ones. Realizing the former, a terrain’s slope mapping system upon a low resolute volumetric representation of the surrounding occupancy. For the latter’s detailed evaluation, two novel metrics were conceived to discriminate the little depth discrepancies found in between range scanner’s beam distance measurements. The hybrid solution resulting from the conjunction of these two representations provides a reliable answer to traversability mapping and a robust discrimination of penetrable vegetation from that constituting real obstructions. Two distinct robotic platforms offered the possibility to test the hybrid approach on very different applications: a boat, under an European project, the ECHORD Riverwatch, and a terrestrial four-wheeled robot for a national project, the Introsys Robot.

Reactive hybrid knowledge bases

Hybrid knowledge bases are knowledge bases that combine ontologies with non-monotonic rules, allowing to join the best of both open world ontologies and close world rules. Ontologies shape a good mechanism to share knowledge on theWeb that can be understood by both humans and machines, on the other hand rules can be used, e.g., to encode legal laws or to do a mapping between sources of information. Taking into account the dynamics present today on the Web, it is important for these hybrid knowledge bases to capture all these dynamics and thus adapt themselves. To achieve that, it is necessary to create mechanisms capable of monitoring the information flow present on theWeb. Up to today, there are no such mechanisms that allow for monitoring events and performing modifications of hybrid knowledge bases autonomously. The goal of this thesis is then to create a system that combine these hybrid knowledge bases with reactive rules, aiming to monitor events and perform actions over a knowledge base. To achieve this goal, a reactive system for the SemanticWeb is be developed in a logic-programming based approach accompanied with a language for heterogeneous rule base evolution having as its basis RIF Production Rule Dialect, which is a standard for exchanging rules over theWeb.

Diffusional kurtosis imaging using a fast heuristic constrained linear least squares algorithm: a plugin for OsiriX

Diffusion Kurtosis Imaging (DKI) is a fairly new magnetic resonance imag-ing (MRI) technique that tackles the non-gaussian motion of water in biological tissues by taking into account the restrictions imposed by tissue microstructure, which are not considered in Diffusion Tensor Imaging (DTI), where the water diffusion is considered purely gaussian. As a result DKI provides more accurate information on biological structures and is able to detect important abnormalities which are not visible in standard DTI analysis. This work regards the development of a tool for DKI computation to be implemented as an OsiriX plugin. Thus, as OsiriX runs under Mac OS X, the pro-gram is written in Objective-C and also makes use of Apple’s Cocoa framework. The whole program is developed in the Xcode integrated development environ-ment (IDE). The plugin implements a fast heuristic constrained linear least squares al-gorithm (CLLS-H) for estimating the diffusion and kurtosis tensors, and offers the user the possibility to choose which maps are to be generated for not only standard DTI quantities such as Mean Diffusion (MD), Radial Diffusion (RD), Axial Diffusion (AD) and Fractional Anisotropy (FA), but also DKI metrics, Mean Kurtosis (MK), Radial Kurtosis (RK) and Axial Kurtosis (AK).The plugin was subjected to both a qualitative and a semi-quantitative analysis which yielded convincing results. A more accurate validation pro-cess is still being developed, after which, and with some few minor adjust-ments the plugin shall become a valid option for DKI computation

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Avaliação da sustentabilidade corporativa: estudo das relações híbridas pelo modelo do Hybrid Bottom Line

A presente tese reflete sobre os temas do desenvolvimento sustentável, da sustentabilidade corporativa, da responsabilidade social corporativa e das dimensões do Triple Bottom Line. O principal objetivo do nosso trabalho é contribuir para o conhecimento das relações que se estabelecem nas interseções entre a dimensão económica, social e ambiental da sustentabilidade corporativa, aqui designadas de relações híbridas. Neste sentido, desenvolveu-se um enquadramento teórico que fundamenta o modelo proposto, designado por Hybrid Bottom Line. De acordo com este enquadramento procurou-se conceber uma metodologia que permitisse analisar como é que estas relações de interseção entre economia-ambiente e economia-social se verificam e de que forma os seus resultados podem beneficiar a compreensão, avaliação e melhorias no entendimento da sustentabilidade corporativa, bem como possibilitar uma análise dirigida a fatores recombinantes específicos. Em complemento, foi desenvolvida uma proposta que permite posicionar o esforço desenvolvido pela empresa no âmbito da sustentabilidade e desta forma tipificar as suas ações. Nesta tese a abordagem empírica recaiu na análise dos relatórios de sustentabilidade publicados pelas empresas e baseados nas diretivas de relato propostas pelo Global Reporting Initiative. A amostra para o estudo abrangeu um total de 85 empresas de diferentes dimensões de 36 sectores económicos e representando 36 países de 5 continentes. A análise dos resultados foi feita utilizando diversos métodos de análise de dados (de frequência e de conteúdo) e análises estatísticas (análise de contingência, variância e de correspondências múltiplas) que permitiram observar as relações entre as dimensões do Triple Bottom Line, dando lugar à construção de uma matriz de relações híbridas. Seguidamente foi realizada uma análise longitudinal de uma das empresas da amostra tendo como referência a matriz híbrida obtida, assim como a tipificação da empresa no âmbito da sustentabilidade. Os resultados alcançados nas diferentes fases indicam que o enquadramento teórico que foi utilizado é útil para a análise das interseções entre as dimensões e permite uma avaliação dirigida a fatos ocorridos entre pares dimensionais, bem como projetar análises e posicionamentos futuros. Os resultados obtidos sugerem que a proposta apresentada é útil e deverá ser utilizada e desenvolvida noutros contextos. Esta tese contribui para a ideia de que a responsabilidade corporativa não deve ser só vista e operacionalizada como uma realidade de dimensões segmentadas mas também deve ser observada como um conjunto possível de interações que se manifestam nas interseções das suas diferentes dimensões.

EDP - A new estimation algorithm

The aim of this work project is to analyze the current algorithm used by EDP to estimate their clients’ electrical energy consumptions, create a new algorithm and compare the advantages and disadvantages of both. This new algorithm is different from the current one as it incorporates some effects from temperature variations. The results of the comparison show that this new algorithm with temperature variables performed better than the same algorithm without temperature variables, although there is still potential for further improvements of the current algorithm, if the prediction model is estimated using a sample of daily data, which is the case of the current EDP algorithm.

Generalized Dasymetric Mapping Algorithm for Accessing Land-Use Change

Contém resumo

Hybrid investment strategy active portfolio management – US stock market

This thesis aims to develop an alternative active managed portfolio strategy based on companies‟ Fundamental and Technical Analysis and analyze its finals results. There is a big distinction between the two approaches and the main objective is to understand if it is possible to take advantage of both. With this in mind a Hybrid investment strategy for the US stock market, due to its dimension and liquidity, which was able to outperform the S&P 500 index, the benchmark, during both Bear and Bull Markets between 2000 and 2015.

Genetic algorithm for shipping route estimation with long-range tracking data : automatic reconstruction of shipping routes based on the historical ship positions for maritime safety applications

Ship tracking systems allow Maritime Organizations that are concerned with the Safety at Sea to obtain information on the current location and route of merchant vessels. Thanks to Space technology in recent years the geographical coverage of the ship tracking platforms has increased significantly, from radar based near-shore traffic monitoring towards a worldwide picture of the maritime traffic situation. The long-range tracking systems currently in operations allow the storage of ship position data over many years: a valuable source of knowledge about the shipping routes between different ocean regions. The outcome of this Master project is a software prototype for the estimation of the most operated shipping route between any two geographical locations. The analysis is based on the historical ship positions acquired with long-range tracking systems. The proposed approach makes use of a Genetic Algorithm applied on a training set of relevant ship positions extracted from the long-term storage tracking database of the European Maritime Safety Agency (EMSA). The analysis of some representative shipping routes is presented and the quality of the results and their operational applications are assessed by a Maritime Safety expert.

Does companionate love express itself unequally in different organizational forms (private companies, hybrid and non-governmental organizations)?

Although, the word “Love” in organizations is seen as a rare concept, but it has gained importance in management theoretical foundation. This study seeks to explore the companionate love in distinct of organizational forms (Private companies; Social organizations; NGO and IPSS) through interviews. The results propose that it is a tensional concept with a complex dynamic: tension of personal behavior, tension of professional behavior; tension of individual impact and tension of community impact. The love dynamic has common points to all organizations, but its expression depends on the specific form of the organization.