Caso de demonstração de uma framework para automatização do teste de APIs de aplicações SaaS

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

A integração de técnicas BIM (Building Information Modeling) no projeto e na construção de estruturas de madeira

Dissertação de mestrado integrado em Engenharia Civil

Pervasive business intelligence: a marketing intelligence framework proposal

Doctoral Thesis in Information Systems and Technologies Area of Information Systems and Technology

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.

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

A integração do Building Information Modeling (BIM) num projeto de reabilitação

Dissertação de mestrado integrado em Engenharia Civil

Current Challenges in Modeling Cellular Metabolism

Mathematical and computational models play an essential role in understanding the cellular metabolism. They are used as platforms to integrate current knowledge on a biological system and to systematically test and predict the effect of manipulations to such systems. The recent advances in genome sequencing techniques have facilitated the reconstruction of genome-scale metabolic networks for a wide variety of organisms from microbes to human cells. These models have been successfully used in multiple biotechnological applications. Despite these advancements, modeling cellular metabolism still presents many challenges. The aim of this Research Topic is not only to expose and consolidate the state-of-the-art in metabolic modeling approaches, but also to push this frontier beyond the current edge through the introduction of innovative solutions. The articles presented in this e-book address some of the main challenges in the field, including the integration of different modeling formalisms, the integration of heterogeneous data sources into metabolic models, explicit representation of other biological processes during phenotype simulation, and standardization efforts in the representation of metabolic models and simulation results.

Media(ted) discourse and society: rethinking the framework of critical discourse analysis

The analysis of journalistic discourse and its social embeddedness has known significant advances in the last two decades, especially due to the emergence and development of Critical Discourse Analysis. However, three important aspects remain under-researched: the time plane in discourse analysis, the discursive strategies of social actors, and the extra- and supra-textual effects of mediated discourse. Firstly, understanding the biography of public matters requires a longitudinal examination of mediated texts and their social contexts but most forms of analysis of journalistic discourse do not account for the time sequence of texts and its implications. Secondly, as the media representation of social issues is, to a large extent, a function of the discursive construction of events, problems and positions by social actors, the discursive strategies that they employ in a variety of arenas and channels ‘‘before’’ and ‘‘after’’ journalistic texts need to be examined. Thirdly, the fact that many of the modes of operation of discourse are extra- or supra-textual calls for a consideration of various social processes ‘‘outside’’ the text. This paper aims to produce a theoretical and methodological contribution to the integration of these issues in discourse analysis by proposing a framework that combines a textual dimension with a contextual one

A critical evaluation of methods for the reconstruction of tissue-specific models

Under the framework of constraint based modeling, genome-scale metabolic models (GSMMs) have been used for several tasks, such as metabolic engineering and phenotype prediction. More recently, their application in health related research has spanned drug discovery, biomarker identification and host-pathogen interactions, targeting diseases such as cancer, Alzheimer, obesity or diabetes. In the last years, the development of novel techniques for genome sequencing and other high-throughput methods, together with advances in Bioinformatics, allowed the reconstruction of GSMMs for human cells. Considering the diversity of cell types and tissues present in the human body, it is imperative to develop tissue-specific metabolic models. Methods to automatically generate these models, based on generic human metabolic models and a plethora of omics data, have been proposed. However, their results have not yet been adequately and critically evaluated and compared. This work presents a survey of the most important tissue or cell type specific metabolic model reconstruction methods, which use literature, transcriptomics, proteomics and metabolomics data, together with a global template model. As a case study, we analyzed the consistency between several omics data sources and reconstructed distinct metabolic models of hepatocytes using different methods and data sources as inputs. The results show that omics data sources have a poor overlapping and, in some cases, are even contradictory. Additionally, the hepatocyte metabolic models generated are in many cases not able to perform metabolic functions known to be present in the liver tissue. We conclude that reliable methods for a priori omics data integration are required to support the reconstruction of complex models of human cells.

A UML-based approach for modeling industrial control applications

The main purpose of the poster is to present how the Unified Modeling Language (UML) can be used for diagnosing and optimizing real industrial production systems. By using a car radios production line as a case study, the poster shows the modeling process that can be followed during the analysis phase of complex control applications. In order to guarantee the continuity mapping of the models, the authors propose some guidelines to transform the use cases diagrams into a single object diagram, which is the main diagram for the next phases of the development.

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

Vascular disease modeling using induced pluripotent stem cells: Focus in Hutchinson-Gilford Progeria Syndrome

Transparency document related to this article can be found online at http://dx.doi.org/10.1016/j.bbrc.2015.10.014

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).

Factores Críticos del Desarrollo Local y Regional Integrado zona serrana y Norte de la Provincia de Córdoba-. Validación causal estadística de Modelos de Ecuaciones Estructurales. Identificación de problemas normativos de las OSC.Critical Factors of Local and Regional Development in north of the Province of Córdoba. Causal validation with Structural Equation Modeling. Legal regulations of civil society.

En la investigación anterior -en la zona pampeana de la Provincia de Córdoba- se demostró teórica y empíricamente, que el desarrollo de la Sociedad Civil muchas veces libradas a su suerte y con limitaciones legales apoyan decididamente el desarrollo local, sin embargo han logrado solo parcialmente sus objetivos, por lo que es necesario comenzar un camino de fortalecimiento en los nuevos roles que deben asumir. Los gobiernos locales, a la vez, intentan trabajosamente con contados éxitos detener el procesos de descapitalización social -financiera y humana- de sus comunidades locales y regionales, peregrinando con escaso éxito a los centros concentrados del poder político y económico, para procurar los recursos financieros y humanos necesarios que no alcanzan a reponer los que se fugan desde hace décadas de sus localidades. Las empresas, con ciclos recurrentes de crecimiento y decrecimiento vinculados a los mercados en que colocan sus productos, también se debaten en la búsqueda de los escasos recursos, financieros y humanos, que les permitan consolidar un desarrollo a mediano y largo plazo. El desarrollo alcanzado en Sistemas de información, instrumentos de relevamiento, análisis y elaboración de propuestas para el Desarrollo Local, nos permite avanzar en: 1. La confirmación empírica de las hipótesis iniciales - factores exógenos y endógenos - en la zona Norte y Serrana de la provincia 2. La validación científica -mediante el Análisis de ecuaciones estructurales. de tales supuestos, para el conjunto de las poblaciones analizadas en ambas etapas. 3. La identificación de los problemas normativos que afectan el desarrollo de las Organizaciones de la Sociedad Civil (OSC). METODOLOGÍA Respecto la validación empírica en la zona norte y serrana 1. Selección de las 4 localidades a relevar de acuerdo a las categorías definidas 2. Elaboración de acuerdos con autoridades e instituciones locales. 3. Relevamiento cualitativo con líderes locales y fuentes de datos secundarias. 4. Adaptación de instrumentos de relevamiento a las realidades locales y estudios previos 5. Relevamiento cuantitativo de campo, capacitación de encuestadores y supervisores. 6. Procesamiento y elaboración de informes finales locales. Respecto de la construcción de modelos de desarrollo 1. Desarrollar las dimensiones especificas y las variables (items) de cada factor crítico. 2. Revisar el instrumento con expertos de cada una de las dimensiones. 3. Validar a nivel exploratorio por medio de un Análisis de Componentes Principales 4. Someter a los expertos la evaluación de una serie de localidades que representan cada uno. Respecto de la identificación de las normas legales que afectan a la Sociedad Civil 1.Relevamiento documental de normas 2. Relevamiento con líderes de instituciones de la Sociedad Civil 3. Análisis de las normas vigentes 4. Elaboración de Informes Finales y Transferencia a líderes e instituciones