HEP-Frame: A software engineered framework to aid the development and efficient multicore execution of scientific code

This work was supported by FCT (Fundação para a Ciência e Tecnologia) within Project Scope (UID/CEC/00319/2013), by LIP (Laboratório de Instrumentação e Física Experimental de Partículas) and by Project Search-ON2 (NORTE-07-0162- FEDER-000086), co-funded by the North Portugal Regional Operational Programme (ON.2 - O Novo Norte), under the National Strategic Reference Framework, through the European Regional Development Fund.

Modulation of the secretome of hBMSCs by tailoring the macromolecular gradient in hydrogels to generate tissue-to-tissue interfaces

Tissue-to-tissue interfaces are commonly present in all tissues exhibiting structural, biological and chemical gradients serving a wide range of physiological functions. These interfaces are responsible for mediation of load transfer between two adjacent tissues. They are also important structures in sustaining the cellular communications to retain tissueâ s functional integration and homeostasis. [1] All cells have the capacity to sense and respond to physical and chemical stimulus and when cultured in three-dimensional (3D) environments they tend to perform their function better than in two-dimensional (2D) environments. Spatial and temporal 3D gradient hydrogels better resemble the natural environment of cells in mimicking their extracellular matrix. [2] In this study we hypothesize that differential functional properties can be engineered by modulation of macromolecule gradients in a cell seeded threedimensional hydrogel system. Specifically, differential paracrine secretory profiles can be engineered using human Bone Marrow Stem Cells (hBMSCâ s). Hence, the specific objectives of this study are to: assemble the macromolecular gradient hydrogels to evaluate the suitablity for hBMSCâ s encapsulation by cellular viability and biofunctionality by assessing the paracrine secretion of hBMSCâ s over time. The gradient hydrogels solutions were prepared by blend of macromolecules in one solution such as hyaluronic (HA) acid and collagen (Col) at different ratios. The gradient hydrogels were fabricated into cylindrical silicon moulds with higher ratio solutions assembled at the bottom of the mould and adding the two solutions consecutively on top of each other. The labelling of the macromolecules was performed to confirm the gradient through fluorescence microscopy. Additionally, AFM was conducted to assess the gradient hydrogels stiffness. Gradient hydrogels characterization was performed by HA and Col degradation assay, degree of crosslinking and stability. hBMSCâ s at P3 were encapsulated into each batch solution at 106 cells/ml solution and gradient hydrogels were produced as previously described. The hBMSCâ s were observed under confocal microscopy to assess viability by Live/Dead® staining. Cellular behaviour concerning proliferation and matrix deposition was also performed. Secretory cytokine measurement for pro-inflammatory and angiogenesis factors was carried out using ELISA. At genomic level, qPCR was carried out. The 3D gradient hydrogels platform made of different macromolecules showed to be a suitable environment for hBMSCâ s. The hBMSCâ s gradient hydrogels supported high cell survival and exhibited biofunctionality. Besides, the 3D gradient hydrogels demonstrated differentially secretion of pro-inflammatory and angiogenic factors by the encapsulated hBMSCâ s. References: 1. Mikos, AG. et al., Engineering complex tissues. Tissue Engineering 12,3307, 2006 2. Phillips, JE. et al., Proc Natl Acad Sci USA, 26:12170-5, 2008

Experimental analysis of new interfaces for connections by adhesion, interlocking and friction.

The authors thank the federal agency CAPES and the Foundation for Research Support of the state of Sao Paulo, Brazil (FAPESP) for providing a PhD scholarship, and the University of Minho, in Portugal, for the international collaboration.

7to77, A new database querying experience

Nowadays, the vulgarization of information and communication technologies has reached to a level that the majority of people spend a lot of time using software to do regular tasks, ranging from games and ordinary time and weather utilities to some more sophisticated ones, like retail or banking applications. This new way of life is supported by the Internet or by specific applications that changed the image people had about using information and communication technologies. All over the world, the first cycle of studies of educational systems also has been addressed with the justification that this encourages the development of children. Taking this into consideration, we design and develop a visual explorer system for relational databases that can be used by everyone, from “7 to 77”, in an intuitive and easy way, getting immediate results – a new database querying experience. Thus, in this paper we will expose the main characteristics and features of this visual database explorer, showing how it works and how it can be used to execute the most current data manipulation operations over a database.

Improving quality of medical service with mobile health software

An increasing number of m-Health applications are being developed benefiting health service delivery. In this paper, a new methodology based on the principle of calm computing applied to diagnostic and therapeutic procedure reporting is proposed. A mobile application was designed for the physicians of one of the Portuguese major hospitals, which takes advantage of a multi-agent interoperability platform, the Agency for the Integration, Diffusion and Archive (AIDA). This application allows the visualization of inpatients and outpatients medical reports in a quicker and safer manner, in addition to offer a remote access to information. This project shows the advantages in the use of mobile software in a medical environment but the first step is always to build or use an interoperability platform, flexible, adaptable and pervasive. The platform offers a comprehensive set of services that restricts the development of mobile software almost exclusively to the mobile user interface design. The technology was tested and assessed in a real context by intensivists.

Refinement and variability techniques in model transformation of software requirements

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

Estudo e implementação de testes de software em desenvolvimento ágil

Dissertação de mestrado em Engenharia de Sistemas

Frameworks no desenvolvimento de software: o caso da Elevation da PRIMAVERA BSS

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

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

Desenvolvimento de ferramenta vocacionada para o dimensionamento de estruturas metálicas de acordo com a NP EN 1993-1-1

Dissertação de mestrado integrado em Engenharia Civil

Comparative genomics reveals adaptations of a halotolerant thaumarchaeon in the interfaces of brine pools in the Red Sea

The bottom of the Red Sea harbors over 25 deep hypersaline anoxic basins that are geochemically distinct and characterized by vertical gradients of extreme physicochemical conditions. Because of strong changes in density, particulate and microbial debris get entrapped in the brine-seawater interface (BSI), resulting in increased dissolved organic carbon, reduced dissolved oxygen toward the brines and enhanced microbial activities in the BSI. These features coupled with the deep-sea prevalence of ammonia-oxidizing archaea (AOA) in the global ocean make the BSI a suitable environment for studying the osmotic adaptations and ecology of these important players in the marine nitrogen cycle. Using phylogenomic-based approaches, we show that the local archaeal community of five different BSI habitats (with up to 18.2% salinity) is composed mostly of a single, highly abundant Nitrosopumilus-like phylotype that is phylogenetically distinct from the bathypelagic thaumarchaea; ammonia-oxidizing bacteria were absent. The composite genome of this novel Nitrosopumilus-like subpopulation (RSA3) co-assembled from multiple single-cell amplified genomes (SAGs) from one such BSI habitat further revealed that it shares [sim]54% of its predicted genomic inventory with sequenced Nitrosopumilus species. RSA3 also carries several, albeit variable gene sets that further illuminate the phylogenetic diversity and metabolic plasticity of this genus. Specifically, it encodes for a putative proline-glutamate 'switch' with a potential role in osmotolerance and indirect impact on carbon and energy flows. Metagenomic fragment recruitment analyses against the composite RSA3 genome, Nitrosopumilus maritimus, and SAGs of mesopelagic thaumarchaea also reiterate the divergence of the BSI genotypes from other AOA.

BIOMedical search engine framework: lightweight and customized implementation of domain-specific biomedical search engines

The Smart Drug Search is publicly accessible at http://sing.ei.uvigo.es/sds/. The BIOMedical Search Engine Framework is freely available for non-commercial use at https://github.com/agjacome/biomsef