DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach

Bio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically. Often placed within the wider context of ´bio-inspired' or 'natural' or even 'unconventional' computing, the study of natural and artificial molecular computations is adding to our understanding of biology, physical sciences and computer science well beyond the framework of existing design and implementation paradigms. In this introduction, We wish to outline the current scope of the field and assemble some basic arguments that, bio-molecular computation is of central importance to computer science, physical sciences and biology using HOL - Higher Order Logic. HOL is used as the computational tool in our R&D work. DNA was analyzed as a chemical computing engine, in our effort to develop novel formalisms to understand the molecular scale bio-chemical computing behavior using HOL. In our view, our focus is one of the pioneering efforts in this promising domain of nano-bio scale chemical information processing dynamics.

Estimating outcomes in newborn infants using fuzzy logic

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

Logic TK: algebric notions from Tarski's consequence operator

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

Growth performance and meat quality of heifers receiving different forms of soybean oil in the rumen

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

Protonation Pattern, Tautomerism, Conformerism, and Physicochemical Analysis in New Crystal Forms of the Antibiotic Doxycycline

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Normal Forms for Codimension One Planar Piecewise Smooth Vector Fields

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

Automatic Indexing and Information Visualization: A Study Based on Paraconsistent Logic

This paper reports a research to evaluate the potential and the effects of use of annotated Paraconsistent logic in automatic indexing. This logic attempts to deal with contradictions, concerned with studying and developing inconsistency-tolerant systems of logic. This logic, being flexible and containing logical states that go beyond the dichotomies yes and no, permits to advance the hypothesis that the results of indexing could be better than those obtained by traditional methods. Interactions between different disciplines, as information retrieval, automatic indexing, information visualization, and nonclassical logics were considered in this research. From the methodological point of view, an algorithm for treatment of uncertainty and imprecision, developed under the Paraconsistent logic, was used to modify the values of the weights assigned to indexing terms of the text collections. The tests were performed on an information visualization system named Projection Explorer (PEx), created at Institute of Mathematics and Computer Science (ICMC - USP Sao Carlos), with available source code. PEx uses traditional vector space model to represent documents of a collection. The results were evaluated by criteria built in the information visualization system itself, and demonstrated measurable gains in the quality of the displays, confirming the hypothesis that the use of the para-analyser under the conditions of the experiment has the ability to generate more effective clusters of similar documents. This is a point that draws attention, since the constitution of more significant clusters can be used to enhance information indexing and retrieval. It can be argued that the adoption of non-dichotomous (non-exclusive) parameters provides new possibilities to relate similar information.

Chuva, vulnerabilidade social e percepção do risco na cidade de São Paulo: impactos de eventos extremos nos bairros da Freguesia do Ó e do M’Boi Mirim

The city of São Paulo has, since the beginning of the expansion of its urban sprawl, represented relations of conflicts and contradictions between society and nature. Once the way society relates to nature is defined by how the social agents themselves correlate in certain social and historical contexts, the ways of interaction between the social and natural elements will be different according to the forms of production and appropriation of the urban space. Even more evident is the case of the great national metropolis, given its demographic dimensions and historical conditions, the process of urban expansion follows a logic where spaces of better quality for housing are occupied by those of better financial conditions. Thus, although there are exceptions, the poorest people live in places less desirable, in less resilient environments of lower environmental quality, relating to nature and its phenomena with greater risks. These risks are reflected here as recurring flooding, mudslides and landslides for which the rain is constantly blamed. So we have a situation where it is clear that a weather phenomenon differently interacts with different social groups. In this context, the study was conducted to compare extreme events occurred in two regions of São Paulo: the Freguesia do O, in the north side, and M'Boi Mirim, in the south side. Both are regions with large number of risk areas and are in the same urban climate unit. However, they present different conditions of social vulnerability. With the investigation of each extreme rain event occurred in the two regions, in the period of 2000-2010, supplemented by field research, we tried to observe how far the rain, with his intensity and volume, can, in fact, be related to the accidents.

A monopolização territorial e a (re) construção do território camponês em projetos de assentamento de reforma agrária

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

Apontamentos sobre as práticas psicológicas desenvolvidas nas entidades assistenciais que atendem a crianças e adolescentes pobres

Notes on the psychological practices developed in social work entities that serve poor children and adolescents We understand that psychology, along with Pedagogy is part of the assumptions that compose the multidisciplinary field that comprises the socioeducative action of social work entities that serve poor children and adolescents considered in “personal and social risk”. What kinds of Psychology practices could be found in these institutions? We find evidence that the age minority logic still in force in many social work entities - that implement predominantly disciplinary and repressive, correctional and shaping forms of care, - dispense with psychology as a social transformation practice. When we find professional psychologists in social work entities, it is not uncommon for them to develop extremely traditional, psychotherapeutic, patologization actions for the individual, and to promote actions of orthopedic behavior, and therefore they may be called "technicians of conduct." This psychology is not aligned with the citizen and empowering perspective proposed by the Statute of Children and Adolescent, based on the fundamental concept of the social subject of rights.

Entre a individualização e a multiplicidade: possibilidades de rupturas com os modos de gestão e administração dos corpos infantis

Placing the management of childhood forms considered at risk, we discuss the operation of a welfare institution and its effects on the subjective process. Created to manage the virtues of the poor behavior of children, makes visible to the way technology features disciplinary policies: surveillance is evident of cameras, high walls, electric fences and in the eyes of educators, the penalty stands normalizing practices corrective aimed at standardization bodies, educational meetings are compared to the examination, as they produce dossiers of individual behavior, emphasizing characteristics that are considered dangerous anticipates the administration and production of docile individuals, useful, productive, applying identity models. Following the lines of knowledge and power relations that constitute this space, we used the genealogy in the analysis of discursive practices that cross society in its historical construction, the genealogy allows us to achieve these movements in the consolidation process of the government of life, and also, the deconstruction of hegemonic practices. In an attempt to escape the set, we propose the realization of artistic and cultural activities within a process of collective construction as a strategy of resistance and confrontation with the dominant logic, consolidating practices that favor the enhancement of life in its manifold possibilities.

Giro lamo Savonarola and forms of government.

The work presents an analytical study of the theme of the forms of government in the political thought of Girolamo Savonarola, based on his Thatawo circa il regimento e governo dela cimi. di Firenze (1498). Using Bobbio's methodology, the theme is analyzed from three simultaneous perspectives: the systematical, the axiological, and the teleological.

Automatic method to classify images based on multiscale fractal descriptors and paraconsistent logic

In this study is presented an automatic method to classify images from fractal descriptors as decision rules, such as multiscale fractal dimension and lacunarity. The proposed methodology was divided in three steps: quantification of the regions of interest with fractal dimension and lacunarity, techniques under a multiscale approach; definition of reference patterns, which are the limits of each studied group; and, classification of each group, considering the combination of the reference patterns with signals maximization (an approach commonly considered in paraconsistent logic). The proposed method was used to classify histological prostatic images, aiming the diagnostic of prostate cancer. The accuracy levels were important, overcoming those obtained with Support Vector Machine (SVM) and Bestfirst Decicion Tree (BFTree) classifiers. The proposed approach allows recognize and classify patterns, offering the advantage of giving comprehensive results to the specialists.

Normal Forms for Polynomial Differential Systems in R-3 Having an Invariant Quadric and a Darboux Invariant

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

De Hegel a Marx: da inflexão ontológica à antítese direta

We will deal with the Marxian criticism to the Hegelian notion of "being". it will be shown that historicity and objectivity are determinations of this category (and that categories are always.,forms of being, determinations of existence). So, the analogy between the Hegelian logic and the Marxian theory may sometimes, hide essential aspects of the materialist comprehension of history Here, we intend to prove that, by questioning the treatment dispensed to the matter of being by Hegel, Marx criticizes the Hegelian inversion between subject and predicate in a way that, although dialoguing with Hegel, his conception is the exact opposite at the same time.