Algorithms and computational tools for metabolic flux analysis

PhD thesis in Biomedical Engineering

BiYacc: Roll your parser and reflective printer into one

In: A. Cunha, E. Kindler (eds.): Proceedings of the Fourth International Workshop on Bidirectional Transformations (Bx 2015), L’Aquila, Italy, July 24, 2015, published at http://ceur-ws.org

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

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

Dissertação de mestrado integrado em Civil Engineering

Can the dopaminergic-related effects of general anesthetics be linked to mechanisms involved in drug abuse and addiction?

BACKGROUND: General anesthetics (GA) are well known for the ability to induce a state of reversible loss of consciousness and unresponsiveness to painful stimuli. However, evidence from animal models and clinical studies show that GA exposure may induce behavioral changes beyond acute effects. Most research and concerns are focused on changes in cognition and memory. METHODS: We will look at effects of GA on behavior that is mediated by the dopaminergic system. RESULTS: Pharmacological resemblance of GA with drugs of abuse, and the complexity and importance of dopaminergic systems in both reward seeking and addictive illnesses make us believe that it deserves an overview about what is already known and what matters to us as healthcare workers and specifically as anesthesiologists. CONCLUSION: A review of available evidence strongly suggests that there may be a link between the effects of GA on the brain and substance abuse, partly explained by their influence on the dopaminergic system.

An R package for the integrated analysis of metabolomics and spectral data

Recently, there has been a growing interest in the field of metabolomics, materialized by a remarkable growth in experimental techniques, available data and related biological applications. Indeed, techniques as Nuclear Magnetic Resonance, Gas or Liquid Chromatography, Mass Spectrometry, Infrared and UV-visible spectroscopies have provided extensive datasets that can help in tasks as biological and biomedical discovery, biotechnology and drug development. However, as it happens with other omics data, the analysis of metabolomics datasets provides multiple challenges, both in terms of methodologies and in the development of appropriate computational tools. Indeed, from the available software tools, none addresses the multiplicity of existing techniques and data analysis tasks. In this work, we make available a novel R package, named specmine, which provides a set of methods for metabolomics data analysis, including data loading in different formats, pre-processing, metabolite identification, univariate and multivariate data analysis, machine learning, and feature selection. Importantly, the implemented methods provide adequate support for the analysis of data from diverse experimental techniques, integrating a large set of functions from several R packages in a powerful, yet simple to use environment. The package, already available in CRAN, is accompanied by a web site where users can deposit datasets, scripts and analysis reports to be shared with the community, promoting the efficient sharing of metabolomics data analysis pipelines.

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

Formação de professores no programa nacional para a alfabetização na idade certa com uso das TIC: um estudo de caso no ensino fundamental

Dissertação de mestrado em Ciências da Educação (área de especialização em Tecnologia Educativa)

Physical activity, health-related quality of life and depression during pregnancy

This study examines physical activity patterns among women, from pre-pregnancy to the second trimester of pregnancy, and the relationship between physical activity status based on physical activity guidelines and health-related quality of life (HRQoL) and depression over pregnancy. 56 healthy pregnant women self reported physical activity, HRQoL and depression at 10-15 and 19-24 weeks of pregnancy and physical activity before pregnancy. Whereas vigorous leisure physical activity decreased after conception, moderate leisure physical activity and work related physical activity remained stable over time. The prevalence of recommended physical activity was 39.3% and 12.5% in the 1st and 2nd trimesters of pregnancy respectively, and 14.3% pre-pregnancy. From the 1st to the 2nd pregnancy trimester, most physical HRQoL dimensions scores decreased and only mental component increased, independently of physical activity status. No changes in mean depression scores were observed. These data suggest that physical activity patterns change with pregnancy and that physical and mental components are differentially affected by pregnancy course, independently of physical activity status.

Activity of carvacrol against Coagulase-negative Staphylococci biofilm related infections

Dissertação de mestrado em Bioengenharia

Influence of oxygen conditions on bacterial interactions within biofilms related with cystic fibrosis

Dissertação de mestrado em Bioengineering

Careers, identities and professionalization. A study on doctors about their social representations related to the labor market today and its foreseeable future

This study is in line with the analyses of university and working career in their interaction in relation with conditioning factors. It comprises two central issues: the issue of identity bound to the issue of professionalization within the domain of training and employment. Nowadays, professionalization of the individuals, inside a troubled occupational world, demands the implementation of mechanisms favoring the development of both the individuals and the institution in which they work. All this has an impact at the local, regional and even national levels. Three levels of analysis interplay from a sui generis perspective: macro-meso-micro-macro (Aparicio, 2005; 2007a; 2007b, 2013a, 2014, 2015 b, d – See the Three- Dimensional Spiral of Sense Theory). The aim was to be aware of the doctors’ representations regarding the value of such degree under the present “degree devaluation”, and its impact on the professional future as well as on the core issues of the labor market which need urgent measures with a view to a belter interaction between the two systems. The methodology used was quanti-qualitative (semi-structured questionnaires, interviews, and hierarchical evocations). The population consisted of doctors (2005-2012) from the National University of Cuyo, in Argentina. The results helped us understand the nucleus of such representations and the peripheral aspects by career and institution, thus revealing professional and disciplinary identities. The professional identities show the situated needs in terms of professionalization within the different contexts and, particularly, within the labor market.

A multi–physics approach applied to masonry structures with non–hydraulic lime mortars

Tese de Doutoramento em Engenharia Civil (área de especialização em Engenharia de Estruturas).

Development of a subject-specific musculoskeletal shoulder model : inverse and forward dynamics applications

A prevalência de pessoas que referem dor no complexo articular do ombro, com concomitante limitação na capacidade para realizar atividades da vida diária, é elevada. Estes níveis de prevalência sobrecarregam quer os utentes, como a própria sociedade. A evidência científica atual indicia a existência de uma relação entre as alterações da articulação escápulo-torácica e as patologias associadas à articulação gleno-umeral. A capacidade de quantificar, cinemática e cineticamente, as disfunções ao nível das articulações escápulo-torácica e gleno-umeral, é algo de enorme importância, quer para a comunidade biomecânica, como para a clínica. No decorrer dos trabalhos desta tese foi desenvolvido, através do software OpenSim, um modelo tridimensional músculo-esquelético do complexo articular do ombro que inclui a representação do tórax/coluna, clavícula, omoplata, úmero, rádio, cúbito e articulações que permitem os movimentos relativos desses segmentos, assim como, 16 músculos e 4 ligamentos. Com um total de 11 graus de liberdade, incluindo um novo modelo articular escápulo-torácico, os resultados demonstram que este é capaz de reconstruir de forma precisa e rápida os movimentos escápulo-torácicos e glenoumerais, recorrendo para tal, à cinemática inversa, e à dinâmica inversa e direta. Conta ainda com um método de transformação inovador para determinar, com base nas especificidades dos sujeitos, os locais de inserção muscular. As principais motivações subjacentes ao desenvolvimento desta tese foram contribuir para o aprofundar do atual conhecimento sobre as disfunções do complexo articular do ombro e, simultaneamente, proporcionar à comunidade clínica uma ferramenta biomecânica de livre acesso com o intuito de melhor suportar as decisões clínicas e dessa forma concorrer para uma prática mais efetiva.