Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Two sequential PCR amplifications for detection of Schistosoma mansoni in stool samples with low parasite load

Schistosomiasis constitutes a major public health problem, with an estimated 200 million individuals infected worldwide and 700 million people living in risk areas. In Brazil there are areas of high, medium and low endemicity. Studies have shown that in endemic areas with a low prevalence of Schistosoma infection the sensitivity of parasitological methods is clearly reduced. Consequently diagnosis is often impeded due to the presence of false-negative results. The aim of this study is to present the PCR reamplification (Re-PCR) protocol for the detection of Schistosoma mansoni in samples with low parasite load (with less than 100 eggs per gram (epg) of feces). Three methods were used for the lysis of the envelopes of the S. mansoni eggs and two techniques of DNA extraction were carried out. Extracted DNA was quantified, and the results suggested that the extraction technique, which mixed glass beads with a guanidine isothiocyanate/phenol/chloroform (GT) solution, produced good results. PCR reamplification was conducted and detection sensitivity was found to be five eggs per 500 mg of artificially marked feces. The results achieved using these methods suggest that they are potentially viable for the detection of Schistosoma infection with low parasite load.

OCCURRENCE OF Calodium hepaticum (BANCROFT, 1893) MORAVEC, 1982 EGGS IN FECES OF DOGS AND CATS IN LAGES, SANTA CATARINA, BRAZIL

This study aims to report the incidence of Calodium hepaticum among dogs and cats, pets or stray animals, captured by the Zoonosis Control Center (CCZ) in Lages, Santa Catarina, Brazil. Fecal samples from 108 pet dogs and eight pet cats, and from 357 stray dogs and 97 stray cats, captured by CCZ, were analyzed within the period from July 2010 to November 2012. Coproparasitological exams were performed by techniques of sedimentation, centrifuge-flotation, and simple flotation. Among 465 fecal samples from dogs and 105 from cats, the overall spurious infections for C. hepaticum eggs were 1.05%. For dogs, this positivity was 0.43% and for cats it was 3.81%. The two positive dogs were stray and out of the four cats, three were stray and one was a pet. Although the occurrence of C. hepaticum eggs was low, these data reveal the existence of infected rodents, especially in public places, since, out of the six infected animals, five (83.33%) were stray. These results are discussed and analyzed with an emphasis on the risk to public health.

Application of ionic liquids and enzymes for the removal of proteinaceous layers from polychrome of works of art and evaluation of the cleaning effectiveness

Dissertação Apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Ciências da Conservação, especialização em Pintura

Evaluation of a direct immunofluorescent antibody (difma) test using Leishmania genus - specific monoclonal antibody in the routine diagnosis of cutaneous leishmaniasis

A direct immunofluorescent antibody (DIFMA) test using a Leishmania genus- specific monoclonal antibody was evaluated in the routine diagnosis of cutaneous leishmaniasis (CL) in Ecuador. This test was compared with the standard diagnostic techniques of scrapings, culture and histology. Diagnostic samples were taken from a total of 90 active dermal ulcers from patients from areas of Ecuador known to be endemic for cutaneous leishmaniasis. DIFMA was positive in all lesions. It was shown to be significantly superior to standard diagnostic methods either alone or in combination. The sensitivity of DIFMA did not diminish with chronicity of lesions. This test proved to be extremely useful in the routine diagnosis of CL because it is highly sensitive, is easy to use and produces rapid results.

Frequency of Blastocystis hominis and other intestinal parasites in stool samples examined at the Parasitology Laboratory of the School of Pharmaceutical Sciences at the São Paulo State University, Araraquara

Blastocystis homins is a protozoan that causes an intestinal infection known as human blastocystosis. This infection is diagnosed by means of parasitological examination of stools and by permanent staining techniques. The present study was developed to evaluate the frequency of Blastocystis hominis infection among inhabitants of the Araraquara region, State of São Paulo, and to compare different methods for investigating this protozoan in feces samples. Evaluations on 503 stool samples were performed by means of direct fresh examination and using the techniques of Faust et al., Lutz and Rugai et al. In addition, the iron hematoxylin, trichrome and modified Kinyoun staining techniques were used. Out of the 503 samples examined, 174 (34.6%) were found to be positive for the presence of intestinal parasites. The most frequent protozoa and helminths were Entamoeba coli (14.6%) and Strongyloides stercoralis (6.7%), respectively. Blastocystis hominis was present in 23 (4.6%) fecal samples, with a predominately pasty consistency and without characterizing a condition of diarrhea. Despite the low frequency of Blastocystis hominis found in the Araraquara region, compared with other regions of Brazil, it is important to perform laboratory diagnostic tests for this protozoan. Its finding in fecal material is indicative of food and drinking water contamination. Since the transmission route for this parasite is accepted to be oral-fecal, this implies that the population needs guidance regarding hygiene and basic sanitation measures as a means for controlling health problems caused by enteroparasites.

Analysis and treatment of a nineteenth century oil painting

This thesis focused on the study and treatment of a 19th century female portrait in oil from ECOMUSEU Municipal do Seixal, Portugal. The portrait, which depicts Isabel Maria Lourenço Affonso was in poor condition and a large strip of paint and canvas was missing (approximately 9cm by 66cm, almost 11% of the total surface area). The portrait is a companion piece to a male portrait (the relationship was established as part of this study), therefore a technical study of both paintings was considered essential to support the choices made during the treatment. The project involved three main areas: - The study of the history, condition, materials and techniques of both paintings. This allowed their comparison and understanding of their relationship; - The treatment of Isabel Maria Lourenço Affonso. The choices made and problems encountered are described. - The production of a replacement for the missing strip of paint and canvas. The practical solution developed to overcome such an unusual challenge is described along with the creative and flexible thinking required. Because not all traditional infill materials cope well on a mechanical level with thin layers over a very large surface (many are too brittle), strict criteria had to be employed to choose the appropriate material. The primary goal was to find a fill which would remain flexible and be capable of accepting surface texture, such that there would be a good visual match with the painting. Analysis and testing was carried out to evaluate the physical properties of the fill material chosen, BEVA® Gesso-P. The successful creation of the replacement strip has resulted in two publications and one presentation: Publication pending in The Picture Restorer, Leslie Carlyle, Raquel Marques, Isabel Pombo Cardoso and Sara Babo, “Creating a Textured Replacement Strip for the Missing Lower Portion of an Oil Portrait: Problem Solving and Practical Solutions”. Abstract accepted for presentation and publication, International Meeting on Retouching of Cultural Heritage (2RECH), Raquel Marques, Leslie Carlyle and Isabel Pombo Cardoso, “Textured Replacement Strip for a Missing Portion of a Portrait: Problem Solving and Practical Solutions”.

As imagens do envelhecimento e as práticas idadistas em Cuidados de Saúde Primários: implicações na actividade física dos idosos

RESUMO: O envelhecimento demográfico tem vindo a aumentar em todo o mundo. Porém, constata-se que os últimos anos de vida são, frequentemente, acompanhados de situações de incapacidade que poderiam ter sido prevenidas. Apesar da importância da actividade física na saúde, verifica-se que uma grande proporção de idosos são sedentários, aumentando o risco de incapacidade. Os profissionais de saúde podem ser influenciados por imagens negativas relativas ao envelhecimento. Tal pode conduzir a práticas de discriminação, com repercussão na forma como os idosos se vêem a si próprios e, consequentemente, no seu comportamento na prática de actividade física. Este estudo tem como objectivo analisar o modo como as imagens do envelhecimento e dos idosos, bem como as práticas idadistas percebidas pelos idosos no contacto com profissionais de saúde influenciam a sua prática de actividade física. Realizou-se um estudo qualitativo, com recurso à entrevista semi-estruturada e de associação livre das palavras, sendo entrevistados 18 utentes que recorreram a um Centro de Saúde. Pelos resultados, constatou-se que uma parte considerável dos participantes (n=8) mencionou que a forma como são vistos pelos profissionais de saúde e como estes lidam consigo influencia a sua prática de actividade física. A imagem mais referida como favorecendo esta prática foi o facto de se considerarem pessoas com vontade de viver. Como principal prática favorecedora identificou-se o aconselhamento/educação para a saúde. A imagem mais mencionada como dificultando a actividade física foi a de os idosos serem deprimidos/tristes/aborrecidos e rabugentos/teimosos. As práticas mais identificadas como dificultando a actividade física foram: o desinteresse face aos problemas de saúde; o não encaminhamento para intervenções adequadas às necessidades; a indicação de que o problema de saúde é devido à idade, não o sendo; a postura autoritária em que só o profissional decide a opção terapêutica; e a verbalização de que o utente já tem muita idade para realizar uma actividade. Conclui-se que as imagens negativas do envelhecimento e dos idosos bem como a existência de práticas idadistas por parte dos profissionais de saúde, condicionam de forma negativa a prática de actividade física nos idosos.---------------ABSTRACT: The aging population has been increasing around the world. However, it appears that the last years of life are often accompanied by situations of disability, which could have been prevented. Despite the importance of physical activity on health, it appears that a large proportion of elderly people are sedentary, increasing the risk of disability. Health professionals may be influenced by negative images related to aging and that may lead to discriminatory practices with repercussion in how older people see themselves and thus their behavior as related to physical activity. This study aims to examine how the images concerning aging and older people, as well as ageist practices perceived by older people in contact with health professionals, do influence their physical activity. A qualitative study was conducted using a semi-structured interview and techniques of free word association. Eighteen primary care elderly users were interviewed. A considerable proportion of the sample (n=8) mentioned that the way health professionals see them and deal with them influences their level of physical activity. The image that most favoured this practice was that people are willing to live. Counseling/health education was identified as the main favouring practice. The image which was most often mentioned as hindering physical activity was that of elderly as being depressed, sad or bored, and grumpy or stubborn.The practices most often identified as hindering physical activity were: lack of interest regarding health problems; non-referral to appropriate intervention needs; indicating that the health problem is due to age, not being the case; authoritarian professional attitudes regarding who decides the treatment options; verbalization that the user is already to old to perform an activity. This study concludes that the negative images of aging and older people as well the existence of ageist practices by health professionals negatively affect the practice of physical activity in the elderly.

Improving Learners’ Motivation through Feedback in English Language Teaching and Learning at Polytechnic School in Benguela, Angola

Currently, it is widely perceived among the English as a Foreign Language (EFL) teaching professionals, that motivation is a central factor for success in language learning. This work aims to examine and raise teachers’ awareness about the role of assessment and feedback in the process of language teaching and learning at polytechnic school in Benguela to develop and/or enhance their students’ motivation for learning. Hence the paper defines and discusses the key terms and, the techniques and strategies for an effective feedback provision in the context under study. It also collects data through the use of interview and questionnaire methods, and suggests the assessment and feedback types to be implemented at polytechnic school in Benguela

Benefits & drawbacks of different means of interaction for placing objects above a video footage

Public Display Systems (PDS) increasingly have a greater presence in our cities. These systems provide information and advertising specifically tailored to audiences in spaces such as airports, train stations, and shopping centers. A large number of public displays are also being deployed for entertainment reasons. Sometimes designing and prototyping PDS come to be a laborious, complex and a costly task. This dissertation focuses on the design and evaluation of PDS at early development phases with the aim of facilitating low-effort, rapid design and the evaluation of interactive PDS. This study focuses on the IPED Toolkit. This tool proposes the design, prototype, and evaluation of public display systems, replicating real-world scenes in the lab. This research aims at identifying benefits and drawbacks on the use of different means to place overlays/virtual displays above a panoramic video footage, recorded at real-world locations. The means of interaction studied in this work are on the one hand the keyboard and mouse, and on the other hand the tablet with two different techniques of use. To carry out this study, an android application has been developed whose function is to allow users to interact with the IPED Toolkit using the tablet. Additionally, the toolkit has been modified and adapted to tablets by using different web technologies. Finally the users study makes a comparison about the different means of interaction.

The brushstroke and materials of Amadeo de Souza-Cardoso combined in an authentication tool

Nowadays, authentication studies for paintings require a multidisciplinary approach, based on the contribution of visual features analysis but also on characterizations of materials and techniques. Moreover, it is important that the assessment of the authorship of a painting is supported by technical studies of a selected number of original artworks that cover the entire career of an artist. This dissertation is concerned about the work of modernist painter Amadeo de Souza-Cardoso. It is divided in three parts. In the first part, we propose a tool based on image processing that combines information obtained by brushstroke and materials analysis. The resulting tool provides qualitative and quantitative evaluation of the authorship of the paintings; the quantitative element is particularly relevant, as it could be crucial in solving authorship controversies, such as judicial disputes. The brushstroke analysis was performed by combining two algorithms for feature detection, namely Gabor filter and Scale Invariant Feature Transform. Thanks to this combination (and to the use of the Bag-of-Features model), the proposed method shows an accuracy higher than 90% in distinguishing between images of Amadeo’s paintings and images of artworks by other contemporary artists. For the molecular analysis, we implemented a semi-automatic system that uses hyperspectral imaging and elemental analysis. The system provides as output an image that depicts the mapping of the pigments present, together with the areas made using materials not coherent with Amadeo’s palette, if any. This visual output is a simple and effective way of assessing the results of the system. The tool proposed based on the combination of brushstroke and molecular information was tested in twelve paintings obtaining promising results. The second part of the thesis presents a systematic study of four selected paintings made by Amadeo in 1917. Although untitled, three of these paintings are commonly known as BRUT, Entrada and Coty; they are considered as his most successful and genuine works. The materials and techniques of these artworks have never been studied before. The paintings were studied with a multi-analytical approach using micro-Energy Dispersive X-ray Fluorescence spectroscopy, micro-Infrared and Raman Spectroscopy, micro-Spectrofluorimetry and Scanning Electron Microscopy. The characterization of Amadeo’s materials and techniques used on his last paintings, as well as the investigation of some of the conservation problems that affect these paintings, is essential to enrich the knowledge on this artist. Moreover, the study of the materials in the four paintings reveals commonalities between the paintings BRUT and Entrada. This observation is supported also by the analysis of the elements present in a photograph of a collage (conserved at the Art Library of the Calouste Gulbenkian Foundation), the only remaining evidence of a supposed maquete of these paintings. The final part of the thesis describes the application of the image processing tools developed in the first part of the thesis on a set of case studies; this experience demonstrates the potential of the tool to support painting analysis and authentication studies. The brushstroke analysis was used as additional analysis on the evaluation process of four paintings attributed to Amadeo, and the system based on hyperspectral analysis was applied on the painting dated 1917. The case studies therefore serve as a bridge between the first two parts of the dissertation.

Analysis and Treatment of a male portrait in oil and a study of the size layer with reconstructions from Vibert’s recipe (1892)

This thesis project concentrated on both the study and treatment of an early 20th century male portrait in oil from Colecção Caixa Geral de Depósitos, Lisbon, Portugal. The portrait of Januário Correia de Almeida, exhibits a tear (approximately 4.0 cm by 2.3 cm) associated with paint loss on the right upper side, where it is possible to observe an unusually thick size layer (approximately 50 microns) and an open weave mesh canvas. Size layers made from animal glue remain subject to severe dimensional changes due to changes in relative humidity (RH), thereby affecting the stability of the painting. In this case, the response to moisture of the size layer is minimal and the painting is largely uncracked with very little active flaking. This suggests that the size layer has undergone pre-treatment to render it unresponsive to moisture or water. Reconstructions based on late nineteenth century recipes using historically appropriate materials are used to explore various options for modifying the characteristics of gelatine, some of which may relate to the Portrait’s size layer. The thesis is separated into two parts: Part 1: Describes the history, condition, materials and techniques of the painting. It also details the treatment of Januário Correia de Almeida as well as the choices made and problems encountered during the treatment. Part 2: Discusses the history of commercial gelatine production, the choice of the appropriate animal source to extract the collagen to produce reconstructions of the portrait’s size layer as well as the characterization of selected reconstructions. The execution of a shallow textured infill led to one publication and one presentation: Abstract accepted for presentation and publication, International Meeting on Retouching of Cultural Heritage (RECH3), Francisco Brites, Leslie Carlyle and Raquel Marques, ‘’Hand building a Low Profile Textured Fill for a Large Loss’’.

Spatio-temporal modelling of environmental data

Programa Doutoral em Matemática e Aplicações.

A excelência da escola pública portuguesa: efeitos sobre o modo de trabalho do professor

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

Mitral valve repair. Quadrangular resection of the posterior leaflet in patients with myxomatous degeneration

OBJECTIVE - To analyze the immediate and late results of mitral valve repair with quadrangular resection of the posterior leaflet without the use of a prosthetic ring annuloplasty. METHODS - Using this technique, 118 patients with mitral valve prolapse who underwent mitral repair from January '84 through December '96 were studied. Age ranged from 30 to 86 (mean = 59.1±11.8) years and 62.7% were males. An associated surgery was performed in 22% of the patients, and coronary artery bypass graft was the most frequently performed surgery (15 patients - 12.7%). In 20 (16.9%) patients other associated techniques of mitral valve repair were used and shortening of elongated chordae tendineae was the most frequent one (6 patients). RESULTS - Immediate mortality was 0.9% (one patient). Long-term rates for thromboembolism, endocarditis, re-operation and death in the late postoperative period were 0.4%, 0.4%, 1.7% and 2.2% patients/year, respectively. The actuarial curve of survival was 83.8±8.6% over 12 years; survival free from re-operation was 91.8±4.3%, free from endocarditis was 99.2±0.8% and free from thromboembolism was 99.2±0.8%. In the late postoperative period, 93.8% of the patients were in functional class 1 (NYHA), with a complete follow-up in 89.7% of the patients. CONCLUSION - Patients with mitral valve prolapse who undergo mitral valve repair using this technique have a satisfactory prognosis over 12 years.