Quantifying, generating and mitigating radio interference in Low-Power Wireless Networks

Doctoral Programme in Telecommunication - MAP-tele

Planeamento e controlo de projetos em ambiente colaborativo com recurso a ferramentas BIM

Dissertação de mestrado integrado em Engenharia Civil

Systems biology approaches for the design of novel Saccharomyces cerevisiae winemaking strains for enhanced flavour compounds synthesis

Tese de Doutoramento em Biologia Ambiental e Molecular

Algorithms and computational tools for metabolic flux analysis

PhD thesis in Biomedical Engineering

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).

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.

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.

A integração de técnicas BIM nos elementos de projeto de aplicação de sistemas de pré-esforço

Dissertação de mestrado integrado em Engenharia Civil

Planeamento e controlo de projetos de construção com recurso ao BIM

Dissertação de mestrado integrado em Engenharia Civil

Aplicação de metodologias BIM no contexto da construção da nova ponte sobre o Rio Dão

Dissertação de mestrado integrado em Engenharia Civil

Promoção da motivação e da autonomia com recurso às tecnologias de informação e comunicação em alunos normovisuais e em alunos com deficiência visual

Relatório de estágio de mestrado em Ensino de Informática

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

Ferramenta de suporte à decisão e prática clínica em unidades de cuidados neonatais e pediátricos

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

Arquitetura distribuída para análises multimodais de conectividade cerebral

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)