Development of an ambient assisted living ecosystem

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

Safe reuse of treated urban wastewater in Praia, Cape Verde: a case study

Dissertação para a obtenção do Grau de Mestre em Engenharia e Gestão da Água

Biodiesel production from chicken feather meal, combining biocatalysis and supercritical technology

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

Video interaction using pen-based technology

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

Geospatial assessment of pest-induced forest damage through the use of UAV-bases NIR imaging and Gi-technology

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

The internationalization process of mychild to São Paulo, Brazil

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

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

Logoplaste: Implementation of flexible packaging technology and internationalization to Nigeria

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

Microbiology of membrane bioreactors for wastewater treatment: a molecular approach

Dissertation presented to obtain the Ph.D degree in Engineering and Technology Sciences, Biotechnology.

Development of a "green process" for the isolation of natural functional extracts with anti-cancer activity - Application of high-pressure technology

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

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.

Technology transition towards electric mobility - technology assessment as a tool for policy design

Paper presented at the Colloquium Gerpisa 2013, Paris (http://gerpisa.org/node/2085), Session n°: 19 New kinds of mobility: old and new business models

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.

Characterization tests for insulation boards made from corn cob and natural glues

In recent years there has been a growing interest in developing news solutions for more ecologic and efficient construction, including natural, renewable and local materials, thus contributing in the search for more efficient, economic and environmentally friendly construction. Several authors have assessed the possibility of using various agricultural sub products or wastes, as part of the effort of the scientific community to find alternative and more ecologic construction materials. Corn cob is an agricultural waste from a very important worldwide crop. Natural glues are made from natural materials, non-mineral, that can be used as such or after some modifications to achieve the behaviour and performance required. Two examples of these natural glues are casein and wheat flour-based glues that were used in the present study. Boards with different compositions were manufactured, having as variables the type of glue, the dimension of the corn cob particles and the features of the pressing process. The tests boards were characterized with physical and mechanical tests, such as thermal conductivity (λ) with a ISOMET 2104 and 60 mm diameter contact probe, density (ρ) based on EN 1602:2013, surface hardness (SH) with a PCE Shore A durometer, surface resistance (SR) with a PROCEQ PT pendular sclerometer, bending behaviour (σ) based on EN 12089:2013, compression behaviour (σ10) based on EN 826:2013 and resilience (R) based on EN 1094-1:2008, with a Zwick Rowell bending equipment with 2 kN and 50 kN load cells (Fig. 1), dynamic modulus of elasticity (Ed) with a Zeus Resonance Meter equipment (Fig. 5) based on NP EN 14146:2006 and water vapour permeability (δ) based on EN 12086:2013. The various boards produced were characterized according to the tests and the ones with the best results were C8_c8 (casein glue, grain size 2,38-4,76 mm, cold pressing for 8 hours), C8_c4 (casein glue, grain size 2,38-4,76 mm, cold pressing for 4 hours), F8_h0.5 (wheat flour glue, grain size 2,38-4,76 mm, hot pressing for 0,5 hours), FEV8_h0.5 (wheat flour, egg white and vinegar glue, grain size 2,38-4,76 mm, hot pressing for 0,5 hours) and FEVH68_c4 (wheat flour, egg white, vinegar and 6 g of sodium hydroxide glue, grain size 2,38-4,76 mm, cold pressing for 4 hours). Taking into account the various boards produced and respective test results the type of glue and the pressure and pressing time are very important factors which strongly influence the final product. The results obtained confirmed the initial hypotheses that these boards have potential as a thermal and, eventually, acoustic insulation material, to use as coating or intermediate layer on walls, floors or false ceilings. This type of board has a high mechanical resistance when compared with traditional insulating materials.The integrity of these boards seems to be maintained even in higher humidity environments. However, due to biological susceptibility and sensitivity to water, they would be more adequate for application in dry interior conditions.