Unraveling maternal and fetal genetic factors protecting from Pregnancy Associated Malaria in the mouse

Malaria is one of the most devastating diseases in the world. In Plasmodium endemic regions, pregnant women are among the most vulnerable groups. Pregnancy Associated Malaria (PAM) threatens both maternal and foetal lives. Despite differences between human and mouse placentas PAM mouse models recapitulate key pathological features of human PAM. Here we describe new PAM models of mid gestation infection in the C57BL/6 mouse.(...)

Genetic characterization of rabies virus isolated from bovines and equines between 2007 and 2008, in the States of São Paulo and Minas Gerais

INTRODUCTION: Rabies is an acute disease of the central nervous system and is responsible for the deaths of thousands of humans, wild animals and livestock, particularly cattle, as well as causing major economic losses. This study describes the genetic characterization of rabies virus variants that circulate in Desmodus rotundus populations and are transmitted to herbivores. METHODS: Fifty rabies virus isolates from bovines and equines in the States of São Paulo and Minas Gerais, Brazil, were genetically characterized and compared with sequences retrieved from GenBank. RESULTS: Two clusters (I and II) with mean nucleotide identities of 99.1 and 97.6% were found. The first of these contained nearly all the samples analyzed. Lineages from other Brazilian states grouped in cluster II. CONCLUSIONS: Analysis of the amino acid sequences of the N proteins revealed the existence of genetic markers that may indicate possible variations between geographic regions, although the biologically active regions are conserved within the species over space and time.

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

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.

Genetic variability among Anopheles species belonging to the Nyssorhynchus and Anopheles subgenera in the Amazon region

INTRODUCTION: Isoenzymatic analyses were performed involving species of the Nyssorhynchus and Anopheles subgenera in order to estimate the intra and interspecies genetic variability. METHODS: Mosquitoes were caught at different localities in the Amazon region. The collection and rearing of mosquitoes in the laboratory followed specific protocols. For the genetic variability analyses, the technique of horizontal electrophoresis on starch and starch-agarose gel with appropriate buffer systems was used. The alloenzyme variation was estimated using the Biosys-1 software. RESULTS: Out of the 13 loci, eight were polymorphic. Anopheles nuneztovari presented the largest number of alleles per locus, while the smallest number was detected in Anopheles marajoara from Macapá. The largest number of polymorphic loci was found for Anopheles marajoara from Maruanum and the smallest for Anopheles benarrochi (Guayará Mirim). Anopheles darlingi (Macapá) presented the greatest heterozygosity (Ho = 0.167 ± 0.071), while the lowest heterozygosity (Ho = 0.045 ± 0.019) was observed in Anopheles intermedius (Pacoval) of the subgenus Anopheles. Wright's F coefficient revealed considerable genetic structuring between the populations of Anopheles darlingi (Fst = 0.110) and between the populations of Anopheles marajoara (Fst = 0.082). CONCLUSIONS: Considering all the species studied, the genetic distance ranged from 0.008 to 1.114. The greatest distance was between Anopheles mattogrossensis and Anopheles oswaldoi, while the smallest was between the Anopheles benarrochi populations.

Using social semantic knowledge to improve annotations in personal photo collections

Instituto Politécnico de Lisboa (IPL) e Instituto Superior de Engenharia de Lisboa (ISEL)apoio concedido pela bolsa SPRH/PROTEC/67580/2010, que apoiou parcialmente este trabalho

Characterization of mannose-binding lectin plasma levels and genetic polymorphisms in HIV-1-infected individuals

INTRODUCTION: The present study investigated the association between mannose-binding lectin (MBL) gene polymorphism and serum levels with infection by HIV-1. METHODS: Blood samples (5mL) were collected from 97 HIV-1-infected individuals resident in Belém, State of Pará, Brazil, who attended the Special Outpatient Unit for Infections and Parasitic Diseases (URE-DIPE). CD4+ T-lymphocyte count and plasma viral load were quantified. A 349bp fragment of exon 1 of the MBL was amplified via PCR, using genomic DNA extracted from controls and HIV-1-infected individuals, following established protocols. MBL plasma levels of the patients were quantified using an enzyme immunoassay kit. RESULTS: Two alleles were observed: MBL*O, with a frequency of 26.3% in HIV-1-infected individuals; and the wild allele MBL*A (73.7%). Similar frequencies were observed in the control group (p > 0.05). Genotype frequencies were distributed according to the Hardy-Weinberg equilibrium in both groups. Mean MBL plasma levels varied by genotype, with statistically significant differences between the AA and AO (p < 0.0001), and AA and OO (p < 0.001) genotypes, but not AO and OO (p = 0.17). Additionally, CD4+ T-lymphocytes and plasma viral load levels did not differ significantly by genotype (p > 0.05). CONCLUSIONS: The results of this study do not support the hypothesis that MBL gene polymorphism or low plasma MBL concentrations might have a direct influence on HIV-1 infection, although a broader study involving a large number of patients is needed.

Framework for the semantic alignment of enterprise’s domain knowledge

Nowadays, the consumption of goods and services on the Internet are increasing in a constant motion. Small and Medium Enterprises (SMEs) mostly from the traditional industry sectors are usually make business in weak and fragile market sectors, where customized products and services prevail. To survive and compete in the actual markets they have to readjust their business strategies by creating new manufacturing processes and establishing new business networks through new technological approaches. In order to compete with big enterprises, these partnerships aim the sharing of resources, knowledge and strategies to boost the sector’s business consolidation through the creation of dynamic manufacturing networks. To facilitate such demand, it is proposed the development of a centralized information system, which allows enterprises to select and create dynamic manufacturing networks that would have the capability to monitor all the manufacturing process, including the assembly, packaging and distribution phases. Even the networking partners that come from the same area have multi and heterogeneous representations of the same knowledge, denoting their own view of the domain. Thus, different conceptual, semantic, and consequently, diverse lexically knowledge representations may occur in the network, causing non-transparent sharing of information and interoperability inconsistencies. The creation of a framework supported by a tool that in a flexible way would enable the identification, classification and resolution of such semantic heterogeneities is required. This tool will support the network in the semantic mapping establishments, to facilitate the various enterprises information systems integration.

Host genetic factors in mouse malaria liver stage infection

Fundação para a Ciência e a Tecnologia

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.

Genetic polymorphism for IFNγ +874T/A in patients with acute toxoplasmosis

INTRODUCTION: A single nucleotide polymorphism (SNP) in the gene encoding gamma interferon influences its production and is associated with severity of infectious diseases. This study aimed to evaluate the association of IFNγ+874T/A SNP with duration of disease, morbidity, and development of retinochoroiditis in acute toxoplasmosis. METHODS: A case-control study was conducted among 30 patients and 90 controls. RESULTS: Although statistical associations were not confirmed, A-allele was more common among retinochoroiditis cases and prolonged illness, while T-allele was more frequent in severe disease. CONCLUSIONS: Despite few cases, the results could indicate a relation between IFNγ+874T/A single nucleotide polymorphism and clinical manifestations of toxoplasmosis.

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.

High similarity of Trypanosoma cruzikDNA genetic profiles detected by LSSP-PCR within family groups in an endemic area of Chagas disease in Brazil

IntroductionDetermining the genetic similarities among Trypanosoma cruzi populations isolated from different hosts and vectors is very important to clarify the epidemiology of Chagas disease.MethodsAn epidemiological study was conducted in a Brazilian endemic area for Chagas disease, including 76 chronic chagasic individuals (96.1% with an indeterminate form; 46.1% with positive hemoculture).ResultsT. cruzi I (TcI) was isolated from one child and TcII was found in the remaining (97.1%) subjects. Low-stringency single-specific-primer-polymerase chain reaction (LSSP-PCR) showed high heterogeneity among TcII populations (46% of shared bands); however, high similarities (80-100%) among pairs of mothers/children, siblings, or cousins were detected.ConclusionsLSSP-PCR showed potential for identifying similar parasite populations among individuals with close kinship in epidemiological studies of Chagas disease.

EFFECT – Efficient finite element code

The theme of this dissertation is the finite element method applied to mechanical structures. A new finite element program is developed that, besides executing different types of structural analysis, also allows the calculation of the derivatives of structural performances using the continuum method of design sensitivities analysis, with the purpose of allowing, in combination with the mathematical programming algorithms found in the commercial software MATLAB, to solve structural optimization problems. The program is called EFFECT – Efficient Finite Element Code. The object-oriented programming paradigm and specifically the C ++ programming language are used for program development. The main objective of this dissertation is to design EFFECT so that it can constitute, in this stage of development, the foundation for a program with analysis capacities similar to other open source finite element programs. In this first stage, 6 elements are implemented for linear analysis: 2-dimensional truss (Truss2D), 3-dimensional truss (Truss3D), 2-dimensional beam (Beam2D), 3-dimensional beam (Beam3D), triangular shell element (Shell3Node) and quadrilateral shell element (Shell4Node). The shell elements combine two distinct elements, one for simulating the membrane behavior and the other to simulate the plate bending behavior. The non-linear analysis capability is also developed, combining the corotational formulation with the Newton-Raphson iterative method, but at this stage is only avaiable to solve problems modeled with Beam2D elements subject to large displacements and rotations, called nonlinear geometric problems. The design sensitivity analysis capability is implemented in two elements, Truss2D and Beam2D, where are included the procedures and the analytic expressions for calculating derivatives of displacements, stress and volume performances with respect to 5 different design variables types. Finally, a set of test examples were created to validate the accuracy and consistency of the result obtained from EFFECT, by comparing them with results published in the literature or obtained with the ANSYS commercial finite element code.

Fostering e-participation sustainability through a BPM-driven semantic model

According to a recent Eurobarometer survey (2014), 68% of Europeans tend not to trust national governments. As the increasing alienation of citizens from politics endangers democracy and welfare, governments, practitioners and researchers look for innovative means to engage citizens in policy matters. One of the measures intended to overcome the so-called democratic deficit is the promotion of civic participation. Digital media proliferation offers a set of novel characteristics related to interactivity, ubiquitous connectivity, social networking and inclusiveness that enable new forms of societal-wide collaboration with a potential impact on leveraging participative democracy. Following this trend, e-Participation is an emerging research area that consists in the use of Information and Communication Technologies to mediate and transform the relations among citizens and governments towards increasing citizens’ participation in public decision-making. However, despite the widespread efforts to implement e-Participation through research programs, new technologies and projects, exhaustive studies on the achieved outcomes reveal that it has not yet been successfully incorporated in institutional politics. Given the problems underlying e-Participation implementation, the present research suggested that, rather than project-oriented efforts, the cornerstone for successfully implementing e-Participation in public institutions as a sustainable added-value activity is a systematic organisational planning, embodying the principles of open-governance and open-engagement. It further suggested that BPM, as a management discipline, can act as a catalyst to enable the desired transformations towards value creation throughout the policy-making cycle, including political, organisational and, ultimately, citizen value. Following these findings, the primary objective of this research was to provide an instrumental model to foster e-Participation sustainability across Government and Public Administration towards a participatory, inclusive, collaborative and deliberative democracy. The developed artefact, consisting in an e-Participation Organisational Semantic Model (ePOSM) underpinned by a BPM-steered approach, introduces this vision. This approach to e-Participation was modelled through a semi-formal lightweight ontology stack structured in four sub-ontologies, namely e-Participation Strategy, Organisational Units, Functions and Roles. The ePOSM facilitates e-Participation sustainability by: (1) Promoting a common and cross-functional understanding of the concepts underlying e-Participation implementation and of their articulation that bridges the gap between technical and non-technical users; (2) Providing an organisational model which allows a centralised and consistent roll-out of strategy-driven e-Participation initiatives, supported by operational units dedicated to the execution of transformation projects and participatory processes; (3) Providing a standardised organisational structure, goals, functions and roles related to e-Participation processes that enhances process-level interoperability among government agencies; (4) Providing a representation usable in software development for business processes’ automation, which allows advanced querying using a reasoner or inference engine to retrieve concrete and specific information about the e-Participation processes in place. An evaluation of the achieved outcomes, as well a comparative analysis with existent models, suggested that this innovative approach tackling the organisational planning dimension can constitute a stepping stone to harness e-Participation value.