Applying semantics to grid middleware

Scheduling parallel and distributed applications efficiently onto grid environments is a difficult task and a great variety of scheduling heuristics has been developed aiming to address this issue. A successful grid resource allocation depends, among other things, on the quality of the available information about software artifacts and grid resources. In this article, we propose a semantic approach to integrate selection of equivalent resources and selection of equivalent software artifacts to improve the scheduling of resources suitable for a given set of application execution requirements. We also describe a prototype implementation of our approach based on the Integrade grid middleware and experimental results that illustrate its benefits. Copyright (C) 2009 John Wiley & Sons, Ltd.

A transformational language for mutant description

Mutation testing has been used to assess the quality of test case suites by analyzing the ability in distinguishing the artifact under testing from a set of alternative artifacts, the so-called mutants. The mutants are generated from the artifact under testing by applying a set of mutant operators, which produce artifacts with simple syntactical differences. The mutant operators are usually based on typical errors that occur during the software development and can be related to a fault model. In this paper, we propose a language-named MuDeL (MUtant DEfinition Language)-for the definition of mutant operators, aiming not only at automating the mutant generation, but also at providing precision and formality to the operator definition. The proposed language is based on concepts from transformational and logical programming paradigms, as well as from context-free grammar theory. Denotational semantics formal framework is employed to define the semantics of the MuDeL language. We also describe a system-named mudelgen-developed to support the use of this language. An executable representation of the denotational semantics of the language is used to check the correctness of the implementation of mudelgen. At the very end, a mutant generator module is produced, which can be incorporated into a specific mutant tool/environment. (C) 2008 Elsevier Ltd. All rights reserved.

The impact of spatial data redundancy on SOLAP query performance

Geographic Data Warehouses (GDW) are one of the main technologies used in decision-making processes and spatial analysis, and the literature proposes several conceptual and logical data models for GDW. However, little effort has been focused on studying how spatial data redundancy affects SOLAP (Spatial On-Line Analytical Processing) query performance over GDW. In this paper, we investigate this issue. Firstly, we compare redundant and non-redundant GDW schemas and conclude that redundancy is related to high performance losses. We also analyze the issue of indexing, aiming at improving SOLAP query performance on a redundant GDW. Comparisons of the SB-index approach, the star-join aided by R-tree and the star-join aided by GiST indicate that the SB-index significantly improves the elapsed time in query processing from 25% up to 99% with regard to SOLAP queries defined over the spatial predicates of intersection, enclosure and containment and applied to roll-up and drill-down operations. We also investigate the impact of the increase in data volume on the performance. The increase did not impair the performance of the SB-index, which highly improved the elapsed time in query processing. Performance tests also show that the SB-index is far more compact than the star-join, requiring only a small fraction of at most 0.20% of the volume. Moreover, we propose a specific enhancement of the SB-index to deal with spatial data redundancy. This enhancement improved performance from 80 to 91% for redundant GDW schemas.

Piaget segundo seus próprios argumentos

Neste artigo tivemos a intenção de oferecer ao leitor o resumo de um dos aspectos mais importantes da análise estrutural que realizamos, durante décadas, do texto de Jean Piaget, sobretudo as estreitas relações entre a Biologia e a Lógica na construção e na explicação do conhecimento científico. Nesse sentido, procuramos demonstrar que, a partir dos conceitos de implicação significante e de imagem mental criados por Piaget, um novo campo de investigações se abre, a saber, aquele que denominamos como o dos sistemas de significação não lógica, campo de suma relevância e que vem preencher uma secular lacuna entre a razão e a emoção até hoje presente nas pesquisas sobre os fenômenos normais e patológicos do psiquismo.

Índices de preço para o transporte de cargas: o caso da soja

Esta pesquisa objetivou analisar metodologias para elaboração de índices de preços para o transporte de cargas. O estudo das principais fórmulas da Teoria Econômica culminou com a conclusão que os Índices de Fisher e Walsh são aqueles capazes de atender ao maior número de preceitos lógicos, estatísticos e econômicos. Em seguida, surgem os índices geométricos de Törnqvist, Vartia e Theil. Os Índices de Laspeyres e Paasche, apesar de apresentarem algumas limitações, acabam sendo amplamente utilizados, graças a maior capacidade de operacionalização. A pesquisa apresentou um estudo de caso para o transporte da soja em grão. Foram realizados quatro tratamentos. Obteve-se a variação acumulada no nível geral de preços para o transporte rodoviário de soja no Brasil, no período entre fevereiro de 1998 e março de 2002. De acordo com os resultados, essa variação acumulada teria sido de 76%.

Elementos protetores do leite materno na prevenção de doenças gastrintestinais e respiratórias

A Epistemologia Genética defende que o indivíduo passa por várias etapas de desenvolvimento ao longo da sua vida. O desenvolvimento é observado pela sobreposição do equilíbrio entre a assimilação e a acomodação, resultando em adaptação. Assim, nesta formulação, o ser humano assimila os dados que obtém do exterior, mas uma vez que já tem uma estrutura mental que não está vazia, precisa adaptar esses dados à estrutura mental já existe. O processo de modificação de si próprio é chamado de acomodação. Este esquema revela que nenhum conhecimento chega do exterior sem que sofra alguma alteração pelo indivíduo, sendo que tudo o que se aprende é influenciado por aquilo que já havia sido aprendido. A assimilação ocorre quando a informação é incorporada às estruturas já pré-existentes nessa dinâmica estrutura cognitiva, enquanto que a adaptação ocorre quando o organismo se modifica de alguma maneira de modo a incorporar dinamicamente a nova informação. Por fim, de um pensamento moderno que, buscando a síntese inusitada entre o biológico e o lógico-matemático, parece encontrar seus limites na desconstrução ainda mais inusitada a que tende sistematicamente todo o pensamento na atualidade: a de si mesmo se construindo de modo essencialmente esclarecido

A epistemologia genética de Piaget e o construtivismo

A Epistemologia Genética defende que o indivíduo passa por várias etapas de desenvolvimento ao longo da sua vida. O desenvolvimento é observado pela sobreposição do equilíbrio entre a assimilação e a acomodação, resultando em adaptação. Assim, nesta formulação, o ser humano assimila os dados que obtém do exterior, mas uma vez que já tem uma estrutura mental que não está vazia, precisa adaptar esses dados à estrutura mental já existe. O processo de modificação de si próprio é chamado de acomodação. Este esquema revela que nenhum conhecimento chega do exterior sem que sofra alguma alteração pelo indivíduo, sendo que tudo o que se aprende é influenciado por aquilo que já havia sido aprendido. A assimilação ocorre quando a informação é incorporada às estruturas já pré-existentes nessa dinâmica estrutura cognitiva, enquanto que a adaptação ocorre quando o organismo se modifica de alguma maneira de modo a incorporar dinamicamente a nova informação. Por fim, de um pensamento moderno que, buscando a síntese inusitada entre o biológico e o lógico-matemático, parece encontrar seus limites na desconstrução ainda mais inusitada a que tende sistematicamente todo o pensamento na atualidade: a de si mesmo se construindo de modo essencialmente esclarecido

Os conhecimentos tradicional e científico do Saco do Arraial, estuário da Lagoa do Patos (RS)

Ethno-sciences study the logical behind the traditional population knowledge about environmental process. This case study aims at describing the ethno-knowledge of artisanal fishermen on the hydrodynamics of the estuary around Coreia community (Saco do Arraial), located in Dos Patos Lagoon, in southern Brazil, from an ethnooceangraphic perspective. For this purpose, mental maps, open-ended and in-depth semi-structured interviewing and participative research have been used. As well as scientific knowledge, rains and winds were had main hydrodynamic effort of Saco do Arraial, although astronomic influence in located hydrodynamic has been just a perception of traditional knowledge. Soon, these data have shown another important way to perceive the Patos Lagoon.

The Use of Latent Semantic Indexing to Mitigate OCR Effects of Related Document Images

Due to both the widespread and multipurpose use of document images and the current availability of a high number of document images repositories, robust information retrieval mechanisms and systems have been increasingly demanded. This paper presents an approach to support the automatic generation of relationships among document images by exploiting Latent Semantic Indexing (LSI) and Optical Character Recognition (OCR). We developed the LinkDI (Linking of Document Images) service, which extracts and indexes document images content, computes its latent semantics, and defines relationships among images as hyperlinks. LinkDI was experimented with document images repositories, and its performance was evaluated by comparing the quality of the relationships created among textual documents as well as among their respective document images. Considering those same document images, we ran further experiments in order to compare the performance of LinkDI when it exploits or not the LSI technique. Experimental results showed that LSI can mitigate the effects of usual OCR misrecognition, which reinforces the feasibility of LinkDI relating OCR output with high degradation.

SOME REMARKS ON THE YOGASUTRA

In this article are discussed some problems raised by T. S. Rukmani regarding the Yogasutra. According to Rukmani, yoga is not a coherent logical system. After stating the general goals of the yoga system, interpretations of some passages of the Yogasutra are formulated, and the defense is given that one must at least acknowledge the necessity of more exegetical investigation before judging the logical incoherence of the text. Finally, the problematic doctrine of living liberation in Yogasutra is exposed.

The Genomic Ancestry of Individuals from Different Geographical Regions of Brazil Is More Uniform Than Expected

Based on pre-DNA racial/color methodology, clinical and pharmacological trials have traditionally considered the different geographical regions of Brazil as being very heterogeneous. We wished to ascertain how such diversity of regional color categories correlated with ancestry. Using a panel of 40 validated ancestry-informative insertion-deletion DNA polymorphisms we estimated individually the European, African and Amerindian ancestry components of 934 self-categorized White, Brown or Black Brazilians from the four most populous regions of the Country. We unraveled great ancestral diversity between and within the different regions. Especially, color categories in the northern part of Brazil diverged significantly in their ancestry proportions from their counterparts in the southern part of the Country, indicating that diverse regional semantics were being used in the self-classification as White, Brown or Black. To circumvent these regional subjective differences in color perception, we estimated the general ancestry proportions of each of the four regions in a form independent of color considerations. For that, we multiplied the proportions of a given ancestry in a given color category by the official census information about the proportion of that color category in the specific region, to arrive at a ""total ancestry"" estimate. Once such a calculation was performed, there emerged a much higher level of uniformity than previously expected. In all regions studied, the European ancestry was predominant, with proportions ranging from 60.6% in the Northeast to 77.7% in the South. We propose that the immigration of six million Europeans to Brazil in the 19(th) and 20(th) centuries - a phenomenon described and intended as the ""whitening of Brazil"" -is in large part responsible for dissipating previous ancestry dissimilarities that reflected region-specific population histories. These findings, of both clinical and sociological importance for Brazil, should also be relevant to other countries with ancestrally admixed populations.

O Intuitivo e o Lógico no Conhecimento Matemático: análise de uma proposta pedagógica em relação a abordagens filosóficas atuais e ao contexto educacional da matemática

In this paper, we consider Meneghetti & Bicudo's proposal (2003) regarding the constitution of mathematical knowledge and analyze it with respect to the following two focuses: in relation to conceptions of mathematical knowledge following the fundamentalist crisis in mathematics; and in the educational context of mathematics. The investigation of the first focus is done analyzing new claims in mathematical philosophy. The investigation of the second focus is done firstly via a theoretical reflection followed by an examination of the implementation of the proposal in the process of development of didactic materials for teaching and learning Mathematics. Finally, we present the main results of the application of one of those materials.

Nonclassical correlation in NMR quadrupolar systems

The existence of quantum correlation (as revealed by quantum discord), other than entanglement and its role in quantum-information processing (QIP), is a current subject for discussion. In particular, it has been suggested that this nonclassical correlation may provide computational speedup for some quantum algorithms. In this regard, bulk nuclear magnetic resonance (NMR) has been successfully used as a test bench for many QIP implementations, although it has also been continuously criticized for not presenting entanglement in most of the systems used so far. In this paper, we report a theoretical and experimental study on the dynamics of quantum and classical correlations in an NMR quadrupolar system. We present a method for computing the correlations from experimental NMR deviation-density matrices and show that, given the action of the nuclear-spin environment, the relaxation produces a monotonic time decay in the correlations. Although the experimental realizations were performed in a specific quadrupolar system, the main results presented here can be applied to whichever system uses a deviation-density matrix formalism.

Schistosoma mansoni Tegument Protein Sm29 Is Able to Induce a Th1-Type of Immune Response and Protection against Parasite Infection

Background: Schistosomiasis continues to be a significant public health problem. This disease affects 200 million people worldwide and almost 800 million people are at risk of acquiring the infection. Although vaccine development against this disease has experienced more failures than successes, encouraging results have recently been obtained using membrane-spanning protein antigens from the tegument of Schistosoma mansoni. Our group recently identified Sm29, another antigen that is present at the adult worm tegument surface. In this study, we investigated murine cellular immune responses to recombinant (r) Sm29 and tested this protein as a vaccine candidate. Methods and Findings: We first show that Sm29 is located on the surface of adult worms and lung-stage schistosomula through confocal microscopy. Next, immunization of mice with rSm29 engendered 51%, 60% and 50% reduction in adult worm burdens, in intestinal eggs and in liver granuloma counts, respectively (p<0.05). Protective immunity in mice was associated with high titers of specific anti-Sm29 IgG1 and IgG2a and elevated production of IFN-gamma, TNF-alpha and IL-12, a typical Th1 response. Gene expression analysis of worms recovered from rSm29 vaccinated mice relative to worms from control mice revealed a significant (q<0.01) down-regulation of 495 genes and up-regulation of only 22 genes. Among down-regulated genes, many of them encode surface antigens and proteins associated with immune signals, suggesting that under immune attack schistosomes reduce the expression of critical surface proteins. Conclusion: This study demonstrates that Sm29 surface protein is a new vaccine candidate against schistosomiasis and suggests that Sm29 vaccination associated with other protective critical surface antigens is the next logical strategy for improving protection.

A Procedure for Semantic Querying in the Adaptive Formalism

This paper contains a new proposal for the definition of the fundamental operation of query under the Adaptive Formalism, one capable of locating functional nuclei from descriptions of their semantics. To demonstrate the method`s applicability, an implementation of the query procedure constrained to a specific class of devices is shown, and its asymptotic computational complexity is discussed.