L’annotation des codes est une notion juridique largement méconnue en France. Son utilisation généralisée ausein de l’ensemble des codes publiés invite cependant à s’interroger sur sa nature et ses fonctions. L’emploi de laméthode comparative se révèle essentiel dans cette recherche : par la référence à des codes étalons dépourvusd’annotation -les codes monégasques-, il est possible de définir l’annotation.L’annotation est toute différence, par ajout ou par retranchement, par rapport au texte officiel du code et quiapporte une valeur ajoutée à la lecture de celui-ci. Elle est l’oeuvre d’un ou de plusieurs annotateurs, qui yexpriment leur vision du droit, et elle participe à la création doctrinale. En réalisant l’association entre les normeslégales et le droit prétorien, elle présente un panorama complet du droit, contribuant à l’accessibilité et àl’intelligibilité de la loi. Ces remarques trouvent un écho équivalent en droit français comme en droitmonégasque, bien que le droit de la Principauté présente des particularités juridiques propres qui restreignent ledéveloppement actuel de l’annotation.En regroupant tout le droit en vigueur au même endroit, l’annotation permet à la codification de se renouveler etde s’adapter aux temps présents. L’interaction qu’elle développe avec son support amène à considérer quel’annotation est une troisième voie de codification, dépourvue de force contraignante. Par conséquent, tout codequi n’est pas annoté peut être considéré comme un code inachevé.Il serait donc souhaitable que les codes monégasques soient pleinement annotés dans un futur proche. / Code Annotation is an unknown notion in French Law, although the majority of published codes have it. Toanalyze its nature and functions is consequently not devoid of interest. The use of the comparative approach isessential here. Code Annotation is better understood through comparison with code standards devoid ofAnnotation – those of the Principality of Monaco.Code Annotation is any difference, by addition or deletion, compared to the official text of the code, which addsvalue to its interpretation. It is the production of one or several annotators, who express their conceptions of theLaw, and thus it participates to the construction of Legal Doctrine. Annotation constitutes the combination oflegal texts and jurisprudential contributions, resulting in a complete presentation of the Law. Such observationscan be made in French as well as in Monegasque Law, even if the latter is characterized by national legalspecificities which restrict the current development of Annotation.By presenting all the law in force in the same place, Annotation enables codification to renovate itself and beadapted to the present time. The interaction between Annotation and its basis makes it possible to consider thatAnnotation is a third way of codification, without legal force. Therefore, any code which is not annotated shouldbe considered an unfinished code.That is why it could be appropriate for Monegasque codes to be fully annotated in the near future.

Este estudo versou sobre os caminhos da formação do Direito Comercial brasileiro a partir das reformas pombalinas no século XVIII até a promulgação do Código Comercial brasileiro de 1850, procurando expor em quais pontos em se diferenciou do Direito Civil. Para tanto, no primeiro capítulo, expôs-se de que forma se deu a penetração das ideias Iluministas em Portugal, especialmente por meio da obra de LUÍS ANTÓNIO VERNEY. Em seguida, procurou-se demonstrar como essas ideias informaram as reformas levadas a efeito pelo Marquês de Pombal no século XVIII. No segundo capítulo, objetivou-se evidenciar as alterações na sociedade e na estrutra do império luso-brasileiro a partir da abertura dos portos em 1808 e de que forma estas alterações tiveram impacto na História do Direito Comercial nacional. O terceiro capítulo destinou-se a provar o influxo de ideias jusracionalistas no Direito Comercial brasileiro por meio da adoção da teoria subjetiva da causa, consagrada legislativamente no Código Civil francês de 1804. O trabalho, portanto, destinou-se a por em relevo um aspecto da História do Direito privado brasileiro que não se coaduna com a tradição jurídica luso-brasileira / This study refers to the formation of Brazilian Commercial Law from the pombalinas reforms until the promulgation of the Brazilian Code of Commerce in 1850. Throughout the work we tried to demonstrate how the Commercial Law followed a different tradition comparing with the Civil Law in Brazil. Thus, the first chapter demonstrates the Enlightenment influx in Portugal, specially through the work of LUÍS ANTÓNIO VERNEY. Then, the influence of VERNEYS ideas and the reforms that took place by the hands of the Marquês de Pombal in Portugal was showed. The second chapter demonstrates the social and political modifications that happened in the Portuguese Empire after the opening of the Brazilian ports to the trade of the world. At this point, there was also a study on the impact of the these developments in the History of the Brazilian Commercial Law. The third and last chapter attempts to prove the influx of Enlightenment demonstrating that the Code of Commerce of 1850 adopts the subjective theory of cause which is the same as in the French Code Civil of 1804. Therefore, this work demonstrated how the Brazilian Commercial Law followed different juridical tradition in comparison with the Brazilian Civil Law.

The thesis is dealing with the comparison of different approaches to the language culture in the Czech republic and France. The opening chapter introduces the development of the conception norms and legalisation in both countries from a historical point of view. It is focusing on the theory of the Prague linguistic group at it's classical and postwar period in the Czech republic. It is also defining the term ?bon usage? and dealing with the role of the French academy and it's influence on the character of the written language. It is also analising the current trends in language culture in both countries especially concentrating on the issues of the limitations of written language, dealing with language issues in schools and introducing some solutions which should improve the situation of the current language culture. The final chapter is defining the substantial equivalences and differences towards language culture in both countries and showing it's direction in the future.

abstract: Since 9/11 a wide range of violent practices including indefinite detention, torture, and targeted killing have been employed by the United States and the "international community" against "international terrorism." Modern laws of war are portrayed as the bright line that distinguishes the "international community" from "unlawful combatants." The threat posed by unlawful combatants has been portrayed as so exceptionally grave that the international community is justified in the transgression of those very laws of war that constitute the distinction between "us" and "them." In consequence the efficacy of modern laws of war to provide humanitarian protections has been cast into doubt and many characterize humanitarian laws of war as obsolete. Existing work on the politics of exception and the exclusion of Guantánamo Bay detainees from US federal law does not frame the problem of the exception in terms of international law. Though many consider the prerequisites for politics of exception absent in the international system, I argue that a dispersed notion of sovereignty and constructivist approaches to law resolve obstacles to considering the exception at the level of the state system. I explore system level exceptional politics through a critical reading of modern laws of war. Rejecting essentialist historical narratives, I first conduct a genealogical study of laws of war from ancient Greece through the Middle Ages. I then conduct a critical reading of three texts from the War on Terrorism; Barack Obama's 2009 Nobel Peace Prize acceptance speech, John Brennan's "The Ethics and Efficacy of the President's Counterterrorism Strategy," and Medea Benjamin's interruption of John Brennan. I argue that modern narratives of war law venerate codification and textually privilege a "mystical" figure of modern law. This figure empowers a universalized "international community" as law's privileged agent. Violence employed by this archetypal community, even when outside the law, is rendered ethically pure and historically necessary. In consequence modern humanitarian law as a bright line always permits excluded archetypal identities and vast powers of violence are mobilized by the "international community" against discrete individual human bodies who are identified with this excluded archetype, or who simply find themselves in the way. / Dissertation/Thesis / Ph.D. Political Science 2014

Este trabalho descreve o desenvolvimento e a validação de um gerador de estímulos visuais naturalísticos, GEN, utilizado em experimentos com o sistema visual de moscas. Tal gerador projeta a imagem em um anteparo que abrange todo o campo visual da mosca. Um espelho acoplado a um motor linear movimenta a imagem horizontalmente de acordo com velocidades predefinidas pelo experimentador. Ao contrário dos tradicionais geradores com monitores de raios catódicos - que apresentam imagens através de uma sequencia de quadros entre 60 e 200Hz - o GEN apresenta a imagem de forma contínua. Além de eliminar o problema das altas taxas de quadros por segundo exigidas nestes experimentos, o novo sistema também gera imagens com uma maior resolução, brilho e contraste. Durante a apresentação dos estímulos visuais foram registrados os potenciais de ação do neurônio H1 da mosca Chrysomya megacephala, localizado na placa lobular e responsável pela detecção de movimentos horizontais. Os resultados deste trabalho mostram como a resposta do neurônio estudado depende de parâmetros do estímulo tais como: velocidade, luminância, campo visual estimulado e frequência espacial da imagem utilizada. A influência destes parâmetros na resposta neural demonstram a importância de possuir geradores capazes de simular em laboratório estímulos que a mosca encontra em seu habitat natural. / This work presents the development and the validation of a naturalistic visual stimuli generator, NSG, to be used in neuroscience experiment with the flys visual system. To satisfy the requirement of naturalistic stimuli, the new generator projects a slide onto a screen covering the whole visual field of the fly. A mirror controlled by a linear electrical motor moves the image horizontally according to a predefined velocity profile. In addition, the NSG shows the image continuously as opposed to usual stimuli generators with cathode ray monitors having a frame rate between 60 and 200Hz. A further advantage of the NSG is its high luminance, brightness and contrast. During the stimulus presentations, the activity of the H1 neuron of the blowfly Chrysomya megacephala was recorded, this neuron is sensitive to horizontal image displacements. The results show how the response of the studied neuron depends on stimulus parameters such as speed, luminance, visual field stimulated and the spatial frequency of the image used. The influence of these parameters on neural response demonstrates the importance of generators that reproduces in laboratory the flys natural habitat.

Orientador: Reginaldo Palazzo Junior / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-12T20:22:38Z (GMT). No. of bitstreams: 1 Santos_PolyaneAlves_M.pdf: 825808 bytes, checksum: f4b4d556a54cfca0cb0a84dd5e07a7a3 (MD5) Previous issue date: 2008 / Resumo: A proposta de um sistema criptográfico de chave pública que utiliza códigos convolucionais de memória-unitária clássicos e quânticos apresentada neste trabalho, está baseada na utilização de transformações armadilha que, ao serem aplicadas as submatrizes reduzem a capacidade de correção de erros do código. Este processo proporciona um aumento no grau de privacidade da informação a ser enviada devido a dois fatores: para a determinação de códigos ótimos de memória unitária è necessário resolver o Problema da Mochila e a redução da capacidade de correção de erro dos códigos ocasionada pelo embaralhamento das colunas das submatrizes geradoras. São também apresentados neste trabalho, novos códigos convolucionais quânticos concatenados [(4, 1, 3)]. / Abstract: The proposal of a cryptographic system of public key that uses classical and quantum convolutional codes of unit-memory presented in this work, is based on the use of trapdoors functions which when applied to submatrices reduce the capacity of correction of errors of the code. This process gives us an increase in the degree of privacy of information being sent, because of two factors, namely: to establish good unit-memory codes is necessary to solve the knapsack problem, and the reduction of the capacity of correcting errors of codes provided by scrambling the columns of generating submatrices. We also present in this work, news quantum convolutional codes [(4, 1, 3)]. / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Orientador: Paulo Roberto Brumatti / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-08T08:10:04Z (GMT). No. of bitstreams: 1 Peixoto_Rafael_M.pdf: 934807 bytes, checksum: 78e7878efe9d701bf24a3bf0701e6dd5 (MD5) Previous issue date: 2007 / Resumo: O objetivo principal desta dissertação é apresentar o resultado central de R. Matsumoto sobre as álgebras munidas de função peso serem anéis de coordenadas a fim de curvas algébricas com exatamente um lugar de grau um no infinito. A partir disto, pode-se concluir que os códigos de avaliação, introduzidos por Ho/holdt, van Lint e Pellikaan, construídos sobre estas álgebras são um caso particular dos códigos geométricos de Goppa, isto e, códigos de Goppa pontuais. Para isto, utilizamos resultados sobre teoria de corpos de funções algébricas, de códigos geométricos de Goppa e de álgebra comutativa. Com a introdução dos conceitos de funções ordem e peso, nos é permitido descrever os códigos de avaliação e assim determinar cotas inferiores para a distancia mínima dos seus códigos duais, que em alguns casos são melhores que as cotas de Goppa / Abstract: The main objective of this text is to present the central result of R. Matsumoto concerning those algebra with a weight function being affine coordinate ring of an affine algebraic curve with exactly one place at infinity. From that statement one can conclude that the evaluation codes, introduced by Ho/holdt, van Lint e Pellikaan, constructed on this algebra are particular cases of geometric Goppa codes, that is, one point AG codes. For this, we use results of the algebraic function fields theory, geometric Goppa codes and commutative algebra. The introduction of the concepts of order and weight functions enable us to describe the evaluation codes and thus to determine lower bounds for the minimum distance of its duals codes, in same cases, are better than the Goppa¿s bounds / Mestrado / Mestre em Matemática

Orientador: Renato Baldini Filho / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e Computação / Made available in DSpace on 2018-08-09T16:51:44Z (GMT). No. of bitstreams: 1 Barros_JosedaSilva_D.pdf: 1113624 bytes, checksum: cc495e9ad5340bd9733b8eccf46332d8 (MD5) Previous issue date: 2007 / Resumo: Neste trabalho apresentamos classes de códigos turbo não binários definidos sobre os campos e anéis de inteiros. Os códigos turbo multiníveis convencionais consistem em dois códigos componentes RSC M-ários, concatenados via um entrelaçador aleatório de N símbolos e com símbolos codificados transmitidos através da modulação M-PSK. Os códigos turbo híbridos multiníveis consistem em dois códigos componentes RSC, não necessariamente definidos sobre o mesmo alfabeto. Os codificadores componentes são separados por um entrelaçador e os símbolos codificados transmitidos através de um esquema híbrido de modulação PSK. O algoritmo de decodificação iterativa de máximo a posteriori, usado para decodificar os códigos concatenados binários, pode ser estendido para a classe dos códigos turbo não binários. Os resultados das simulações mostram que os códigos turbo híbridos multiníveis apresentam melhor desempenho, error floor mais baixo e menor complexidade de codificação e decodificação que os códigos turbo M-ários convencionais. Já os códigos turbo multiníveis M-ários são mais eficientes que os códigos turbo binários padrão / Abstract: This work presents classes of non-binary codes defined over rings and fields of integers. The conventional multilevel turbo codes consist of two M-ary RSC component codes concatenated via a random N-symbol interleaver and with encoded symbols are transmitted using a M-PSK modulation. The hybrid multilevel turbo codes consist of two RSC component codes, defined on different alphabets. The component encoder are separated by a interleaver and the encoder symbols are transmitted utilizing a hybrid M-PSK scheme. The iterative binary decoding algorithm is a maximum a posteriori scheme, which can be extended to the class of the non-binary turbo codes. The results of the simulations show that the hybrid multilevel turbo codes present better performance, lower error floor and lower encoding and decoding complexities than the M-ary conventional turbo codes. Moreover, the M-ary multilevel turbo codes are more efficient than the standard binary turbo codes / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica

Orientador: Jaime Portugheis / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-15T19:30:44Z (GMT). No. of bitstreams: 1 Andrade_Alexandrede_D.pdf: 5191552 bytes, checksum: ae675c28ea93ab3a91655042f4cd13d1 (MD5) Previous issue date: 2010 / Resumo: Esta tese aborda métodos de estimação probabilística em sistemas de comunicações usando a teoria de grafos-fatores e seu algoritmo genérico soma-produto. Estas ferramentas são atualmente reconhecidas como um ambiente ideal para derivar vários esquemas de decodificação/ estimação, e também integrar modelos de componentes típicos num sistema de comunicação para melhor desempenho do processo de recepção. Mais genericamente, são adequadas para projetos de receptores unificados. Além disso, vários esquemas de decodificação conjunta fonte/canal podem ser contextualizados neste ambiente. Partimos de uma revisão geral da teoria grafos-fatores e do algoritmo soma-produto de forma abrangente e inserindo os fundamentos matemáticos relacionados. Na sequência aplicamos estes conceitos a sistemas de comunicações. Focamos em sistemas de grafos com ciclos, que são de grande interesse e que resultam na versão iterativa do algoritmo somaproduto, onde cronogramas de execução devem ser arbitrados eficientemente. Descrevemos a decodificação turbo seguindo esquemas de grafos-fatores normais e causais, a forma mais apropriada para a descrição e análise de cronogramas. A partir desta formulação, estudamos o caso da decodificação turbo na sua variante não-bloco, com entrelaçadores periódicos e decodificação contínua/causal. Apresentamos um cronograma completo do algoritmo soma-produto para este caso, mostrando vantagens práticas em relação ao proposto na literatura, sobretudo em relação a sua implementação. Na última parte da tese, apresentamos um estudo da aplicação de grafos-fatores no problema de decodificação iterativa conjunta fonte/canal. Partimos de um modelo genérico de fonte com memória, discreta no tempo e contínua em amplitude, consideramos quantização vetorial e tratamos o problema da decodificação iterativa conjunta integrando modelos destes componentes com o resto do sistema. Alguns resultados de simulações computacionais para os esquemas propostos são apresentados / Abstract: The present thesis deals with probabilistic inference methods for communication systems described by the unifying framework of factor graphs and the general elimination algorithm, the so called sum-product algorithm. These exceedingly general tools are understood as a state of the art environment to build many decoding schemes, and to model typical components for a joint efficient inference at reception. More generally, is a suitable framework to unified receiver designs. Additionally, some joint source channel decoding schemes can also be proper modeled under this context. We start with a review of this framework and related mathematical topics. Thereafter, we particularize to cases of interest, like typical communication systems. This framework gives powerful insights into the structures of multivariate constrained systems and shows how distributed probabilistic inferences can be performed, as shown for typical communication systems with a standard channel encoder. Systems represented by fator graphs with cycles are the most relevant. For the iterative version of the sum-product algorithm, a calculation schedule has to be efficiently chosen. We review the turbo decoding scheme for the classical turbo code using a normal and causal factor graph realization, providing an environment for scheduling descriptions. Then, we approach the non-block turbo decoding version (stream-oriented turbo codes), where general periodic and causal interleavers can be used and continuous decoding schemes are required. We present a full decoding sum-product schedule for this case, with pratical improvements over the usual non-graphical decoding scheme. In the last part of this thesis, we address the joint source channel decoding problem using the factor-graph framework. Starting from a general source model, linear discrete time series, we consider straight vectorial quantization. Instead of trying to remove redundancy, we go in the direction of building decoding schemes that explore this redundancy from source model and quantizer map.We analyse cases when iterative decoding can be performed taking these elements into account in a proper way. Some simulation on the proposed schemes are presented / Doutorado / Telecomunicações e Telemática / Doutor em Engenharia Elétrica

In this thesis we explore how knowledge management is performed in open source projects. Open source projects are often perceived as informal, even unmanaged. Still, they appear to manage knowledge acquisition and sharing sufficiently well to successfully develop software in such a distributed environment as the Internet. This thesis aims to explore that apparent contradiction, and thus complement the currently limited research in this field. The thesis consists of a literature study of knowledge management theory and open source development, resulting in the analysis of open source practices from a knowledge management perspective. Currently the field of knowledge management maintains several, partially opposing doctrines. Apart from the business aspect, two main schools of thought are present. The commodity school approaches knowledge as a universal truth, an object that can be separated from the knower. The community school emphasises knowledge as something internal to the human mind, but which can be shared as experiences between people. In the analysis presented, we have applied an analysis method which considers both the commodity and the community perspectives. The analysis is based on previous research studies of open source, and open source practices, and is furthered by a cursory case study using examples from a selected set of open source projects. Our conclusions are that knowledge management indeed is present in open source projects, and that it is supported by an ecology like interaction of project practices. / Denna uppsats undersöker hur kunskapsledning används i öppenkällkodsprojekt. Öppenkällkodsprojekt uppfattas ofta som informella, ibland till och med okontrollerade. Ändå verkar de kunna hämta in och sprida kunskap tillräckligt väl för att kunna utveckla lyckade programvaruprojekt, även i en så distribuerad miljö som Internet. Med uppsatsen vill vi undersöka den skenbara motsättningen. Uppsatsen består av en literaturstudie av kunskapsledning och öppen källkod. Dessa studier har utmynnat i en analys av projektmetoder som används i öppenkällkodsprojekt, sett från ett kunskapsledningsperspektiv. Idag finns det flera motsägelsefulla lärosatser inom området kunskapsledning. Två huvudsakliga inriktningar är den kognitiva skolan och den konstruktivistiska skolan. I den kognitiva skolan anses kunskap kunna objektiviseras och behandlas som en vara, separat från personen som har kunskapen. Den konstruktivistiska skolan anser att kuskapen är bunden till den som vet, men att det går att dela med sig av kunskap genom social interaktion. I uppsatsen har vi analyserat projektmetoderna från båda dessa perspektiv. Analysen baseras på tidigare forskning om öppenkällkodsprojekt, och kompletteras av exempel på hur projektmetoderna används i ett urval av öppenkällkodsprojekt. Våra slutsatser är att det finns ett starkt stöd för kunskapsledning i öppenkällkodsprojekt och att den stöds av en ekologiliknande växelverkan mellan olika projektmetoder.