43 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz
em Universidade Federal do Rio Grande do Norte(UFRN)
Resumo:
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
Resumo:
The following work is to interpret and analyze the problem of induction under a vision founded on set theory and probability theory as a basis for solution of its negative philosophical implications related to the systems of inductive logic in general. Due to the importance of the problem and the relatively recent developments in these fields of knowledge (early 20th century), as well as the visible relations between them and the process of inductive inference, it has been opened a field of relatively unexplored and promising possibilities. The key point of the study consists in modeling the information acquisition process using concepts of set theory, followed by a treatment using probability theory. Throughout the study it was identified as a major obstacle to the probabilistic justification, both: the problem of defining the concept of probability and that of rationality, as well as the subtle connection between the two. This finding called for a greater care in choosing the criterion of rationality to be considered in order to facilitate the treatment of the problem through such specific situations, but without losing their original characteristics so that the conclusions can be extended to classic cases such as the question about the continuity of the sunrise
Resumo:
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.
Resumo:
submeter a teoria do déficit de autocuidado de Orem a uma reflexão crítica. Metodologia: estudo teórico sobre os aspectos Importância e Aplicabilidade contidos no Modelo de Análise Crítica de Chinn e Kramer para análise crítica da teoria do déficit de autocuidado. Desenvolvido no período de outubro a dezembro de 2008. Resultados: o posicionamento da teoria do déficit de autocuidado está essencialmente relacionado à filosofia da enfermagem e demonstra potencial para influenciar ações de enfermagem, em especial relativas à educação para o autocuidado em pacientes portadores de cardiopatia isquêmica. Conclusões: a enfermagem, mediante a teoria do déficit de autocuidado, pode oferecer condições mais saudáveis e de maior autonomia ao indivíduo portador de cardiopatia isquêmica
Resumo:
Trata-se de um estudo descritivo de caso clínico, com abordagem qualitativa, o qual possui como objetivo estabelecer relações entre os diagnósticos de enfermagem da NANDA-I e os problemas de adaptação segundo o Modelo Teórico de Roy em um paciente prostatectomizado. A coleta de dados ocorreu em um hospital universitário localizado na cidade de Natal-RN, no mês de janeiro de 2011, por meio de um roteiro de entrevista e exame físico. Os diagnósticos que apresentaram relações entre a NANDA-I e o Modelo de Roy foram: dor, ansiedade, constipação, sono, atividade, volume de líquido e infecção. Conclui-se que grande parte dos problemas adaptativos segundo o Modelo de Roy, manifestados pelos pacientes no pós-operatório de prostatectomia, possuem semelhança com os diagnósticos da NANDA-I
Resumo:
The present study regards an applied social research (qualitative) performed in two institutions which lead children s cancer treatment in Natal, Rio Grande do Norte. The main goal of this study is, as of a literature review at works which characterizes the first generations of study about substantive rationality, to detect Decision Making process related aspects that may serve as a basis to elaborate analysis categories from decision making process, aggregating them into a new study that may provide an advance to the theme in administrative science. The academic works based on the analysis model created by Mauricio Serva served as a basis to deep research into such theme, which verifies the predominant rationality in eleven administrative internal processes in productive organizations. This dissertation intends to go beyond the identification of the predominant rationality by elaborating new categories of analysis, and making possible the continuity of the subject in administrative science. Based on Guerreiro Ramos s work, which sees a kind of ideal organization, as known as isonomies, this study still calls upon Karl Polanyi s thoughts, which with the objective of comprehending the independent economic phenomenon of the value that allows considering non-market economies, find that the economy of the men is submerged in his social relations; it also rescues the studies from Max Weber who investigates the meaning of social action to better understand the rationality, and refers to the study of Jürgen Habermas, who proposes a broader conception about rationality, within the theory of communicative action. As a result of this theme s review, seven analysis categories of the decision making process have been formulated. They were applied in the institutions that had been chosen and helped to detect the type of predominant rationality in the categories of the decision making process. The results confirm that, although the decisions making process involves rational elements, such as information, identification of alternatives, there are also specific values of each individual with his experience and view oh the world, permeated not only by instrumental rationality, but also by substantive rationality. The study has verified that two similar institutions may show different types of rationality in the decision making process, when decision factors may tend to instrumental rationality, according to administration classic way, as well as they may emerge from substantive rationality, thus contributing to the process of emancipation of the human being in his sphere of work
Resumo:
The phenomenon of the informality has been common in the quarrels that involve Sciences Social and Human. First for not corresponding to a temporary and isolated phenomenon, and on the other hand for dealing with a presente situation in the majority of the Brazilian urban centers. In Cuiabá municipality, the alternative commerce appears as a social answer to the problems caused for the economic crisis of the country and seems to be deep-rooted to the urban landscape. This assignment angles was the street peddlers, in special that ones who develop their in a specific location on lowered of Cuiabá. Researches pretending to fill a blank of information about this subject involve theoritical and empirical levels. The theory searched to raise in a generalized manner given pertinent the informality and the pratical level through field research searched to analyze excellent aspects on the economic and occupational situation of a composed sample for two hundred and theree workers who develope the pratical one of the informal commerce in Shopping Popular in Cuiaba/MT. The analysis of gotten data alllowed to appreciate some excellent aspects with regard to the activity os the peddler, as: origni, formation, income, perspectives with regard to activity among others. In las analysis it still alllowed to verify the factors that condition the permanence these workers in this type of informal activity
Resumo:
The consumption of energy on the planet is currently based on fossil fuels. They are responsible for adverse effects on the environment. Renewables propose solutions for this scenario, but must face issues related to the capacity of the power supply. Wind energy offshore emerging as a promising alternative. The speed and stability are greater winds over oceans, but the variability of these may cause inconvenience to the generation of electric power fluctuations. To reduce this, a combination of wind farms geographically distributed was proposed. The greater the distance between them, the lower the correlation between the wind velocity, increasing the likelihood that together achieve more stable power system with less fluctuations in power generation. The efficient use of production capacity of the wind park however, depends on their distribution in marine environments. The objective of this research was to analyze the optimal allocation of wind farms offshore on the east coast of the U.S. by Modern Portfolio Theory. The Modern Portfolio Theory was used so that the process of building portfolios of wind energy offshore contemplate the particularity of intermittency of wind, through calculations of return and risk of the production of wind farms. The research was conducted with 25.934 observations of energy produced by wind farms 11 hypothetical offshore, from the installation of 01 simulated ocean turbine with a capacity of 5 MW. The data show hourly time resolution and covers the period between January 1, 1998 until December 31, 2002. Through the Matlab R software, six were calculated minimum variance portfolios, each for a period of time distinct. Given the inequality of the variability of wind over time, set up four strategies rebalancing to evaluate the performance of the related portfolios, which enabled us to identify the most beneficial to the stability of the wind energy production offshore. The results showed that the production of wind energy for 1998, 1999, 2000 and 2001 should be considered by the portfolio weights calculated for the same periods, respectively. Energy data for 2002 should use the weights derived from the portfolio calculated in the previous time period. Finally, the production of wind energy in the period 1998-2002 should also be weighted by 1/11. It follows therefore that the portfolios found failed to show reduced levels of variability when compared to the individual production of wind farms hypothetical offshore
Resumo:
In the present time, public organizations are employing more and more solutions that uses information technology in order to ofer more transparency and better services for all citizens. Integrated Systems are IT which carry in their kernel features of integration and the use of a unique database. These systems bring several benefits and face some obstacles that make their adoption difficult. The conversion to a integrated system may take years and, thus, the study of the adoption of this IT in public sector organizations become very stimulant due to some peculiarities of this sector and the features of this technology. First of all, information about the particular integrated system in study and about its process of conversion are offered. Then, the researcher designs the configuration of the conversion process aim of this study the agents envolved and the moments and the tools used to support the process in order to elaborate the methodology of the conversion process understood as the set of procedures and tools used during all the conversion process. After this, the researcher points out, together with all the members of the conversion team, the negative and positive factors during the project. Finally, these factors were analysed through the Hospitality Theory lens which, in the researcher opinion, was very useful to understand the elements, events and moments that interfered in the project. The results consolidated empirically the Hospitality Theory presumptions, showing yet a limitation of this theory in the case in study
Resumo:
The present study aimed to understand how and to what extent the electronic forró, currently hegemonic in the music market in the state of Rio Grande do Norte, establishes and maintains relations of domination in the social contexts in which it is produced, transmitted and received. Based, in significant form-content, on the writings of the first generation of theorists of the so-called Frankfurt School (Critical Theory), particularly with Theodor W. Adorno, and systematically using the contributions of the Cultural Studies (from the Centre for Contemporary Cultural Studies of Birmingham) and of the sociology of Pierre Bourdieu, this study aimed to perform, in the fertile intersection of these references, a critical possibility of interpretation of the electronic forró predominantly spread in the state of Rio Grande do Norte. To this end, aiming at a better apprehension of the so-called capital circuits/culture circuits , this study resulted from a qualitative investment of research, based on structured interviews with musicians, entrepreneurs of the sector and music consumers, as well as on the analysis of the themes contained in the official discography of the electronic forró band called Garota Safada (Shameless Girl). As a general empirical conclusion, it was possible to infer that far from the significant presence of domination or mere prevalence of oppositions, there is a relational pluralism of forms of domination and ways of resistances present in the production and consumption of electronic forró, regardless of gender, age, income, education or place of residence. However, the artifices of the cultural industry has been shown to be efficient: from large-scale businessmen to small producers enabled by the so-called open markets . The currentness of the concept of cultural industry is based on the idea that its products are offered systematically (the systematic insistence of everything to everyone) and on the notion that its production primarily meets the administrative criteria of control over the effects on the receiver (capacity of prescription of desires). Thus, the Adornian reflection on the pseudo-individualization leads to the inference that even in some of the most apparent ways of negotiation and/or refusal regarding the consumption of forró, certain behaviors of the cultural industry still prevail both in the very (re)interpretation of the forró and in the choice of other music genres also standardized, rationalized and massified. Therefore, despite the absence of cause-effect relation and the recognition of the popular capacity of re-elaboration and contestation of the media consumption, some world views prevailing in relation to the electronic forró establish or, at least, support some hegemonic ideologies, especially those concerning the life style, consumption and genre relations (fun by all means). Therefore, due the massification of certain songs, some ways of dissemination of values, beliefs and feelings are potentially experienced from the electronic forró. So, it is presumable that in the current advance of the process of semiformation (Halbbildung), the habitus of a part of the youth from the state of Rio Grande do Norte reinforces and is reinforced by the centrality of the trinomial fun, love and sex present in the songs, emphasized in some constructive practices of sense and in certain flows of social significance
Resumo:
The present work has for object the Jury under the democratic optics, looking for to demonstrate its democratic validation. The purpose of this work was to revisit the institution, in order to bring its importance while instrument of popular participation. The work presents, first, a systematic and chronological approach of the institution of the Jury and its evolution inside of Brazilian constitutional history, objectifying, with this, to approach the narrow entailing of the Jury with the constitutional postulates. After that, the constitutional principles of the Jury had been examined, looking for to establish the popular identity of the institution and its approach with the human rights system of the Brazilian Federal Constitution. More ahead, had been examined the direct participation of the society in the Jury, going deep the questions related with the election of the jurors and the jury nullification on the American Jury. Finally, had been dedicated the study of the current conjuncture of the Brazilian Jury, its problems and the possible solutions, beyond the study of the limitation's mechanisms in the constitutional principle of the popular supremacy and the reform's projects suggested for legislators and jurists. In this way, had been looked elaborate a constitutional construction of the Jury, defending its permanence in the Brasil law system, for being a fundamental guarantee to protect the freedom, moreover for being essential to validate the Democratic State of Right, for to be the materialization of the democratic principle. For opportune, it's necessary to allege that this work had been directed to the constitutional analysis of the Jury, its legitimacy and its democratic vocation, using themselves as ideological north the American Jury System and as philosophical base the social contract theory, understanding the Jury as an instrument of protection of the society front to the state supremacy and its hierarchy structure of the power
Resumo:
The apparent virtuosity that if could wait of the globalization and the neoliberalism has given signals of deterioration in the contractual relations, especially in contracts of mass consumption, generating innumerable offensive situations to the basic rights and the goods constitutionally protected of the contractors. In the world of today, still that it does not reveal any desire, the individual practically is compelled to contract, for force of necessities and customs completely imposed, mainly in face of the essentiality of the services or agreed to goods. Ahead of as much and unexpected changes in the civil liames and of consumption, dictated for the globalization, it comes to surface the reflection if the private law e, more specifically, the civil law, meet prepared adequately to deal with these new parameters of the economy. The present dissertation has the intention to investigate if the globalization and the consequent neoliberalism, in this beginning of third millennium, will imply to revive of the principles and the basics paradigms of the contracts that consolidated and had kept, for more than two centuries, the liberal State. One notices that the study of this phenomenon it gains importance to the measure where if it aggravates the decline of the social State (Welfare State), with the embrittlement and the loss of the autonomy of the state authority, over all in countries of delayed modernity, as it is the case of Brazil, that presents deep deficiencies to give or to promote, with a minimum of quality and efficiency, essential considered public services to the collective and that if they find consecrated in the Federal Constitution, as basic rights or as goods constitutionally protecting, the example of the health, the education, the housing, the security, the providence, the insurance, the protection the maternity, the infancy and of aged and deficient. To the end, the incidence of constant basic rights of the man in the Constitution is concluded that, in the process of interpretation of the right contractual conflicts that have as object rights or goods constitutionally proteges, in the universe of the globalized perhaps economy and of the neoliberalismo, it consists in one of the few ways - unless the only one - that still they remain to over all deal with more adequately the contractual relations, exactly that if considers the presence of clauses generalities in the scope of the legislation infraconstitutional civil and of consumption, front the private detainers of social-economic power. To be able that it matters necessarily in disequilibrium between the parts, whose realignment depends on the effect and the graduation that if it intends to confer to the basic right in game in the private relation. The Constitution, when allowing the entailing of the basic rights in the privates relations, would be assuming contours of a statute basic of all the collective, giving protection to the man against the power, if public or independently private
Resumo:
The demands brought by a society doomed to the constant production of global risks, which whose effects are not immediately noticed effects are not perceived immediately, claim from the Law a new Theory about the Risk, that would offer a broad environmental protection, at the same time it would still be compatible with the idea of economic efficiency, required by the Modern Industry. The expansion of the methods and technologies regarding the exploitation and production of oil causes the constant expansion of the exploitable boundaries, especially in ultra-deep waters with the Pre-salt layer, in Brazil, or the still incipient research about the polymetallic nodules and other mineral sources in international waters, like the Atlântico Sudoeste, by the Programme on Ocean Science in Relation do Non Living Resources (OSNLR), a global study performed in partnership with the Intergovernmental Oceanographic Commission, from UNESCO (IOC UNESCO) and also with the Division of Ocean Affairs and Law of the Sea (UNDOALOS). Thus, we aim to analyze the correlation, and possible collisions between the right to a balanced environment and the free exercise of economic activity and the occurrence of environmental damages from the perspective of the exploitation activities of oil and other natural resources in international waters, specifically in the Area, from the constitutional principle of sustainable development and its legitimacy by the environmental international protection. Therefore, this study also aims to evaluate the legal framework for exploration and production of oil in international waters, particularly in the Area, and appraise how the constitutional instruments and mechanisms for environmental protection can impact on the international environmental protection system in order to ensure the present and future generations an ecologically balanced environment, laid down in Article 225 of the Brazilian Constitution, even with so many risks posed by the activities of exploitation and production of oil in international waters. In the meantime, we intend to also intend to investigate the possibility of future liability for environmental damage in order to ensure that constitutional principle and, consequently, and try to define the concept of environmental damage and its implications on the constitutional principle of environmental protection. Given all that was in summary, this work aims to contribute to the evolution of the new Theory of Environmental Risk, turning the law into something more than a punitive or corrective element in this society, but into a legal risk management, that may be triggered even before the consolidation of the damage
Resumo:
It analyzes the magnitude, the nature and the direction of public revenues and the public expenses in oil and natural gas producing municipalities in the state of Rio Grande do Norte in the post-constituent period, and, more precisely, from the approval of Law 9.478/97, called Oil Law . It argues the fiscal federalism normative theory, the typology and the role of the intergovernamental transferences in the performance of the public finances of the local governments. Shows that the economy of Rio Grande do Norte went through deep social-economic changes in the last few decades, among which includes the discovery of the oil and the natural gas and its importance for the growth of the industrial and services sectors. It points out that the increase of the production and the international price of the oil contributed for the growth in revenues of royalties and the special participation in the beneficiary cities, what did not mean an automatic increase in the resources destined to the investment and in the quality on the provision of the goods and services come back toward the local development. On the contrary, the main conclusion of the work is that the trajectory of the oil producing municipalities is marked by paths and embezzlements in the performance of the public finances and in the provision of public goods and services. Paths, that lead to the improvement of the performance of the public finances and the quality of the public goods and services. Embezzlements, that lead to the inefficiency in the provision of goods and services and the capture of the public resources. That is, the fiscal decentralization is a necessary condition, however not enough to improve the amount and the quality of the public goods and services given by these municipalities. For that it is necessary to advance in the fiscal federalism normative theories, in search of optimum model of federalism in local governments where still predominated by patrimonialism, clientelism, fiscal illusion and the capture of the public resources in benefit of the private interests
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior