Domestic Rhodnius ecuadoriensis (Hemiptera, Reduviidae) infestation in Northern Peru: a comparative trial of detection methods during a six-month follow-up

Two passive methods in the assessment of intradomiciliary infestation by Rhodnius ecuadoriensis were tested: (i) the Gomes Nuñez sensor box (GN), (ii) sheets of white typing paper and (iii) one active timed manual method. The study was carried out in the Alto Chicama River Valley, Province of Gran Chimú, Department of La Libertad. The study design consisted of an initial searching of triatomines inside of the domestic environment by the manual capture active procedure (man/hour) covering all the studied houses. Then, matched pairs of GN boxes and paper sheets were simultaneously installed in the bedrooms of 207 households distributed in 19 localities. A comparative prospective trial of these passive detection devices were monitored at 2, 4 and, finally 6 months follow-up. Parasitological Trypanosoma rangeli and/or T. cruzi infections were investigated in two houses with high level of infestation by R. ecuadoriensis.16.9% of the 207 households investigated by an initial active manual method were infested with R. ecuadoriensis. The proportion of infested houses fluctuated from 6.2 to 55.5% amongst the 19 localities investigated. T. rangeli natural infection was detected in R.ecuadoriensis specimens collected in two households. Parasite rates in the bugs ranged from 16.6 to 21.7% respectively. The most striking fact was an average rate of salivary gland infection ranging from 7.4 to 8.3%. At the end of the sixth month period, a cumulative incidence of 31.4% of positive GN boxes against 15.9% for paper sheets was recorded. All three methods combined detected domestic infestation in 129 (62.3%) of the 207 houses studied in the 19 localities. The range of houses infested varies from 6.7% to 92.9%. In areas with low bug density infestation rates, the methodology experienced in our studies, seems to be the best choice for investigations on domestic R. ecuadoriensis populations.

Análise proteômica de células não fagocíticas na fase inicial da infecção por trypanosoma cruzi

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Medicina, Programa de Pós-Graduação em Patologia Molecular, 2015.

Methods for Modeling and Analyzing Concurrent Software

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.

Asociación entre factores socioeconómicos y hábitos de limpieza en gestantes de Usaquén y Kennedy de la ciudad de Bogotá

Introducción: Actualmente existe un reconocimiento creciente de que el hogar desempeña un papel importante en varias cuestiones de higiene y salud pública. El ambiente del hogar ha sido implicado como una fuente importante de propagación de enfermedades infecciosas, y la intervención de las medidas de higiene, implican una reducción de la incidencia, especialmente en los países menos desarrollados y en poblaciones vulnerables como las gestantes. Objetivo: Evaluar la asociación entre la práctica de hábitos higiénicos de las gestantes estrato 1 y 2 de las localidades de Usaquén y Kennedy en relación a sus factores socioeconómicos. Métodos: Estudio Analítico de Corte transversal. Se realizó en las gestantes de los estratos 1 y 2 de las localidades de Usaquén y Kennedy en la ciudad de Bogotá. Se recolectaron datos referentes a factores socioeconómicos y hábitos de higiene de 141 gestantes a través de la aplicación de una encuesta. Los datos obtenidos de las variables de interés fueron procesados a través de análisis multivariado y regresión logística paramétrica y no paramétrica, con el fin de establecer si existía asociación o no entre las mismas. Resultados: Existe asociación entre el número de Nacidos vivos y la presencia de plagas (p=0.034 y Coeficiente de correlación: -1.253). Así mismo se encontró asociación habitar en cuartos rentados y la limpieza de casa general (p=0.008 y Coeficiente de correlación: 0.480). Existe una asociación entre la variable edad y el lavado de frutas (p=0.041 y Coeficiente de correlación: 0.384). Conclusiones: Existe relación entre los hábitos higiénicos y los factores socioeconómicos de las gestantes estudiadas. Existe un mayor hábito de lavado de frutas antes de ser consumidas en gestantes de mayor edad. Adicional a esto se evidencia a mayor número de hijos hay menor presencia de plagas en el hogar y mayor limpieza del hogar. Solo en un pequeño porcentaje de los hogares se evidencio una óptima limpieza, por lo cual se deben plantear más políticas para mejorar la higiene de los mismos ya que los datos reportados permanecen subóptimos en la población seleccionada.

Tratamento de sementes para manejo do percevejo-barriga-verde na cultura de soja e milho em sucessão.

RESUMO: O objetivo deste trabalho foi avaliar o efeito do tratamento de sementes com inseticidas sobre o manejo de Dichelops melacanthus e a produtividade da soja e do milho, cultivados em sucessão. O estudo foi realizado em campo, nas safras 2012/2013 (I) e 2013/2014 (II). Avaliaram-se os inseticidas imidacloprido, tiametoxam, tiodicarbe, fipronil e abamectina. Determinaram-se: a densidade populacional do percevejo, a produtividade de soja e milho, e a intensidade da injúria em milho. A densidade do percevejo permaneceu abaixo de um inseto por metro quadrado, na maior parte do ciclo da soja. Os picos populacionais foram observados nas primeiras semanas, após a emergência do milho, e atingiram 2,2 (safra I) e 6,7 (safra II) percevejos por metro quadrado. Na cultura da soja, os inseticidas não reduziram a densidade populacional do percevejo. Na cultura do milho, o imidacloprido reduziu a densidade do percevejo em 23,2% (safra I) e 38,8% (safra II), e a injúria em 61,8% (safra I) e 26,4% (safra II). O tiametoxam reduziu a densidade dos insetos em 27,8% (safra II) e a injúria em 42,7% (safra I). O tratamento de sementes com inseticidas não proporciona aumento de produtividade à soja e ao milho, portanto, não se justifica sua utilização nas condições deste estudo. ABSTRACT: The objective of this work was to evaluate the effect of seed treatment with insecticides on the management of Dichelops melacanthus on the yield of soybean and corn, grown in succession. The study was carried out in a field, in the 2012/2013 (I) and 2013/2014 (II) crop seasons. The evaluated insecticides were: imidacloprid, thiamethoxam, thiodicarb, fipronil, and abamectin. The following were determined: stink bug population density, soybean and corn yield, and corn injury. Population density remained below one stink bug per square meter, in most of the soybean cycle. Population peaks were observed in the first weeks, after corn emergence, and they reached 2.2 (crop season I) and 6.7 (crop season II) stink bugs per square meter. In the soybean crop, the insecticides did not reduce the stink bug population density. In the corn crop, imidacloprid reduced the stink bug density in 23.2% (crop season I) and 38.8% (crop season II), and injury in 61.8% (crop season I) and 26.4% (crop season II). Thiamethoxam reduced the insect population density in 27.8% (crop season II) and injury in 42.7% (crop season I). Seed treatment with insecticides does not provide increase for soybean and corn yields, therefore, their use is not justified in this study's conditions.

Hardware-In-The Loop setup and test of an air spring control system

In this work, a Hardware-in-the-loop test bench is designed. The bench is used to test the behaviour of an electronic control unit used in Maserati to control the dynamics of an air spring system. First the mathematical model of the plant has been defined, then the simulation enviroment and the test environment have been set up. The performed tests succesfully highlighted some bugs in the device under test.

Big Code Applications and Approaches

The availability of a huge amount of source code from code archives and open-source projects opens up the possibility to merge machine learning, programming languages, and software engineering research fields. This area is often referred to as Big Code where programming languages are treated instead of natural languages while different features and patterns of code can be exploited to perform many useful tasks and build supportive tools. Among all the possible applications which can be developed within the area of Big Code, the work presented in this research thesis mainly focuses on two particular tasks: the Programming Language Identification (PLI) and the Software Defect Prediction (SDP) for source codes. Programming language identification is commonly needed in program comprehension and it is usually performed directly by developers. However, when it comes at big scales, such as in widely used archives (GitHub, Software Heritage), automation of this task is desirable. To accomplish this aim, the problem is analyzed from different points of view (text and image-based learning approaches) and different models are created paying particular attention to their scalability. Software defect prediction is a fundamental step in software development for improving quality and assuring the reliability of software products. In the past, defects were searched by manual inspection or using automatic static and dynamic analyzers. Now, the automation of this task can be tackled using learning approaches that can speed up and improve related procedures. Here, two models have been built and analyzed to detect some of the commonest bugs and errors at different code granularity levels (file and method levels). Exploited data and models’ architectures are analyzed and described in detail. Quantitative and qualitative results are reported for both PLI and SDP tasks while differences and similarities concerning other related works are discussed.

Query Library Development and Anomaly Detection on Flight Data

During the last semester of the Master’s Degree in Artificial Intelligence, I carried out my internship working for TXT e-Solution on the ADMITTED project. This paper describes the work done in those months. The thesis will be divided into two parts representing the two different tasks I was assigned during the course of my experience. The First part will be about the introduction of the project and the work done on the admittedly library, maintaining the code base and writing the test suits. The work carried out is more connected to the Software engineer role, developing features, fixing bugs and testing. The second part will describe the experiments done on the Anomaly detection task using a Deep Learning technique called Autoencoder, this task is on the other hand more connected to the data science role. The two tasks were not done simultaneously but were dealt with one after the other, which is why I preferred to divide them into two separate parts of this paper.

Melhoria da atenção aos portadores de hipertensão arterial sistêmica e diabetes mellitus da Unidade de Saúde 24 horas do município de Marechal Candido Rondon/PR

O presente estudo é fruto da análise de uma atividade de intervençãorealizada na Unidade de Saúde 24 horas da cidade de Marechal Cândido Rondon/PR. A intervenção foi proposta pelo Curso de Especialização em Saúde da Família da Universidade Federal de Pelotas. O objetivo principal do estudo foi melhorar a atenção a saúde de adultos portadores de hipertensão arterial sistêmica e/ou diabetes mellitus pertencentes a área de abrangência da referida Unidade. Os dados foram coletados de outubro de 2013 a fevereiro de 2014 através de fichas-espelho, após a coleta os dados foram sistematizados e analisados em planilhas. Os resultados do estudo comprovam a melhoria da atenção aos usuários do serviço de saúde após realização de ações de ampliação da cobertura de atenção como, por exemplo, o acompanhamento de 437 hipertensos residentes na área de cobertura do total de 1.719 hipertensos estimados para a área o que significa um percentual de 25,4%; melhora da adesão do hipertenso e/ou diabético ao programa; realização de exame clínico nos usuários, foi realizado o exame de 309 hipertensos residentes na área de cobertura do total de 437 hipertensos acompanhados na intervenção o que significa um percentual de 70,7%; melhora do registro das informações; mapeamento dos usuários para risco de doença cardiovascular e ações de promoção da saúde. A intervenção apresentou resultados positivos para o serviço de saúde, para a equipe de profissionais e para a comunidade. Houve maior integração entre diferentes setores e profissionais do serviço ao encaminharem usuários para o acompanhamento, ampliou-se a cobertura e a qualidade da atenção aos usuários no sentido da integralidade, as ações passaram a identificar riscos de complicações precocemente e a intervenção foi incorporada à rotina do serviço.