No description available.

No description available.

L'objectif de la thèse est de proposer un modèle informatique pour représenter, construire et exploiterdes structures textuelles. Le modèle proposé s'appuie sur une représentation du texte sous la forme d'unplan lexique/occurrences augmenté de systèmes d'annotations lexicales et contextuelles, modèle dontune implantation a été réalisée dans le logiciel SATO dont on présente les fonctionnalités etl'organisation interne. La présentation d'un certain nombre de travaux rendent compte dudéveloppement et de l'utilisation du logiciel dans divers contextes.La prise en charge formelle des structures textuelles et discursives trouve un allié dans le langage debalisage XML et dans les propositions de la Text Encoding Initiative (TEI). Formellement, lesstructures construites sur les segments textuels correspondent à des graphes. Dans le contexte d'uneanalyse textuelle en élaboration, ces graphes sont multiples et partiellement déployés. La résolution deces graphes, au sens du rattachement des noeuds à des segments textuels ou à des noeuds d'autresgraphes, est un processus dynamique qui peut être soutenu par divers mécanismes informatiques. Desexemples tirés de la linguistique textuelle servent à illustrer les principes de l'annotation structurelle.Des considérations prospectives sur une implantation informatique d'un système de gestion del'annotation structurelle sont aussi exposées. / The objective of the thesis is to propose a data-processing model to represent, build and exploit textualstructures. The suggested model relies on a «type/token» form of text representation extended bysystems of lexical and contextual annotations. This model's establishment was carried out in the SATOsoftware -- of which the functionalities and the internal organization are presented. Reference to anumber of works give an account of the development and use of the software in various contexts.The formal assumption of the textual and discursive structures find an ally in the beaconing XMLlanguage and the proposals of the Text Encoding Initiative (TEI). Formally, the structures built on thetextual segments correspond to graphs. In a development driven textual analysis context, these graphsare multiple and partially deployed. Their resolution, within the fastening of the nodes to textualsegments or that of other graphs, is a dynamic process which can be sustained by various dataprocessingmechanisms. Examples drawn from textual linguistics are used to illustrate the principles ofstructural annotation. Prospective considerations for the data-processing establishment of amanagement system of the structural annotation are also exposed.

L'objectif de la thèse est de proposer un modèle informatique pour représenter, construire et exploiterdes structures textuelles. Le modèle proposé s'appuie sur une représentation du texte sous la forme d'unplan lexique/occurrences augmenté de systèmes d'annotations lexicales et contextuelles, modèle dontune implantation a été réalisée dans le logiciel SATO dont on présente les fonctionnalités etl'organisation interne. La présentation d'un certain nombre de travaux rendent compte dudéveloppement et de l'utilisation du logiciel dans divers contextes.La prise en charge formelle des structures textuelles et discursives trouve un allié dans le langage debalisage XML et dans les propositions de la Text Encoding Initiative (TEI). Formellement, lesstructures construites sur les segments textuels correspondent à des graphes. Dans le contexte d'uneanalyse textuelle en élaboration, ces graphes sont multiples et partiellement déployés. La résolution deces graphes, au sens du rattachement des noeuds à des segments textuels ou à des noeuds d'autresgraphes, est un processus dynamique qui peut être soutenu par divers mécanismes informatiques. Desexemples tirés de la linguistique textuelle servent à illustrer les principes de l'annotation structurelle.Des considérations prospectives sur une implantation informatique d'un système de gestion del'annotation structurelle sont aussi exposées.

Diploma thesis is concerned with production functions and their utilization in macroeconomics. Theoretical part describes and summaries general knowledge about production functions and their basics in macroeconomic theory. Produc-tions functions are described from the point of productivity measurement and estimation of potential product. In theoretical part, indicators of productivity and their alternatives are sum up. Practical part is based on estimation of Cobb-Douglas, CES and Sato produc-tion functions by least squares and non-linear least squares method. Results are compared and discussed with similar works in conclusion of thesis.

Submitted by Patrícia Cerveira (pcerveira1@gmail.com) on 2017-06-06T18:58:56Z No. of bitstreams: 1 Felipe Frasson- Dissertação.pdf: 984658 bytes, checksum: 05ae4f112679292aefe890dc2f563010 (MD5) / Rejected by Biblioteca da Escola de Engenharia (bee@ndc.uff.br), reason: Patrícia, o formulário de submissão apresenta vários erros, informações duplicadas e fora da formatação (orientador, coorientador, resumo, dentre outros). Atenciosamente, Catarina Ribeiro Bibliotecária BEE - Ramal 5992 on 2017-06-29T16:53:14Z (GMT) / Submitted by Patrícia Cerveira (pcerveira1@gmail.com) on 2017-06-29T19:32:38Z No. of bitstreams: 1 Felipe Frasson- Dissertação.pdf: 984658 bytes, checksum: 05ae4f112679292aefe890dc2f563010 (MD5) / Approved for entry into archive by Biblioteca da Escola de Engenharia (bee@ndc.uff.br) on 2017-07-03T13:00:12Z (GMT) No. of bitstreams: 1 Felipe Frasson- Dissertação.pdf: 984658 bytes, checksum: 05ae4f112679292aefe890dc2f563010 (MD5) / Made available in DSpace on 2017-07-03T13:00:12Z (GMT). No. of bitstreams: 1 Felipe Frasson- Dissertação.pdf: 984658 bytes, checksum: 05ae4f112679292aefe890dc2f563010 (MD5) / Em um sistema de comunica c~oes, os sinais s~ao transmitidos atrav es de canais de comunica c~ao que, idealmente, deveriam transportar os dados de maneira a n~ao causar distor c~ao alguma. Por em, em sistemas reais, existem limita c~oes que interferem neste processo causando degrada c~ao nas informa c~oes transmitidas, podendo comprometer sua recep c~ao. Tais limita c~oes ocorrem devido a presen ca de ru do aditivo, e principalmente por interfer^encia intersimb olica, esta caracterizada pela sobreposi c~ao de s mbolos gerados por uma mesma fonte transmissora. A equaliza c~ao de canal e uma das t ecnicas existentes que reduzem os efeitos da interfer^encia intersimb olica, dando maior con abilidade e robustez aos sistemas de comunica c~oes. Dentre as t ecnicas utilizadas para equaliza c~ao de canal, o uso de algoritmo adaptativos vem sendo amplamente utilizados devido as suas propriedades de se auto-ajustarem as varia c~oes que ocorrem ao longo do tempo. Este trabalho tem como objetivo veri car o comportamento de diferentes tipos de algoritmos adaptativos cegos ou semicegos, assim denominados por n~ao utilizarem sequ^encias de treinamento, aplicados a equaliza c~ao de canais esparsos. Canais esparsos s~ao encontrados em diversos sistemas de comunica c~oes como, por exemplo, na comunica c~ao sem o (telefonia m ovel, transmiss~ao de r adio e TV), ou, ainda, em canais subaqu aticos. Os algoritmos foram escolhidos com base em recentes estudos desta aplica c~ao, que operam em modo cego ou semicego e utilizam estat sticas de alta ordem, como os algoritmos Bussgang e Matching Pursuit. Os algoritmos foram implementados em ambiente de simula c~ao computacional no qual foram utilizados canais esparsos simples e de resposta ao impulso conhecida, permitindo comparar o comportamento dos diferentes algoritmos, em termos do sinal recuperado, e da inversa da resposta ao impulso do canal original. / In communications systems, information signals are transmitted through communications channels that, ideally, are delivered without distortions. However, on real communications channels there are limitations that interferes on the process, reducing the probability to recover the original signal at receiver. These distortions are basically thermal noise and Intersymbol Interference (ISI), caused by superposition on the received symbols received from the same source. Channel Equalization acts reducing these distortions, bringing more reliability to communications systems. The objective of this work is to verify di erent adaptive algorithms behavior, applied to sparse channel equalization problem. Many communications systems have sparse channels, like broadcast radio, television, mobile telephony and underwater communications. The selected algorithms used in this work includes high order statistics algorithms family, like Bussgang and Matching Pursuit. This kind of algorithms are widely used, with high relevance, for blind channel equalization. The selected algorithms were submitted to computer simulations using simple sparse channels and knowledge about their impulse response, in order to analyze their behavior in therms of bit error rate and the inverse impulse response of the channel.

No description available.

This thesis reviews the significance of the 1969 Japan-US Summit between Prime Minister Satii Eisaku and President Richard Nixon in light of official documents that have been disclosed in Japan since 2010 and in the United States since the 1990s. Based on newly available sources, this thesis shows that the 1969 Summit should be considered a Japanese-led initiative with two aims: firstly, to announce a deadline for Okinawa's return with all nuclear weapons removed; and secondly, to reform the Japan-US security treaty system without repeating the kind of outright revision concluded in 1960. The Japanese plan to reform the security treaty system involved simplifying the prior consultation formula by making a public commitment to the security of South Korea of sufficient strength that the United States would agree to the dissolution of the 1960 secret 'Korea Minute'. The Japanese Government achieved its first aim but only partially succeeded in its second. Whilst the return of Okinawa was announced, the status of US bases in Okinawa and mainland Japan continued to be governed by an elaborate web of agreements, public and secret, which damaged public confidence and hampered an improvement in relations between Japan and its neighbouring countries. This thesis shows that commonly held academic opinions about the 1969 Summit are incorrect. Firstly, there was no quid pro quo in which Japan linked its security to South Korea in exchange for Okinawa: both these outcomes were in fact Japanese objectives at the beginning of the summit preparations. Secondly, the success of the summit did not depend on 'backchannel' negotiations between Wakaizumi Kei and Henry Kissinger: it is likely that an announcement on Okinawa's reversion would have been achieved in 1969 even if preparations for the summit had been left to the Japanese Foreign Ministry and the US State Department. Word Limit: Approx. 98,000 words, excluding Bibliography

Cette thèse se compose de deux parties. Partie 1 étudie la décomposition des groupes de cohomologie pour une famille de courbes non hyperelliptiques de genre 3 avec une involution, et le bénéfice d'une telle décomposition dans le calcul de Frobenius utilisant l'algorithme de Kedlaya. L'involution d'une telle courbe C induit un morphisme de degré 2 vers une courbe elliptique E, ce qui donne une décomposition de Jac(C) en E et en une surface abélienne A, à partir desquelles le Frobenius sur C peut être récupérée. En E, le polynôme caractéristique du Frobenius peut être calculé en utilisant un algorithme efficace et rapide en pratique. En travaillant avec le sous-groupe V de $H^1_{MW}(C)$, on obtient une meilleure constante que l'application directe de la méthode de Kedlaya à C. À ma connaissance, ceci est la première utilisation de la décomposition de la cohomologie induite par une décomposition (à isogénie près) de la jacobienne en l'algorithme de Kedlaya. Dans partie 2, je propose une nouvelle approche aux distributions de Frobenius et aux groupes de Sato-Tate, qui utilise les relations d'orthogonalité des caractères irréductibles du groupe de Lie USp(2g) et ses sous-groupes. Dans ce but, je présente d'abord une méthode simple pour calculer les caractères irréductibles de USp(2g), et puis je développe un algorithme basé sur la formule de Brauer-Klimyk. Les avantages de cette nouvelle approche sont examinés en détail. J'utilise aussi la famille de courbes dans partie 1 comme une étude de cas. Les analyses et les comparaisons montrent que l'approche par la théorie des caractères est un outil plus intrinsèque et très prometteur pour l'étude des groupes de Sato-Tate. / This thesis consists of two parts. Part 1 studies the decomposition of cohomology groups induced by automorphisms for a family of non-hyperelliptic genus 3 curves with involution, and I investigate the benefit of such decomposition in the computation of Frobenius using Kedlaya's algorithm. The involution of a curve C in this family induces a degree 2 map to an elliptic curve E, which gives a decomposition of the Jacobian of C into E and an abelian surface A, from which the Frobenius on C can be recovered. On E, the characteristic polynomial of the Frobenius can be computed using an efficient and fast algorithm. By working with the cohomology subgroup V of $H^1_{MW}(C)$, we get a constant speed-up over a straightforward application of Kedlaya's method to C. To my knowledge, this is the first use of decomposition of the cohomology induced by an isogeny decomposition of the Jacobian in Kedlaya's algorithm. In Part 2, I propose a new approach to Frobenius distributions and Sato-Tate groups, which uses the orthogonality relations of the irreducible characters of the compact Lie group USp(2g) and its subgroups. To this purpose, I first present a simple method to compute the irreducible characters of USp(2g), then I develop an algorithm based on the Brauer-Klimyk formula. The advantages of this new approach to Sato-Tate groups are examined in detail. The results show that the error grows slowly. I also use the family of genus 3 curves studied in Part 1 as a case study. The analyses and comparisons show that the character theory approach is a more intrinsic and very promising tool for studying Sato-Tate groups.

Afin d'étendre à un cadre singulier des résultats de la théorie du polynôme de Bernstein-Sato, nous étudions ici les polynômes de Bernstein d'une fonction analytique f associée aux sections du module de cohomologie locale algébrique R à support une intersection complète locale X définie par un morphisme analytique g. En effet, il résulte de la construction algébrique des cycles évanescents que les racines de ces polynômes sont étroitement liées aux valeurs propres de la monodromie locale de f sur X.<br /><br />Après avoir donné des résultats sur les polynômes de Bernstein associés aux sections d'un D-Module holonome, nous faisons l'étude du cas g lisse à l'origine, puis f lisse et X hypersurface. Nous étudions ensuite l'existence de polynômes de Bernstein génériques et relatifs des sections de R associées à une déformation analytique, reliant ces questions à la géométrie d'espaces conormaux.<br /><br />Reprenant des idées de B. Malgrange, nous donnons ensuite une construction adaptée à l'étude des polynômes de Bernstein des sections de R lorsque les morphismes g et (f,g) définissent des intersections complètes à singularité isolée à l'origine. Cette construction impose notamment la quasi-homogénéité de g et nécessite des calculs d'annulateurs. Nous nous consacrons enfin aux calculs de polynômes de Bernstein basés sur ces résultats. Nous donnons d'abord un algorithme de calcul lorsque en plus des hypothèses adéquates, nous supposons que la partie initiale de f définit une singularité isolée sur X. Quand de plus f est quasi-homogène, nous obtenons des formules explicites. Nous terminons notre étude par des exemples de calculs lorsque X est un cône quadratique non dégénéré.