Efficient middleware for database replication

Dissertação de Mestrado em Engenharia Informática

Partial replication in distributed software transactional memory

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Overexpressing BDNF in Neural Stem Cells using non-viral gene delivery strategies

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Healing replicas in a software component replication system

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Chinese expatriates’ adjustment process in Portugal: On the road to Guanxi replication

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Impact of viral mmunomodulatory proteins

Dissertation presented to obtain the Ph.D degree in Biology

Smart macroporous structures for the purification of viral particles

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

Improving downstream processing for viral vectors and viral vaccines

Viral vectors are playing an increasingly important role in the vaccine and gene therapy elds. The broad spectrum of potential applications, together with expanding medical markets, drives the e orts to improve the production processes for viral vaccines and viral vectors. Developing countries, in particular, are becoming the main vaccine market. It is thus critical to decrease the cost per dose, which is only achievable by improving the production process. In particular advances in the upstream processing have substantially increased bioreactor yields, shifting the bioprocess bottlenecks towards the downstream processing. The work presented in this thesis aimed to develop new processes for adenoviruses puri cation. The use of state-of-the-art technology combined with innovative continuous processes contributed to build robust and cost-e ective strategies for puri cation of complex biopharmaceuticals.(...)

Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.