Matrix-vector multiplication and triangular linear solver using GPGPU for symmetric positive definite matrices derived from elliptic equations

The modern GPUs are well suited for intensive computational tasks and massive parallel computation. Sparse matrix multiplication and linear triangular solver are the most important and heavily used kernels in scientific computation, and several challenges in developing a high performance kernel with the two modules is investigated. The main interest it to solve linear systems derived from the elliptic equations with triangular elements. The resulting linear system has a symmetric positive definite matrix. The sparse matrix is stored in the compressed sparse row (CSR) format. It is proposed a CUDA algorithm to execute the matrix vector multiplication using directly the CSR format. A dependence tree algorithm is used to determine which variables the linear triangular solver can determine in parallel. To increase the number of the parallel threads, a coloring graph algorithm is implemented to reorder the mesh numbering in a pre-processing phase. The proposed method is compared with parallel and serial available libraries. The results show that the proposed method improves the computation cost of the matrix vector multiplication. The pre-processing associated with the triangular solver needs to be executed just once in the proposed method. The conjugate gradient method was implemented and showed similar convergence rate for all the compared methods. The proposed method showed significant smaller execution time.

No more than Conjectures: Popper and the Ethics of Scientific Enterprise

Karl Popper dealt with both problems Yurevich (Integrative Psychological and Behavioral Science, 43(2), 2009, doi:10.1007/s12124-008-9082-7) deals: the crisis in Psychology and in the discourse about the nature of science. Although he failed to provide a complete response for both problems, his proposals can yet be fruitful to the reflection on these matters in the context of the present discussion. He offers some tentative answers to what could be considered a healthy epistemic activity, something Yurevich does not provide. More interestingly, some of the Popper proposals seem to fit, and in some extent correct, the quest for ""collaborative work"" proposed by Zittoun et al. (Integrative Psychological and Behavioral Science, 43(2), 2009, doi:10.1007/s12124-008-9082-7) as a way of transforming crisis in development.

Efficient Kernel Computation for Volterra Filter Structure Evaluation

Despite their generality, conventional Volterra filters are inadequate for some applications, due to the huge number of parameters that may be needed for accurate modelling. When a state-space model of the target system is known, this can be assessed by computing its kernels, which also provides valuable information for choosing an adequate alternate Volterra filter structure, if necessary, and is useful for validating parameter estimation procedures. In this letter, we derive expressions for the kernels by using the Carleman bilinearization method, for which an efficient algorithm is given. Simulation results are presented, which confirm the usefulness of the proposed approach.

Landscape changes in Serra do Japi: legal protection or scientific expectation?

The creation of new legally protected areas brings many conflicts that distance the real landscape from the expected according to environmental law or conservation researchers. In this study, we mapped and compared the changes in Serra da Japi (Sao Paulo State, Brazil) throughout 40 years with scenarios of legal protection and scientific expectation on forest conservation, to evaluate the distance between them. This may allow us to infer the direction of historical changes and assist in the debate among decision makers. The results showed that most legal requirements on forest protection in the current landscape have been met. The 1960s was the period when the forest cover was closest to the desirable conservation stage. Although the Serra do Japi has maintained large areas of forests during the entire study period, human interference increased with the expansion of reforestation and urban areas, and access roads were identified as a primary potential driving forces of change. In addition, habitat loss was observed in the landscape, which can represent the first phase of a sequence of modifications detrimental to the environmental conservation of this protected area, including decision changes to land use. In conclusion, the changes evolved toward conservation expectations, but not toward the forest configuration of scientific expectation.

Alternatives exist: analysis of scientific literature in two Brazilian journals about the pedagogical work of Physical Education

Considering that the process of teacher training in universities takes into account the confrontation of knowledge produced by the scientific methods, the current study intended to identify what are the main contributions of the Brazilian scientific production of Physical Education teaching. Therefore, an exploratory study was done from the articles published on the subject in the two main periodicals of the area. The data analyzes allowed us to verify the relevancy of the knowledge produced and to suggest alternatives to its inclusion in the docent training programs.

FREE GROUP ALGEBRAS IN DIVISION RINGS

Let k be an algebraically closed field of characteristic zero and let L be an algebraic function field over k. Let sigma : L -> L be a k-automorphism of infinite order, and let D be the skew field of fractions of the skew polynomial ring L[t; sigma]. We show that D contains the group algebra kF of the free group F of rank 2.

ON SOME GENERALIZATIONS OF GROUPS WITH TRIALITY

In the present paper we generalize the concept of groups with triality and apply it to the theory of the Moufang, Bol and Bruck loops. Such generalizations allow us to reduce certain problems from the loop theory to problems in the theory of groups.

Scientific metaphors in the journalistic discourse

Scientific education and divulgation not only amplify people's vocabulary and repertory of scientific concepts but, at the same time, promote the diffusion of certain conceptual and cognitive metaphors. Here we describe this process and propose a classification in terms of visible, invisible, basic and derived metaphors. We focus our attention on physical metaphors applied to psychological and socio-economical phenomena, by studying two exemplar cases through an exhaustive exam of the online content of large Brazilian journalistic portals. Finally, we present implications and suggestions from Lakiff and Johnson's cognitive metaphor theory for the scientific education and divulgation process.

Scientific research output evaluation of professors of Sao Paulo State University, Marilia/SP

In this work, an analysis of scientific bibliographic productivity was made using the Faculdade de Filosofia e Ciencias, Universidade Estadual Paulista (FFC-UNESP) as example. It is composed by nine departments which offer altogether nine undergraduate courses: 1) Archival, 2) Library, 3) Speech Therapy, 4) Pedagogy, 5) International Relations, 6) Physiotherapy, 7) Occupational Therapy, 8) Philosophy, 9) Social Sciences and six graduate programs leading to M. S. and Ph.D. degrees. Moreover, when analyzing the different courses of FFC-UNESP, they represent typical academic organization in Brazil and Latin America and could be taken as a model for analyzing other Brazilian research institutions. Using data retrieved from the Lattes Plataform database (Curriculum Lattes) we have quantitatively the scientific productivity percentage of professors at UNESP. We observed that bibliometric evaluations using the Curriculum Lattes (CL) showed that the professors published papers in journal are not indexed by ISI and SCOPUS. This analysis was made using: 1) the total number of papers (indexed in Curriculum Lattes database), 2) the number of papers indexed by Thomson ISI Web of Science database and SCOPUS database, and 3) the Hirsch (h-index) by ISI and SCOPUS. Bibliometric evaluations of departments showed a better performance of Political Science and Economics Department when compared to others departments, in relation total number of papers (indexed in Curriculum Lattes database). We also analyzed the academic advisory (Master's Thesis and Ph. D. Thesis) by nine departments of FFC/UNESP. The Administration and School Supervision Department presented a higher academic advisory (concluded and current) when compared to the others departments.

THE SCIENTIFIC PRODUCTION OF PSYCHOSOCIAL CARE CENTERS

The objective of this study was to present a panoramic view of the scientific production regarding Psychosocial Care Centers (CAPS). This literature review was performed using the LILACS, MEDLINE, and SciELO databases. Sixty-eight references were selected, most of which were journal articles (88.24%) and studies related to final graduate study essays (10.29%); 75% of the references found dating from 2003 were included. The following are highlighted among the most frequent objectives: the analysis and evaluation of the new proposal for mental health care, represented by Psychiatric Reform and by CAPS, and the analysis of mental health professionals and their expectations towards the services. The authors hope the present review will help find pathways and implications that lead to new studies and practices in the everyday work of health care services.

Quantum state tomography and quantum logical operations in a three qubits NMR quadrupolar system

In this work, we present an implementation of quantum logic gates and algorithms in a three effective qubits system, represented by a (I = 7/2) NMR quadrupolar nuclei. To implement these protocols we have used the strong modulating pulses (SMP) and the various stages of each implementation were verified by quantum state tomography (QST). The results for the computational base states, Toffolli logic gates, and Deutsch-Jozsa and Grover algorithms are presented here. Also, we discuss the difficulties and advantages of implementing such protocols using the SMP technique in quadrupolar systems.

SCIENTIFIC LANGUAGE RHETORIC: FROM THE THEORETICAL BASIS TO THE PRODUCTION OF DIDACTIC MATERIAL FOR UNDERGRADUATE CHEMISTRY TEACHING

This work is part of a study that focused on analyzing the contributions of didactic activities related to scientific language rhetoric characteristics aimed at developing students' abilities to identify such characteristics in chemistry scientific texts and critical reading of those texts. In this study, we present the theoretical basis adopted to determine the scientific discourse characteristics and for the production of the didactic material used in those activities. Latour, Coracini and Campanario studies on persuasive rhetorical strategies present in scientific articles aided the production of such material.

Computation of (3)J(HH) coupling constants with a combination of density functional theory and semiempirical calculations. Application to complex molecules

This work evaluates the efficiency of economic levels of theory for the prediction of (3)J(HH) spin-spin coupling constants, to be used when robust electronic structure methods are prohibitive. To that purpose, DFT methods like mPW1PW91. B3LYP and PBEPBE were used to obtain coupling constants for a test set whose coupling constants are well known. Satisfactory results were obtained in most of cases, with the mPW1PW91/6-31G(d,p)//B3LYP/6-31G(d,p) leading the set. In a second step. B3LYP was replaced by the semiempirical methods PM6 and RM1 in the geometry optimizations. Coupling constants calculated with these latter structures were at least as good as the ones obtained by pure DFT methods. This is a promising result, because some of the main objectives of computational chemistry - low computational cost and time, allied to high performance and precision - were attained together. (C) 2012 Elsevier B.V. All rights reserved.

Statistical physics approach to dendritic computation: The excitable-wave mean-field approximation

We analytically study the input-output properties of a neuron whose active dendritic tree, modeled as a Cayley tree of excitable elements, is subjected to Poisson stimulus. Both single-site and two-site mean-field approximations incorrectly predict a nonequilibrium phase transition which is not allowed in the model. We propose an excitable-wave mean-field approximation which shows good agreement with previously published simulation results [Gollo et al., PLoS Comput. Biol. 5, e1000402 (2009)] and accounts for finite-size effects. We also discuss the relevance of our results to experiments in neuroscience, emphasizing the role of active dendrites in the enhancement of dynamic range and in gain control modulation.

A Chaotic Approach of Differential Evolution Optimization Applied to Loudspeaker Design Problem

Over the past few years, the field of global optimization has been very active, producing different kinds of deterministic and stochastic algorithms for optimization in the continuous domain. These days, the use of evolutionary algorithms (EAs) to solve optimization problems is a common practice due to their competitive performance on complex search spaces. EAs are well known for their ability to deal with nonlinear and complex optimization problems. Differential evolution (DE) algorithms are a family of evolutionary optimization techniques that use a rather greedy and less stochastic approach to problem solving, when compared to classical evolutionary algorithms. The main idea is to construct, at each generation, for each element of the population a mutant vector, which is constructed through a specific mutation operation based on adding differences between randomly selected elements of the population to another element. Due to its simple implementation, minimum mathematical processing and good optimization capability, DE has attracted attention. This paper proposes a new approach to solve electromagnetic design problems that combines the DE algorithm with a generator of chaos sequences. This approach is tested on the design of a loudspeaker model with 17 degrees of freedom, for showing its applicability to electromagnetic problems. The results show that the DE algorithm with chaotic sequences presents better, or at least similar, results when compared to the standard DE algorithm and other evolutionary algorithms available in the literature.