Análise e simulação da produção de moldes para injeção de plásticos

Dissertação de mestrado em Engenharia Industrial

Automatização e otimização do escalonamento de pessoal hospitalar

Dissertação de mestrado em Engenharia de Sistemas

A integração de técnicas BIM (Building Information Modeling) no projeto e na construção de estruturas de madeira

Dissertação de mestrado integrado em Engenharia Civil

Single line for assembly just-in-sequence multiple models

Programa Doutoral em Líderes para as Indústrias Tecnológicas

A radiodifusão no Brasil e em Portugal e a invasão dos brasucas: uma nova linguagem

Tese de Doutoramento em Ciências da Comunicação (área de especialização em Sociologia da Comunicação e da Informação).

Monitoring for a decidable fragment of MTL-∫

Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.

An integrated model for simulation of construction phasing of arch concrete dams

Dissertação de mestrado integrado em Civil Engineering

Development of an intelligent earthwork optimization system

Tese de Doutoramento em Engenharia Civil.

Interação entre arquiteto e engenheiro de estruturas em fases preliminares da conceção estrutural: oportunidades e desafios das metodologias BIM

Dissertação de mestrado integrado em Engenharia Civil

Bonecas – manequim e figuras de acção: estudo comparativo sobre publicidade televisiva de brinquedos

Publicado em "Actas do III SOPCOM, VI LUSOCOM e II IBÉRICO", vol. 2 ("Teorias e estratégias discursivas"). ISBN 972-8790-37-6

Implementação de metodologias BIM na Direção de Engenharia de Barragens da EDP: casos de estudo de projeto de estruturas em obras hidroelétricas

Dissertação de mestrado integrado em Engenharia Civil

Desenvolvimento de ferramenta vocacionada para o dimensionamento de estruturas metálicas de acordo com a NP EN 1993-1-1

Dissertação de mestrado integrado em Engenharia Civil

Relatório detalhado sobre a atividade profissional desenvolvida no perído 2007-2015 no Gabinete de Fundos Comunitários do Município da Póvoa de Lanhoso

Dissertação de mestrado em Geografia (área de especialização em Planeamento e Gestão do Território)

A região nas plataformas: o caso da Nordeste TV

Relatório de estágio de mestrado em Ciências da Comunicação (área de especialização em Especialização em Audiovisual e Multimédia)

Da pós-neotelevisão: a reconfiguração do prime-time nos canais generalistas portugueses

"Colecção: Comunicação e sociedade - 12"