Lugares para amizade na sociedade contemporânea: caminhos educativos a partir da obra de Zygmunt Bauman

Pós-graduação em Educação - FFC

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.

Investigações sobre sistemas axiomáticos na geometria euclidiana

Pós-graduação em Educação Matemática - IGCE

Análise crítica da operação radial dos sistemas de distribuição de energia elétrica

Pós-graduação em Engenharia Elétrica - FEIS

The modern math movement(s): an essay on how elementary school teachers in Brazil gave meaning to it

The main goal of this paper is to discuss the production of meaning of the Modern Math Movement. The main sources were data available in school archives and interviews with former teachers that we use in order to focus on the diversity of perspectives -that complement it or oppose it-, which comes up when teachers refer to the Movement. Using this process of signification, teachers whether accept it, invalidate it or adapt it to guidelines imposed to them in their teaching activities. We establish a methodology by following the premises of Oral History to gather oral testimonies. The theoretical foundations in which this article is written are the guidelines of Paul Ricoeur's Hermeneutics, John Thompson's Depth Hermeneutics and Bolivar's narrative analysis.

Estimating outcomes in newborn infants using fuzzy logic

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

Apontamentos críticos para o tratamento da questão ambiental na perspectiva da emancipação

The belief in the existence of an ecological crisis that would affect the future of the planet, is one of the factors that causes the appearance of ecological concern, resulting in the adoption of non-predatory consumer practices and more respectful relationships with non-humans beings. This study starts from the assumption of the existence of an environmental question, and aims to investigate some of the cultural causes of human predation and identify possible ways in which environmental question can be treated critically to search overcomes. Follows the reasoning that western society as a complex of social relations, the capitalism, as a mode of production utilities and rational right, are all consequences of the modern rationality, cognitive and moral logic that transforms people and nature in satisfaction instruments of individual interests. However, despite being identified as the causative root of environmental question, modern rationality takes with it enough to promote the development of ecological respect, necessary in confronting and overcoming the environmental question, as it will be applied as a principle in redefinition of the relationship of human beings with themselves and with nature. And modern rationality can also make capitalism more efficient in the use and reuse of materials so as to consume fewer resources on the planet to satisfy human needs.

Logic TK: algebric notions from Tarski's consequence operator

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

A extensão da racionalidade econômico-privatistica ao conhecimento produzido pela subjetividade emancipada: paradoxo da modernidade

This paper aims to present a study of the social relationships around the production, circulation and the eventual possibility of appropriation of knowledge in social systems of the pre-modern world and in a social organization of Western capitalist modernity. In this specific universe of relationships, it was also important to noticed that there is a paradoxical role of rationality that served to the emancipation of instruments of control’s knowledge of pre-modern period as in the same time it was favored by the construction of new bonds that were made in the Western modernity through the modern legal system, inserting the knowledge in the domain of the economy and private logic of the capitalist’s system through intellectual property. This research was made from a review of the literature, using specialized books of the theme. It was concluded that there is a paradox in the social relationships about the knowledge, whose cause is related to the unfolding of rationality in the development of Western civilization.

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.

Visão futuro: comunidade autogestionável

Along of the Brazilian territory is to encourage a lot of self-management communities, seeking a new way of social organization through of cultural practices and economic antagonistic logic of the capitalist system. These communities create a lifestyle which we are not used in the context of modern life, they are focused to a greater preservation of nature, to an economy based on spiritualization and cultural exchange. The peculiarity of these communities is to offer the same structure as a modern city, electricity, clothing, basic sanitation, food among others, which the state already offers, but with alternative ways.For a more specific study was selected community-Porangaba Future Vision, São Paulo. Through this case of study, it is thought to enable a better understanding of how it is possible within a country emerge a community that creates its own structure encompassed by cultural practices and economic characteristics and finally understanding what are the effects on the geographic area

Road wanderers in Brazil: a study on modern psychosocial human mobility

Human mobility patterns are quite diverse nowadays and a very singular, extreme pattern is seen in the Brazilian scene: road wandering. Road wanderers are individuals who leave their home, family, work and other territories of a settled life and throw themselves into a life of solitary wandering along Brazilian highways. This study aimed to describe the lifestyle of road wanderers, investigate the reasons that led them choose this way of living and understand it against a background of modern human mobility patterns. A total of 63 interviews were conducted with individuals wandering on road shoulders. We found road wandering is associated with the following determinants: poverty; unemployment; marital conflicts; emotional suffering following the loss of loved ones; desires for adventure and freedom; and cultural symbols related to journey, migration, exodus and other modes of displacement. Despite its particularities, road wandering can be understood as a way of human mobility in the modern world.

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.

Development of lamellar gel phase emulsion containing marigold oil (Calendula officinalis) as a potential modern wound dressing

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

Khoisan hunter-gatherers have been the largest population throughout most of modern-human demographic history

The Khoisan people from Southern Africa maintained ancient lifestyles as hunter-gatherers or pastoralists up to modern times, though little else is known about their early history. Here we infer early demographic histories of modern humans using whole-genome sequences of five Khoisan individuals and one Bantu speaker. Comparison with a 420 K SNP data set from worldwide individuals demonstrates that two of the Khoisan genomes from the Ju/'hoansi population contain exclusive Khoisan ancestry. Coalescent analysis shows that the Khoisan and their ancestors have been the largest populations since their split with the non-Khoisan population similar to 100-150 kyr ago. In contrast, the ancestors of the non-Khoisan groups, including Bantu-speakers and non-Africans, experienced population declines after the split and lost more than half of their genetic diversity. Paleoclimate records indicate that the precipitation in southern Africa increased similar to 80-100 kyr ago while west-central Africa became drier. We hypothesize that these climate differences might be related to the divergent-ancient histories among human populations.