Made available in DSpace on 2016-04-26T20:24:23Z (GMT). No. of bitstreams: 1 Lauro Simoes de Castro Bisnetto.pdf: 1582172 bytes, checksum: 6d9e26a606fd83509fe254ae7c6183d1 (MD5) Previous issue date: 2016-03-14 / The dissertation achieves a comparative critic between the culture of judicial precedents in the common s law order and the dogmatic of the decisions binding systematized by the New Civil Procedure Code (L. 13.105/15). We intend to illustrate a secular decision s practice that shows itself complex and to question what seems to be a precipitated import of this juridical experience. The possibility of thinking this analysis is discovered by philosophy. Stem from the phenomenological hermeneutic of Martin Heidegger confronted to the Immanuel s Kant epistemology we shed some light on the happening of precedents in oppose to the pre-determined binding decisions. The interpretative possibilities of both systems are explored in order to become viable a compromised critic. Finally, the work presents a possible post-positivist comprehension to the hermeneutic application of binding decisions, a behavior expectative based on integrity and stability of Law in favor of grounded jurisdictional answers / A dissertação realiza uma crítica comparativa entre a cultura dos precedentes judiciais na ordem do common law e a dogmática dos provimentos vinculantes sistematizada pelo Novo Código de Processo Civil (L. 13.105/15). Procuramos ilustrar uma prática decisória secular que se mostra complexa e questionar o que parece ser uma importação precipitada dessa experiência jurídica. A possibilidade de pensarmos essa análise é descoberta pela filosofia. A partir da hermenêutica fenomenológica de Martin Heidegger confrontada à epistemologia de Immanuel Kant procuramos pôr à vista o acontecer dos precedentes em face dos provimentos vinculantes pré-determinados. As possibilidades interpretativas de ambos sistemas são exploradas para que se torne viável uma crítica compromissada. Ao final, o trabalho apresenta uma possível compreensão pós-positivista para a aplicação hermenêutica dos provimentos vinculantes, uma expectativa comportamental pautada na integridade e estabilidade do Direito em favor de respostas jurisdicionais fundamentadas

Made available in DSpace on 2016-04-26T20:23:52Z (GMT). No. of bitstreams: 1 Daniel Mascarin Pires Kumasaca.pdf: 1565355 bytes, checksum: cef257a24a75512cdb4f32c73126db1f (MD5) Previous issue date: 2015-09-15 / The Brazilian legal system allows many interpretations of its model, its institutions and its scope in society. Among the institutes, the summary bindings introduced by EC 45/2004 make possible to do analysis of the entire political, social and Brazilian legal system, since they arise from abnormalities that may jeopardize state security. The idea is to promote, through philosophical discussion and the historical reconstruction of social and political ideals, how summary bindings affect the current landspace of the Federative Republic of Brazil. It is not just about addressing the issue related to judicial activism resulting from summary bindings, but also and mainly explores the institute, confronts concepts and puts down theories, grounded in the study of philosophical models treated along the dissertation. Therefore, we intend to address not only the positions against the summary bindings, as well as to refute the favorable understandings, which exist by evidence and are found in the majority doctrine of constitutional law Brazilian. We work in order to focus not only on legal institutions, but we try to find at the heart of the society itself, manners and the discussion about the scope of power and its way of working in the state. Conceiving the story, along with the philosophical study were outstanding to achieve the results listed here, from the theoretical foundation to the critical development of the institutes, existing institutions and concepts in Brazil and it is precisely the tripartite model of separation of executive functions, legislative and judiciary that the major part of this work is framed, especially when we analyze the judicial activism of the Supreme Court and the prerogative created with summary bindings, since it is the last resort of the Brazilian system, reason why the analysis about the State General Theory stands as crucial to the final understanding of the work / O ordenamento jurídico brasileiro permite muitas interpretações do seu modelo, de suas instituições e de seu alcance na sociedade. Dentre os institutos, as Súmulas Vinculantes inseridas pela EC 45/2004, possibilitam a análise de todo o sistema político, social e jurídico brasileiro, vez que resultantes de anormalidades que podem abalar a segurança do Estado. A ideia é fomentar, através da discussão filosófica e da reconstrução histórica dos ideários sociais e políticos, como as súmulas vinculantes afetam a conjuntura atual da República Federativa do Brasil. Não se trata apenas de abordar o tema referente ao ativismo judicial decorrente das súmulas vinculantes, mas também e principalmente dissecar o instituto, enfrentar conceitos e derrubar teorias, embasados justamente no estudo dos modelos filosóficos tratados ao longo da dissertação. Para tanto, procuramos abordar não apenas os posicionamentos contrários às súmulas vinculantes, como de igual feita refutar os entendimentos favoráveis, que por evidência existem e se encontram na doutrina majoritária sobre o Direito Constitucional Brasileiro. Trabalhamos de forma a não nos concentrar somente nos institutos jurídicos, mas procuramos encontrar no âmago da própria sociedade as formas e a discussão sobre o alcance do poder e do seu funcionamento do Estado. Conceber a história, juntamente com o estudo filosófico, foram preponderantes para alcançar os resultados aqui elencados, desde a fundamentação teórica até o desenvolvimento crítico sobre os institutos, instituições e conceitos existentes no Brasil e é justamente no modelo tripartite de separação de funções em Executivo, Legislativo e Judiciário que a maior parte do trabalho se enquadra, sobretudo quando analisamos o ativismo judicial do Supremo Tribunal Federal e a prerrogativa criada com as súmulas vinculantes, já que é ele a última ratio do sistema brasileiro, motivo pelo qual a análise em torno da Teoria Geral do Estado se coloca como fundamental para o entendimento final do trabalho

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type. / Formal methods are rapidly improving and gaining ground in software. Type systems are the most successful and popular formal method used to develop software. As the technology of type systems progresses, new needs and new opportunities appear. One of those needs is to ensure the faithfulness of the translation from source code to machine code, so that the properties you prove about the code you write also apply to the code you run. This thesis presents a compiler from a polymorphic higher-order functional language to typed assembly language, whose main property is that type preservation is verified statically, through type annotations on the compiler's code. Our compiler implements the essential code transformations for a higher-order functional language, namely a CPS conversion and closure conversion as well as a code generation. The thesis presents the details of the strongly typed intermediate representations and the constraints they set on the implementation of code transformations. Our goal is to guarantee type preservation with a minimum of type annotations, and without compromising readability and modularity of the code. This goal is already a reality for simple types, and we discuss the problems remaining for polymorphism, which still requires substantial extra work to satisfy the type checker.

The subject of this diploma thesis is the compilation of the business plan for the extension of the services of the Toy Shop * Stationery. This work consists of three main parts. The theoretical part contains definitions of terms forming the structure of the business plan and the definition of necessary analyzes. In the analytical part is analyzed the current state of the company. In the last proposed section is created a concrete business plan, which is aimed at the development of the company.

Odorant-binding proteins (OBPs) are small soluble proteins expressed at high levels in the proximity of olfactory receptors. OBPs act as solubilizers and carriers of the lipophilic odorants in the aqueous mucus of mammals and other vertebrates. OBPs have now been studied nearly thirty years, but in comparison to the wealth of data available on their structural chemistry and molecular biology, our knowledge about gene expression and function of these proteins is still insufficient. This work provides new insights into the tissue specificity of OBP and presents several new sequences of genes governing these proteins in selected species of mice.