In critical real-time systems, any faulty behavior may endanger lives. Hence, system verification and validation is essential before their deployment. In fact, safety authorities ask to ensure deterministic guarantees. In this thesis, we are interested in offering temporal guarantees; in particular we need to prove that the end-to-end response time of every flow present in the network is bounded. This subject has been addressed for many years and several approaches have been developed. After a brief comparison between the existing approaches, the Trajectory Approach sounded like a good candidate due to the tightness of its offered bound. This method uses results established by the scheduling theory to derive an upper bound. The reasons leading to a pessimistic upper bound are investigated. Moreover, since the method must be applied on large networks, it is important to be able to give results in an acceptable time frame. Hence, a study of the method's scalability was carried out. Analysis shows that the complexity of the computation is due to a recursive and iterative processes. As the number of flows and switches increase, the total runtime required to compute the upper bound of every flow present in the network understudy grows rapidly. While based on the concept of the Trajectory Approach, we propose to compute an upper bound in a reduced time frame and without significant loss in its precision. It is called the Scalable Trajectory Approach. After applying it to a network, simulation results show that the total runtime was reduced from several days to a dozen seconds.

At the end of XX century, after the collapse of totalitarian regimes, Central and Eastern European states started a new development process related to essential constitutional reforms. It became necessary to ensure human rights and freedoms, their fulfilment and protection. Human rights and freedoms confirmed in the constitutions of Central and Eastern European countries make one of the most fundamental institutions of constitutional law. This master thesis analysis human rights and freedoms confirmed in the constitutions of Central and Eastern European countries as well as discloses in detail personal, political and social, economic and cultural rights according to the content of rights.

A robust computational framework is presented for the risk-neutral valuation of capital guarantees written on discretely-reallocated portfolios following the Constant Proportion Portfolio Insurance (CPPI) strategy. Aiming to address the (arguably more realistic) cases where analytical results are unavailable, this framework accommodates risky-asset jumps, volatility surfaces, borrowing restrictions, nonuniform reallocation schedules and autonomous CPPI floor trajectories. The two-asset state space representation developed herein facilitates visualising the CPPI strategy, which in turn provides insight into grid design and interpolation. It is demonstrated that given a deterministic process for the risk-free rate, the pricing problem can be cast as solving cascading systems of 1D partial integro-differential equations (PIDEs). This formulation’s stability and monotonicity are studied. In addition to making more sense financially, the limited borrowing variant of the CPPI strategy is found to be better suited than the classical (unlimited borrowing) counterpart for bounded-domain calculations. Consequently, it is demonstrated how the unlimited borrowing problem can be approximated by imposing an artificial borrowing limit. For implementation validation, analytical solutions to special cases are derived. Numerical tests are presented to demonstrate the versatility of this framework.

O autor aborda a conformidade das execuções fiscais de anuidades aos princípios do Devido Processo Legal e da Capacidade Contributiva, especialmente após o advento da Lei nº 12.514/2011, que alterou a definição do fato gerador da Contribuição devida aos Conselhos de Fiscalização Profissional. Valendo-se de pesquisa jurisprudencial sobre a forma como vêm sendo utilizados os meios para salvaguardar os créditos tributários, a presente dissertação questiona os parâmetros adotados para o deferimento de penhoras eletrônicas no âmbito destas execuções, considerando as peculiaridades da constituição do crédito tributário e da extração do título executivo pelas diversas projeções regionais dos Conselhos de Fiscalização. Com base no postulado da razoabilidade, apresenta critérios alternativos aptos a mitigar o caráter confiscatório da ordem de bloqueio e proteger o mínimo existencial dos executados, minimizando o risco de indisponibilidade de valores diretamente comprometidos com despesas de alimentação, saúde e moradia. / The author discusses the compliance of the procedure prior to tax foreclosure to the Due Process of Law and Contributory Capacity, especially after the advent of Law 12.514/2011, which changed the definition of the taxable event of the contribution due to the Supervisory Boards of Professional Activity. Drawing on jurisprudential research on how has been used the tools to safeguard the tax credits, the author also analyzes the parameters that have been used for the acceptance of electronic attachment under these executions, considering the peculiarities of the constitution of the tax credit and the extraction of the enforcement by the various projections of regional councils. Based on the postulate of reasonableness, the author presents alternative proposals able to mitigate the confiscatory nature of the freezing order and protect the vital minimum of the debtors, minimizing the risk of embrancing amounts directly committed to food expenses, health and housing.

In this article, the author attempts to establish the limitations and consequences resulting from the use of evidence that, being obtained from the exercise of the powers of investigation and enforcement that owns the Treasury, then is carried to the tax criminal proceedings, as the basis for the complaint made by the Tax Administration. For this, the author approaches the taxpayer’s right against self-incrimination (or not to incriminate himself ) as well as some general concepts of the state of innocence, and then analyzes how these concepts are related to the tax law, specifically with the evidence inside it. The article also contains a number of ideas that attempts to summarize the thoughts and positions taken on the issue in current doctrine and jurisprudence in Argentina, establishing in turn, parallel situations and comparisons with the Peruvian tax system.

Submitted by Guilherme Albuquerque (guialb@yahoo.com.br) on 2014-07-24T19:10:09Z No. of bitstreams: 1 Dissertação FGV-MFEE Guilherme Albuquerque.pdf: 5683425 bytes, checksum: a39441eaddafbf331f5c9f1c3b07ea78 (MD5) / Approved for entry into archive by Marcia Bacha (marcia.bacha@fgv.br) on 2014-09-23T13:56:09Z (GMT) No. of bitstreams: 1 Dissertação FGV-MFEE Guilherme Albuquerque.pdf: 5683425 bytes, checksum: a39441eaddafbf331f5c9f1c3b07ea78 (MD5) / Made available in DSpace on 2014-09-23T13:56:40Z (GMT). No. of bitstreams: 1 Dissertação FGV-MFEE Guilherme Albuquerque.pdf: 5683425 bytes, checksum: a39441eaddafbf331f5c9f1c3b07ea78 (MD5) Previous issue date: 2014-02-27 / The sanitation situation in Brazil is alarming. Water supply and sewage services are provided appropriately for only 59.4% and 39.7%, respectively, of the Brazilian population. It is estimated that R$ 304 billion in investments are needed to change this situation. Part of this amount will come from the private sector and the structuring of public-private partnerships is one way to achieve this goal. In order to ensure economic viability of this type of project it is common for the public sector to provide guarantees to the private partner. This paper presents a model for the valuation of these guarantees, using as case studies the PPP of sewage services from the metropolitan region of Recife and the city of Goiana. The result evidenced the importance of this valuation, since depending on the level of security offered to the private sector, the expected present value of the public sector disbursements ranged from zero to R$ 204 million. / A situação do saneamento no Brasil é alarmante. Os serviços de água e esgotamento sanitário são prestados adequadamente somente para 59,4% e 39,7%, respectivamente, da população brasileira. Para mudar este quadro, estima-se que sejam necessários R$ 304 bilhões em investimentos. Parte desse volume terá que vir da iniciativa privada e a estruturação de parcerias público privadas é uma das formas de atingir este objetivo. Nestes projetos é comum o setor público oferecer garantias ao parceiro privado para assegurar a viabilidade do empreendimento. O presente trabalho apresenta um modelo para valoração destas garantias, utilizando como estudos de caso as PPP de esgoto da região metropolitana de Recife e do Município de Goiana. O resultado obtido mostrou a importância desta valoração, uma vez que dependendo do nível de garantia oferecida o valor presente dos desembolsos previstos para o setor público variou de zero a até R$ 204 milhões.

Submitted by Fábio Roberto Barros Mello (frb_mello@hotmail.com) on 2017-05-31T15:13:44Z No. of bitstreams: 1 Dissertação - Mestrado - Direito - Fabio Mello - NPC - 26.05.2017 - Biblioteca Digital FGV.pdf: 1428354 bytes, checksum: 1cd4b14e8d43ff7d132772e2c7f2f40c (MD5) / Approved for entry into archive by Joana Martorini (joana.martorini@fgv.br) on 2017-05-31T15:42:22Z (GMT) No. of bitstreams: 1 Dissertação - Mestrado - Direito - Fabio Mello - NPC - 26.05.2017 - Biblioteca Digital FGV.pdf: 1428354 bytes, checksum: 1cd4b14e8d43ff7d132772e2c7f2f40c (MD5) / Made available in DSpace on 2017-05-31T17:16:41Z (GMT). No. of bitstreams: 1 Dissertação - Mestrado - Direito - Fabio Mello - NPC - 26.05.2017 - Biblioteca Digital FGV.pdf: 1428354 bytes, checksum: 1cd4b14e8d43ff7d132772e2c7f2f40c (MD5) Previous issue date: 2017-05-12 / This paper aims to study the negative pledge clause, to establish identity points and its compatibility with the Brazilian law, and to draw lessons from foreign experience to help its practical application of signed business in Brazil. The study is justified by the idea that legal certainty, which corresponds to the existence of suitable and effective instruments to satisfy the obligations, is an important factor to take into consideration when formalizing legal business. In this context arises the relevance of the warranties, either generic, based on financial liability, or any of the typical figures provided by the law. However, not always the guarantees are fully effective, raising the need to strengthen the protection system. The alternative and solution may be found in the covenants, which correspond to a legal category originated in the common law. It raises from the structure of commitments with the objective of building a greater business security environment. Under the civil law, the equivalent is the legal category called security and safety clauses, which, among others, is specified in negative pledge clause. This figure corresponds to the obligation of not offering guarantees on assets to other creditors. It acts enabling the creditor to accelerate credit satisfaction or prevents others from gaining such an advantage. These and other issues associated with negative pledge clause will be developed throughout the work. / O presente trabalho tem como objeto o estudo da negative pledge clause, a fim de estabelecer pontos de identidade e a compatibilidade dela com o direito brasileiro, assim como extrair lições da experiência estrangeira para ajudar na sua aplicação prática em negócios firmados e executados no Brasil. O estudo se justifica a partir da ideia de que a segurança jurídica, a qual corresponde à existência de instrumentos aptos e eficazes à satisfação das obrigações, é um importe fator a ser considerado na formalização do negócio jurídico. Desse contexto advém a relevância das garantias, sejam elas a genérica, fundada na responsabilidade patrimonial, ou alguma das figuras típicas, conforme rol previsto na legislação material. Ocorre que nem sempre as garantias são plenamente efetivas, suscitando a necessidade de fortalecimento desse sistema de proteção. A alternativa e a solução podem estar nos covenants. Correspondem eles a categoria jurídica oriunda da common law, desenvolvidos a partir da estruturação de obrigações com a finalidade de construir ambiente de maior segurança negocial. No âmbito da civil law, equivalem às cláusulas de garantia e segurança, que se especificam, dentre outras, na negative pledge clause. Esta corresponde, em linhas gerais, à obrigação de não oferecimento de garantias sobre bens a outros credores. Atua, possibilitando que o credor acelere a satisfação de crédito ou impedindo que os demais obtenham semelhante posição de vantagem. Estas e outras questões inerentes à negative pledge clause serão desenvolvidas ao longo do trabalho.

O autor aborda a conformidade das execuções fiscais de anuidades aos princípios do Devido Processo Legal e da Capacidade Contributiva, especialmente após o advento da Lei nº 12.514/2011, que alterou a definição do fato gerador da Contribuição devida aos Conselhos de Fiscalização Profissional. Valendo-se de pesquisa jurisprudencial sobre a forma como vêm sendo utilizados os meios para salvaguardar os créditos tributários, a presente dissertação questiona os parâmetros adotados para o deferimento de penhoras eletrônicas no âmbito destas execuções, considerando as peculiaridades da constituição do crédito tributário e da extração do título executivo pelas diversas projeções regionais dos Conselhos de Fiscalização. Com base no postulado da razoabilidade, apresenta critérios alternativos aptos a mitigar o caráter confiscatório da ordem de bloqueio e proteger o mínimo existencial dos executados, minimizando o risco de indisponibilidade de valores diretamente comprometidos com despesas de alimentação, saúde e moradia. / The author discusses the compliance of the procedure prior to tax foreclosure to the Due Process of Law and Contributory Capacity, especially after the advent of Law 12.514/2011, which changed the definition of the taxable event of the contribution due to the Supervisory Boards of Professional Activity. Drawing on jurisprudential research on how has been used the tools to safeguard the tax credits, the author also analyzes the parameters that have been used for the acceptance of electronic attachment under these executions, considering the peculiarities of the constitution of the tax credit and the extraction of the enforcement by the various projections of regional councils. Based on the postulate of reasonableness, the author presents alternative proposals able to mitigate the confiscatory nature of the freezing order and protect the vital minimum of the debtors, minimizing the risk of embrancing amounts directly committed to food expenses, health and housing.

O presente trabalho apresentado ao Programa de Pós-Graduação em Psicologia Social da Universidade do Estado do Rio de Janeiro (UERJ), no Curso de Doutorado Interinstitucional (DINTER) realizado em parceria com a Universidade Federal do Maranhão (UFMA), teve como proposta pesquisar a visão dos atores sociais envolvidos diretamente com a medida socioeducativa de internação no Maranhão. O objetivo da pesquisa foi identificar a visão dos atores sociais sobre aspectos relacionados ao processo de aplicação, execução e cumprimento da medida socioeducativa de privação de liberdade. Com o propósito de compreender a percepção das pessoas que atuam nas três etapas da medida socioeducativa de internação, realizou-se uma pesquisa de campo com três grupos sendo que, cada grupo foi representado por indivíduos que estavam vinculados a cada uma das etapas da referida medida. Os dados foram coletados por intermédio de entrevistas com os respectivos sujeitos, utilizando-se como apoio um roteiro semiestruturado, elaborado em consonância com os objetivos da pesquisa. Para categorização, dimensionamento e análise dos dados e dos registros do diário de campo utilizou-se a técnica de Análise de Conteúdo. Os resultados alcançados com a pesquisa proporcionam subsídios para uma reflexão sobre o processo e as condições em que se dão a execução e o cumprimento da medida socioeducativa de internação no Centro da Juventude Esperança (CJE) da Fundação da Criança e do Adolescente (FUNAC) no Maranhão (MA). Os resultados da pesquisa apontam para uma incongruência entre o que estabelece a Lei n 8.069/1990, que instituiu o Estatuto da Criança e do Adolescente (ECA), o que preconiza o Sistema Nacional de Atendimento Socioeducativo (SINASE) e o que, de fato tem sido efetivado pela unidade (CJE) de internação e execução da medida de privação de liberdade. Além destas questões, os resultados da pesquisa também indicam que o Sistema de Garantias de Direitos da Criança e do Adolescente (SGDCA), no Maranhão não vem funcionando em conformidade com os princípios e diretrizes previstos pelo ECA, cujo objetivo principal da medida socioeducativa de internação, abrangendo aspectos educativos, formativos e sociais, não estaria acontecendo no Estado do Maranhão. / This paper presented to the Graduate Program in Social Psychology at the State University of Rio de Janeiro (UERJ), the Interinstitutional Doctorate Course (DINTER) conducted in partnership with the Federal University of Maranhão (UFMA), was proposed search the vision of the social actors directly involved with the admission a socioeducative measure in Maranhão. The objective of this research was to identify the vision of social actors on issues related to the implementation process, implementation and enforcement of a socioeducative measure deprivation of liberty. With the purpose of understand the perception of people who act in three stages a socioeducative measure admission, there was a field research with three groups of which each group was represented by individuals who were linked to each step of the measure. Data were collected through interviews with their subjects, using as support a semi-structured, prepared in line with the research objectives. For categorization, measurement and analysis of data and registers of daily records we used the technique of content analysis. The results achieved from research grants to provide a reflection on the process and give conditions under which the implementation and enforcement of the measure socio admission in Hope Youth Center (CJE) Foundation for Children and Adolescents (FUNAC) in Maranhão (MA). The search results point to an incongruity between what the law provides n 8.069/1990, which established the Child and Adolescent (ECA), which advocates the National Socio-Educational Services (SINASE) and that in fact has been effected by the unit (CJE) admission and implementation of the measure of deprivation of liberty. Besides these issues the search results also indicate that the System Guarantees Rights of the Child and Adolescent (SGDCA) in Maranhão not have worked in accordance with the principles and guidelines provided by ACE, and that the main objective of the measure socio-admission, which are the aspects of education, training and social, would not be happening in the State of Maranhão.

Made available in DSpace on 2014-12-17T14:20:10Z (GMT). No. of bitstreams: 1 SilvanaMC.pdf: 1007352 bytes, checksum: 07067f838d112b9fbc5e697ed5eac284 (MD5) Previous issue date: 2008-02-28 / In this work we have analyzed the political commitment of the social assistance sponsored by the Bradesco Foundation in Jo?o Pessoa. This Foundation is a private institution of public interest that provides social assistance to low income populations all over Brazil. This kind of work is one of the oldest management initiatives in what is actually referred to as managers` social responsibility. This thesis assumes that managers who are in fact socially responsible should guide their actions by the principles of social democracy, so that everyone can enjoy citizens` social freedom, and guarantee their rights as well as the political awareness of social actors. Analysis of documents and a qualitative approach have been applied to the pedagogical Project of the Foundation, as well as phenomenology to study the social profile of their students. The analysis of the pedagogical project as well as the students` standpoint towards life reveals that the Bradesco Foundation is indeed committed to the social efficacy of its students. The educational proposal of the organization includes those elements that are required for teenagers` education envisaging participative citizenship. The teenagers` speech reveals that they have developed the project identity, being therefore able to take part in the process of political transformation of our time. The results indicate that the Bradesco Foundation not only guarantees some of the basic social rights for the healthy development of those who attend their courses, but also sponsors a high level education providing both a technical and a political formation / Neste trabalho analisamos o compromisso pol?tico do servi?o social prestado pela Funda??o Bradesco na cidade de Jo?o Pessoa. A Funda??o ? uma institui??o privada de interesse p?blico que presta um servi?o social para popula??es de baixo poder aquisitivo em todo o Brasil. A Funda??o ? uma das mais antigas iniciativas empresariais no ramo do que hoje se denomina Responsabilidade Social Empresarial. Esta tese elege como marco te?rico o pensamento de autores que problematizam o compromisso pol?tico dos empres?rios que atualmente investem em a??es sociais. Parte do pressuposto de que os empres?rios socialmente respons?veis devem nortear seus investimentos pelos princ?pios da democracia social, para que todos desfrutem da liberdade social dos cidad?os, pela garantia dos direitos e a forma??o pol?tica dos atores sociais. Metodologicamente fizemos uso da an?lise documental, adotando uma abordagem qualitativa para analisar o Projeto Pedag?gico da Funda??o, e da fenomenologia para analisar o perfil social dos seus alunos. A an?lise do Projeto Pedag?gico, bem como da postura dos alunos frente ? vida, revela que a Funda??o Bradesco est? comprometida com a efic?cia social de seus educandos. A proposta educativa da organiza??o contempla os elementos necess?rios ? forma??o dos jovens para a cidadania participativa. Os depoimentos dos jovens revelam que eles desenvolveram a identidade de projeto, tornando-se capazes de participar do processo de transforma??o pol?tica de nosso tempo. Os resultados encontrados indicam que a Funda??o Bradesco garante alguns dos direitos sociais b?sicos para o desenvolvimento saud?vel das crian?as que l? estudam, e uma educa??o de qualidade em que s?o contempladas forma??o t?cnica e pol?tica