Contribuições da teoria histórico-cultural para o processo de avaliação psicoeducacional

Cet article a comme objectif présenter la contribution de la Psychologie Historique-Culturelle pour l'analyse critique de l'évaluation psychoéducationnel traditionnel et postuler les fondements pour la nouvelle modalité évaluative. Cette proposition se justifie à cause de l'actuelle révitalisation de l'usage des testes padronisés pour la mensuration des fonctions psychologiques, dues à la vulgarisation de la neuropsychologie. Historiquement les testes padronisés servent comme instrument pour attester cientifiquement l'idéologie de l'égalité entre les hommes dans la societé capitaliste que se maintient à travers de l'expropriation et de l'exclusion. En outre, il existe une forte tendence à attendre que les résultats expliquent l'intelligence comme inée ou considèrent les prédispositions héréditaires pour apprendre, ce qu'on oppose à la comprehénsion que les fonctions mentales sont formées dans le proccès de développement historique-social à travers l'appropriation de la culture humaine. Il est nécessaire donc une évaluation qui considère les médiations sociales (des instruments et des signes) comme constituants des fonctions psychologiques encourageant le développement de tous les individus et la non légitimation de l'exclusion sociale.

Memórias de uma Escola Isolada Rural: estudo de um Livro de Visitas (1928-1948)

Cet article étudie le livre de visites de l'ancienne école mixte de la Fazenda Ponte Alta/Bela Vista, liée au groupe scolaire de la ville de Bariri, dans l'état de São Paulo (SP). À partir des registres de vingt ans d'activités (1928-1948), nous retraçons les exigences des inspecteurs primaires et si ces exigences provenaient (ou non) de professeurs et de la communauté paysanne pour ébaucher un cadre socio-historique de l'enseignement des premières lettres dans la zone rurale de l'intérieur de l'état de São Paulo. Il en résulte que le discours qui défendait l'égalité de chances pour les populations urbaines et rurales négligeait généralement le besoin de promouvoir l'égalité de conditions pour que la communauté rurale puisse profiter des chances qui lui étaient promises.

Estudo da expressão imuno-histoquímica das proteínas MMP-9, MMP-13 e TIMP-1 em ameloblastomas e tumores odontogênicos ceratocistos

Ameloblastomas and keratocystic odontogenic tumors (KOT) represent odontogenic lesions that, despite their benign nature, are distinguished by a distinct biological behavior, characterized by locally aggressive growth and recurrent episodes. The gnathic bone resorption caused by the growth of these lesions is a key to the expansion of the same, both being mediated by osteoclastic cells like enzymatic activity of various matrix metalloproteinases (MMPs) factor. The expression of stimulatory factors and inhibitors of bone resorption has been correlated with the development of these lesions, with emphasis to some MMPs such as collagenases and gelatinases and tissue inhibitors of metalloproteinases (TIMPs), among others. Based on the premise that stimulatory and inhibitory factors of osteolytic processes can be decisive for the growth rate of intraosseous odontogenic lesions, this experiment evaluated the immunoreactivity of MMP-9, -13 and TIMP-1 protein in the epithelium and mesenchyme of ameloblastoma and the KOT specimens, by a quantitative analysis of the immunoreactivity cells. Statistical analysis was performed using the Mann-Whitney and Wilcoxon tests with a significance level set at 5 %. Immunohistochemical expression of MMP-9, -13 and TIMP-1 was observed in 100% of cases both in the epithelium and in mesenchyme. The immunoreactivity in the epithelium of KOT and ameloblastomas revealed a predominance of score 3 for MMP-9 (p=0.382) and MMP-13 (p=0.069) and no statistically significance for TIMP-1, the latter being significantly higher immunoreactivity in ameloblastomas. In the mesenchyme, there was a higher score immunoreactivity of MMP-13 (p=0.031) in ameloblastomas in relation to KOT, whereas for MMP-9 and TIMP-1 no statistically significant difference (p=0.403 was observed, p=1.000). The calculation of the ratio of scores revealed expression of proteins in general, similarity of the lesions, a significant predominance of equal expression of TIMP-1 and MMP-9 was observed only in the epithelium of ameloblastoma. The marked immunostaining of MMP-9 , MMP-13 and TIMP-1 in epithelium and mesenchyme of the lesion indicate that these proteins involved in ECM remodeling required for tumor progression, however, specific differences in the expression of some of these proteins, are not sufficient to suggest differences in the biological behavior of ameloblastomas and KOTs

Security constrained optimal active power flow via network model and interior point method

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

Instrumentalidade do serviço social na previdência social no Brasil contemporâneo

In the sociability of the capital, the challenges to the consolidation of social security as a public policy become expressive, which has implications for social security services, particularly for Social Works who works for the security and fulfillment of social rights. Therefore, in this context of denial of these rights becomes relevant the work of social worker, as a professional committed to the ethical-political project and the Matrix Theory and Methodology of Social work, which potentiate the action able to establish professional articulated strategies for the strengthening of collective struggles for equality in society. Thus, this study examines the instrumentality of social work in the contemporary world and its contribution to the realization of rights. For this, we conducted a literature review, using authors dealing with the issue, as Behring (2008), Boschetti (2003), Mota (1995), Guerra (2007) among others, as well as documentary research through laws, decrees, instructions Normative, Internal Guidelines, and especially the analysis of the Matrix itself of Social Work in welfare. We use also of paramount importance to our analysis - the field research, using techniques such as semi-structured interview and questionnaire. The research enables the identification of important aspects of the subject studied, as the understanding of professionals about the instrumentality of Social Works in its ethical-political aspects, both theoretical and methodological and technicaloperative. The demands made by the managers for the profession on the sociooccupational have extrapolated the powers and duties of the Law Regulating the Profession and the Matrix of Social Work in welfare. The subjects of this study emphasize the role of social category of the National Institute of Social Security and the Federal Council of Social Service in defense of Social Works. The knowledge of social and institutional framework is critical to building control strategies that strengthen social security and public policy, the guarantor of social rights for workers in Brazil

Uma análise experimental de abordagens heurísticas aplicadas ao problema do caixeiro viajante

Due to great difficulty of accurate solution of Combinatorial Optimization Problems, some heuristic methods have been developed and during many years, the analysis of performance of these approaches was not carried through in a systematic way. The proposal of this work is to make a statistical analysis of heuristic approaches to the Traveling Salesman Problem (TSP). The focus of the analysis is to evaluate the performance of each approach in relation to the necessary computational time until the attainment of the optimal solution for one determined instance of the TSP. Survival Analysis, assisted by methods for the hypothesis test of the equality between survival functions was used. The evaluated approaches were divided in three classes: Lin-Kernighan Algorithms, Evolutionary Algorithms and Particle Swarm Optimization. Beyond those approaches, it was enclosed in the analysis, a memetic algorithm (for symmetric and asymmetric TSP instances) that utilizes the Lin-Kernighan heuristics as its local search procedure

A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos

Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]

Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

Antropologia das mediações: um estudo sobre trocas, tensões e hierarquias em Coqueiros, Vale do Ceará Mirim

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

Política da literatura e suas faces na palavra muda de Manoel de Barros

Ce travail de thèse ici proposé a comme but de recherche la production litéraire du poète brésilien Manoel Wenceslau Leite Barros, Manoel de Barros, (1916 Cuiabá-MT) en l articulant avec la reflexion sur le concept de politique de l écrite proposé par le philosophe algérien-français Jacques Rancière (1940 Algiers Algérie). L hypothèse qui se presente est celle sur l écrite poétique de Manoel de Barros dont les ―marques du sensible‖ dans les expériences démocratiques sont perceptibles. Sa production inclue ce que se peut denominer d une micrologie poétique, une reconfiguration du ―partager‖, dans le sense de l élaboration pratiques de l égalité, des pratiques de redistribution et de circulation des voix, instauratrices de la constitution esthétiques des communautés différenciées, considérées comme alternatives, face au modèle de système canonique de la litérature. Au moment que sa fonctionnent comme des formes de subvertions, elles produisent des espaces ou marge d émancipation de l être : lecteur et écrivain, en déclanchant des nouvelles perspectives éthiques et esthétiques. De cette manière, l objectif qui se dessine est ce qui comprend comment se configure la proposition d une politique de l écrite de Manoel de Barros et la façon qu elle se place par rapport à une politique des arts. Pour cela, nous utiliseront comme base la pensée de Jacques Rancière qui se fait remarquer, les dernières années, pour entreprendre une refléxion systématique et lucide par rapport aux relations éxistantes entre esthétique et politique dans la société présente, alié à ce que se défine comme des manières et des formes de penser élaborées par le texte poétique (lui même) de Manoel de Barros et de manière incontinué dans ses entretiens-critiques, plubliées dans des journaux et revues, présentées en vidéos, et nous n oublierons pas non plus des contributions théoriques et des refléxions parvenues de la pensée contemporaine

Desistindo da denúncia ao agressor: relato de mulheres vítimas de violência doméstica

O objetivo do estudo é descrever a experiência de mulheres, vítimas da violência doméstica, que desistiram do processo contra seu agressor. As entrevistas foram orientadas pela questão: Como foi sua experiência de desistir da denúncia contra seu agressor? Das convergências dos depoimentos emergiram três temas: o tempo vivido da agressão até a denúncia e desistência; o companheiro, a família, a delegacia da mulher; refletindo sobre a experiência vivida, que descrevem o fenômeno estudado. As participantes expressam sentimentos ambíguos em relação ao agressor: afetividade, raiva, humilhação e medo. Reconhecem que são dominadas e humilhadas. Porém, noções de justiça e igualdade entre os cônjuges não aparecem nos depoimentos. A desistência do processo pode ser compreendida na concepção da reprodução da estrutura familiar, condicionada a fatores econômicos e sociais. Os resultados remetem à reflexão sobre o papel da Delegacia da Mulher e das instituições de saúde na assistência à mulher vítima da violência doméstica.

Empresa social e economia solidária: perspectivas no campo da inserção laboral de portadores de transtorno mental

O processo da reforma psiquiátrica requer a implementação de políticas públicas que garantam a inserção laboral de portadores de transtorno mental. Para tal, é necessário que o trabalho seja compreendido como promotor de autonomia, de emancipação e de cidadania. O objetivo deste estudo é refletir acerca de concepções teóricas relacionadas à inserção social pelo trabalho, a fim de explorar o campo da inclusão de portadores de transtorno mental no mundo do trabalho. Foram escolhidos os conceitos de empresa social e de economia solidária como fundamentais para o estudo. Na empresa social, o sujeito é entendido como ser social, enfocando-se seu processo de formação no sentido da emancipação. Na economia solidária, objetiva-se o desenvolvimento de uma forma de economia mais justa que tem como característica a igualdade e a solidariedade. Sugerimos que a discussão desses conceitos possa contribuir para embasar a implantação de projetos de inclusão social pelo trabalho.

A discrepância de tamanho dentário, de Bolton, na oclusão normal e nos diferentes tipos de más oclusões, bem como sua relação com a forma de arco e o posicionamento dentário

Esta pesquisa teve como objetivo geral avaliar a discrepância de tamanho dentário, na oclusão normal e nos diferentes tipos de más oclusões e a sua relação com as medidas que determinam a forma de arco e o posicionamento dentário na região anterior. Para tanto, foram estudados 185 pares de modelos de gesso, divididos em 4 grupos: Grupo 1 (composto por 41 pares com Oclusão Normal, sendo 20 do gênero masculino e 21 do gênero feminino); Grupo 2 (composto por 44 pares com má oclusão de Classe I, divisão 1, sendo 22 do gênero masculino e 22 do gênero feminino); Grupo 3 (composto por 54 pares com má oclusão de Classe II, sendo 28 do gênero masculino e 26 do gênero feminino) e Grupo 4 (composto por 46 pares com Classe III, sendo 23 do gênero masculino e 23 do gênero feminino). Observou-se que não ocorreu dimorfismo sexual entre as discrepâncias de tamanho dentário e os diferentes tipos de oclusão dentária; as proporções estabelecidas por Bolton não se aplicaram ao grupo com Oclusão Normal; na Oclusão Normal, Classe I, Classe II e Classe III, houve um predomínio de excesso dentário total (RAZ12) no arco inferior; na Classe I houve uma igualdade na distribuição de excesso dentário anterior (RAZ6) nos arcos superior e inferior; na Oclusão Normal, Classe II e Classe III, ocorreu um predomínio de excesso dentário anterior (RAZ6) no arco inferior, em relação ao arco superior; os excessos dentários não contribuíram na ocorrência das más oclusões e as discrepâncias total e anterior (RAZ12 e RAZ6) não interferiram diretamente nas larguras e comprimentos dos arcos, bem como no posicionamento dos dentes anteriores.