Development of hybrid composite plate (HCP) for strengthening and repair of RC structures

Tese de Doutoramento em Engenharia Civil

Hybrid hypervisor partially deployed on FPGA

Tese de Doutoramento em Engenharia Eletrónica e Computadores.

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

Immersiveness of ubiquitous computing environments prototypes: A case study

The development of ubiquitous computing (ubicomp) environments raises several challenges in terms of their evaluation. Ubicomp virtual reality prototyping tools enable users to experience the system to be developed and are of great help to face those challenges, as they support developers in assessing the consequences of a design decision in the early phases of development. Given the situated nature of ubicomp environments, a particular issue to consider is the level of realism provided by the prototypes. This work presents a case study where two ubicomp prototypes, featuring different levels of immersion (desktop-based versus CAVE-based), were developed and compared. The goal was to determine the cost/benefits relation of both solutions, which provided better user experience results, and whether or not simpler solutions provide the same user experience results as more elaborate one.

Closed hybrid hierarchical reservoirs based on the deconstruction of the cellular native microenvironment

The stem cell niche organization and dynamics provide valuable cues for the development of mimetic environments that could have potential to stimulate the regenerative process. We propose the use of biodegradable biomaterials to produce closed miniaturised structures able to encapsulate different cell types or bioactive molecules. In particular, capsules are fabricated using the so-called layer-by-layer technology, where the consecutive (nano-sized) layers are well stabilized by electrostatic interactions or other weak forces. Using alginate-based spherical templates containing cells or other elements (e.g. proteins, magnetic nanoparticles, microparticles) it is possible to produce liquefied capsules that may entrap the entire cargo under mild conditions. The inclusion of liquefied micropcapsules may be used to produce hierarchical compartmentalised systems for the delivery of bioactive agents. The presence of solid microparticles inside such capsules offers adequate surface area for adherent cell attachment increasing the biological performance of these hierarchical systems, while maintain both permeability and injectability. We demonstrated that the encapsulation of distinct cell types (including mesenchymal stem cells and endothelial cells) enhances the osteogenic capability of this system, that could be useful in bone tissue engineering applications.

Incorporation of hybrid phase change materials in plastering mortars for increased energy efficiency in buildings

Tese de Doutoramento em Engenharia Civil.