A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

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

Historical analysis of the Brazilian cervical cancer screening program from 2006 to 2013: a time for reflection

BACKGROUND: The Cervical Cancer Database of the Brazilian National Health Service (SISCOLO) contains information regarding all cervical cytological tests and, if properly explored, can be used as a tool for monitoring and managing the cervical cancer screening program. The aim of this study was to perform a historical analysis of the cervical cancer screening program in Brazil from 2006 to 2013. MATERIAL AND METHODS: The data necessary to calculate quality indicators were obtained from the SISCOLO, a Brazilian health system tool. Joinpoint analysis was used to calculate the annual percentage change. RESULTS: We observed important trends showing decreased rates of low-grade squamous intraepithelial lesions (LSIL) and high-grade squamous intraepithelial lesions (HSIL) and an increased rate of rejected exams from 2009 to 2013. The index of positivity was maintained at levels below those indicated by international standards; very low frequencies of unsatisfactory cases were observed over the study period, which partially contradicts the low rate of positive cases. The number of positive cytological diagnoses was below that expected, considering that developed countries with low frequencies of cervical cancer detect more lesions annually. CONCLUSIONS: The evolution of indicators from 2006 to 2013 suggests that actions must be taken to improve the effectiveness of cervical cancer control in Brazil.

As políticas tecnológicas para a educação e a literacia digital: o caso do programa governamental ‘e.escolinha’

Em 2008, o Governo português anunciou a iniciativa ‘e.escolinha’ que contemplou a distribuição de computadores ‘Magalhães’ aos alunos do 1º ciclo do ensino básico, durante três anos letivos consecutivos. Atualmente suspenso, o programa foi bandeira do XVII Governo Constitucional, liderado por José Sócrates, mas alvo de controvérsias por parte da oposição política e da comunidade escolar, sobretudo pela aparente tónica no acesso à tecnologia em vez de uma maior preocupação com a formação e as práticas pedagógicas. Ao abrigo do Plano Tecnológico da Educação, o ‘e.escolinha’ inseria-se numa política mais ampla para o desenvolvimento de uma economia competitiva e dinâmica, através das metas estabelecidas pela União Europeia na Estratégia de Lisboa 2000. A iniciativa foi apresentada ao país com objetivos ambiciosos, no que diz respeito às esperadas mudanças ao nível das práticas pedagógicas dos professores, do processo de aprendizagem das crianças e do sucesso escolar em geral. Porém, a face mais visível da política, embora possa compreender outros matizes, poderá ter ficado reduzida à questão do acesso, apostando pouco nas outras dimensões da literacia digital. Com base em entrevistas realizadas a atores-chave envolvidos no processo de conceção e implementação do ‘e.escolinha’, e nos documentos oficiais que enquadram o programa, o presente artigo pretende dar a conhecer a forma como decisores políticos e empresas enunciam e avaliam os objetivos desta iniciativa. Pretende-se, em particular, conhecer se partilham a ideia de uma deriva tecnológica desta medida governamental ou se entreveem, na mesma, objetivos de literacia digital. Este trabalho decorre do projeto de investigação “Navegando com o Magalhães: Estudo sobre o Impacto dos Media Digitais nas Crianças”, em curso no Centro de Estudos de Comunicação e Sociedade da Universidade do Minho, financiado pela Fundação para a Ciência e Tecnologia ((PTDC/CCI-COM/101381/2008) ) e co-financiado pelo FEDER (COMPETE: FCOMP-01-0124-FEDER-009056).

Stage at presentation of breast cancer in Luanda, Angola - a retrospective study

Background: It is expected that, by 2020, 15 million new cases of cancer will occur every year in the world, one million of them in Africa. Knowledge of cancer trends in African countries is far from adequate, and improvements in cancer prevention efforts are urgently needed. The aim of this study was to characterize breast cancer clinically and pathologically at presentation in Luanda, Angola; we additionally provide quality information that will be useful for breast cancer care planning in the country. Methods: Data on breast cancer cases were retrieved from the Angolan Institute of Cancer Control, from 2006 to 2014. For women diagnosed in 2009 (5-years of follow-up), demographic, clinical and pathological information, at presentation, was collected, namely age at diagnosis, parity, methods used for pathological diagnoses, tumor pathological characteristics, stage of disease and treatment. Descriptive statistics were performed. Results: The median age of women diagnosed with breast cancer in 2009 was 47 years old (range 25–89). The most frequent clinical presentation was breast swelling with axillary lymph nodes metastasis (44.9 %), followed by a mass larger than 5 cm (14.2 %) and lump (12.9 %). Invasive ductal carcinoma was the main histologic type (81.8 %). Only 10.1 % of cancer cases had a well differentiated histological grade. Cancers were diagnosed mostly at advanced stages (66.7 % in stage III and 11.1 % in stage IV). Discussion: In this study, breast cancer was diagnosed at a very advanced stage. Although it reports data from a single cancer center in Luanda, Angola it reinforces the need for early diagnosis and increasing awareness. According to the main challenges related to breast cancer diagnosis and treatment herein presented, we propose a realistic framework that would allow for the implementation of a breast cancer care program, built under a strong network based on cooperation, teaching, audit, good practices and the organization of health services. Conclusion: Angola needs urgently a program for early diagnosis of breast cancer.

Comunicar em saúde no setor público português: o potencial da comunicação estratégica na promoção da saúde e prevenção do tabagismo

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Publicidade e Relações Públicas)

Programa de medidas do Plano de Gestão da Região Hidrográfica 2 (PGRH2): avaliação da bacia hidrográfica do Ave

Relatório de estágio de mestrado em Geografia (área de especialização em Planeamento e Gestão do Território)

Certificação ISO 9001 e Gestão de Recursos Humanos: precedentes e consequentes: estudo de caso das Unidades de Serviços Certificadas da Universidade do Minho

Dissertação de mestrado em Gestão de Recursos Humanos

As crianças-soldado na Serra Leoa e na Libéria: estudo comparado sobre o papel da ONU como provedor de segurança humana

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

Introduction [to Food Safety in the Seafood Industry: A practical guide for ISO 22000 and FSSC 22000 implementation]

The prelims comprise: * Half-Title Page * Dedication Page * Title Page * Copyright Page * Table of Contents * Foreword * Acknowledgements * Disclaimer * Introduction

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

A prática da Filosofia na sala de aula

Relatório de estágio de mestrado em Ensino de Filosofia no Ensino Secundário

A aprendizagem de tópicos da circunferência com recurso ao GeoGebra: uma experiência com alunos do 9.º ano de escolaridade

Relatório de estágio de mestrado em Ensino de Matemática no 3.º ciclo do Ensino Básico e no Ensino Secundário