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

Dissertação de mestrado em Engenharia Industrial

Escritas da utopia na literatura contemporânea – da utopia à distopia

Tese de Doutoramento em Ciências da Literatura (Especialidade em Literatura Comparada)

Modelos de simulação de processos por junção de componentes

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

Avaliação do impacto na saúde da mobilidade no acesso aos Campi Universitários: estudo de caso UMinho

Dissertação de mestrado integrado em Engenharia Civil

Água e alimentação no contexto das alterações climáticas: um caso de estudo - Região Norte

Dissertação de mestrado integrado em Engenharia Civil

Development of a model for occupational risk acceptance criteria definition in industrial settings

Doctoral Dissertation for PhD degree in Industrial and Systems Engineering

All over the place localization system

The MAP-i Doctoral Programme in Informatics, of the Universities of Minho, Aveiro and Porto

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

Coordenação de segurança em obra: metodologia, técnicas e ferramentas

Dissertação de mestrado integrado em Engenharia Civil

ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

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

Previsão de cheias em Barcelos

Dissertação de mestrado integrado em Engenharia Civil

Avaliação do transporte sedimentar na bacia do rio Lima baseada em ferramentas de modelação

Dissertação de mestrado integrado em Engenharia Civil