Design of a tool to study the fate of Chlamydia trachomatis infected cells

Chlamydia trachomatis has a unique obligate intracellular developmental cycle that ends by the lysis of the cell and/or the extrusion of the bacteria in order to allow for re-infections. While Chlamydia trachomatis infections are often asymptomatic the diagnosis of Chlamydia trachomatis is usually late, occurring after manifestation of persistency. Investigations on the consequences of long-term infections and the molecular mechanisms behind it will reveal light to what extent bacteria can modulate host cell function and what the ultimate fate of host cells after clearance of an infection is. Such studies on the host cell fate could be greatly facilitated if the infected cells become permanently marked during and after the infection. Therefore, this project intends to develop a new genetic tool that would allow permanently labeling of Chlamydia trachomatis host cells. The plan was to generate a Chlamydia trachomatis strain that encodes a recombinant CRE recombinase, fused to a secretory effector function of the Chlamydia type 3 secretion system (T3SS). Upon translocation into the host cell, this recombinant CRE enzyme could then, owing to its site-specific recombination function, switch a reporter gene contained in the host cell genome. To this end, the reporter line carried a membrane-tagged tdTomato (mT) gene flanked by two LoxP sequences followed by a GFP gene. The translocation of the recombinant CRE recombinase into this cell line was designed to trigger the recombination of the LoxP sites whereby the cells would turn from red fluorescence to green as an irreversible label of the infected cells. Successful execution of this mechanism would allow to draw a direct link between Chlamydia trachomatis infection and the subsequent fate of the infected cell.

Heterogeneous computing with an algorithmic skeleton framework

The Graphics Processing Unit (GPU) is present in almost every modern day personal computer. Despite its specific purpose design, they have been increasingly used for general computations with very good results. Hence, there is a growing effort from the community to seamlessly integrate this kind of devices in everyday computing. However, to fully exploit the potential of a system comprising GPUs and CPUs, these devices should be presented to the programmer as a single platform. The efficient combination of the power of CPU and GPU devices is highly dependent on each device’s characteristics, resulting in platform specific applications that cannot be ported to different systems. Also, the most efficient work balance among devices is highly dependable on the computations to be performed and respective data sizes. In this work, we propose a solution for heterogeneous environments based on the abstraction level provided by algorithmic skeletons. Our goal is to take full advantage of the power of all CPU and GPU devices present in a system, without the need for different kernel implementations nor explicit work-distribution.To that end, we extended Marrow, an algorithmic skeleton framework for multi-GPUs, to support CPU computations and efficiently balance the work-load between devices. Our approach is based on an offline training execution that identifies the ideal work balance and platform configurations for a given application and input data size. The evaluation of this work shows that the combination of CPU and GPU devices can significantly boost the performance of our benchmarks in the tested environments, when compared to GPU-only executions.

Molecular simulation of gas adsorption equilibria in nanoporous materials

This work is divided into two distinct parts. The first part consists of the study of the metal organic framework UiO-66Zr, where the aim was to determine the force field that best describes the adsorption equilibrium properties of two different gases, methane and carbon dioxide. The other part of the work focuses on the study of the single wall carbon nanotube topology for ethane adsorption; the aim was to simplify as much as possible the solid-fluid force field model to increase the computational efficiency of the Monte Carlo simulations. The choice of both adsorbents relies on their potential use in adsorption processes, such as the capture and storage of carbon dioxide, natural gas storage, separation of components of biogas, and olefin/paraffin separations. The adsorption studies on the two porous materials were performed by molecular simulation using the grand canonical Monte Carlo (μ,V,T) method, over the temperature range of 298-343 K and pressure range 0.06-70 bar. The calibration curves of pressure and density as a function of chemical potential and temperature for the three adsorbates under study, were obtained Monte Carlo simulation in the canonical ensemble (N,V,T); polynomial fit and interpolation of the obtained data allowed to determine the pressure and gas density at any chemical potential. The adsorption equilibria of methane and carbon dioxide in UiO-66Zr were simulated and compared with the experimental data obtained by Jasmina H. Cavka et al. The results show that the best force field for both gases is a chargeless united-atom force field based on the TraPPE model. Using this validated force field it was possible to estimate the isosteric heats of adsorption and the Henry constants. In the Grand-Canonical Monte Carlo simulations of carbon nanotubes, we conclude that the fastest type of run is obtained with a force field that approximates the nanotube as a smooth cylinder; this approximation gives execution times that are 1.6 times faster than the typical atomistic runs.

Chagas' disease and ageing: the coexistence of other chronic diseases with Chagas' disease in elderly patients

This study aimed to identify the main comorbidities in elderly chagasic patients treated in a reference service and identify possible associations between the clinical form of Chagas' disease and chronic diseases. Ninety patients aged 60 years-old or over were interviewed and their clinical diagnoses recorded. The study population profile was: women (55.6%); median age (67 years); married (51.1%); retired (73.3%); up to four years' education (64.4%); and earning less than two minimum wages (67.8%). The predominant forms of Chagas' disease were the cardiac (46.7%) and mixed forms (30%). There was a greater proportion of mild cardiac dysfunction (84.1%), frequently in association with megaesophagus. The mean number of concurrent diseases was 2.856 ± 1.845, and 33% of the patients had four or more comorbidities. The most frequent were systemic arterial hypertension (56.7%), osteoporosis (23.3%), osteoarthritis (21.2%) and dyslipidemia (20%). Positive correlations were verified between sex and comorbidities and between age group and comorbidities.

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.

A domain specific language for domotic systems

To cope with modernity, the interesting of having a fully automated house has been increasing over the years, as technology evolves and as our lives become more stressful and overloaded. An automation system provides a way to simplify some daily tasks, allowing us to have more spare time to perform activities where we are really needed. There are some systems in this domain that try to implement these characteristics, but this kind of technology is at its early stages of evolution being that it is still far away of empowering the user with the desired control over a habitation. The reason is that the mentioned systems miss some important features such as adaptability, extension and evolution. These systems, developed from a bottom-up approach, are often tailored for programmers and domain experts, discarding most of the times the end users that remain with unfinished interfaces or products that they have difficulty to control. Moreover, complex behaviors are avoided, since they are extremely difficult to implement mostly due to the necessity of handling priorities, conflicts and device calibration. Besides, these solutions are only reachable at very high costs, yet they still have the limitation of being difficult to configure by non-technical people once in runtime operation. As a result, it is necessary to create a tool that allows the execution of several automated actions, with an interface that is easy to use but at the same time supports all the main features of this domain. It is also desirable that this tool is independent of the hardware so it can be reused, thus a Model Driven Development approach (MDD) is the ideal option, as it is a method that follows those principles. Since the automation domain has some very specific concepts, the use of models should be combined with a Domain Specific Language (DSL). With these two methods, it is possible to create a solution that is adapted to the end users, but also to domain experts and programmers due to the several levels of abstraction that can be added to diminish the complexity of use. The aim of this thesis is to design a Domain Specific Language (DSL) that uses the Model Driven Development approach (MDD), with the purpose of supporting Home Automation (HA) concepts. In this implementation, the development of simple and complex scenarios should be supported and will be one of the most important concerns. This DSL should also support other significant features in this domain, such as the ability to schedule tasks, which is something that is limited in the current existing solutions.

Transactions in dynamic reactive environments

Most of today’s systems, especially when related to the Web or to multi-agent systems, are not standalone or independent, but are part of a greater ecosystem, where they need to interact with other entities, react to complex changes in the environment, and act both over its own knowledge base and on the external environment itself. Moreover, these systems are clearly not static, but are constantly evolving due to the execution of self updates or external actions. Whenever actions and updates are possible, the need to ensure properties regarding the outcome of performing such actions emerges. Originally purposed in the context of databases, transactions solve this problem by guaranteeing atomicity, consistency, isolation and durability of a special set of actions. However, current transaction solutions fail to guarantee such properties in dynamic environments, since they cannot combine transaction execution with reactive features, or with the execution of actions over domains that the system does not completely control (thus making rolling back a non-viable proposition). In this thesis, we investigate what and how transaction properties can be ensured over these dynamic environments. To achieve this goal, we provide logic-based solutions, based on Transaction Logic, to precisely model and execute transactions in such environments, and where knowledge bases can be defined by arbitrary logic theories.

Learning new tricks: Corticostriatal dynamics during novel skill learning

Learning novel actions and skills is a prevalent ability across multiple species and a critical feature for survival and competence in a constantly changing world. Novel actions are generated and learned through a process of trial and error, where an animal explores the environment around itself, generates multiple patterns of behavior and selects the ones that increase the likelihood of positive outcomes. Proper adaptation and execution of the selected behavior requires the coordination of several biomechanical features by the animal. Cortico-basal ganglia circuits and loops are critically involved in the acquisition, learning and consolidation of motor skills.(...)

Incremental compilation and deployment for OutSystems Platform

OutSystems Platform is used to develop, deploy, and maintain enterprise web an mobile web applications. Applications are developed through a visual domain specific language, in an integrated development environment, and compiled to a standard stack of web technologies. In the platform’s core, there is a compiler and a deployment service that transform the visual model into a running web application. As applications grow, compilation and deployment times increase as well, impacting the developer’s productivity. In the previous model, a full application was the only compilation and deployment unit. When the developer published an application, even if he only changed a very small aspect of it, the application would be fully compiled and deployed. Our goal is to reduce compilation and deployment times for the most common use case, in which the developer performs small changes to an application before compiling and deploying it. We modified the OutSystems Platform to support a new incremental compilation and deployment model that reuses previous computations as much as possible in order to improve performance. In our approach, the full application is broken down into smaller compilation and deployment units, increasing what can be cached and reused. We also observed that this finer model would benefit from a parallel execution model. Hereby, we created a task driven Scheduler that executes compilation and deployment tasks in parallel. Our benchmarks show a substantial improvement of the compilation and deployment process times for the aforementioned development scenario.

Genetic diversity of dengue virus serotypes 1 and 2 in the State of Paraná, Brazil, based on a fragment of the capsid/premembrane junction region

INTRODUCTION: The precise identification of the genetic variants of the dengue virus is important to understand its dispersion and virulence patterns and to identify the strains responsible for epidemic outbreaks. This study investigated the genetic variants of the capsid-premembrane junction region fragment in the dengue virus serotypes 1 and 2 (DENV1-2). METHODS: Samples from 11 municipalities in the State of Paraná, Brazil, were provided by the Central Laboratory of Paraná. They were isolated from the cell culture line C6/36 (Aedes albopictus) and were positive for indirect immunofluorescence. Ribonucleic acid (RNA) extracted from these samples was submitted to the reverse transcription polymerase chain reaction (RT-PCR) and nested PCR. RESULTS: RT-PCR revealed that 4 of the samples were co-infected with both serotypes. The isolated DENV-1 sequences were 95-100% similar to the sequences of other serotype 1 strains deposited in GenBank. Similarly, the isolated DENV-2 sequences were 98-100% similar to other serotype 2 sequences in GenBank. According to our neighbor-joining tree, all strains obtained in this study belonged to genotype V of DENV-1. The DENV-2 strains, by contrast, belonged to the American/Asian genotypes. CONCLUSIONS: The monitoring of circulating strains is an important tool to detect the migration of virus subtypes involved in dengue epidemics.

A abolição da dupla incriminação no mandado de detenção europeu

This essay presents the European Arrest Warrant and its relationship with the principle of double criminality, which was abolished in 2002 with the new Framework Decision (FD). This instrument was essential to implement the principle of mutual recognition and strengthen the police and judicial cooperation in criminal matters in the newly created space of freedom, security and justice. It was urgent to create mechanisms to combat cross-border crime, that alone States have struggled to counter. An analysis of the FD No 2002/584/JHA is made. The execution of warrants and the non-mandatory and optional grounds of refusal are studied in detail. As it is the implementation issue. The role of mutual recognition in practice is studied as well. The procedure is to introduce the principle of double criminality, to explain the concept and its abolition, warning for the consequences derived from them, related to the principle of legality and fundamental rights. The analysis of the European Arrest Warrant in practice in Portugal and in comparison with other Member States allows the measurement of the consequences from the abolition of dual criminality and the position of States on this measure. With the abolition of double criminality, the cooperation in judicial and criminal matters departs from what was intended by the European Council of Tampere. And without cooperation, fundamental rights of citizens are unprotected, so the states have to adopt measures to remedy the "failures" of the European Law.

Plasmodium vivax malaria: related factors to severity in the State of Maranhão, Brazil

INTRODUCTION: Malaria caused by Plasmodium vivax species has shown signs of severity, recorded with increasing frequency in the medical literature. This study aimed to characterize the signs of severe malaria by Plasmodium vivax in the State of Maranhão, Brazil. METHODS: A descriptive cohort study of patients assisted in the field and a historical and concurrent study of a series of cases among hospitalized patients were undertaken to identify the clinical and laboratory signs of severity. RESULTS: A total of 153 patients were included in the study, 13 of whom were hospitalized. Males made up the majority, numbering 103 (67.3%). The age of the patients ranged from 10 to 70 years, 92.2% were natives of the State of Maranhão, and 65% of the patients had had malaria before. The average time elapsed between symptom onset and diagnosis among outpatients was three days, while among hospitalized patients this average reached 15.5 days, a statistically significant difference (p=0.001). The parasitemia ranged from 500 to 10,000 parasites/µl in 92.8% of cases. The clinical and laboratory manifestations of severity were vomiting and diarrhea, jaundice, drowsiness, mental confusion, seizures, loss of consciousness, agitation, bleeding, pale skin, coughing and dyspnea, thrombocytopenia, anemia, elevation of nitrogenous compounds, and elevated transaminases and bilirubin. CONCLUSIONS: The monitoring of malaria patients with Plasmodium vivax showed the possibility of aggravation, the intensity of which varied in different circumstances, especially the interval time between falling ill and diagnostic confirmation.

Strengthening to seismic action of reinforced columns with rectangular cross-section

The first part of this research work regards the assessment of the mathematical modelling of reinforced concrete columns confined with carbon fibre (CFRP) sheets under axial loading. The purpose was to evaluate existing analytical models, contribute to possible improvements and choose the best model(s) to be part of a new model for the prediction of the behaviour of confined columns under bending and compression. For circular columns, a wide group of authors have proposed several models specific for FRP-confined concrete. The analysis of some of the existing models was carried out by comparing these with several tested columns. Although several models predict fairly the peak load only few can properly estimate the load-strain and dilation behaviour of the columns. Square columns confined with CFRP show a more complex interpretation of their behaviour. Accordingly, the analysis of two experimental programs was carried out to propose new modelling equations for the whole behaviour of columns. The modelling results show that the analytical curves are in general agreement with the presented experimental curves for a wide range of dimensions. An analysis similar to the one done for circular columns was this turn carried out for square columns. Few models can fairly estimate the whole behaviour of the columns and with less accuracy at all levels when compared with circular columns. The second part of this study includes seven experimental tests carried out on reinforced concrete rectangular columns with rounded corners, different damage condition and with confinement and longitudinal strengthening systems. It was concluded that the use of CFRP confinement is viable and of effective performance enhancement alone and combined with other techniques, maintaining a good ductile behaviour for established threshold displacements. As regards the use of external longitudinal strengthening combined with CFRP confinement, this system is effective for the performance enhancement and viable in terms of execution. The load capacity was increased significantly, preserving also in this case a good ductile behaviour for threshold displacements. As to the numerical nonlinear modelling of the tested columns, the results show a variation of the peak load of 1% to 10% compared with tests results. The good results are partly due to the inclusion of the concrete constitutive model by Mander et al. modified by Faustino, Chastre & Paula taking into account the confinement effect. Despite the reasonable approximation to tests results, the modelling results showed higher unloading, which leads to an overestimate dissipated energy and residualdisplacement.

Deltamethrin pyrethroid susceptibility characterization of Triatoma sordida Stål, 1859 (Hemiptera: Reduviidae) populations in the Northern Region of Minas Gerais, Brazil

Introduction Triatoma sordida is the most captured Triatomine species in the Brazilian artificial environment. In 2008, the discovery of three Triatomine populations with altered susceptibilities to deltamethrin highlighted the importance of investigating the genetic potential for resistance in triatomines. The purpose of this study was to characterize the susceptibility to deltamethrin of peridomestic T. sordida populations in Minas Gerais, Brazil. Methods A susceptibility reference lineage derived from Uberaba, Minas Gerais, Brazil was used. Serial dilutions of deltamethrin were prepared and applied to the dorsal abdomen of first instar nymphs. The control group received only pure acetone. Mortality was evaluated after 72h. Qualitative tests assessed mortality in response to a diagnostic dose of 1xLD99 of the susceptibility reference lineage. Results Susceptibility profile characterization of T. sordida populations revealed resistance ratios (RR50s) ranging from 0.42 to 3.94. The percentage mortality in response to the diagnostic dose varied from 70% to 100%. A comparison of the results obtained in the quantitative and qualitative assays demonstrated a lack of correspondence for some populations. Conclusions We demonstrated that only T. sordida populations that present a RR50>1.0 have altered susceptibility, and the execution of simultaneous field and laboratory tests is required to understand the actual effect of vector control. A possible cause of the observed resistance ratios might be the continuous use of pyrethroids in Brazil since the 1980s.

The efficacy of the old way/new way methodology on the correction of an automated technical error and its impact on the athlete’s psychological skills : Case study in tennis

The aim of this study was to evaluated the efficacy of the Old Way/New Way methodology (Lyndon, 1989/2000) with regard to the permanent correction of a consolidated and automated technical error experienced by a tennis athlete (who is 18 years old and has been engaged in practice mode for about 6 years) in the execution of serves. Additionally, the study assessed the impact of intervention on the athlete’s psychological skills. An individualized intervention was designed using strategies that aimed to produce a) a detailed analysis of the error using video images; b) an increased kinaesthetic awareness; c) a reactivation of memory error; d) the discrimination and generalization of the correct motor action. The athlete’s psychological skills were measured with a Portuguese version of the Psychological Skills Inventory for Sports (Cruz & Viana, 1993). After the intervention, the technical error was corrected with great efficacy and an increase in the athlete’s psychological skills was verified. This study demonstrates the methodology’s efficacy, which is consistent with the effects of this type of intervention in different contexts.