The security protocols are widely used for providing safe communication. They are used for creating private communication channels in unsecured area. This thesis deals with the design of such protocols and their properties. The first part deals with properties and requirements of designed protocol as well as with the most common attacks on protocols. In the second part, the method of trace formula is described in more detail. This method is used for analytic design of security protocols. Later, the library of automated functions was created upon the principles of the method. The library support both the handling of protocol properties and protocol design. The thesis concludes with some examples of generated protocols.

Comme la propriété privée, la propriété publique a été confondue avec les biens qui n’en sont que les objets. En droit privé, comme en droit public, il est possible, pourtant, de considérer que la propriété n’est pas un bien. Droit subjectif, la propriété est la puissance que le sujet exerce sur les biens. Formellement, elle est le droit de jouir et de disposer des choses conformément au droit objectif. Matériellement, elle variera en fonction du statut de droit objectif qui habilite le sujet de la propriété, le propriétaire. Les personnes publiques, sujets de l’action publique, sont propriétaires sur le fondement d’une compétence que leur assigne immédiatement l’obligation d’agir dans l’intérêt public. La compétence attribue aux personnes publiques un droit de propriété public, affecté au service du seul intérêt public. Envisager les personnes publiques propriétaires au lieu de la propriété des personnes publiques, aura permis de contribuer à la théorie des ordres juridiques partiels comme représentation de la distinction du droit public et du droit privé. Cela conduit à proposer une définition juridique de l’action publique : l’ensemble d’activités mises en œuvre à partir de l’exercice, par les personnes publiques, de leurs droits subjectifs publics, de puissance et de propriété. / As it is the case for private property, the public property was long time confused with the goods that are its objects. However, in public law as in private law, we should consider that property right is not a good. Being an individual right, the property stands for the power exerted by a subject over goods. Formally, it is the right to enjoy and dispose of goods according to law. Materially, it will vary depending on the applicable law which empowers the owner, subject of the property. Public entities, subjects of public action, are owners based on a competency immediately assigned to them by their duty to act in the public interest. This competency grants to public entities a right to public property only affected to the public interest. Focusing on the public persons as owners instead of considering only their property helps contributing to the theory of partial legal orders (“théorie des ordres juridiques partiels”) as a representation of the distinction between public and private law. This finally leads to suggest a legal definition of the public action as a set of activities implemented by the public persons in the exercise of their subjective rights of property.

This thesis "Tax planning in corporation" puts brain to legal entity income tax and it is looking for possible solutions in tax planning in corporation. The first part deals with the tax theory, the other part is the theory of tax planning, comparison of tax regimes and tax policy and tax revenue by optimizing both internationally and in the local aspect. The last part discusses options for optimizing tax

The objective of the thesis is to estimate the value of Rodinný pivovar BERNARD a. s., a small brewery based in Humpolec, Czech Republic, as of 31th December 2010. The thesis consists of two parts. The theoretical parts describes applied methods and approaches, the application part includes company profile, strategic analysis, financial analysis, analysis and prognosis of value drivers, financial plan and final valuation. The company was valued using the DCF Entity method.

The main goal of my diploma thesis is business valuation of EOS KSI. Whole thesis is divided into four parts. Financial analysis, strategy analysis, analysis and forecast of value drivers and final valuation.

The aim of the thesis is valuation of the company ConvaTec Česká republika s.r.o. on the date 1. 1. 2011. The thesis consists of strategic analysis, financial analysis, analysis and forecast of generators of value and financial plan. Value of the company is determined by DCF entity method. Account method, method of capitalized earnings and method of market multipliers are used in addition. Sensitive analysis examines how value of the company is influenced by changes of growth rate and weighted average capital costs.

La traduction automatique des documents est considérée comme l’une des tâches les plus difficiles en traitement automatique des langues et de la parole. Les particularités linguistiques de certaines langues, comme la langue arabe, rendent la tâche de traduction automatique plus difficile. Notre objectif dans cette thèse est d'améliorer les systèmes de traduction de l'arabe vers le français et vers l'anglais. Nous proposons donc une étude détaillée sur ces systèmes. Les principales recherches portent à la fois sur la construction de corpus parallèles, le prétraitement de l'arabe et sur l'adaptation des modèles de traduction et de langue.Tout d'abord, un corpus comparable journalistique a été exploré pour en extraire automatiquement un corpus parallèle. Ensuite, différentes approches d’adaptation du modèle de traduction sont exploitées, soit en utilisant le corpus parallèle extrait automatiquement soit en utilisant un corpus parallèle construit automatiquement.Nous démontrons que l'adaptation des données du système de traduction permet d'améliorer la traduction. Un texte en arabe doit être prétraité avant de le traduire et ceci à cause du caractère agglutinatif de la langue arabe. Nous présentons notre outil de segmentation de l'arabe, SAPA (Segmentor and Part-of-speech tagger for Arabic), indépendant de toute ressource externe et permettant de réduire les temps de calcul. Cet outil permet de prédire simultanément l’étiquette morpho-syntaxique ainsi que les proclitiques (conjonctions, prépositions, etc.) pour chaque mot, ensuite de séparer les proclitiques du lemme (ou mot de base). Nous décrivons également dans cette thèse notre outil de détection des entités nommées, NERAr (Named Entity Recognition for Arabic), et nous examions l'impact de l'intégration de la détection des entités nommées dans la tâche de prétraitement et la pré-traduction de ces entités nommées en utilisant des dictionnaires bilingues. Nous présentons par la suite plusieurs méthodes pour l'adaptation thématique des modèles de traduction et de langue expérimentées sur une application réelle contenant un corpus constitué d’un ensemble de phrases multicatégoriques.Ces expériences ouvrent des perspectives importantes de recherche comme par exemple la combinaison de plusieurs systèmes lors de la traduction pour l'adaptation thématique. Il serait également intéressant d'effectuer une adaptation temporelle des modèles de traduction et de langue. Finalement, les systèmes de traduction améliorés arabe-français et arabe-anglais sont intégrés dans une plateforme d'analyse multimédia et montrent une amélioration des performances par rapport aux systèmes de traduction de base. / Machine Translation is one of the most difficult tasks in natural language and speech processing. The linguistic peculiarities of some languages makes the machine translation task more difficult. In this thesis, we present a detailed study of machine translation systems from arabic to french and to english.Our principle researches carry on building parallel corpora, arabic preprocessing and adapting translation and language models. We propose a method for automatic extraction of parallel news corpora from a comparable corpora. Two approaches for translation model adaptation are explored using whether parallel corpora extracted automatically or parallel corpora constructed automatically. We demonstrate that adapting data used to build machine translation system improves translation.Arabic texts have to be preprocessed before machine translation and this because of the agglutinative character of arabic language. A prepocessing tool for arabic, SAPA (Segmentor and Part-of-speech tagger for Arabic), much faster than the state of the art tools and totally independant of any other external resource was developed. This tool predicts simultaneously morphosyntactic tags and proclitics (conjunctions, prepositions, etc.) for every word, then splits off words into lemma and proclitics.We describe also in this thesis, our named entity recognition tool for arabic, NERAr, and we focus on the impact of integrating named entity recognition in the preprocessing task. We used bilingual dictionaries to propose translations of the detected named entities. We present then many approaches to adapt thematically translation and language models using a corpora consists of a set of multicategoric sentences.These experiments open important research perspectives such as combining many systems when translating. It would be interesting also to focus on a temporal adaptation of translation and language models.Finally, improved machine translation systems from arabic to french and english are integrated in a multimedia platform analysis and shows improvements compared to basic machine translation systems.

Dans cette thèse, nous introduisons un nouvel artefact interactif pour le SERP: le "Snippet sémantique". Les snippets sémantiques s'appuient sur la coexistence des deux Webs pour faciliter le transfert des connaissances aux utilisateurs grâce a une contextualisation sémantique du besoin d'information de l'utilisateur. Ils font apparaître les relations entre le besoin d'information et les entités les plus pertinentes présentes dans la page Web. / In this thesis, we introduce a new interactive artifact for the SERP: the "Semantic Snippet". Semantic Snippets rely on the coexistence of the two webs to facilitate the transfer of knowledge to the user thanks to a semantic contextualization of the user's information need. It makes apparent the relationships between the information need and the most relevant entities present in the web page.

A partir do final do século 20, o governo federal criou vários programas visando a ampliação de acesso ao saneamento básico. Embora esses programas tenham trazido o abastecimento de água potável e a coleta de resíduos sólidos para a maioria dos municípios brasileiros, o esgotamento sanitário ainda está espacialmente concentrado na região Sudeste e nas áreas mais urbanizadas. Para explicar esse padrão espacialmente concentrado, é frequentemente assumido que o tamanho das cidades realmente importa para o saneamento básico, especialmente para o esgotamento sanitário. De fato, à medida que as cidades crescem em tamanho, devemos esperar economias de escala no volume de infraestrutura de saneamento. Economias de escala na infra-estrutura implicam uma redução nos custos de saneamento básico, de forma proporcional ao tamanho da cidade, levando também a uma (esperada) relação de lei de escala (ou de potência) entre os gastos com saneamento básico e o tamanho da cidade. Usando a população, N(t), como medida do tamanho da cidade no momento t, a lei de escala para infraestrutura assume o formato Y(t) = Y0N(t)&#946 onde &#946 &#8776 0.8 < 1, Y denota o volume de infraestrutura e Y0 é uma constante. Diversas propriedades das cidades, desde a produção de patentes e renda até a extensão da rede elétrica, são funções de lei de potência do tamanho da população com expoentes de escalamento, &#946, que se enquadram em classes distintas. As quantidades que refletem a criação de riqueza e a inovação têm &#946 &#8776 1.2 > 1 (retornos crescentes), enquanto aquelas responsáveis pela infraestrutura exibem &#946 &#8776 0.8 < 1 (economias de escala). Verificamos essa relação com base em dados extraídos do Sistema Integrado de Planejamento e Orçamento (SIOP), que abrangem transferências com recursos não onerosos, previstos na Lei Orçamentária Anual (LOA), na modalidade saneamento básico. No conjunto, os valores estimados de &#946 mostram redução das transferências da União Federal para saneamento básico, de forma proporcional ao tamanho dos municípios beneficiários. Para a dotação inicial, valores programados na LOA, estimado foi de aproximadamente: 0.63 para municípios com população superior a dois mil habitantes; 0.92 para municípios acima de vinte mil habitantes; e 1.18 para municípios com mais de cinquenta mil habitantes. A segunda fonte de dados identificada foi o Diário Oficial da União (DOU), periódico do governo federal para publicação de atos oficiais. Os dados fornecidos pelo DOU referem-se aos recursos não onerosos e também aos empréstimos com recursos do Fundo de Garantia por Tempo de Serviço (FGTS). Para extração dos dados textuais foram utilizadas técnicas de Processamento de Linguagem Natural(PLN). Essas técnicas funcionam melhor quando os algoritmos são alimentados com anotações - metadados que fornecem informações adicionais sobre o texto. Por isso geramos uma base de dados, a partir de textos anotados do DOU, para treinar uma rede LSTM bidirecional aplicada à etiquetagem morfossintática e ao reconhecimento de entidades nomeadas. Os resultados preliminares obtidos dessa forma estão relatados no texto / Starting in the late 20th century, the Brazilian federal government created several programs to increase the access to water and sanitation. However, although these programs made improvements in water access, sanitation was generally overlooked. While water supply, and waste collection are available in the majority of the Brazilian municipalities, the sewage system is still spatially concentrated in the Southeast region and in the most urbanized areas. In order to explain this spatially concentrated pattern it is frequently assumed that the size of cities does really matter for sanitation services provision, specially for sewage collection. As a matter of fact, as cities grow in size, one should expect economies of scale in sanitation infrastructure volume. Economies of scale in sanitation infrastructure means a decrease in basic sanitation costs, proportional to the city size, leading also to a (expected) power law relationship between the expenditure on sanitation and city size.Using population, N(t), as the measure of city size at time t, power law scaling for infrastructure takes the form Y(t) = Y0N(t)&#946 where &#946 &#8776 0.8 < 1, Y denotes infrastructure volume and is a constant. Many diverse properties of cities from patent production and personal income to electrical cable length are shown to be power law functions of population size with scaling exponents, &#946, that fall into distinct universality classes. Quantities reflecting wealth creation and innovation have &#946 &#8776 1.2 > 1 (increasing returns), whereas those accounting for infrastructure display &#946 &#8776 0.8 < 1 (economies of scale). We verified this relationship using data from federal government databases, called Integrated Planning and Budgeting System, known as SIOP. SIOP data refers only to grants, funds given to municipalities by the federal government to run programs within defined guidelines. Preliminary results from SIOP show decrease in Federal Grants to Brazilian Municipalities, proportional to the city size. For the initial budget allocation, &#946 was found to be roughly 0.63 for municipalities above twenty thousand inhabitants; to be roughly 0.92 for municipalities above twenty thousand inhabitants; and to be roughly 1.18 for municipalities above fifty thousand inhabitants. The second data source is DOU, government journal for publishing official acts. DOU data should give us information not only about grants, but also about FGTS funds for basic sanitation loans. In order to extract data from DOU we have applied Natural Language Processing (NLP) tools. These techniques often work better when the algorithms are provided with annotations metadata that provides additional information about the text. In particular, we fed a database with annotations into a bidirectional LSTM model applied to POS Tagging and Named-entity Recognition. Preliminary results are reported in the paper

Este trabalho tem por objetivo propor a adoção do instituto da desconsideração da personalidade jurídica pelo Tribunal Penal Internacional como forma de aumentar a efetividade de seus requerimentos de cooperação aos Estados. Para isto, foram analisadas as intervenções humanitárias e a criação dos tribunais penais internacionais de Ruanda e da Ex-Iugoslávia. Esta análise concluiu que a falta de efetividade tem sido o maior problema enfrentado pelas ações voltadas à proteção internacional dos direitos humanos. Sob este aspecto foi estudada a criação do Tribunal Penal Internacional, sua estrutura, suas normas de cooperação e apontada a falta de um instituto que garanta a eficácia de seus atos jurídicos quando estes dependem da cooperação com Estados. Através do estudo da desconsideração da personalidade jurídica percebeu-se sua compatibilidade com o Direito Internacional, em relação aos Estados sob atuação da jurisdição complementar do Tribunal. Sendo assim, defende-se sua adoção como uma contra-medida tomada no contexto da responsabilidade de um Estado perante o Tribunal Penal Internacional por um ato de não cooperação, quando este for caracterizado por fraude ou abuso de competência. Assim, afirma-se a possibilidade e a conveniência da adoção do instituto da desconsideração da personalidade jurídica como um instrumento que garanta uma maior efetividade do Tribunal no exercício de suas funções. / This work has for objective to consider the adoption of the institute of the disregard of the legal entity for the International Criminal Court as form to increase the effectiveness of its cooperation requirements to the States. For this, the humanitarian interventions and the creation of international the criminal courts of Rwanda and of Former-Yugoslavia had been analyzed. This analysis concluded that the effectiveness lack has been the biggest problem faced for the actions directed to the international protection of the human rights. Under this aspect was studied the creation of the International Criminal Court, its structure, its norms of cooperation and pointed the lack of an institute that guaranties the effectiveness of its legal acts when these they depend on the cooperation with States. Through the study of the disregarding of the legal entity its compatibility with the International Law was perceived, in re1ation to the States under performance of the complementary jurisdiction of the Court. Being thus, its adoption is defended as a countermeasure taken in the context of the responsibility of a State before the International Criminal Court for an act of non-cooperation, when this will be characterized by fraud or abuse of power. Thus, it is affirmed possibility and the convenience of the adoption of the institute of the disregarding of legal entity as an instrument that guaranties a bigger effectiveness of the Court in the exercise of its functions.