Revitalização urbana de centros históricos: uma revisão de contextos e propostas: a Ribeira como estudo de caso

This dissertation focuses on the theme of urban revitalization in historical centers. It starts from a survey of international and national concepts and experiences about the subject, in special, the historical center of Ribeira, in Natal, Brazil. It gives more attention to local management and it is dedicated to the study of objectives and actions developed, basically, by two segments that manage works in the district. Companhia Docas do Rio Grande do Norte aims at the economical development of the state and it implies the enlargement of capacity of loading and unloading of the harbor of Natal and the Natal city counsil aims at urban preservation and revitalization. It was analysed speeches ans projects related to Ribeira and it was discovered that Natal has done very little to revitalize its historical center in the last two dacades. It analyses what seemed, or at least, should be a conflict of interests between incompatible projects, revealing both conciliatory proceedings and connivance between the participants in decision making. The conclusion directs attentions to the threat to historical building in the city and the importance of enhancing discussion about the future of our historical sites

Revitalização urbana de centros históricos: uma revisão de contextos e propostas: a Ribeira como estudo de caso

This dissertation focuses on the theme of urban revitalization in historical centers. It starts from a survey of international and national concepts and experiences about the subject, in special, the historical center of Ribeira, in Natal, Brazil. It gives more attention to local management and it is dedicated to the study of objectives and actions developed, basically, by two segments that manage works in the district. Companhia Docas do Rio Grande do Norte aims at the economical development of the state and it implies the enlargement of capacity of loading and unloading of the harbor of Natal and the Natal city counsil aims at urban preservation and revitalization. It was analysed speeches ans projects related to Ribeira and it was discovered that Natal has done very little to revitalize its historical center in the last two dacades. It analyses what seemed, or at least, should be a conflict of interests between incompatible projects, revealing both conciliatory proceedings and connivance between the participants in decision making. The conclusion directs attentions to the threat to historical building in the city and the importance of enhancing discussion about the future of our historical sites

Teoria da despesa pública: uma leitura ético-constitucional em busca do possível da reserva

Brazilian law passes through a crisis of effectiveness commonly attributed to the extravagance of fundamental rights and public shortage. However, public finances are not dogmatically structured to solve the conflicts around the limitations of public spending. There are ethical conditioning factors, like morality, proportionality and impartiality, however, these principles act separately, while the problem of public shortage is holistic. Also, the subjectivity of politics discretionary in the definition of public spending, which is supported in an indeterminate concept of public interest, needs material orientation about the destination of public funds, making it vulnerable to ideological manipulation, resulting in real process of catching rights. Not even the judicial activism (such as influx of constitutionalism) is shown legally appropriate. The Reserve of Possible, also presents basic ethical failure. Understanding the formation of public shortage is therefore essential for understanding the crisis of effectiveness of state responsibilities, given the significant expansion of the state duty of protection, which does not find legal technique of defense of the established interests. The premise of argument, then, part of the possibility of deducting minimal model ethical of desire to spend (public interest) according to objective parameters of the normative system. Public spending has always been treated disdainfully by the Brazilian doctrine, according to the legal character accessory assigned to the monetary cost. Nonetheless, it is the meeting point between economics and law, or is in the marrow of the problem of public shortage. Expensive Subjects to modernity, as the effectiveness of fundamental rights, pass necessarily an ethical legal system of public spending. From the ethical principles deducted from the planning, only the democratic principle guides the public spending through the approval of public spending in the complex budget process. In other words, there is an ethical distancing of economic reality in relation to state responsibilities. From the dogmatic belief of insufficiency, public spending is evaluated ethically, according to the foundations of modern constitutionalism, in search of possible of the financial reserve, certain that the ethics of public economy is a sine qua non condition for legal ethics.

O direito fundamental contra a autoincriminação: a análise a partir de uma teoria do Processo Penal Constitucional

The right against self-incrimination is a fundamental right that works in the criminal prosecution, and therefore deserves a study supported by the general theory of criminal procedure. The right has a vague origin, and despite the various historical accounts only arises when there is a criminal procedure structured that aims to limit the State´s duty-power to punish. The only system of criminal procedure experienced that reconciles with seal self-incrimination is the accusatory model. The inquisitorial model is based on the construction of a truth and obtaining the confession at any cost, and is therefore incompatible with the right in study. The consecration of the right arises with the importance that fundamental rights have come to occupy in the Democratic Constitutional States. In the Brazilian experience before 1988 was only possible to recognize that self-incrimination represented a procedural burden for accused persons. Despite thorough debate in the Constituent Assembly, the right remains consecrated in a textual formula that´s closer to the implementation made by the Supreme Court of the United States, known as "Miranda warnings", than the text of the Fifth Amendment to the U.S. Constitution that established originally the right against self-incrimination with a constitutional status. However, the imprecise text does not prevent the consecration of the principle as a fundamental right in Brazilian law. The right against self-incrimination is a right that should be observed in the Criminal Procedure and relates to several of his canons, such as the the presumption of not guilty, the accusatory model, the distribution of the burden of proof, and especially the right of defense. Because it a fundamental right, the prohibition of self-incrimination deserves a proper study to her constitutional nature. For the definition of protected persons is important to build a material concept of accused, which is different of the formal concept over who is denounced on the prosecution. In the objective area of protection, there are two objects of protection of the norm: the instinct of self-preservation of the subject and the ability to self-determination. Configuring essentially a evidence rule in criminal procedure, the analysis of the case should be based on standards set previously to indicate respect for the right. These standard include the right to information of the accused, the right to counsel and respect the voluntary participation. The study of violations cases, concentrated on the element of voluntariness, starting from the definition of what is or is not a coercion violative of self-determination. The right faces new challenges that deserve attention, especially the fight against terrorism and organized crime that force the development of tools, resources and technologies about proves, methods increasingly invasive and hidden, and allow the use of information not only for criminal prosecution, but also for the establishment of an intelligence strategy in the development of national and public security

Universidade e educação ambiental

The society consists of the inter-relations between diverse symbolic fields of performance, where some agents if identify for values, habits and goals. The present thesis analyzed, taking for base the Theory of the Social Field of Pierre Bourdieu, the ambient field and the university, leaving of the principle that the university is one of the propitious places for the quarrel, study, knowledge elaboration, and that the ambient education is one of the ways of dissemination of knowledge and action in favor of the ambient question. It was looked to contextualize and to identify the main factors that configure the university while a social field, and to evidence the conflict and connector links with the ambientalism. It is perceived university as space of tensions, whose produced capital stock in the academic scope must be enough convincing in the direction of the social transformation, of the expansion of conscience, the critical matureness, and thus to appear as agent of social transformation. The joint between the diverse social fields, promoted for the university, will be able to contribute for knowledge formularization that can consist base for elaboration of politics and programs to answer to the problems of the society contemporary. It has the inter-relationship between the two fields, however, this relation still is fragile, needing that a continuity practical social that they make possible that the ambient question is part of the culture of the university. This will be able to give with the intensification of the actions and the inclusion of the ambient questions in the communication mechanisms and administrative management. To surpass discontinuities caused for changes of groups leading and for interests politician conjunctural are necessary that they create habitus, what passes for the institutionalization of practical and the constitution of a culture that the agents allow if to reorganize defending the interests of social transformation front to the economic interests, as much in the university how much in the ambient field

Educação ambiental: mediações sociais e políticas e a indolência do Poder Público à sua inclusão no ensino formal

As a result of the prediction of irreversible changes on necessary conditions to maintain life, including human, on the planet, environmental education got the spotlight in the political scenario, due to social pressure for the development of individual and collective values, knowledge, skills, attitudes and competences towards environmental preservation. In Brazil, only in 1999 the right for environmental education was officially granted to people, having the status of essential and permanent component in the country s education. Since then, it has been Government s duty, in each federal branch, to plan actions to make it happen, in an articulate way in all levels and modalities of the education process, both formally and informally. This work of research has environmental education in the school as subject matter, and aims on analyzing social and political mediations established between this National Environmental Education policy and the contexts associated to the legislative production process, the political nature of the conceptions about environmental education that underlie Law 9.795/99 (Brazil, 2009c) and also Rio Grande do Norte Government s actions and omissions related to the imperative nature of the insertion of environmental education in the schools ran by the state, during the ten years this law has been in force. The investigation of the subject matter was led by a social and historical understanding of the social and environmental phenomena, as well as of the education system as a whole, considering that only through a dialectical view we can see the real world, by destroying the pseudo-concreteness that surrounds the topic. While analyzing, we assumed that in face of the dominance of a social organization in which market regulations rule on environmental ones, by developing individual and collective critical conscience, environmental education can become a threat to dominant economical interests in exploiting natural resources. The results of this research suggest that as an educational practice to be developed in an integrated, continuous and permanent fashion in all levels and modalities of formal education, environmental education has not yet come to pass in the state of Rio Grande do Norte, due to the neglect and disrespect of the government when facing the need of promoting the necessary and legally appointed measures to make it present in the basic education provided by the state. The legislators silence when it comes to approving a regulation on environmental education essential to define policies, rules and criteria to teaching the subject in the state and the omission from the public administration regarding critical actions in order to integrate in public schools the activities related to the National Environmental Education Policy, represent a political decision for not doing anything, despite the legal demand for an active position. This neglecting attitude for the actualizing of strategically concrete actions, urgent and properly planned for the implementation of environmental education in schools in a multidisciplinary way, exposes the lack of interest the predominant classes have in such kind of education being made available, as it could be developed based on a critic political view, becoming a political and educational action against dominance. When analyzing the basic principles and fundamental goals in Law 9.795/99 (Brazil, 2009c) the development of a critic environmental education is really possible and concurs with the National Environmental Education Policy, reflecting the social and political mediations established between this public policy and the contexts associated to its legislative production process, which are responsible for approving a regulation which also represents the mind of the people about environmental protection above anything else

A utilização de espaços de educação não formal por professores de biologia de Natal-RN

La práctica educativa en espacios no formales es un recurso didáctico catalizador de motivación e interese, tanto para alumnos como para los profesores. El crecimiento de los espacios no formales coincide con los cambios recientes en el mundo en los campos sociales, políticos, económicos y culturales. Como una de las consecuencias de esos cambios, tenemos el crecimiento de otras instancias difusoras de conocimientos rompiendo, así, la hegemonía de la escuela. De esa forma, en este trabajo busqué investigar la frecuencia y las formas de utilización de los espacios de educación no formal por profesores de biología, de la enseñanza media, de la Ciudad de Natal (RN). Procuré también, identificar cuales son los espacios de educación no-formal que son utilizados; describir los recursos y las acciones desarrolladas en eses espacios; identificar la existencia o no de interese y la importancia que atribuyen a los espacios para la enseñanza de biología, además de divulgar los espacios utilizados como recursos didácticos. Para alcanzar estos objetivos fueron hechas observaciones de los espacios, aplicados cuestionarios y realizadas entrevistas con los profesores que realizan actividades junto a tales instituciones. Para el análisis de los datos se utilizó tanto el abordaje cuantitativo como cualitativa. Nos basamos en referenciales teóricos de autores que buscan establecer las relaciones entre diferentes modalidades de educación para mejor comprender lo que es la educación no-formal y su trayectoria histórica. Constaté que los profesores utilizan los espacios de educación no-formales, aun la cantidad de visitas al año sea reducida, en virtud de varias dificultades por ellos apuntadas, tales como el transporte, la falta de recursos financieros y de apoyo para viabilizar la visita, entre otros. Verifiqué también que los profesores demostraron un alto interese por los espacios no-formales y apuntaron como principales justificativas para considerarlos importantes para la enseñanza de la biología la posibilidad de establecer conexiones entre la teoría y la practica, además de la complementariedad

Tí estin Anámnesis? uma análise da anámnesis no mênon de Platão

Cette thèse a pour objectif principal examiner comment les Mênon, Platon listes l'anámnesis avec les autres théories qui sont abordés dans ce dialogue et, par conséquent, essayer de comprendre ce que c'est. Cette recherche vise dans un premier temps situées dans d'autres dialogues de Platon la survenance du terme anamnésis à veifique les points qui relient ces oeuvres à clarifier la compréhension d'un plus approprié dans le Mênon. Jetez-y aussi, quels sont les éléments de la platonicienne théorie de la connaissance sera reliant le dialogue afin de prouver que le Mênon, qui est la question centrale areté, garde un conflit dans la sophistique et la philosophie. Ce choc entre ce qui se passe papapep indirectement par l'intermédiaire de son Mênon enseigné, et Socrates qui conteste la thèse de l'éthique et le relativisme épistémologique. Nous voyons aussi, de quelle manière le dialogue est donnée de prendre une voie d'accès au savoir qui est configuré comme sûrs, à savoir anámnésis. L'interrogatoire de Mênon depuis le début dans les appels d'enquêter éristique cet intérêt, que lorsqu'ils sont confrontés à des intérêts les amènerait à l'état aporétique initial et qui est progressivement remplacé par l'aporie fondamental de connaissance, ce n'est point pour aporie la compréhension de anámnesis. En prenant la dialectique comme méthode d'enquête dans le dialogue, il est nécessaire de la part de Socrates et Mênon, de quitter le didaskein et en profiter pour mathésis que la construction des connaissances. Il ouvre de manière un des principaux enjeux dans ce travail examine si le anámnesis permettre l'accès aux moyens et si elle a un statut similaire à mnéme. À un moment où Socrate explique dans le dialogue qui est le anámnesis par monstration monstration fait avec esclave de Mênon il est l'utilisation d'éléments mythiques que, selon notre analyse, permettre à comprendre le sens de dialogue les connaissances qui montre l'opportunité d'apprendre, qui est la anámnesis

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

Expectativas reprodutivas de pais e filhos: uma avaliação do conflito pais-prole

Reproduction is an essential part of humans species’ existence and survival. We are interested in securing it, and having a direct interest in the reproduction of those with whom we have strong genetic relationship. Trivers (1974) featured the parent-offspring conflict, as a divergence about the parents’ investment, which has been mainly studied in the early stages of children’s development. However, the divergence in investment can also be expressed at the time of the reproductive decisions of the offspring. Thus, we investigated whether parents and children have conflicting interests regarding reproductive expectations of the children, understanding reproductive expectations as desired age to marry, have children, have sexual intercourse and desired amount of children. We found that parents and children disagree on some of these points, we also find a more conservative expectation when it comes to daughters, reiterating the daughter-guarding hypothesis. When we consider how much help would be given towards the up bringing of a grandson, we found a clear variation according to the age of the baby's parents: the younger the baby’s parents are, the larger the amount of assistance would be provided by grandparents. Considering the amount and quality of offspring and conditions of reproduction, parental investment is an element that presents itself closely linked to the history of the subject's life. Parents are the first to communicate to children how the environment in which they are inserted is presenting itself. As the life history is closely linked with reproduction, and, therefore, with parental investment, we intend to investigate whether there is a correlation between aspects of the individuals’ history of life (unpredictability and parental care) and their reproductive expectations, seeking further assess on whether there is relationship between parents' life history and their reproductive expectations for their children. We find evidence that partially confirm our expectations; we find relationships of some elements of reproductive expectations with indicators of unpredictability and parental care. The experiences of parents also reflected in their expectations for their children, with a more present correlation to their expectations for daughters. From our results, we find evidence that parent-offspring conflict appears in the reproductive expectations of children and relates to aspects of individuals’ life history.

Praias urbanas e racionalidade ambiental: avaliação da gestão, das intervenções urbanísticas e dos usos na praia de ponta negra

This dissertation addresses issues considered essential for sustainable development of urban waterfronts and beaches. Many of these spaces, even though they are of public authorities, economic market and general population interests - due to its landscape, its importance for recreation purposes and as a basis of " Sun and beach Tourism " (Turismo de Sol e Praia), among other factors - have shown aesthetic, health and cultural degradation, entailing environmental, economic and social losses and conflicts. Based on this perception, the research aims to understand the main reasons for these negative results for beach spaces. To this end, it was chosen the case study of a typical urban beach, Ponta Negra Beach, located in Natal, RN. Ponta Negra is associated with the "postcard" of the city and it has been deserving of municipal urban planning legislation that legally recognizes the importance of its landscape. Also it has received constant investments by the Government through urban projects, arguing to leave the site attractive to its users. Nevertheless, in the last fifteen years, the beach has lived with the expansion of its problems, such as those related to bathing water, to coastal erosion, and to the mangling of its natural surroundings. Social conflicts have also been frequent in this time frame: conflicts between residents of the waterfront and traders who work on the beach, between the traders themselves, between the managers of space and fishermen, between managers and formal and informal traders. Many of these social and environmental conflicts have taken such grand proportions that became legal matters. Assuming that the problems identified are related to the issue of rationality - understood as a system of values, norms and actions that relate means and ends - and upholding the need for focused research on "environmental rationality" to understand and interpret the dynamics of social and environmental problems encountered on site, the research that guides the study relies on the Mexican economist Enrique Leff's theory on "environmental rationality" which, briefly, can be defined as a system of values, norms, actions and means and ends relations based on the principles of environmental management and sustainable development. Among other aspects, rationality encompasses cross-sectional planning of public administration, the participation of society in the management of environmental resources, interdisciplinary reorganization of knowledge, the clash of opposing interests and the conciliation of common goals of different social actors. The study evaluates the relationship between "environmental rationality", as proposed by Enrique Leff, with the management, urban interventions and uses observed in Ponta Negra Beach. For that, some benchmarks were established and considered in the research as related to sustainable development of the "beachy" atmosphere. Analytical instruments chosen were the urban transformations and the environmental and social problems that have been the target of lawsuits. Also part of the study, the problems that were the subject of civil investigations, which are investigation procedures carried out by the Prosecutor's Office.

Praias urbanas e racionalidade ambiental: avaliação da gestão, das intervenções urbanísticas e dos usos na praia de ponta negra

This dissertation addresses issues considered essential for sustainable development of urban waterfronts and beaches. Many of these spaces, even though they are of public authorities, economic market and general population interests - due to its landscape, its importance for recreation purposes and as a basis of " Sun and beach Tourism " (Turismo de Sol e Praia), among other factors - have shown aesthetic, health and cultural degradation, entailing environmental, economic and social losses and conflicts. Based on this perception, the research aims to understand the main reasons for these negative results for beach spaces. To this end, it was chosen the case study of a typical urban beach, Ponta Negra Beach, located in Natal, RN. Ponta Negra is associated with the "postcard" of the city and it has been deserving of municipal urban planning legislation that legally recognizes the importance of its landscape. Also it has received constant investments by the Government through urban projects, arguing to leave the site attractive to its users. Nevertheless, in the last fifteen years, the beach has lived with the expansion of its problems, such as those related to bathing water, to coastal erosion, and to the mangling of its natural surroundings. Social conflicts have also been frequent in this time frame: conflicts between residents of the waterfront and traders who work on the beach, between the traders themselves, between the managers of space and fishermen, between managers and formal and informal traders. Many of these social and environmental conflicts have taken such grand proportions that became legal matters. Assuming that the problems identified are related to the issue of rationality - understood as a system of values, norms and actions that relate means and ends - and upholding the need for focused research on "environmental rationality" to understand and interpret the dynamics of social and environmental problems encountered on site, the research that guides the study relies on the Mexican economist Enrique Leff's theory on "environmental rationality" which, briefly, can be defined as a system of values, norms, actions and means and ends relations based on the principles of environmental management and sustainable development. Among other aspects, rationality encompasses cross-sectional planning of public administration, the participation of society in the management of environmental resources, interdisciplinary reorganization of knowledge, the clash of opposing interests and the conciliation of common goals of different social actors. The study evaluates the relationship between "environmental rationality", as proposed by Enrique Leff, with the management, urban interventions and uses observed in Ponta Negra Beach. For that, some benchmarks were established and considered in the research as related to sustainable development of the "beachy" atmosphere. Analytical instruments chosen were the urban transformations and the environmental and social problems that have been the target of lawsuits. Also part of the study, the problems that were the subject of civil investigations, which are investigation procedures carried out by the Prosecutor's Office.