de Sitter geodesics: reappraising the notion of motion

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Context-sensitive analysis of x86 obfuscated executables

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Borderline leprosy: in situ and cytokine profile in supernatant of mononuclear of cell culture

In order to contribute to a better understanding of cytokine participation in borderline leprosy, in the present study we determined - by in vitro and in situ examinations - the production of these cytokine mediation in non-treated borderline tuberculoid (BT) patients and borderline lepromatous (BL) patients. Seven non-treated BT patients, 12 non-treated BL patients, besides 19 healthy individuals (control group), were evaluated. Peripheral blood mononuclear cells (PBMC) were stimulated or not with specific-M. leprae stimulus (whole and sonicated M. leprae antigens) and a non-specific stimulus. After 48 hours, supernatant was collected for TNF-alpha, IFN-gamma, IL-10 and TGF-beta1 cytokine determination by ELISA. Biopsies from cutaneous lesions were submitted to histological analysis and hematoxylin-eosin and Fite-Faraco stainings; the sections then underwent iNOS, IL-10 and TGF-beta1 in situ detection by immunohistochemistry. Cytokine quantification in PBMC supernatants from patients showed that BT patients produced higher levels of IFN-gamma. Compared to healthy individuals, both borderline patient groups produced lower levels of TGF-beta1 while BL patients generated lower IL-10 levels. The in situ iNOS expression was higher in BT patients compared to BL individuals. on the order hand, TGF-beta1 cytokine revealed a higher proportion of immunostained cells in BL patients. There was no significant difference in IL-10 level between BT and BL patients. Regarding cutaneous lesions, in BL patients there was a negative correlation between TGF-beta1 tissue expression and IL-10. Independently of the clinical form, we observed a positive correlation between TGF-beta1 and bacterial index as well as a negative correlation between the TGF-beta1 tissue expression and iNOS. The results even showed a positive correlation between iNOS tissue expression and production of IFN-gamma by PBMC stimulated with M. leprae antigens. Taken together, the histopathological and immunological observations reinforce the notion of immunological instability in borderline leprosy patients and indicating the participation of mixed cytokines profiles in these individuals, specifically a Th1 profile in BT patients and Th2 profile in BL patients, with a possible participation of T-regulatory lymphocytes.

Conserved Karyotypes in Cophomantini: Cytogenetic Analysis of 12 Species from 3 Species Groups of Bokermannohyla (Amphibia: Anura: Hylidae)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Schur-SzegA composition of entire functions

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Morphometry and histochemistry of the semitendinosus muscle of tufted capuchin monkeys (Cebus apella Linnaeus, 1758)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Two-way regionalized classification of multivariate datasets and its application to the assessment of hydrodynamic dispersion

Zones of mixing between shallow groundwaters of different composition were unravelled by two-way regionalized classification, a technique based on correspondence analysis (CA), cluster analysis (ClA) and discriminant analysis (DA), aided by gridding, map-overlay and contouring tools. The shallow groundwaters are from a granitoid plutonite in the Funda o region (central Portugal). Correspondence analysis detected three natural clusters in the working dataset: 1, weathering; 2, domestic effluents; 3, fertilizers. Cluster analysis set an alternative distribution of the samples by the three clusters. Group memberships obtained by correspondence analysis and by cluster analysis were optimized by discriminant analysis, gridded memberships as follows: codes 1, 2 or 3 were used when classification by correspondence analysis and cluster analysis produced the same results; code 0 when the grid node was first assigned to cluster 1 and then to cluster 2 or vice versa (mixing between weathering and effluents); code 4 in the other cases (mixing between agriculture and the other influences). Code-3 areas were systematically surrounded by code-4 areas, an observation attributed to hydrodynamic dispersion. Accordingly, the extent of code-4 areas in two orthogonal directions was assumed proportional to the longitudinal and transverse dispersivities of local soils. The results (0.7-16.8 and 0.4-4.3 m, respectively) are acceptable at the macroscopic scale. The ratios between longitudinal and transverse dispersivities (1.2-11.1) are also in agreement with results obtained by other studies.

Continuous iteration of dynamical maps

A precise meaning is given to the notion of continuous iteration of a mapping. Usual discrete iterations are extended into a dynamical flow which is a homotopy of them all. The continuous iterate reveals that a dynamic map is formed by independent component modes evolving without interference with each other. An application to turbulent flow suggests that the velocity field assumes nonseparable values. © 1998 American Institute of Physics.

Collectives of humans-with-media in mathematics education: Notebooks, blackboards, calculators, computers and ... notebooks throughout 100 years of ICMI

The main aim of this study was to present evidence of the ways in which different media have conditioned and dramatically reorganized education, in general, and mathematics education, in particular. After an introduction of the theme, we discuss the epistemological perspective that provides the foundation for our analysis: the notion of humans-with-media. Then, we briefly illustrate how the medium is related to the scientific production of mathematical knowledge. We take a detour into the world of art to examine how devices and instruments have historically been associated with the production of mathematical knowledge. Then, we review studies on the history of education to show how traditional media were introduced into schools and have influenced education. In particular, we examine how devices such as blackboards and notebooks, which were novelties a 100 years ago, came to be accepted in schools and the mathematical activities that were promoted with their use. Finally, we discuss how information technology has changed education and how the Internet may have an impact on mathematics education comparable to that of the notebook over a century ago. © FIZ Karlsruhe 2009.

Context-sensitive analysis of obfuscated x86 executables

A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipulate stack instead of using native call and ret instructions to achieve equivalent behavior. Since definition of context-sensitivity and algorithms for context-sensitive analysis have thus far been based on the specific semantics associated to procedure call and return operations, classic interprocedural analyses cannot be used reliably for analyzing programs in which these operations cannot be discerned. A new notion of context-sensitivity is introduced that is based on the state of the stack at any instruction. While changes in 'calling'-context are associated with transfer of control, and hence can be reasoned in terms of paths in an interprocedural control flow graph (ICFG), the same is not true of changes in 'stack'-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of call-strings based methods for the context-sensitive analysis using stack-context. The method presented is used to create a context-sensitive version of Venable et al.'s algorithm for detecting obfuscated calls. Experimental results show that the context-sensitive version of the algorithm generates more precise results and is also computationally more efficient than its context-insensitive counterpart. Copyright © 2010 ACM.

Automatic code generation for microcontrollers from place-transition Petri net models

This paper describes a program for the automatic generation of code for Intel's 8051 microcontroller. The code is generated from a place-transition Petri net specification. Our goal is to minimize programming time. The code generated by our program has been observed to exactly match the net model. It has also been observed that no change is needed to be made to the generated code for its compilation to the target architecture. © 2011 IFAC.

ENCORE: Enhanced Galileo code receiver for surveying applications

In this paper we describe the development of a low-cost high-accuracy Galileo Code receiver, user application software and positioning algorithms for land management applications, which have been implemented using a dedicated FPGA board and dual frequency Galileo E5/L1 Radio Frequency Front-End. The current situation of rural property surveying in Brazil is described and the use of code measurements from the new Galileo signals E5 AltBOC combined with E1 MBOC for use in land management applications is explored. We explain how such approach is expected to allow delivering an absolute positioning solution which could bridge the gap between receivers of high cost/complexity/accuracy based on carrier phase and receivers of lower cost/accuracy based on pseudorange observables. The system is presented together with a detailed description of main components: the Code Receiver and the Application Software. The work presented is part of an ongoing European-Brazilian consortium effort to explore the use of new Galileo for land management applications in Brazil and sponsored by the GNSS Supervisory Authority (GSA).

Initial description of the phylogeography, population structure and genetic diversity of Atlantic spotted dolphins from Brazil and the Caribbean, inferred from analyses of mitochondrial and nuclear DNA

We provide initial information regarding the population structure and genetic diversity of Stenella frontalis from the Caribbean and southeastern Brazil from analyses of mitochondrial control region sequences and sequences from the first intron of the α-lactalbumin gene. Comparisons with previously described S. frontalis sequences showed a high number of haplotypes shared between populations throughout their distribution range. High diversity was found for southeastern Brazil and Caribbean samples, and population structure analyses indicate significant differentiation among population units at the FST level, but not at the ΦST level. Significant differentiation at the FST level was found between the Caribbean population unit and all other populations units. These results suggest historical or present connectivity between the Azores and Madeira and the southeastern Brazil groups and population differentiation between the Caribbean and southeastern Brazil, supporting the notion of two separate stocks in the waters around the Atlantic coast of South America. © 2013 Elsevier Ltd.

O gênero conto em Lives of Girls and Women: o labirinto de vozes em Heirs of the Living Body

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Ethical Care of the Self and the Teacher in the Pedagogical Relationship: Reflections Based on the Latest Foucault

Our conception of education is that it is the responsible action whereby man becomes human, trains and faces the challenges that life and the world present, as man enters a larger, shared cultural tradition and thus joins the world. However such sharing implies that we must not just rely on tradition, but remain open to new ideas. It is essential for schooling to preserve a field where the art of living intersects with the world for which future generations are being prepared. It is in this field of intersection that this essay seeks to discuss Michel Foucault's thought, care of the self and the role played by others in the acquisition of ethical attitudes pertaining to one's conduct in life. Through reconstructing Foucault's ideas, we elaborate on the hypothesis that, before morally shaping students, teaching them values, or aiding in their skill acquisition in the sense prevailing in schooling today, it is important to understand the notion of care of the self (and how the notion implies interaction with others for effective care of the self). Care of the self is vital for thoroughly understanding the relationships between ethics and education in school. We particularly examine how Foucault's ideas and his analysis of the teacher's role in shaping the student's life conduct can help educators rethink pedagogical action in an ethical sense and find within it a certain openness to the formation of attitudes in educators and students