Desenvolvimento de um mecanismo automatizado de limpeza de uma grelha de uma barragem mini-hídrica

Dissertação de mestrado integrado em Engenharia Mecânica

Design of mechatronic system for handling bedridden people

Dissertação de mestrado em Engenharia Mecatrónica

Formação e avaliação de desempenho: contributos para o desenvolvimento profissional

Tese de Doutoramento em Ciências da Educação (Especialidade em Desenvolvimento Curricular)

Optimization of magnetoelectric composites based on electroactive polymers for energy harvesting and sensor application

Tese de Doutoramento em Engenharia de Materiais.

O ensino da flauta de bisel em grupo como inovação pedagógica: Uma investigação-ação no 2.º Ciclo do Ensino Básico

Tese de Doutoramento em Estudos da Criança (Especialidade em Educação Musical)

Alfabetização de jovens e adultos no estado do Rio de Janeiro, Brasil: o significado de um desafio para a inclusão social

Tese de Doutoramento em Ciências da Educação

Ligantes de baixo impacto ambiental e baixo custo, baseados na ativação química de escórias de aciaria

Dissertação de mestrado integrado em Engenharia Civil

Concise server-wide causality management for eventually consistent data stores

Large scale distributed data stores rely on optimistic replication to scale and remain highly available in the face of net work partitions. Managing data without coordination results in eventually consistent data stores that allow for concurrent data updates. These systems often use anti-entropy mechanisms (like Merkle Trees) to detect and repair divergent data versions across nodes. However, in practice hash-based data structures are too expensive for large amounts of data and create too many false conflicts. Another aspect of eventual consistency is detecting write conflicts. Logical clocks are often used to track data causality, necessary to detect causally concurrent writes on the same key. However, there is a nonnegligible metadata overhead per key, which also keeps growing with time, proportional with the node churn rate. Another challenge is deleting keys while respecting causality: while the values can be deleted, perkey metadata cannot be permanently removed without coordination. Weintroduceanewcausalitymanagementframeworkforeventuallyconsistentdatastores,thatleveragesnodelogicalclocks(BitmappedVersion Vectors) and a new key logical clock (Dotted Causal Container) to provides advantages on multiple fronts: 1) a new efficient and lightweight anti-entropy mechanism; 2) greatly reduced per-key causality metadata size; 3) accurate key deletes without permanent metadata.

Modelação numérica de túneis com consideração explícita das heterogeneidades do maciço

Dissertação de mestrado integrado em Engenharia Civil

Reforço à flexão de lajes de betão armado com laminados de CFRP pré-esforçados

Dissertação de mestrado integrado em Engenharia Civil (área de especialização em Estruturas e Geotecnia)

Interação cultural e interpretatio na epigrafia votiva: o caso da fachada ocidental do conuentus Bracaraugustanus

Dissertação de mestrado em Arqueologia

A crise da indústria da cultura: visões de Adorno e de Attali sobre a música contemporânea

Dissertação de mestrado em Comunicação, Arte e Cultura

A estética audiovisual: o caso do Canal 180

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

Plano de revitalização do centro histórico de Braga

Dissertação de mestrado em Políticas Comunitárias e Cooperação Territorial

A proteção cumulativa do design pelo Direito de Autor e pelo Direito da Propriedade Industrial: o caso especial do contrato de trabalho

Dissertação de mestrado em Direito dos Contratos e das Empresas