Avaliação da sustentabilidade de soluções construtivas para a reabilitação da envolvente exterior dos edifícios

Dissertação de mestrado Internacional em Sustentabilidade do Ambiente Construído

Análise de sustentabilidade de soluções construtivas inovadoras para a reabilitação de edifícios antigos

Dissertação de mestrado integrado em Engenharia Civil

Exploring scenario exploration

Model finders are very popular for exploring scenarios, helping users validate specifications by navigating through conforming model instances. To be practical, the semantics of such scenario exploration operations should be formally defined and, ideally, controlled by the users, so that they are able to quickly reach interesting scenarios. This paper explores the landscape of scenario exploration operations, by formalizing them with a relational model finder. Several scenario exploration operations provided by existing tools are formalized, and new ones are proposed, namely to allow the user to easily explore very similar (or different) scenarios, by attaching preferences to model elements. As a proof-of-concept, such operations were implemented in the popular Alloy Analyzer, further increasing its usefulness for (user-guided) scenario exploration.

Reprogramming energy metabolism and inducing angiogenesis : co-expression of monocarboxylate transporters with VEGF family members in cervical adenocarcinomas

Reprogramming energy metabolism and inducing angiogenesis: co-expression of monocarboxylate transporters with VEGF family members in cervical adenocarcinomas.

Análise integrada dos impactes ambientais e do desempenho energético de cenários de reabilitação energética de edifícios

Dissertação de mestrado integrado em Engenharia Civil

Energy production from lipids by novel anaerobes

[Excerpt] Anaerobic microbial diversity encloses a very high potential that can be used for biotechnological applications. This potential is still largely unexplored, since the majority of the microorganisms in Nature are unknown or poorly characterized. This work is focused on the study of novel anaerobic microorganisms that participate in the metabolism of lipids, long chain fatty acids (LCFA) and glycerol, with the main goal of producing valuable energy-rich organic compounds. For that, conventional anaerobic culturing procedures were combined with continuous bioreactors operation and allied to microbial ecology approaches. Two main examples of the work performed will be presented. (...)

Incorporation of hybrid phase change materials in plastering mortars for increased energy efficiency in buildings

Tese de Doutoramento em Engenharia Civil.