950 resultados para Symbolic Execution
Resumo:
Dissertação de mestrado em Construção e Reabilitação Sustentável
Resumo:
Dissertação de mestrado em Marketing e Estratégia
Resumo:
Dissertação de mestrado em Engenharia Informática
Resumo:
Dissertação de Mestrado em Engenharia Informática
Resumo:
Dissertação de mestrado em Bioinformática
Resumo:
Developing and implementing data-oriented workflows for data migration processes are complex tasks involving several problems related to the integration of data coming from different schemas. Usually, they involve very specific requirements - every process is almost unique. Having a way to abstract their representation will help us to better understand and validate them with business users, which is a crucial step for requirements validation. In this demo we present an approach that provides a way to enrich incrementally conceptual models in order to support an automatic way for producing their correspondent physical implementation. In this demo we will show how B2K (Business to Kettle) system works transforming BPMN 2.0 conceptual models into Kettle data-integration executable processes, approaching the most relevant aspects related to model design and enrichment, model to system transformation, and system execution.
Resumo:
During the last few years many research efforts have been done to improve the design of ETL (Extract-Transform-Load) systems. ETL systems are considered very time-consuming, error-prone and complex involving several participants from different knowledge domains. ETL processes are one of the most important components of a data warehousing system that are strongly influenced by the complexity of business requirements, their changing and evolution. These aspects influence not only the structure of a data warehouse but also the structures of the data sources involved with. To minimize the negative impact of such variables, we propose the use of ETL patterns to build specific ETL packages. In this paper, we formalize this approach using BPMN (Business Process Modelling Language) for modelling more conceptual ETL workflows, mapping them to real execution primitives through the use of a domain-specific language that allows for the generation of specific instances that can be executed in an ETL commercial tool.
Resumo:
Modeling Extract-Transform-Load (ETL) processes of a Data Warehousing System has always been a challenge. The heterogeneity of the sources, the quality of the data obtained and the conciliation process are some of the issues that must be addressed in the design phase of this critical component. Commercial ETL tools often provide proprietary diagrammatic components and modeling languages that are not standard, thus not providing the ideal separation between a modeling platform and an execution platform. This separation in conjunction with the use of standard notations and languages is critical in a system that tends to evolve through time and which cannot be undermined by a normally expensive tool that becomes an unsatisfactory component. In this paper we demonstrate the application of Relational Algebra as a modeling language of an ETL system as an effort to standardize operations and provide a basis for uncommon ETL execution platforms.
Resumo:
Dissertação de mestrado integrado em Engenharia e Gestão Industrial
Resumo:
Tese de Doutoramento em Psicologia - Especialidade em Psicologia Experimental e Ciências Cognitivas
Resumo:
The MAP-i Doctoral Programme in Informatics, of the Universities of Minho, Aveiro and Porto
Resumo:
Tese de Doutoramento em Ciências da Educação - Especialidade em Filosofia da Educação
Resumo:
We elaborated an alternative culture method, which we denominated PKO (initials in tribute of respect to Petroff, Kudoh and Ogawa), for isolating Mycobacterium tuberculosis from sputum for diagnosis of pulmonary tuberculosis (TB), and to compare its performance with the Swab and Petroff methods. For the technique validation, sputum samples from patients suspected of pulmonary TB cases were examined by acid-fast microscopy (direct and concentrated smear), PKO, Swab and Petroff methods. We found that Petroff and PKO methods have parity in the effectiveness of M. tuberculosis isolation. However, by the PKO method, 65% of isolated strains were detected in a period of £15 days, while by the Petroff method the best detection was in an interval of 16-29 days (71%). In positive smear samples, the average time of PKO isolation is only superior to the one related for Bactec 460TB. In conclusion, the exclusion of the neutralization stage of pH in the PKO reduces the manipulation of the samples, diminishes the execution time of the culture according to the Petroff method and facilitates the qualification of professionals involved in the laboratorial diagnosis of Tuberculosis.
Resumo:
Dissertação de mestrado integrado em Psicologia
Resumo:
Tese de Doutoramento em Tecnologias e Sistemas de Informação