Algorithmic skeleton framework for the orchestration of GPU computations

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Avaliação da Morbilidade e Mortalidade no Serviço de Ginecologia da Maternidade Dr. Alfredo da Costa. Jan/Set 1991

Foram avaliados todos os internamentos no Serviço de Ginecologia da MAC de 2 de Janeiro a 19 de Setembro de 1991. O critério de selecção baseou-se no registo de morbilidade intra-operatória e no prolongamento de tempo de internamento. Foram estudados os dados relativos à idade, factores de risco associados, risco anestésico, tipo de intervenção cirúrgica, tempo operatório, tipo de complicações e média de tempo de internamento. Verificou-se uma morbilidade global de 5,6%, tendo-se constatado uma maior incidência de complicações no grupo das histerectomias abdominais (16,8%). Nos casos com morbilidade 72% apresentavam um ou mais factores de risco associados. Ocorreram 5 lesões de órgão (0,73%), 33 complicações pós-operatórias (4,8%) e 7 reintervenções (1%). A média de internamento neste grupo de doentes foi de 11 dias.

Virtual Campus for the University of Jaume I, Castelló, Spain: 3D Modelling of the Campus Buildings using CityEngine

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

Efficient advertising strategies for the fragrance market

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Nominations across gender: An empirical investigation of Brazilian municipal elections

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

EDP InovCity pilot study proposal: A set-top box interface

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Purification of complex biopharmaceuticals with new processes, advanced analytics and computer-aided process design tools

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Macroeconomic impacts of politics and policy: Applications to financial and real markets

A PhD Dissertation, presented as part of the requirements for the Degree of Doctor of Philosophy from the NOVA - School of Business and Economics

Noise traders, rational traders, and the rest: A new approach to efficient financial markets

A PhD Dissertation, presented as part of the requirements for the Degree of Doctor of Philosophy from the NOVA - School of Business and Economics

Energy-efficient diversity combining for different access schemes in a multi-path dispersive channel

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e Computadores

A framework for efficient model transformations

The reported productivity gains while using models and model transformations to develop entire systems, after almost a decade of experience applying model-driven approaches for system development, are already undeniable benefits of this approach. However, the slowness of higher-level, rule based model transformation languages hinders the applicability of this approach to industrial scales. Lower-level, and efficient, languages can be used but productivity and easy maintenance seize to exist. The abstraction penalty problem is not new, it also exists for high-level, object oriented languages but everyone is using them now. Why is not everyone using rule based model transformation languages then? In this thesis, we propose a framework, comprised of a language and its respective environment, designed to tackle the most performance critical operation of high-level model transformation languages: the pattern matching. This framework shows that it is possible to mitigate the performance penalty while still using high-level model transformation languages.

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.

Eco-efficient earthen plasters: The influence of the addition of natural fibers.

Clayish earth-based mortars are been recognized, all over the world, as eco-efficient products for plastering. Apart from being a product with low embodied energy when compared to other types of plasters, their application on the interior surface of walls may give a strong contribution for the health and comfort of inhabitants. As part of an ongoing research regarding earth-based plasters this work assesses the influence of the addition of two types of natural fibres – oat straw and typha fiber-wool – on the characteristics of plastering mortars made with a clayish earth. Mechanical and physical characteristics were tested, showing that addition of these fibers contribute to decrease linear drying shrinkage and thermal conductivity, as well as promoting the adhesion strength of plaster to the substrate. The improvement of mechanical resistance reveal to be dependent on the type of fiber added while the hygroscopic capacity of the plaster is maintained regardless of the fiber additions.

Ecology of phlebotomines (Diptera, Psychodidae) in rural foci of leishmaniasis in tropical Brazil

INTRODUCTION: This work aimed to study the community structure of sandflies, with regard to the richness, constancy, abundance, and monthly frequency of the species with a focus on the transmission of leishmaniasis. METHODS: The study was conducted in the rural villages of Bom Jardim and Santa Maria, situated on the edge of a tropical rain forest in the municipality of São Jose de Ribamar, Maranhão, Brazil. The phlebotomines were captured in the intradomiciles and peridomiciles of each village, with Centers for Disease Control (CDC) light traps set in 10 homes in each village, for 1 year, once a month, from 18h to 6h. RESULTS: We collected 1,378 individuals of 16 sandfly species. The capture success rate was higher in Bom Jardim (0.61 specimens/hour/trap) than that of Santa Maria (0.35/specimens/hour/trap). The sandflies were more abundant in the peridomiciles (86.1%) and in the rainy season (77%). Five species were considered constants (occurring in more than 50% of samples), 5 accessory (25%-50%), and 6 accidental (<25%). The most abundant species were Lutzomyia longipalpis (59.7%) and L whitmani (28%). The permutation analysis showed differences between the species composition of the villages and no separation between the intradomicile and peridomicile of each village. The species that most contributed to the dissimilarity between the light traps of the 2 villages were L. longipalpis, L. whitmani, and L. evandroi, contributing to 80.8% of the variation among groups. CONCLUSIONS: The high level of richness and abundance of species and the presence of competent vectors throughout the year and around houses justify the occurrence of leishmaniasis cases reported in the area.

Experimental characterization of an earth eco-efficient plastering mortar

Earthen plastering mortars are becoming recognized as highly eco-efficient. The assessment of their technical properties needs to be standardized but only the German standard DIN 18947 exists for the moment. An extended experimental campaign was developed in order to assess multiple properties of a ready-mixed earth plastering mortar and also to increase scientific knowledge of the influence of test procedures on those properties. The experimental campaign showed that some aspects related to the equipment, type of samples and sample preparation can be very important, while others seemed to have less influence on the results and the classification of mortars. It also showed that some complementary tests can easily be performed and considered together with the standardized ones, while others may need to be improved. The plaster satisfied the requirements of the existing German standard but, most importantly, it seemed adequate for application as rehabilitation plaster on historic and modern masonry buildings. Apart from their aesthetic aspect, the contribution of earthen plasters to eco-efficiency and particularly to hygrometric indoor comfort should be highlighted.