A proof system for lock-free concurrency

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Children consumer behaviour field lab: The Nestum consumer

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Introducing Mobile Money in Rural Mozambique: Evidence from a Field Experiment*

The limitations of access to finance in Africa, together with the recent boom in cell phone use in that continent, created high expectations regarding the introduction of mobile money in many African countries. The success story of M-PESA in Kenya raised the bar further. We designed and conducted a field experiment to assess the impact of randomized mobile money dissemination in rural Mozambique. For this purpose we benefit from the fact that mobile money was only recently launched in the country, allowing for the identification of a pure control group. This paper reports on the first results of this ongoing project after the first wave of dissemination efforts in rural locations, which included the recruitment and training of mobile money agents, community meetings and theaters, as well as individual rural campaigning. Administrative and behavioral data both show clear adherence to the services in the treatment group. Financial literacy and trust outcomes are also positively affected by the treatment. We present behavioral evidence that the marginal willingness to remit was increased by the availability of mobile money. Finally, we observe a tendency for mobile money to substitute traditional alternatives for both savings and remittances.

Vitamin A Deficiency and Training to Farmers: Evidence from a Field Experiment in Mozambique

Vitamin A deficiency is a widespread public health problem in Sub-Saharan Africa. This paper analyzes the impact of a food-based intervention to fight vitamin A deficiency using orange-fleshed sweet potato (OFSP). We conducted a randomized evaluation of OFSP-related training to female farmers in Mozambique, in which the treatment group was taught basic concepts of nutrition, and OFSP-planting and cooking skills. We found encouraging evidence of changes in behavior and attitudes towards OFSP consumption and planting, and considerable increases in nutrition-related knowledge, as well as knowledge on cooking and planting OFSP.

Vitamin A deficiency and training to farmers: Evidence from a field experiment in Mozambique

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Forecasts of relative performance in tournaments: Evidence from the field

This paper uses a field experiment to investigate the quality of individuals’ forecasts of relative performance in tournaments. We ask players in luck-based (poker) and skill-based (chess) tournaments to make point forecasts of rank. The main finding of the paper is that players’ forecasts in both types of tournaments are biased towards overestimation of relative performance. However, the size of the biases found is not as large as the ones often reported in the psychology literature. We also find support for the “unskilled and unaware hypothesis” in chess: high skilled chess players make better forecasts than low skilled chess players. Finally, we find that chess players’ forecasts of relative performance are not efficient.

Development of population-specific function assessment intrument in Lebanon

RESUMO: Contexto: O funcionamento tem sido reconhecido como um dos principais indicadores de resultados para avaliar se as pessoas beneficiam das intervenções destinadas a melhorar a sua saúde mental. O funcionamento refere-se à forma como um indivíduo consegue responder às suas tarefas e solicitações, dos seus familiares e da sua comunidade, de acordo com os requisitos do local e a cultura em que vive (eg, tarefa de cozinhar e limpar para as mulheres em algumas culturas ). O funcionamento é altamente dependente da cultura - por isso, tem sido recomendado o desenvolvimento de medidas de funcionamento específicas de cada cultura. Desenvolver localmente os instrumentos de medida evita problemas de adequação, associados com a adaptação de instrumentos ocidentais. Embora os instrumentos criados desta forma sejam específicos de um meio cultural, eles são simultaneamente "transculturais", no sentido em que cada um se refere às tarefas mais importantes para a população local . Esta abordagem mostrou-se útil para investigadores e agências de ajuda (eg, ONGs) que trabalham em países não-ocidentais . Este estudo descreve o trabalho da agência International Medical Corps (IMC) na criação e validação de um questionário de funcionamento específico nas dimensões cultura e gênero, no Líbano, destinado a avaliar eventuais melhorias em pessoas que receberam intervenções de para problemas de saúde mental, a nível dos cuidados primários de saúde. Método: O instrumento foi desenvolvido usando um método que é uma alternativa à abordagem existente de adaptação de instrumentos ocidentais a outras culturas e situações; esta abordagem é rápida e exequível, tendo já demonstrado ser útil no desenvolvimento de instrumentos válidos e fidedignos. Inicialmente, foi solicitado que as pessoas identificassem, de uma lista livre, as tarefas mais importantes para cuidar de si próprias, da sua família e da sua comunidade; as tarefas identificadas foram posteriormente usadas como base para um instrumento de avaliação de funcionamento culturalmente válido. A partir daqui, foram desenvolvidos questionários específicos da comunidade em questão, posteriormente testados no terreno nas vertentes da validade (de conteúdo, facial e de constructo) e da fiabilidade (teste-reste e inter-entrevistadores). Resultados. O estudo resultou na criação e validação de um questionário de funcionamento específico de cultura e gênero capaz de medir efectivamente a capacidade de execução de tarefas importantes do quotidiano,como parte da avaliação de resultados levada a cabo por profissionais da CSP previamente treinados na identificação, suporte e encaminhamento de pessoas com problemas de saúde mental no Líbano. Conclusão. Neste trabalho descreve-se o desenvolvimento de um questionário de funcionamento específico de cultura e gênero, orientado para a avaliação de resultados, num contexto mais lato de um sistema abrangente de avaliação e monitorização de um serviço comunitário. --------------ABSTRACT: Background. Functioning has been recognized as one of the most important key outcomes to assess whether people benefit from interventions aimed to improve their mental health. Functioning refers to how well na individual can complete the tasks and demands for themselves, their family, and their community which are required by them depending on the setting and the culture they live in (e.g. task of cooking and cleaning for women in some cultures). Functioning is highly dependent on culture. Therefore, it has been recommended to develop culture-specific measures of function. Developing instruments locally avoids the problems of limited local relevance and appropriateness associate with adapting western instruments. Although each instrument created in this way is culturally bound, they are “cross cultural” in the sense that each refers to the tasks most important to local people. This approach proves useful for both researchers and aid agencies working in non-western countries. This study describes International Medical Corps’ (IMC) work in Lebanon to create and validate a culture and gender specific functioning questionnaire to assess improvements in people who received treatment interventions for mental health problems at the primary health care (PHC) level. Method. The measure was developed using a method that is an alternative to the existing approach of adapting western function instruments to other cultures and situations; an approach which has been demonstrated as rapid, feasible and which can yield valid and reliable instruments. Function was assessed by first asking local people what tasks are important to care for themselves, their family and their community using free listing, then using these tasks as the basis for a culturally valid function assessment instrument. Community specific function questionnaires based on these tasks were then created, and field-tested for validity using content, face and construct validity methods, and also field tested for reliability using inter-rater and test retest reliability methods. Results. The study resulted in the creation and validation of a culture and gender specific functioning questionnaire that would effectively measure the ability to do tasks important to daily existence, as part of assessing client level outcomes where PHC providers were trained in the identification, management and referral of people with mental health problems in Lebanon. Conclusion. The paper describes a successful pilot for developing culture and gender specific functioning questionnaires that evaluate client level outcomes as part of a more comprehensive system for monitoring and evaluation of community based case management supports and services.

Automatic delimitation of the clinical region of interest in ultra-wide field of view images of the retina

Retinal ultra-wide field of view images (fundus images) provides the visu-alization of a large part of the retina though, artifacts may appear in those images. Eyelashes and eyelids often cover the clinical region of interest and worse, eye-lashes can be mistaken with arteries and/or veins when those images are put through automatic diagnosis or segmentation software creating, in those cases, the appearance of false positives results. Correcting this problem, the first step in the development of qualified auto-matic diseases diagnosis programs can be done and in that way the development of an objective tool to assess diseases eradicating the human error from those processes can also be achieved. In this work the development of a tool that automatically delimitates the clinical region of interest is proposed by retrieving features from the images that will be analyzed by an automatic classifier. This automatic classifier will evaluate the information and will decide which part of the image is of interest and which part contains artifacts. The results were validated by implementing a software in C# language and validated through a statistical analysis. From those results it was confirmed that the methodology presented is capable of detecting artifacts and selecting the clin-ical region of interest in fundus images of the retina.

Caracterização de cepas de referência de Leptospira sp utilizando a técnica de pulsed field gel electrophoresis

INTRODUÇÃO: A leptospirose é uma zoonose endêmica, mundialmente distribuída, causada por bactérias do gênero Leptospira. Este gênero compreende espécies patogênicas e saprofíticas, com mais de 200 sorovares distintos, dificultando sua caracterização. A técnica de pulsed field gel electrophoresis tem sido empregada como uma ferramenta para auxiliar nesta caracterização. Os objetivos deste trabalho foram padronizar a técnica de PFGE, determinar os perfis moleculares das cepas de referência utilizadas pelo Laboratório de Referência Nacional para Leptospirose/Centro Colaborador da Organização Mundial de Saúde para Leptospirose e criar um banco de dados com estes perfis. MÉTODOS: Foram analisadas, por PFGE, dezenove cepas utilizando a enzima de restrição NotI. RESULTADOS: Cada cepa apresentou um perfil único que pode ser considerado como uma identidade genômica específica, com exceção dos sorovares Icterohaemorrhagiae e Copenhageni, cujos perfis foram indistinguíveis. CONCLUSÕES: Dessa forma, foi possível a criação de um banco de perfis moleculares que está sendo utilizado no Laboratório para a comparação e identificação de cepas isoladas de quadros clínicos.

Numerical prediction of diffusion and electric field-induced iron nanoparticle transport

Zero valent iron nanoparticles (nZVI) are considered very promising for the remediation of contaminated soils and groundwaters. However, an important issue related to their limited mobility remains unsolved. Direct current can be used to enhance the nanoparticles transport, based on the same principles of electrokinetic remediation. In this work, a generalized physicochemical model was developed and solved numerically to describe the nZVI transport through porous media under electric field, and with different electrolytes (with different ionic strengths). The model consists of the Nernst–Planck coupled system of equations, which accounts for the mass balance of ionic species in a fluid medium, when both the diffusion and electromigration of the ions are considered. The diffusion and electrophoretic transport of the negatively charged nZVI particles were also considered in the system. The contribution of electroosmotic flow to the overall mass transport was included in the model for all cases. The nZVI effective mobility values in the porous medium are very low (10−7–10−4 cm2 V−1 s−1), due to the counterbalance between the positive electroosmotic flow and the electrophoretic transport of the negatively charged nanoparticles. The higher the nZVI concentration is in the matrix, the higher the aggregation; therefore, low concentration of nZVI suspensions must be used for successful field application.

Evolution of reputation in networks: A mean field game approach

This work models the competitive behaviour of individuals who maximize their own utility managing their network of connections with other individuals. Utility is taken as a synonym of reputation in this model. Each agent has to decide between two variables: the quality of connections and the number of connections. Hence, the reputation of an individual is a function of the number and the quality of connections within the network. On the other hand, individuals incur in a cost when they improve their network of contacts. The initial value of the quality and number of connections of each individual is distributed according to an initial (given) distribution. The competition occurs over continuous time and among a continuum of agents. A mean field game approach is adopted to solve the model, leading to an optimal trajectory for the number and quality of connections for each individual.

Cat infected by a variant of bat rabies virus in a 29-year disease-free urban area of southern Brazil

INTRODUCTION: After 29 years, rabies was detected in a cat in Curitiba, southern Brazil. METHODS: The fluorescent antibody test (FAT) and mouse inoculation test (MIT) were performed on central nervous system (CNS) samples. RESULTS: Direct immunofluorescence was negative, but the biological test was positive and rabies virus was characterized as variant 4 (from Tadarida brasiliensis). CONCLUSIONS: Reappearance of rabies in domestic animals warns of sylvatic-aerial risk of infection and the necessity of monitoring bats in historically rabies-free areas.

Occurrence of Triatoma costalimai (Hemiptera: Reduviidae) in different environments and climatic seasons: a field study in the Brazilian savanna

INTRODUCTION: Trypanosoma cruzi-infected specimens of Triatoma costalimai have been detected in domiciliary units of Central Brazil, thereby maintaining the potential risk of vectorial transmission of Chagas disease. The aim of this study was to determine the occurrence and natural infection of T. costalimai in different environments (gallery forest, dry forest and peridomicile) and climatic seasons (wet and dry), in the municipality of Mambaí, State of Goiás, Brazil. METHODS: Triatomines were captured in October 2010 and in June 2011, employing two different methods (manual capture and mouse-baited adhesive traps). The insects were later separated by sex and nymphal stage, counted and examined parasitologically by abdominal compression and microscopic analysis of feces. RESULTS: Triatoma costalimai was found in three environments and in the two seasons studied. Overall, capture success of 900 traps and 60 blocks of rocks inspected was 5.8% and 11.7%, respectively. The occurrence of T. costalimai was higher among rocks in the peridomicile, where 97% of the 131 specimens were captured. The proportion of nymphs (98%) was much higher than that of adults, which were only detected in peridomicile. Most (95%) insects were captured during the wet season, with predominance of early-stage nymphs. None of the 43 specimens examined were infected by trypanosomatids. CONCLUSIONS: The results indicate a greater occurrence of T. costalimai in peridomiciliary environments and during the wet season in Mambaí, Goiás, highlighting the synanthropic behavior of this triatomine species in one area of the Brazilian savanna and the importance of entomological surveillance.

Detection of arboviruses of public health interest in free-living New World primates (Sapajus spp.; Alouatta caraya) captured in Mato Grosso do Sul, Brazil

Introduction A sero-epidemiological survey was undertaken to detect the circulation of arboviruses in free-living non-human primates. Methods Blood samples were obtained from 16 non-human primates (13 Sapajus spp. and three Alouatta caraya) that were captured using terrestrial traps and anesthetic darts in woodland regions in the municipalities of Campo Grande, Aquidauana, Jardim, Miranda and Corumbá in the State of Mato Grosso do Sul, Brazil. The samples were sent to the Instituto Evandro Chagas (IEC) in Ananindeua, Pará, Brazil, to detect antibodies against 19 species of arboviruses using a hemagglutination inhibition test (HI). Results Of the 16 primates investigated in the present study, five (31.2%) were serologically positive for an arbovirus. Of these five, two (12.5%) exhibited antibodies to the Flavivirus genus, one (6.2%) exhibited a monotypic reaction to Cacipacoré virus, one (6.2%) was associated with Mayaro virus, and one (6.2%) was positive for Oropouche virus. Conclusions Based on the positive serology observed in the present study, it was possible to conclude that arboviruses circulate among free-living primates. The viruses in the areas studied might have been introduced by infected humans or by primates from endemic or enzootic areas. Studies of this nature, as well as efficient and continuous surveillance programs, are needed to monitor viral activities in endemic and enzootic regions.

Serological evidence for Saint Louis encephalitis virus in free-ranging New World monkeys and horses within the upper Paraná River basin region, Southern Brazil

Introduction Saint Louis encephalitis virus (SLEV) primarily occurs in the Americas and produces disease predominantly in humans. This study investigated the serological presence of SLEV in nonhuman primates and horses from southern Brazil. Methods From June 2004 to December 2005, sera from 133 monkeys (Alouatta caraya, n=43; Sapajus nigritus, n=64; Sapajus cay, n=26) trap-captured at the Paraná River basin region and 23 blood samples from farm horses were obtained and used for the serological detection of a panel of 19 arboviruses. All samples were analyzed in a hemagglutination inhibition (HI) assay; positive monkey samples were confirmed in a mouse neutralization test (MNT). Additionally, all blood samples were inoculated into C6/36 cell culture for viral isolation. Results Positive seroreactivity was only observed for SLEV. A prevalence of SLEV antibodies in sera was detected in Alouatta caraya (11.6%; 5/43), Sapajus nigritus (12.5%; 8/64), and S. cay (30.8%; 8/26) monkeys with the HI assay. Of the monkeys, 2.3% (1/42) of A. caraya, 6.3% 94/64) of S. nigritus, and 15.4% (4/26) of S. cay were positive for SLEV in the MNT. Additionally, SLEV antibodies were detected by HI in 39.1% (9/23) of the horses evaluated in this study. Arboviruses were not isolated from any blood sample. Conclusions These results confirmed the presence of SLEV in nonhuman primates and horses from southern Brazil. These findings most likely represent the first detection of this virus in nonhuman primates beyond the Amazon region. The detection of SLEV in animals within a geographical region distant from the Amazon basin suggests that there may be widespread and undiagnosed dissemination of this disease in Brazil.