O desenvolvimento profissional docente e a participação colegiado no Atheneu Norte-Riograndense

To investigate the relationship that exists among the educational participation of the school board and the teacher's professional development, starting from the analysis teachers of a public institution who teaches daily in the city of Natal. We focused the possible relationships between the teacher's action and their professional development, which includes the participation of the School board, considered by us as a collective space. To accomplish this research we used Interviews (KAUFMANN, 1996; SILVA, 2002) to analyze the nine participants, who are teachers' of the school board, and their oral speeches, considered as main references of our study. While trying to understand the reasons that led the teachers to choose her/his educational profession, we noticed the difficulty of recognition of the job of lecturing as a profession. This fact comes as an obstacle to the perspective of the teachers' professional development. In what he/she refers to the forms of the teachers' participation in the board and their meanings, we noticed in first place that the feeling of it belongs one of the decisive factors it can be considered actively for the teacher to announce of the actions colegiadas. This for them to want and they believe that that is the best road for if they develop better while professionals and consequently to improve the situation of the school. In second place we noticed that the school board represents, a place of articulation of the equality among all the ones that form the school community. So, we tried to understand how they happened to the collective actions in the school, how the teachers presented them in spite of what they know, how a collective action should be presented in the elements of fragility of that process that inhibit the development of the overall action. Finally, we questioned the elements that would contribute to the educational professional development; we noticed that the teachers present the competence, the ethics and professional valorization, as factors that contributed at the present time to their educational professional development

Sensibilidade interoceptiva e respostas psicofisiológicas ao exercício submaximo

The complex human behavior related to exercise involves cognitive, physical and emotional processing. The recent theories about exercise s intensity regulation have highlighted the role played by psychophysics aspects in controlling exercise s intensity. In this regard, recent evidences have shown that there is variability in human capacity in perceiving interoceptives clues. Thus, subjects more sensitive show higher physiological arousal to physical and/or emotional stress, and sensations with higher intensity. In fact, studies have evidenced that interoceptive feedback modifies behavior in exercise with free load. However, exercise recommendations are based in a constant load standard. Therefore, we aimed to analyze the influence of interoceptive sensibility on psychophysics responses during dynamic exercise performed with constant load. Twenty-four adult males were allocated into two groups accordingly with their interoceptive sensibility: high sensibility (n=11) and low sensibility (13). They underwent to an incremental test (IT) and then randomly to two sections of moderate and severe exercise intensity for 20 minutes. Heart rate (HR), rating of perceived exertion (RPE), affective feelings (AF), alert state (AS), and percentage of associative thoughts were collect during exercise. A two-way ANOVA with repeated measures was used to assess differences between psychophysics responses. There were differences between group in RPE, AF, and AS in moderate intensity. There was no difference in any measure in severe intensity. We conclude that subjects with high interoceptive sensibility feel dynamic moderate exercise more intense than the subjecs with low interoceptive sensibility

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

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

A interpretação constitucional dos princípios da afetividade e solidariedade familiar pelos tribunais superiores brasileiros

The Brazilian juridical ordain has suffered several transformations on Family Law as of the 1988 Federal Constitution, which incorporated the changes in socio-cultural values and behaviors that appeared in the post-modern Brazilian society, with the repersonalization of the family, beginning with the principles of human dignity, affectivity and familiar solidarity; occurring an enlargement of the concept of family, increasing the relevance of socioaffectivity and eudaimonia. The general purpose of this dissertation is to analyze the constitutional interpretations of paradigmatic cases of the Brazilian Superior Courts checking the conditions and behaviors required to achieve the principles of affectivity and familiar solidarity. To do so, uses an exploratory and descriptive research trough books, scientific papers, jurisprudence, monographs and consult to specialized magazines to identify the reasons and specific purposes of the principles of affectivity and family solidarity within the constitutional norms, systematizing the primary meaning of these principles, then to observe the trial of patriotic courts, the criteria and standards of behavior used in their application. The analysis of recent decisions of the Supreme Federal Court and the Superior Court of Justice on the topic of the familiar relations, utilizing the new interpretative approach to the law that considers man as an ontological being of language, demonstrate that the affectivity and familiar solidarity are constitutional principles concretized in decisions, that don’t affect the principle of protection of the juridical security, that is, don’t cause uncertainty despite the incipient specification of criteria to its use

Os efeitos do reconhecimento da diversidade sexual como um direito humano pelo sistema interamericano de proteção

La diversidad sexual emerge en las Américas como una de las cuestiones más importantes en relación con la protección y promoción de los derechos humanos. A partir de la democratización de la mayor parte de los Estados Sudamericanos en los años 80, se ha iniciado una discusión acerca de la ampliación del concepto de igualdad con el fin de introducir el derecho a la diferencia como otra expresión de la dignidad de la persona humana, cuyos estudios fueron encabezado de lo que se llamaba La hermenéutica de la Diversidad. En este escenario, el Derecho Internacional de los Derechos Humanos aparece como el principal responsable por el proceso de reconocimiento de la diversidad sexual como un derecho humano, lo que permite la asignación de temas tales como la sexualidad y el género en la agenda de los principales órganos regionales de protección de derechos humanos, así como en la agenda de algunos Estados, que por su promoción de políticas de diversidad han llegado a ser considerados empresarios normativos en relación con el libre ejercicio de la sexualidad humana. En este sentido, se pretende con esta tesis analizar el proceso de reconocimiento de la diversidad sexual como un derecho humano en el marco del sistema interamericano de protección, comprobando el potencial normativo de Argentina, Brasil y Uruguay con respecto a la adopción de normas internas promoción de la diversidad sexual. También tenemos la intención de analizar la norma internacional llamada Convención Interamericana contra todas las formas de discriminación e intolerancia como el primer tratado producido por el sistema interamericano para la protección de la sexualidad como un derecho digno de protección. La investigación ha demostrado que después de la posición adoptada por la Comisión y la Corte Interamericana respecto al ejercicio de la sexualidad, países como Argentina, Brasil y Uruguay promovieron un progreso significativo en el campo de las libertades individuales y en el campo de las políticas públicas de asignación de la sexualidad como un derecho que necesita de una protección efectiva del Estado

A política como projeto de autonomia em Cornelius Castoriadis

La investigación presenta los conceptos y argumentos más importantes para Cornelius Castoriadis que permitan elucidar el papel de la acción política en la búsqueda de la autonomía individual y colectiva. A partir de la delimitación histórica y conceptual de la reflexión filosófica sobre la autonomía, se muestra las principales críticas de Castoriadis dirigida al determinismo histórico, las tendencias totalitarias en la historia de la filosofía y la alienación promovida por la ideología capitalista. Por lo tanto, es esencial para comprender las categorías utilizadas por él durante toda su camino filosófico: sociedad, imaginación radical, imaginario social, lenguaje y social-histórico. Castoriadis opone a cualquier concepción de la historia que apela a un plan predeterminado, ya sea natural, racional o divino. Continúa la idea de que cada sociedad es el resultado de una tensión permanente entre la sociedad establecida y la sociedad instituyente porque cada sociedad es el resultado de la diferencia entre la sociedad en particular y el imaginario social que promueve su modificación. La historia es creada por la actividad teórica y práctica de los hombres, en la dimensión llamada social-histórico que impone un límite que no se puede superar incluso objeto de cuestionamiento y del constante cambio de la acción humana. Para aclarar el concepto de la democracia presentado por Castoriadis se analizan en profundidad como la imaginación radical se inserta en la formación de la persona y la institución de la sociedad, así como elucidar la forma en que se relacionan los conceptos de autonomía, heteronomia, libertad, igualdad y justicia, explicando el contexto que aparecen en la obra de Castoriadis.

Sobre o problema da mentira na filosofia prática de Kant

The research examines the problem lie in the thought of Immanuel Kant. This field of law, of the history of political morality, we seek to investigate the Kantian rejection of falsehood and unconditional obligation to be truthful. Defends the thesis of the exception to lie and not be objectionable in two cases, namely: the torture and before the murderer. Thus, it is demonstrated that it is possible the exception to lie under the law, politics and history, considering the perspective of harmony of external freedoms and the idea of moral progress. In this sense, it is argued that the source of law is established to guarantee the external freedoms. From the point of view of morality, reaffirmed the absoluteness is that for Kant the duty of veracity, but it points to the possibility of a practical rule that allows the lie based on human dignity, weighting values as political equality, respect for rational agents, as well as the principle of humanity which teaches always treat the other as an end in itself.