Embedding, evolution, and validation of model-driven spreadsheets

This paper proposes and validates a model-driven software engineering technique for spreadsheets. The technique that we envision builds on the embedding of spreadsheet models under a widely used spreadsheet system. This means that we enable the creation and evolution of spreadsheet models under a spreadsheet system. More precisely, we embed ClassSheets, a visual language with a syntax similar to the one offered by common spreadsheets, that was created with the aim of specifying spreadsheets. Our embedding allows models and their conforming instances to be developed under the same environment. In practice, this convenient environment enhances evolution steps at the model level while the corresponding instance is automatically co-evolved.Finally,wehave designed and conducted an empirical study with human users in order to assess our technique in production environments. The results of this study are promising and suggest that productivity gains are realizable under our model-driven spreadsheet development setting.

Stromal vascular fraction cell sheets angiogenic potential for tissue engineering and regenerative medicine applications

One of the biggest concerns in the Tissue Engineering field is the correct vascularization of engineered constructs. Strategies involving the use of endothelial cells are promising but adequate cell sourcing and neo-vessels stability are enduring challenges. In this work, we propose the hypoxic pre-conditioning of the stromal vascular fraction (SVF) of human adipose tissue to obtain highly angiogenic cell sheets (CS). For that, SVF was isolated after enzymatic dissociation of adipose tissue and cultured until CS formation in normoxic (pO2=21%) and hypoxic (pO2=5%) conditions for 5 and 8 days, in basal medium. Immunocytochemistry against CD31 and CD146 revealed the presence of highly branched capillary-like structures, which were far more complex for hypoxia. ELISA quantification showed increased VEGF and TIMP-1 secretion in hypoxia for 8 days of culture. In a Matrigel assay, the formation of capillary-like structures by endothelial cells was more prominent when cultured in conditioned medium recovered from the cultures in hypoxia. The same conditioned medium increased the migration of adipose stromal cells in a scratch assay, when compared with the medium from normoxia. Histological analysis after implantation of 8 days normoxic- and hypoxic-conditioned SVF CS in a hindlimb ischemia murine model showed improved formation of neo-blood vessels. Furthermore, Laser Doppler results demonstrated that the blood perfusion of the injured limb after 30 days was enhanced for the hypoxic CS group. Overall, these results suggest that SVF CS created under hypoxia can be used as functional vascularization units for tissue engineering and regenerative medicine.

A trust model for cloud computing environment

This paper presents a proposal for a management model based on reliability requirements concerning Cloud Computing (CC). The proposal was based on a literature review focused on the problems, challenges and underway studies related to the safety and reliability of Information Systems (IS) in this technological environment. This literature review examined the existing obstacles and challenges from the point of view of respected authors on the subject. The main issues are addressed and structured as a model, called "Trust Model for Cloud Computing environment". This is a proactive proposal that purposes to organize and discuss management solutions for the CC environment, aiming improved reliability of the IS applications operation, for both providers and their customers. On the other hand and central to trust, one of the CC challenges is the development of models for mutual audit management agreements, so that a formal relationship can be established involving the relevant legal responsibilities. To establish and control the appropriate contractual requirements, it is necessary to adopt technologies that can collect the data needed to inform risk decisions, such as access usage, security controls, location and other references related to the use of the service. In this process, the cloud service providers and consumers themselves must have metrics and controls to support cloud-use management in compliance with the SLAs agreed between the parties. The organization of these studies and its dissemination in the market as a conceptual model that is able to establish parameters to regulate a reliable relation between provider and user of IT services in CC environment is an interesting instrument to guide providers, developers and users in order to provide services and secure and reliable applications.

Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Engineering of fatty acid production and secretion in Saccharomyces cerevisiae

Tese de Doutoramento em Ciências - Especialidade em Biologia

Hind limb ischemia in type 1 diabetic mice as useful tool to evaluate the neovascularization of tissue engineering constructs

Hind-limb ischemia has been used in type 1 diabetic mice to evaluate treatments for peripheral arterial disease or mechanisms of vascular impairment in diabetes [1]. Vascular deficiency is not only a pathophysiological condition, but also an obvious circumstance in tissue regeneration and in tissue engineering and regenerative medicine (TERM) strategies. We performed a pilot experiment of hind-limb ischemia in streptozotocin(STZ)-induced type 1 diabetic mice to hypothesise whether diabetes influences neovascularization induced by biomaterials. The dependent variables included blood flow and markers of arteriogenesis and angiogenesis. Type 1 diabetes was induced in 8-week-old C57BL/6 mice by an i.p. injection of STZ (50 mg/kg daily for 5 days). Hind-limb ischemia was created under deep anaesthesia and the left femoral artery and vein were isolated, ligated, and excised. The contralateral hind limb served as an internal control within each mouse. Non-diabetic ischaemic mice were used as experiment controls. At the hind-limb ischemia surgical procedure, different types of biomaterials were placed in the blood vessels gap. Blood flow was estimated by Laser Doppler perfusion imager, right after surgery and then weekly. After 28 days of implantation, surrounding muscle was excised and evaluated by histological analysis for arteriogenesis and angiogenesis. The results showed that implanted biomaterials were promote faster restoration of blood flow in the ischemic limbs and improved neovascularization in the diabetic mice. Therefore, we herein demonstrate that the combined model of hind-limb ischemia in type 1 diabetes mice is suitable to evaluate the neovascularization potential of biomaterials and eventually tissue engineering constructs.  

Biomaterials for cartilage tissue engineering under mechanical stimulus

Tese de Doutoramento em Ciências (Especialidade de Física)

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

Doctoral Dissertation for PhD degree in Industrial and Systems Engineering

Development of advanced cell/tissue culture systems, based on enhanced polymeric scaffolds and sophisticated bioreactors, for tissue engineering applications

Programa Doutoral em Engenharia Biomédica

A bio-inspired computational model for motion detection

Tese de Doutoramento (Programa Doutoral em Engenharia Biomédica)

Metabolic engineering with multi-objective optimization of kinetic models

Kinetic models have a great potential for metabolic engineering applications. They can be used for testing which genetic and regulatory modifications can increase the production of metabolites of interest, while simultaneously monitoring other key functions of the host organism. This work presents a methodology for increasing productivity in biotechnological processes exploiting dynamic models. It uses multi-objective dynamic optimization to identify the combination of targets (enzymatic modifications) and the degree of up- or down-regulation that must be performed in order to optimize a set of pre-defined performance metrics subject to process constraints. The capabilities of the approach are demonstrated on a realistic and computationally challenging application: a large-scale metabolic model of Chinese Hamster Ovary cells (CHO), which are used for antibody production in a fed-batch process. The proposed methodology manages to provide a sustained and robust growth in CHO cells, increasing productivity while simultaneously increasing biomass production, product titer, and keeping the concentrations of lactate and ammonia at low values. The approach presented here can be used for optimizing metabolic models by finding the best combination of targets and their optimal level of up/down-regulation. Furthermore, it can accommodate additional trade-offs and constraints with great flexibility.

An integrated model for simulation of construction phasing of arch concrete dams

Dissertação de mestrado integrado em Civil Engineering

Upgrade of an industrial building: BIM model of the as-built situation and evaluation of modifications

Dissertação de mestrado integrado in Civil Engineering

Ontological representation of tumor-node-metastasis classification and an ontology-driven classifier: a study on colorectal cancer

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

Encapsulation and controlled release of bioactive compounds in lactoferrin-glycomacropeptide nanohydrogels : curcumin and caffeine as model compounds

Curcumin and caffeine (used as lipophilic and hydrophilic model compounds, respectively) were successfully encapsulated in lactoferrin-glycomacropeptide (Lf-GMP) nanohydrogels by thermal gelation showing high encapsulation efficiencies (>90 %). FTIR spectroscopy confirmed the encapsulation of bioactive compounds in Lf-GMP nanohydrogels and revealed that according to the encapsulated compound different interactions occur with the nanohydrogel matrix. The successful encapsulation of bioactive compounds in Lf-GMP nanohydrogels was also confirmed by fluorescence measurements and confocal laser scanning microscopy. TEM images showed that loaded nanohydrogels maintain their spherical shape with sizes of 112 and 126 nm for curcumin and caffeine encapsulated in Lf-GMP nanohydrogels, respectively; in both cases a polydispersity of 0.2 was obtained. The release mechanisms of bioactive compounds through Lf-GMP nanohydrogels were evaluated at pH 2 and pH 7, by fitting the Linear Superimposition Model to the experimental data. The bioactive compounds release was found to be pH-dependent: at pH 2, relaxation is the governing phenomenon for curcumin and caffeine compounds and at pH 7 Ficks diffusion is the main mechanism of caffeine release while curcumin was not released through Lf-GMP nanohydrogels.