Logic programming and artificial neural networks in breast cancer detection

About 90% of breast cancers do not cause or are capable of producing death if detected at an early stage and treated properly. Indeed, it is still not known a specific cause for the illness. It may be not only a beginning, but also a set of associations that will determine the onset of the disease. Undeniably, there are some factors that seem to be associated with the boosted risk of the malady. Pondering the present study, different breast cancer risk assessment models where considered. It is our intention to develop a hybrid decision support system under a formal framework based on Logic Programming for knowledge representation and reasoning, complemented with an approach to computing centered on Artificial Neural Networks, to evaluate the risk of developing breast cancer and the respective Degree-of-Confidence that one has on such a happening.

Brazil's global aspirations and their implications for the relationship with Argentina in the framework of MERCOSUR

Dissertação de mestrado em Relações Internacionais

An innovative framework for probabilistic-based structural assessment with an application to existing reinforced concrete structures

A novel framework for probabilistic-based structural assessment of existing structures, which combines model identification and reliability assessment procedures, considering in an objective way different sources of uncertainty, is presented in this paper. A short description of structural assessment applications, provided in literature, is initially given. Then, the developed model identification procedure, supported in a robust optimization algorithm, is presented. Special attention is given to both experimental and numerical errors, to be considered in this algorithm convergence criterion. An updated numerical model is obtained from this process. The reliability assessment procedure, which considers a probabilistic model for the structure in analysis, is then introduced, incorporating the results of the model identification procedure. The developed model is then updated, as new data is acquired, through a Bayesian inference algorithm, explicitly addressing statistical uncertainty. Finally, the developed framework is validated with a set of reinforced concrete beams, which were loaded up to failure in laboratory.

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

Corporate Performance Management através da integração de Business Intelligence e Business Process Management

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

Business intelligence no suporte às autarquias locais e à sua gestão orçamental

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

Exploração de dados para soluções de retalho em business intelligence

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

Exploring scenario exploration

Model finders are very popular for exploring scenarios, helping users validate specifications by navigating through conforming model instances. To be practical, the semantics of such scenario exploration operations should be formally defined and, ideally, controlled by the users, so that they are able to quickly reach interesting scenarios. This paper explores the landscape of scenario exploration operations, by formalizing them with a relational model finder. Several scenario exploration operations provided by existing tools are formalized, and new ones are proposed, namely to allow the user to easily explore very similar (or different) scenarios, by attaching preferences to model elements. As a proof-of-concept, such operations were implemented in the popular Alloy Analyzer, further increasing its usefulness for (user-guided) scenario exploration.

Plataforma de suporte à decisão médica para transplante de órgãos baseada em Business Intelligence

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

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

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

Step towards to improve the voluntary interruption of pregnancy by means of business intelligence

With the implementation of Information and Communication Technologies in the health sector, it became possible the existence of an electronic record of information for patients, enabling the storage and the availability of their information in databases. However, without the implementation of a Business Intelligence (BI) system, this information has no value. Thus, the major motivation of this paper is to create a decision support system that allows the transformation of information into knowledge, giving usability to the stored data. The particular case addressed in this chapter is the Centro Materno Infantil do Norte, in particular the Voluntary Interruption of Pregnancy unit. With the creation of a BI system for this module, it is possible to design an interoperable, pervasive and real-time platform to support the decision-making process of health professionals, based on cases that occurred. Furthermore, this platform enables the automation of the process for obtaining key performance indicators that are presented annually by this health institution. In this chapter, the BI system implemented in the VIP unity in CMIN, some of the KPIs evaluated as well as the benefits of this implementation are presented.

Plataforma Framework distribuida para detección temprana de trastornos de déficit de atención en escuelas de nivel primario.

El desarrollo de dicho proyecto intenta dar solución a la problemática de la detección temprana y eficiente de los Trastornos de Déficit de Atención en las escuelas primarias, mediante la construcción de una plataforma informática framework segura, portable y con una interfaz simple y amigable, en entornos distribuídos para el armado de diferentes escenarios de evaluación, test y encuestas para el alumno, la familia y los educadores, que con un enfoque multidisciplinario recaba información permitiendo al profesional a cargo realizar una detección acertada, un diagnóstico eficaz y un tratamiento acorde a las deficiencias psicológicas y de aprendizaje. Proceso lento e imposible de llevar adelante en la actualidad. Modelo: el psicopedagogo genera los test en la plataforma y los activa para que cada alumno los realice en los laboratorios, sus padres y educadores completan las encuestas activas en internet o via mobile o acceden a los laboratorios del colegio. Psicopedagogos analizan resultados obtenidos y emiten conclusión sobre cada caso, para que padres pueden verlos por cualquier medio antes mencionado, siempre con acceso seguro, y a los sectores activados. Beneficios: sociales en la detección de problemas cognitivos en los niños en escuelas primarias, mejorando problemas de los grupos escolares en donde se encuentran niños con TDA, beneficiando la comunicación con las familias con todo lo referido a sus hijos. Las empresas serían otra posible implementación..