Racionalização e redução de custos das TIC na Administração Pública: o caso da PSP

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Controlo de qualidade e inspeção visual por imagem: definição de uma aplicação para registo de alterações e avaliação de desempenho

Dissertação de mestrado em Engenharia e Gestão da Qualidade

Redução do tempo de montagem final de transformadores CORE através da aplicação de ferramentas LEAN

Dissertação de mestrado em Engenharia Industrial

Aplicação móvel android de apoio a gestão de empréstimos e reservas das bibliotecas da Universidade do Minho

Dissertação de mestrado integrado em Engenharia de Telecomunicações e Informática

Apoio à decisão na análise inteligente de reclamações

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Urbanismo participativo e resiliência das comunidades: especificação de uma aplicação

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Exploração de dados para soluções de retalho em business intelligence

Dissertação de mestrado integrado em Engenharia de Gestão e Sistemas de Informação

Pervasive data mining engine

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Estratégia para a incorporação de impactes ambientais, sociais e económicos específicos num método de Avaliação da Sustentabilidade de Edifícios de Saúde (HBSA)

The healthcare project design requires a several number of concerns with the satisfaction and well‐being of the working team, patient and administrators, has a strong social responsibility and impact on the city. Due to various design requirements, these buildings are not designed and used in a sustainable way, because there are still no effective methods to support designers in this context. Consequently, they do not know what the best criteria to be followed and their managers are not aware of the measuresthatshould be adopted for efficient use. Furthermore, the aim of this study is to present a proposal for a Healthcare Building Sustainability Assessment (HBSA) method adapted for the Portuguese context and considering the work developed so far in the standardization bodies (CEN and ISO). For this, the chosen methodology is analysed and compared the most relevant building sustainability assessment tools in the context of healthcare buildings.  

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

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