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.

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

Measurements of the nuclear modification factor for jets in Pb+Pb collisions at sNN =2.76TeV with the ATLAS detector

Measurements of inclusive jet production are performed in pp and Pb+Pb collisions at sNN−−−√=2.76 TeV with the ATLAS detector at the LHC, corresponding to integrated luminosities of 4.0 pb−1 and 0.14 nb−1 , respectively. The jets are identified with the anti-kt algorithm with R=0.4, and the spectra are measured over the kinematic range of jet transverse momentum 32modification factor, RAA, is evaluated and jets are found to be suppressed by approximately a factor of two in central collisions compared to pp collisions. The RAA shows a slight increase with pT and no significant variation with rapidity.

Jute/polypropylene composites: Effect of enzymatic modification on thermo-mechanical and dynamic mechanical properties

In this study, a high-performance composite was prepared from jute fabrics and polypropylene (PP). In order to improve the compatibility of the polar fibers and the non-polar matrix, alkyl gallates with different hydrophobic groups were enzymatically grafted onto jute fabric by laccase to increase the surface hydrophobicity of the fiber. The grafting products were characterized by FTIR. The results of contact angle and wetting time showed that the hydrophobicity of the jute fabrics was improved after the surface modification. The effect of the enzymatic graft modification on the properties of the jute/PP composites was evaluated. Results showed that after the modification, tensile and dynamic mechanical properties of composites improved, and water absorption and thickness swelling clearly decreased. However, tensile properties drastically decreased after a long period of water immersion. The thermal behavior of the composites was evaluated by TGA/DTG. The fiber-matrix morphology in the modified jute/PP composites was confirmed by SEM analysis of the tensile fractured specimens.

Modification of microfiltration membranes by hydrogel impregnation for pDNA purification

The huge efforts for the achievement of highly purified biomolecules are growing every day. A great number of efficient techniques, such as chromatography, are already available in laboratory for separation processes. However, membrane-based technologies are the best match to assure simplicity, efficiency and easy scale-up procedures. Herein we report the modification of a commercial microfiltration membrane for plasmid DNA purification by agarose gel impregnation. The membrane was characterized by SEM, ATR-FTIR, EDS, contact angle, and porosity measurements. Additionally, the membrane pore radius was estimated from observed rejections of different proteins and with that information the rejection of a 6050 bp plasmid DNA (pDNA) molecule was estimated for different values of flux using a theoretical model of large flexible molecules in membranes with parallel cylindrical pores, which is applicable to pDNA ultrafiltration in conventional membranes, as recently shown in the literature. The experimental results show that the modified membrane has higher pDNA rejections than the predicted by the model, suggesting that the different type of porous structure that a hydrogel has, may have a positive effect on pDNA rejections as compared to other biomolecules with more rigid structures, making this type of modified membranes potential better candidates to be used for the selective recovery of pDNA in this type of bioprocesses.

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

Bacterial cellulose surface modification

The unique properties of bacterial nanocellulose (BNC) provide the basis for a wide range of applications in human and veterinary medicine, odontology, pharmaceuticals, acoustic and filter membranes, biotechnological devices, and in the food and paper industry. In this chapter, an overview of surface modifications of bacterial cellulose is presented. Depending on the envisaged applications, chemical modifications, incorporation of bioactive molecules, modification of the porosity, crystallinity, and biodegradability may be obtained, further enlarging the potential of BNC.

In vitro phosphorylation as tool for modification of silk and keratin fibrous materials

An overview is given of the recent work on in vitro enzymatic phosphorylation of silk fibroin and human hair keratin. Opposing to many chemical "conventional" approaches, enzymatic phosphorylation is in fact a mild reaction and the treatment falls within "green chemistry" approach. Silk and keratin are not phosphorylated in vivo, but in vitro. This enzyme-driven modification is a major technological breakthrough. Harsh chemical chemicals are avoided, and mild conditions make enzymatic phosphorylation a real "green chemistry" approach. The current communication presents a novel approach stating that enzyme phosphorylation may be used as a tool to modify the surface charge of biocompatible materials such as keratin and silk.

Enzymatic hydrophobic modification of jute fibers via grafting to reinforce composites

Horseradish peroxidase (HRP)/H2O2 system catalyzes the free-radical polymerization of aromatic compounds such as lignins and gallate esters. In this work, dodecyl gallate (DG) was grafted onto the surfaces of lignin-rich jute fabrics by HRP-mediated oxidative polymerization with an aim to enhance the hydrophobicity of the fibers. The DG-grafted jute fibers and reaction products of their model compounds were characterized by matrix-assisted laser desorption/ionization mass spectrometry (MALDI-TOF MS), attenuated total reflection Fourier transform infrared spectroscopy (ATR-FTIR), X-ray photoelectron spectroscopy (XPS), scanning electron microscopy (SEM), thermogravimetric analysis (TGA), and differential scanning calorimetry (DSC). The results clearly indicated the grafting of DG to the jute fiber by HRP. Furthermore, the hydrophobicity of jute fabrics was determined by measuring the wetting time and static contact angle. Compared to the control sample, the wetting time and static contact angle of the grated fabrics changed from ~1 s to 1 h and from ~0° to 123.68°, respectively. This clearly proved that the hydrophobicity of jute fabrics improved considerably. Conditions of the HRP-catalyzed DG-grafting reactions were optimized in terms of the DG content of modified jute fabrics. Moreover, the results of breaking strength and elongation of DG-grafted jute/ polypropylene (PP) composites demonstrated improved reinforcement of the composite due to enzymatic hydrophobic modification of jute fibers.