Defensoria pública e sua legitimidade à tutela jurídica dos direitos humanos

The realization of human rights is a prerequisite to the development of peoples, this requires legal mechanisms and techniques to its consistent and effective promotion, protection and fulfillment. So, agree that there is an institution or public agency created for the purpose of protecting those who suffer most in the face of human rights violations: the needy. In Brazil, among other institutions and public agencies, the responsibility of the Public Defender to promote the protection of human rights. The constitutional system recognizes the institution in its essence the role of the state court, whose duty is to provide guidance and legal defense of the needy. The legal system as a whole sufraga the relevance of the Ombudsman as a mainspring of human rights. In the prison system, with the ultimate regulatory changes, such as Law 12.313 of 2010 which introduced changes to the Law 7.210 of 1984, the institution must ensure the correct and humane enforcement of sentences and the security measures pertaining to the needy. With the Complementary Law 132 of 2009, to systematize other duties of the Public Defender, highlighting their contribution to the movement of access to justice. Within the OAS, to adopt Resolution 2656, 2011, characterizing, with ruler and compass, the relevance of the Ombudsman access to justice and protection of human rights. In this step, the present study concerns the role of Defender in the legal protection of human rights, through monographic and deductive methods, as there remains a technical and theoretical connection between these two points themed legal phenomenon, since the rights humans, especially after the second half of the twentieth century, form the basis of the legal system of the major Western nations in the world. This led, therefore, the emergence of technical and legal institutions aimed at realizing human rights. This applies to the Defender. Access to justice and public service provision of legal assistance are human rights, therefore, essential to humans and necessary for social inclusion. Countries such as Brazil, marked by social inequality, depend on the structuring of institutions like the Defender, designed to promote citizenship to the Brazilian people

A aplicação do acordo sobre subsídios e medidas compensatórias pelo estado brasileiro

The Multilateral Trading System has evolved and presented new international mandatory rules to States. Along with the World Trade Organization constitutive treaty, Brazil has incorporated the Agreement on Subsidies and Countervailing Measures (ASCM) in the national legal system. That treaty limits de scope of subsidies concession by governments since this practice can constitute a mechanism of commercial disloyalty, affecting national industrial development in the importing country. At the same time, the multilateral agreement grants defense legitimate instruments to States, among them the possibility of domestically and unilaterally imposing countervailing measures to subsidized products that enter the national territory. Since the issue concerns both international and domestic level in complementary grounds, this research, besides investigating the treaty related obligation, aims at studying the national legal fundaments to ASCM s application by the Brazilian State. Therefore, the essential point resides in the State s conduction of its international trading and also in its available and constitutionally established mechanisms of economic intervention. State s regulating power reveals itself as a fundamental prerogative to succeed in the internalization of international agreement s requirements in the domestic legal system, which represents a basic prerequisite to the implementation of countervailing measures. Once the whole normative outlines are apprehended, this study shall scan the administrative process of trading defense main elements, along with the means of controlling public administration acts. The action taken by the public organs that directly intervene in foreign trade shall be analyzed as well, so as to enable reasoning if the unilateral application of countervailing duties by the Brazilian State is happening on legitimacy grounds

Tributação, finanças públicas e política fiscal: uma análise sob a óptica do direito e economia

In the Brazilian legal scenario, the study of taxation has traditionally been restricted to positivist analysis, concerned with investigating the formal aspects of the tax legal rule. Despite its relevance to the formation of the national doctrine of tax, such formalist tradition limits the discipline, separating it from reality and the socioeconomic context in which the Tax Law is inserted. Thus, the proposal of the dissertation is to examine the fundamentals and nature of taxation and tax legal rules from the perspective of Law and Economics (Economic Analysis of Law). For this purpose, the work initially reconnects the Tax Law and Science of Finance (or Public Finance) and Fiscal Policy, undertaking not only a legal analysis, but also economic and financial analysis of the theme. The Economics of Public Sector (or Modern Public Finance) will contribute to the research through topics such as market failures and economic theory of taxation, which are essential to an economic approach to Tax Law. The core of the work lies in the application of Law and Economics instruments in the study of taxation, analyzing the effects of tax rules on the economic system. Accordingly, the dissertation examines the fundamental assumptions that make up the Economic Analysis of Law (as the concept of economic efficiency and its relation to equity), relating them to the tax phenomenon. Due to the nature of the Brazilian legal system, any worth investigation or approach, including Law and Economics, could not pass off the Constitution. Thus, the constitutional rules will serve as a limit and a prerequisite for the application of Law and Economics on taxation, particularly the rules related to property rights, freedom, equality and legal certainty. The relationship between taxation and market failures receives prominent role, particularly due to its importance to the Law and Economics, as well as to the role that taxation plays in the correction of these failures. In addition to performing a review of taxation under the approach of Economic Analysis of Law, the research also investigates the reality of Brazilian tax system, applying the concepts developed in relevant cases and issues to the national scene, such as the relationship between taxation and development, the compliance costs of taxation, the tax evasion and the tax enforcement procedure. Given the above, it is intended to lay the groundwork for a general theory of Economic Analysis of Tax Law, contextualizing it with the Brazilian tax system

Educação tecnológica e pré-sal: necessidades e urgências

The purpose of this dissertation is whether the demand for manpower trained in technical school for the sector of Oil and Gas (O&G) is in balance with the offer of that training in the Brazilian education system. The methodology used to obtain such information was based on School Census 2000 and 2008 where data were worked out in order to clarify the numbers of enrollments in secondary technical level demanded by the sector of O&G. The demand for manpower with that qualification as a data source was the 2010-2014 Business Plan Program for Mobilization of the National Oil and Natural Gas (PROMINP). This Program identified the future demand for manpower for the Sector of the O&G until 2014 where the occupational categories are mapped prerequisite training and experience. In order to better understand the object of this study was dome a review of the literature with regard to technical education in Brazil but also the importance of the education to economic growth and the peculiarities of the oil economy in different countries possessors of those mines, or that is, developed and underdeveloped countries. Analysis showed that enrollment in technical education in Brazil had a significant increase between the dates 2000 and 2008. It also don´t bring balance with the characteristic of the dynamics of the productive sectors of the economy mainly due to heating of the economy before the global growth especially in the Construction Industry as well as in the Oil and Natural Gas Engineering and a Naval account of the discovery of oil in the Pre-Salt. Another important aspect is that one of the major problems of qualification of manpower in Brazil is due to a bad quality of the student´s school and high school which makes difficult a good performance in office work and also this ability to learn new functions. The rapprochement between the supply of the education system and the demand for manpower with training mid-level technical support for the sector O&G showed that most technical courses demanded or had no enrollment in 2008, had few enrollment in 15 states with demand expect to occur and those enrollment were unevenly distributed among states. The analysis therefore signalize the needed of a public policy that enables the adequacy of the education system (Secondary Technical Education) to Sector of O&G in terms of enrollment and its distribution between the oil producing states and in relation to technical expertise offered

Os princípios da organização focada na estratégia: um estudo em empresas vencedoras do prêmio nacional de qualidade

The Balanced Scorecard (BSC) has been used as a communication tool and strategy monitoring, helping organizations alignment, inserting a new vision with integrated use of performance indicators nonfinancial together with some financial measures. Their proper use leads to a new management style, focused on management strategies, using for this, basically three dimensions: strategy, which should be translated as the primary responsibility for the organizational agenda, the focus that should be concentrated, and the organization with the mobilization of employees. This paper deals with theoretical considerations about strategies, strategic planning, BSC and principles of the organization focused on strategy (OFE). Describes a study of four companies that won the National Quality Award - PNQ, among which, three have adopted the BSC and adopts a particular model of strategic management. The research aimed to make an analysis of the companies regarding adherence to the five principles of OFE, proposed by the BSC, seeking to answer whether the use of BSC is a prerequisite for accession to the Principles of OFE. The results showed that the BSC is a strategic management model that promotes focus and organizational alignment and is a major facilitator in the process, however, cannot be considered a prerequisite for accession to the principles of the OFE, because the four companies studied, including the one that adopt its own model of strategic management, have great levels of adherence to such principles. Making the organization focused on strategy can be considered a natural movement essential for the strategic management, which is not necessarily conditioned by the use of BSC

Método Fuzzy para auxílio ao diagnóstico de câncer de mama em ambiente inteligente de telediagnóstico colaborativo para apoio à tomada de decisão

Breast cancer, despite being one of the leading causes of death among women worldwide is a disease that can be cured if diagnosed early. One of the main techniques used in the detection of breast cancer is the Fine Needle Aspirate FNA (aspiration puncture by thin needle) which, depending on the clinical case, requires the analysis of several medical specialists for the diagnosis development. However, such diagnosis and second opinions have been hampered by geographical dispersion of physicians and/or the difficulty in reconciling time to undertake work together. Within this reality, this PhD thesis uses computational intelligence in medical decision-making support for remote diagnosis. For that purpose, it presents a fuzzy method to assist the diagnosis of breast cancer, able to process and sort data extracted from breast tissue obtained by FNA. This method is integrated into a virtual environment for collaborative remote diagnosis, whose model was developed providing for the incorporation of prerequisite Modules for Pre Diagnosis to support medical decision. On the fuzzy Method Development, the process of knowledge acquisition was carried out by extraction and analysis of numerical data in gold standard data base and by interviews and discussions with medical experts. The method has been tested and validated with real cases and, according to the sensitivity and specificity achieved (correct diagnosis of tumors, malignant and benign respectively), the results obtained were satisfactory, considering the opinions of doctors and the quality standards for diagnosis of breast cancer and comparing them with other studies involving breast cancer diagnosis by FNA.

Otimização de forma aplicando B-splines sob critério integral de tensões

This work proposes a computational methodology to solve problems of optimization in structural design. The application develops, implements and integrates methods for structural analysis, geometric modeling, design sensitivity analysis and optimization. So, the optimum design problem is particularized for plane stress case, with the objective to minimize the structural mass subject to a stress criterion. Notice that, these constraints must be evaluated at a series of discrete points, whose distribution should be dense enough in order to minimize the chance of any significant constraint violation between specified points. Therefore, the local stress constraints are transformed into a global stress measure reducing the computational cost in deriving the optimal shape design. The problem is approximated by Finite Element Method using Lagrangian triangular elements with six nodes, and use a automatic mesh generation with a mesh quality criterion of geometric element. The geometric modeling, i.e., the contour is defined by parametric curves of type B-splines, these curves hold suitable characteristics to implement the Shape Optimization Method, that uses the key points like design variables to determine the solution of minimum problem. A reliable tool for design sensitivity analysis is a prerequisite for performing interactive structural design, synthesis and optimization. General expressions for design sensitivity analysis are derived with respect to key points of B-splines. The method of design sensitivity analysis used is the adjoin approach and the analytical method. The formulation of the optimization problem applies the Augmented Lagrangian Method, which convert an optimization problem constrained problem in an unconstrained. The solution of the Augmented Lagrangian function is achieved by determining the analysis of sensitivity. Therefore, the optimization problem reduces to the solution of a sequence of problems with lateral limits constraints, which is solved by the Memoryless Quasi-Newton Method It is demonstrated by several examples that this new approach of analytical design sensitivity analysis of integrated shape design optimization with a global stress criterion purpose is computationally efficient

Rotação diferencial em estrelas do tipo solar

Stellar differential rotation is an important key to understand hydromagnetic stellar dynamos, instabilities, and transport processes in stellar interiors as well as for a better treatment of tides in close binary and star-planet systems. The space-borne high-precision photometry with MOST, CoRoT, and Kepler has provided large and homogeneous datasets. This allows, for the first time, the study of differential rotation statistically robust samples covering almost all stages of stellar evolution. In this sense, we introduce a method to measure a lower limit to the amplitude of surface differential rotation from high-precision evenly sampled photometric time series such as those obtained by space-borne telescopes. It is designed for application to main-sequence late-type stars whose optical flux modulation is dominated by starspots. An autocorrelation of the time series is used to select stars that allow an accurate determination of spot rotation periods. A simple two-spot model is applied together with a Bayesian Information Criterion to preliminarily select intervals of the time series showing evidence of differential rotation with starspots of almost constant area. Finally, the significance of the differential rotation detection and a measurement of its amplitude and uncertainty are obtained by an a posteriori Bayesian analysis based on a Monte Carlo Markov Chain (hereafter MCMC) approach. We apply our method to the Sun and eight other stars for which previous spot modelling has been performed to compare our results with previous ones. The selected stars are of spectral type F, G and K. Among the main results of this work, We find that autocorrelation is a simple method for selecting stars with a coherent rotational signal that is a prerequisite to a successful measurement of differential rotation through spot modelling. For a proper MCMC analysis, it is necessary to take into account the strong correlations among different parameters that exists in spot modelling. For the planethosting star Kepler-30, we derive a lower limit to the relative amplitude of the differential rotation. We confirm that the Sun as a star in the optical passband is not suitable for a measurement of the differential rotation owing to the rapid evolution of its photospheric active regions. In general, our method performs well in comparison with more sophisticated procedures used until now in the study of stellar differential rotation

Violência e luta por direitos no capitalismo contemporâneo: crítica à configuração do atendimento às mulheres no Rio Grande do Norte

This research analyzes the Rio Grande do Norte care services to women who face violence in the context of contemporary capitalism. To do so, we situate the patriarchy in the set of current social relations and its relationship with the corporate determinations in everyday life. The new functions of the Patriarchy in the capital sociability permeates the lives of individuals and particularizes the relationships of violence which affects women, requiring, in the immediate level, policy-making to face them. The research found an arsenal of contradictory possibilities and limitations in dealing with violence. In this process, forms of struggle and resistance predominate, which appear as possibilities and limits were identified relate to the socio-historical context of regression of the rights, historical moment in which increase the objective difficulties in everyday life to ensure the legal achievements. It is worth to emphasize the achievements and contradictions that characterize the struggle process for rights, linking services to women to the social policies and to the limits they face in opposition to the aims of the State to meet the mandatory requirements of capital, reducing its role as the main guarantor of policies and rights. In this sense, the trajectory of the achievements that have referred to the proclamation of a specific law to deal with combat violence against women, the Maria da Penha Law - 11.340/06, which provides an integrated set of measures that, if implemented, would allow the women protection from relations of violence they experience. We identified in Rio Grande do Norte precarious services that are essential to achieve the Maria da Penha Law. This situation requires a feminist organization to claim the rights that enable women to see themselves as people with rights in the process of collective struggle. This is the historical need for continuity of struggles that accumulate policies for the existence of a new model of social relations of gender. One of the possibilities that are presented in the current context is the impact on the public budget in order to ensure compliance with the budget for public policies for women - woman budget. In this perspective, feminist segments in national and state level have been organized to understand the functioning and monitoring of social policies. This is a condition and prerequisite for ensuring policies to ensure basic rights and the violence combat , which still requires an integrated set of services. The survey results allow us to consider that the struggle for rights is necessary at this historical moment, however it is not sufficient in human emancipation, which requires new forms of social relations that determine substantive equality between men and women. Thus, the feminist movement faces the challenge to organize and strengthen itself in daily life, in order to execute a project that changes the meaning of women's rights, articulated to a corporate project which wants other command in the set of social relations . This study emphasizes the need for a more and more organic connection between feminism and social struggles, to ensure the inclusion of women in anti-capitalist struggle

Função Afifim: Teoria e aplicações

In this work we present a proposal to contribute to the teaching and learning of affine function in the first year of high school having as prerequisite mathematical knowledge of basic education. The proposal focuses on some properties, special cases and applications of affine functions in order to show the importance of the demonstrations while awaken student interest by showing how this function is important to solve everyday problems

An automated approach for performance deviation analysis of evolving software systems

A manutenção e evolução de sistemas de software tornou-se uma tarefa bastante crítica ao longo dos últimos anos devido à diversidade e alta demanda de funcionalidades, dispositivos e usuários. Entender e analisar como novas mudanças impactam os atributos de qualidade da arquitetura de tais sistemas é um pré-requisito essencial para evitar a deterioração de sua qualidade durante sua evolução. Esta tese propõe uma abordagem automatizada para a análise de variação do atributo de qualidade de desempenho em termos de tempo de execução (tempo de resposta). Ela é implementada por um framework que adota técnicas de análise dinâmica e mineração de repositório de software para fornecer uma forma automatizada de revelar fontes potenciais – commits e issues – de variação de desempenho em cenários durante a evolução de sistemas de software. A abordagem define quatro fases: (i) preparação – escolher os cenários e preparar os releases alvos; (ii) análise dinâmica – determinar o desempenho de cenários e métodos calculando seus tempos de execução; (iii) análise de variação – processar e comparar os resultados da análise dinâmica para releases diferentes; e (iv) mineração de repositório – identificar issues e commits associados com a variação de desempenho detectada. Estudos empíricos foram realizados para avaliar a abordagem de diferentes perspectivas. Um estudo exploratório analisou a viabilidade de se aplicar a abordagem em sistemas de diferentes domínios para identificar automaticamente elementos de código fonte com variação de desempenho e as mudanças que afetaram tais elementos durante uma evolução. Esse estudo analisou três sistemas: (i) SIGAA – um sistema web para gerência acadêmica; (ii) ArgoUML – uma ferramenta de modelagem UML; e (iii) Netty – um framework para aplicações de rede. Outro estudo realizou uma análise evolucionária ao aplicar a abordagem em múltiplos releases do Netty, e dos frameworks web Wicket e Jetty. Nesse estudo foram analisados 21 releases (sete de cada sistema), totalizando 57 cenários. Em resumo, foram encontrados 14 cenários com variação significante de desempenho para Netty, 13 para Wicket e 9 para Jetty. Adicionalmente, foi obtido feedback de oito desenvolvedores desses sistemas através de um formulário online. Finalmente, no último estudo, um modelo de regressão para desempenho foi desenvolvido visando indicar propriedades de commits que são mais prováveis a causar degradação de desempenho. No geral, 997 commits foram minerados, sendo 103 recuperados de elementos de código fonte degradados e 19 de otimizados, enquanto 875 não tiveram impacto no tempo de execução. O número de dias antes de disponibilizar o release e o dia da semana se mostraram como as variáveis mais relevantes dos commits que degradam desempenho no nosso modelo. A área de característica de operação do receptor (ROC – Receiver Operating Characteristic) do modelo de regressão é 60%, o que significa que usar o modelo para decidir se um commit causará degradação ou não é 10% melhor do que uma decisão aleatória.

An automated approach for performance deviation analysis of evolving software systems

A manutenção e evolução de sistemas de software tornou-se uma tarefa bastante crítica ao longo dos últimos anos devido à diversidade e alta demanda de funcionalidades, dispositivos e usuários. Entender e analisar como novas mudanças impactam os atributos de qualidade da arquitetura de tais sistemas é um pré-requisito essencial para evitar a deterioração de sua qualidade durante sua evolução. Esta tese propõe uma abordagem automatizada para a análise de variação do atributo de qualidade de desempenho em termos de tempo de execução (tempo de resposta). Ela é implementada por um framework que adota técnicas de análise dinâmica e mineração de repositório de software para fornecer uma forma automatizada de revelar fontes potenciais – commits e issues – de variação de desempenho em cenários durante a evolução de sistemas de software. A abordagem define quatro fases: (i) preparação – escolher os cenários e preparar os releases alvos; (ii) análise dinâmica – determinar o desempenho de cenários e métodos calculando seus tempos de execução; (iii) análise de variação – processar e comparar os resultados da análise dinâmica para releases diferentes; e (iv) mineração de repositório – identificar issues e commits associados com a variação de desempenho detectada. Estudos empíricos foram realizados para avaliar a abordagem de diferentes perspectivas. Um estudo exploratório analisou a viabilidade de se aplicar a abordagem em sistemas de diferentes domínios para identificar automaticamente elementos de código fonte com variação de desempenho e as mudanças que afetaram tais elementos durante uma evolução. Esse estudo analisou três sistemas: (i) SIGAA – um sistema web para gerência acadêmica; (ii) ArgoUML – uma ferramenta de modelagem UML; e (iii) Netty – um framework para aplicações de rede. Outro estudo realizou uma análise evolucionária ao aplicar a abordagem em múltiplos releases do Netty, e dos frameworks web Wicket e Jetty. Nesse estudo foram analisados 21 releases (sete de cada sistema), totalizando 57 cenários. Em resumo, foram encontrados 14 cenários com variação significante de desempenho para Netty, 13 para Wicket e 9 para Jetty. Adicionalmente, foi obtido feedback de oito desenvolvedores desses sistemas através de um formulário online. Finalmente, no último estudo, um modelo de regressão para desempenho foi desenvolvido visando indicar propriedades de commits que são mais prováveis a causar degradação de desempenho. No geral, 997 commits foram minerados, sendo 103 recuperados de elementos de código fonte degradados e 19 de otimizados, enquanto 875 não tiveram impacto no tempo de execução. O número de dias antes de disponibilizar o release e o dia da semana se mostraram como as variáveis mais relevantes dos commits que degradam desempenho no nosso modelo. A área de característica de operação do receptor (ROC – Receiver Operating Characteristic) do modelo de regressão é 60%, o que significa que usar o modelo para decidir se um commit causará degradação ou não é 10% melhor do que uma decisão aleatória.