Towards an algorithmic skeleton framework for programming the Intel R Xeon PhiTM processor

The Intel R Xeon PhiTM is the first processor based on Intel’s MIC (Many Integrated Cores) architecture. It is a co-processor specially tailored for data-parallel computations, whose basic architectural design is similar to the ones of GPUs (Graphics Processing Units), leveraging the use of many integrated low computational cores to perform parallel computations. The main novelty of the MIC architecture, relatively to GPUs, is its compatibility with the Intel x86 architecture. This enables the use of many of the tools commonly available for the parallel programming of x86-based architectures, which may lead to a smaller learning curve. However, programming the Xeon Phi still entails aspects intrinsic to accelerator-based computing, in general, and to the MIC architecture, in particular. In this thesis we advocate the use of algorithmic skeletons for programming the Xeon Phi. Algorithmic skeletons abstract the complexity inherent to parallel programming, hiding details such as resource management, parallel decomposition, inter-execution flow communication, thus removing these concerns from the programmer’s mind. In this context, the goal of the thesis is to lay the foundations for the development of a simple but powerful and efficient skeleton framework for the programming of the Xeon Phi processor. For this purpose we build upon Marrow, an existing framework for the orchestration of OpenCLTM computations in multi-GPU and CPU environments. We extend Marrow to execute both OpenCL and C++ parallel computations on the Xeon Phi. We evaluate the newly developed framework, several well-known benchmarks, like Saxpy and N-Body, will be used to compare, not only its performance to the existing framework when executing on the co-processor, but also to assess the performance on the Xeon Phi versus a multi-GPU environment.

Rapid detection of Van genes in rectal swabs by real time PCR in Southern Brazil

INTRODUCTION: Laboratory-based surveillance is an important component in the control of vancomycin resistant enterococci (VRE). METHODS: The study aimed to evaluate real-time polymerase chain reaction (RT-PCR) (genes vanA-vanB) for VRE detection on 115 swabs from patients included in a surveillance program. RESULTS: Sensitivity of RT-PCR was similar to primary culture (75% and 79.5%, respectively) when compared to broth enriched culture, whereas specificity was 83.1%. CONCLUSIONS: RT-PCR provides same day results, however it showed low sensitivity for VRE detection.

Interpretation of the presence of IgM and IgG antibodies in a rapid test for dengue: analysis of dengue antibody prevalence in Fortaleza City in the 20th year of the epidemic

INTRODUCTION: The diagnosis of dengue and the differentiation between primary and secondary infections are important for monitoring the spread of the epidemic and identifying the risk of severe forms of the disease. The detection of immunoglobulin (Ig)M and IgG antibodies is the main technique for the laboratory diagnosis of dengue. The present study assessed the application of a rapid test for dengue concerning detection of new cases, reinfection recognition, and estimation of the epidemic attack rate. METHODS: This was a retrospective, cross-sectional, descriptive study on dengue using the Fortaleza Health Municipal Department database. The results from 1,530 tested samples, from 2005-2006, were compared with data from epidemiological studies of dengue outbreaks in 1996, 2003, and 2010. RESULTS: The rapid test confirmed 52% recent infections in the tested patients with clinical suspicion of dengue: 40% detected using IgM and 12% of new cases using IgG in the non-reactive IgM results. The positive IgM plus negative IgG (IgM+ plus IgG-) results showed that 38% of those patients had a recent primary dengue infection, while the positive IgG plus either positive or negative IgM (IgG+ plus IgM+/-) results indicated that 62% had dengue for at least a second time (recent secondary infections). This proportion of reinfections permitted us to estimate the attack rate as >62% of the population sample. CONCLUSIONS: The rapid test for dengue has enhanced our ability to detect new infections and to characterize them into primary and secondary infections, permitting the estimation of the minimal attack rate for a population during an outbreak.

Establishment and evaluation of flexible insect cell lines for rapid production of recombinant proteins

Fundação para a Ciência e a Tecnologia (FCT) - (PTDC/EBB-EBI/102266/2008 and SFRH/BD/43830/2008, respectively) and by European Community’s FP7/2007-2013 (grant agreement nº 270089)

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

Rapid detection and differentiation of mycobacterial species using a multiplex PCR system

Introduction The early diagnosis of mycobacterial infections is a critical step for initiating treatment and curing the patient. Molecular analytical methods have led to considerable improvements in the speed and accuracy of mycobacteria detection. Methods The purpose of this study was to evaluate a multiplex polymerase chain reaction system using mycobacterial strains as an auxiliary tool in the differential diagnosis of tuberculosis and diseases caused by nontuberculous mycobacteria (NTM) Results Forty mycobacterial strains isolated from pulmonary and extrapulmonary origin specimens from 37 patients diagnosed with tuberculosis were processed. Using phenotypic and biochemical characteristics of the 40 mycobacteria isolated in LJ medium, 57.5% (n=23) were characterized as the Mycobacterium tuberculosis complex (MTBC) and 20% (n=8) as nontuberculous mycobacteria (NTM), with 22.5% (n=9) of the results being inconclusive. When the results of the phenotypic and biochemical tests in 30 strains of mycobacteria were compared with the results of the multiplex PCR, there was 100% concordance in the identification of the MTBC and NTM species, respectively. A total of 32.5% (n=13) of the samples in multiplex PCR exhibited a molecular pattern consistent with NTM, thus disagreeing with the final diagnosis from the attending physician. Conclusions Multiplex PCR can be used as a differential method for determining TB infections caused by NTM a valuable tool in reducing the time necessary to make clinical diagnoses and begin treatment. It is also useful for identifying species that were previously not identifiable using conventional biochemical and phenotypic techniques.

Performance of a rapid diagnostic test for the detection of visceral leishmaniasis in a large urban setting

Introduction Rapid diagnostic tests (RDTs) may improve the early detection of visceral leishmaniasis (VL), but their real-world performance requires additional study. Therefore, we evaluated the performance of an rK39-based RDT (Kalazar Detect™) for the detection of VL in an endemic, large urban area. Methods Data were collected from a registry of rK39 RDT performed at 11 emergency care units in Belo Horizonte, Brazil, and from a national database of reportable communicable diseases of the Sistema de Informação de Agravos de Notificação (SINAN). Results The rapid rK39 test was performed in 476 patients, with 114 (23.9%) positive results. The analysis of rK39 RDT performance was based on 381 (80%) cases reported to the SINAN database, of which 145 (38.1%) were confirmed cases. Estimates for sensitivity and specificity were 72.4% (95% CI: 64.6-79%) and 99.6% (95%CI: 97.6-99.9%), respectively. Positive and negative predictive values were estimated at 99.1% (95%CI: 94.9-99.8%) and 85.5% (95%CI: 80.8-89.1%), respectively. In addition, close agreement between the rK39 RDT and indirect immunofluorescence was observed. Conclusions In summary, the rK39 RDT showed a high specificity but only moderate sensitivity. In endemic areas for VL, treatment may be considered in cases with clinical manifestations and a positive rK39 RDT, but those with a negative test should be subjected to further investigation.

A rapid and simple method to detect ESBL in Enterobacter cloacae based on MIC of cefepime

INTRODUCTION: The aim of this study was to identify a rapid and simple phenotypic method for extended-spectrum β-lactamase (ESBL) detection in Enterobacter cloacae. METHODS: A total of 79 consecutive, non-repeated samples of E. cloacae were evaluated. Four phenotypic methods were applied for ESBL detection, results were compared to multiplex polymerase chain reaction (PCR) as the gold standard reference method: 1) ceftazidime and cefotaxime disks with and without clavulanate, both with boronic acid added; 2) disk approximation using cefepime and amoxicillin/clavulanate; 3) ESBL screening by minimum inhibitory concentration (MIC) ≥ 16µg/mL and 4) by MIC ≥ 2µg/mL for cefepime. RESULTS: Method 4 showed the best combination of sensitivity (100%) and specificity (94%). CONCLUSIONS: MIC ≥ 2µg/mL for cefepime would be very useful for the phenotypic detection of ESBL in samples of E. cloacae.

HIV/AIDS epidemic in the State of Amazonas: characteristics and trends from 2001 to 2012

A scoping review was conducted to describe the epidemiological characteristics of the human immunodeficiency virus/acquired immunodeficiency syndrome (HIV/AIDS) epidemic in the State of Amazonas, Brazil, from 2001 to 2012, and temporary patterns were estimated from surveillance data. The results suggest that in its third decade, the Amazon HIV/AIDS epidemic is far from being stabilized and displays rising AIDS incidence and mortality rates and late diagnoses. The data suggest that AIDS cases are hitting mostly young adults and have recently shifted toward men, both homosexual and heterosexual. AIDS cases among the indigenous people have remained stable and low. However, the epidemic has disseminated to the interior of the state, which adds difficulties to its control, given the geographical isolation, logistical barriers, and culturally and ethnically diverse population. Antiretroviral (ARV) therapy has been decentralized, but peripheral ARV services are still insufficient and too distant from people who need them. Recently, the expansion of point-of-care (POC) rapid HIV testing has been contributing to overcoming logistical barriers. Other new POC devices, such as the PIMA CD4 analyzer, will bring the laboratory to the patient. AIDS uniquely coexists with other tropical infections, sharing their epidemiological profiles. The increased demand for HIV/AIDS care services can only be satisfied through increased decentralization to peripheral health units, which can also naturally integrate care with other tropical infections and can promote a shift from vertical to integrated programming. Future challenges involve building surveillance data on HIV case notification and covering the spectrum of engagement in care, including adherence to treatment and follow-up loss.

Quadratic programming versus second order con programming in portfolio optimization

Despite the extensive literature in finding new models to replace the Markowitz model or trying to increase the accuracy of its input estimations, there is less studies about the impact on the results of using different optimization algorithms. This paper aims to add some research to this field by comparing the performance of two optimization algorithms in drawing the Markowitz Efficient Frontier and in real world investment strategies. Second order cone programming is a faster algorithm, appears to be more efficient, but is impossible to assert which algorithm is better. Quadratic Programming often shows superior performance in real investment strategies.

A pictorial field guide for the rapid identification of sandflies (DIPTERA: PSYCHODIDAE), commonly encountered in Pará state, Brazil.

A pictorial field guide to the 30 species of sandfly most commonly encountered in Pará State is presented, based on the easily recognised external characters of the length of the 5th palpal segment, thoracic infuscation, abdominal colour and head and body size. In most cases this allows identification to the species. In others, especially with females, it gives an indication of the species, which may then be confirmed with data from more detailed taxanomix studies. This type of field guide helps in teaching, rapid sorting of flies prior to dissection and in acquainting visitors with the variety of species present in a given area.A rapid technique for the taxonomic sorting of unmounted, freshly killed female sandflies is required, prior to the dissection of large numbers of a particular species. Such a method is useful in areas where numerous species occur in studies on natural flagellate infections, age determination and for ecological studies. With the above points in mind a pictorial field guide has been designed that enables the identification of unmounted, unmacerated specimens of the 30 more commonly encountered species of phleboto-mine sandflies (***) in Pará State, North Brazil. It is based on the easily recognised external characters of the length of the 5th palpal segment, thoracic infuscation, ad-dominal colour and proboscis and body size.Taxonomy of male phlebotomine sandflies is based on the structure of the genitalia and, as most of this is external, a wholly external character key is readily made. Female taxonomy, however, is based on the internal character of the cibarium, pharynx and sperma thecae. In order to produce an external character key we therefore return to an unso phisticated "phlebotometry" (see Martins et al., 1978 p. 3 for review), using relative lengths of the proboscis, palpal segments and body, along with the degree of infuscation. Ihis idea is not new; indeed many sandfly specialists presently use external characters to separate certain species (H. Fraiha, R. P. Lane, P. D. Ready, D. G. Young and R. D. Ward personal communications 1983 & 1984).A key used to separate five anthropophillic sandflies by Biagi (1966), in Mexico, was based mainly on palpal segment length and infuscation. Floch and Abonnenc (1952) stressed the use of relative lengths of palpal segments in their keys to the sandflies of French Guiana, and four members of the shannoni group have been similarly separated according to the degree of infuscation by Morales et al. (1982). The use of thoracic infuscation as a reliable character seems to be gaining favour, having been used by young & Fairchild (1974) and Ready & Fraiha (1981). Indeed Chariotis 1974) showed the usefulness of thoracic infuscation to sepenate 7 anthropophillic species, during studies onvesicular stomatitis in Panama. Identification using external characters is essential for work on viral isolations from sandflies, where bulk samples of whole sandflies are used.Perhaps the major advantage of a simple visual guide is for teaching purposes. Technical staff in this lnstitute are able to identify most of the species they encounter without having to use the standard, more unwieldly (and in many cases unavailable) internal character keys, and the guides presented below have allowed rapid species sorting prior to the dissection of sandflies in our leismaniasis study areas (Ryan et at. ,1985).

Implementação de um modelo de geometric semantic genetic programming para aplicação naval

Recaí sob a responsabilidade da Marinha Portuguesa a gestão da Zona Económica Exclusiva de Portugal, assegurando a sua segurança da mesma face a atividades criminosas. Para auxiliar a tarefa, é utilizado o sistema Oversee, utilizado para monitorizar a posição de todas as embarcações presentes na área afeta, permitindo a rápida intervenção da Marinha Portuguesa quando e onde necessário. No entanto, o sistema necessita de transmissões periódicas constantes originadas nas embarcações para operar corretamente – casos as transmissões sejam interrompidas, deliberada ou acidentalmente, o sistema deixa de conseguir localizar embarcações, dificultando a intervenção da Marinha. A fim de colmatar esta falha, é proposto adicionar ao sistema Oversee a capacidade de prever as posições futuras de uma embarcação com base no seu trajeto até à cessação das transmissões. Tendo em conta os grandes volumes de dados gerados pelo sistema (históricos de posições), a área de Inteligência Artificial apresenta uma possível solução para este problema. Atendendo às necessidades de resposta rápida do problema abordado, o algoritmo de Geometric Semantic Genetic Programming baseado em referências de Vanneschi et al. apresenta-se como uma possível solução, tendo já produzido bons resultados em problemas semelhantes. O presente trabalho de tese pretende integrar o algoritmo de Geometric Semantic Genetic Programming desenvolvido com o sistema Oversee, a fim de lhe conceder capacidades preditivas. Adicionalmente, será realizado um processo de análise de desempenho a fim de determinar qual a ideal parametrização do algoritmo. Pretende-se com esta tese fornecer à Marinha Portuguesa uma ferramenta capaz de auxiliar o controlo da Zona Económica Exclusiva Portuguesa, permitindo a correta intervenção da Marinha em casos onde o atual sistema não conseguiria determinar a correta posição da embarcação em questão.

Assessment of NDVI, land surface temperature and precipitation anomalies for drought monitoring in Bayankhongor province, Mongolia

During the last decade Mongolia’s region was characterized by a rapid increase of both severity and frequency of drought events, leading to pasture reduction. Drought monitoring and assessment plays an important role in the region’s early warning systems as a way to mitigate the negative impacts in social, economic and environmental sectors. Nowadays it is possible to access information related to the hydrologic cycle through remote sensing, which provides a continuous monitoring of variables over very large areas where the weather stations are sparse. The present thesis aimed to explore the possibility of using NDVI as a potential drought indicator by studying anomaly patterns and correlations with other two climate variables, LST and precipitation. The study covered the growing season (March to September) of a fifteen year period, between 2000 and 2014, for Bayankhongor province in southwest Mongolia. The datasets used were MODIS NDVI, LST and TRMM Precipitation, which processing and analysis was supported by QGIS software and Python programming language. Monthly anomaly correlations between NDVI-LST and NDVI-Precipitation were generated as well as temporal correlations for the growing season for known drought years (2001, 2002 and 2009). The results show that the three variables follow a seasonal pattern expected for a northern hemisphere region, with occurrence of the rainy season in the summer months. The values of both NDVI and precipitation are remarkably low while LST values are high, which is explained by the region’s climate and ecosystems. The NDVI average, generally, reached higher values with high precipitation values and low LST values. The year of 2001 was the driest year of the time-series, while 2003 was the wet year with healthier vegetation. Monthly correlations registered weak results with low significance, with exception of NDVI-LST and NDVI-Precipitation correlations for June, July and August of 2002. The temporal correlations for the growing season also revealed weak results. The overall relationship between the variables anomalies showed weak correlation results with low significance, which suggests that an accurate answer for predicting drought using the relation between NDVI, LST and Precipitation cannot be given. Additional research should take place in order to achieve more conclusive results. However the NDVI anomaly images show that NDVI is a suitable drought index for Bayankhongor province.

Non emergency patients transport - a mixed integer linear programming

This work presents a model and a heuristic to solve the non-emergency patients transport (NEPT) service issues given the new rules recently established in Portugal. The model follows the same principle of the Team Orienteering Problem by selecting the patients to be included in the routes attending the maximum reduction in costs when compared with individual transportation. This model establishes the best sets of patients to be transported together. The model was implemented in AMPL and a compact formulation was solved using NEOS Server. A heuristic procedure based on iteratively solving problems with one vehicle was presented, and this heuristic provides good results in terms of accuracy and computation time.