Les “smart-devices” tels les smartphones, tablettes et même les montres ont été largement démocratisés au cours de la dernière décennie. Dans nos sociétés occidentales, on ne garde plus seulement son ordinateur personnel chez soi, on le transporte dans la poche arrière de son pantalon ou bien autour de son poignet. Ces outils ne sont d’ailleurs plus limités, en termes d’utilisation, à de la simple communication par SMS ou bien téléphone, on se fie à eux pour stocker nos photos et données personnelles, ces dernières parfois aussi critiques que des données de paiement bancaires, on gère nos contacts et finances, se connecte à notre boite mail ou un site marchand depuis eux. . . Des exemples récents nous fournissent d’ailleurs un aperçu des tâches de plus en plus complexes que l’on confie à ces outils : l’Estonie autorise l’utilisation de smartphones pour participer aux scrutins nationaux et en 2017, la société Transport for London a lancé sa propre application autorisant l’émulation d’une Oyster card et son rechargement pour emprunter son réseau de transports publics. Plus les services se complexifient, plus la confiance qui leur est accordée par les groupes industriels et les utilisateurs grandit. Nous nous intéressons ici aux protocoles cryptographiques qui définissent les échanges entre les outils et entités qui interviennent dans l’utilisation de tels services et aux garanties qu’ils proposent en termes de sécurité (authentification mutuelle des agent, intégrité des messages circulant, secret d’une valeur critique…). Moult exemples de la littérature et de la vie courante ont démontré que leur élaboration était hautement vulnérable à des erreurs de design. Heureusement, des années de recherches nous ont fournis des outils pour rendre cette tâche plus fiable, les méthodes formelles font partie de ceux-là. Il est possible de modeler un protocole cryptographique comme un processus abstrait qui manipule des données et primitives cryptographiques elles aussi modélisées comme des termes et fonctions abstraites. On met le protocole à l’épreuve face à un attaquant actif et on peut spécifier mathématiquement les propriétés de sécurité qu’il est censé garantir. Ces preuves de sécurité peuvent être automatisées grâce à des outils tels que ProVerif ou bien Tamarin. L’une des grandes difficultés lorsque l’on cherche à concevoir et prouver formellement la sécurité d’un protocole de niveau industriel réside dans le fait que ce genre de protocole est généralement très long et doit satisfaire des propriétés de sécurité plus complexes que certains protocoles universitaires. Au cours de cette thèse, nous avons souhaité étudier deux cas d’usage : le vote électronique et le paiement mobile. Dans les deux cas, nous avons conçu et prouvé la sécurité d’un protocole répondant aux problématiques spécifiques à chacun des cas d’usage. Dans le cadre du vote électronique, nous proposons le protocole Belenios VS, une variante de Belenios RF. Nous définissons l’écosystème dans lequel le protocole est exécuté et prouvons sa sécurité grâce à ProVerif. Belenios VS garantit la confidentialité du vote et le fait qu’un utilisateur puisse vérifier que son vote a bien fait parti du résultat final de l’élection, tout cela même si l’outil utilisé par le votant est sous le contrôle d’un attaquant. Dans le cadre du paiement, nous avons proposé la première spécification ouverte de bout en bout d’une application de paiement mobile. Sa conception a pris en compte le fait qu’elle devait pouvoir s’adapter à l’écosystème de paiement déjà existant pour être largement déployable et que les coûts de gestion, de développement et de maintenance de la sécurité devait être optimisés / The last decade has seen the massive democratization of smart devices such as phones, tablets, even watches. In the wealthiest societies of the world, not only do people have their personal computer at home, they now carry one in their pocket or around their wrist on a day to day basis. And those devices are no more used simply for communication through messaging or phone calls, they are now used to store personal photos or critical payment data, manage contacts and finances, connect to an e-mail box or a merchant website... Recent examples call for more complex tasks we ask to such devices: Estonia voting policy allows the use of smart ID cards and smartphones to participate to national elections. In 2017, Transport for London launched the TfL Oyster app to allow tube users to top up and manage their Oyster card from their smartphone. As services grow with more complexity, so do the trust users and businesses put in them. We focus our interest into cryptographic protocols which define the exchanges between devices and entities so that such interaction ensure some security guarantees such as authentication, integrity of messages, secrecy… Their design is known to be an error prone task. Thankfully, years of research gave us some tools to improve the design of security protocols, among them are the formal methods: we can model a cryptographic protocol as an abstract process that manipulates data and cryptographic function, also modeled as abstract terms and functions. The protocol is tested against an active adversary and the guarantees we would like a protocol to satisfy are modeled as security properties. The security of the protocol can then be mathematically proven. Such proofs can be automated with tools like ProVerif or Tamarin. One of the big challenge when it comes to designing and formally proving the security an “industrial- level” protocol lies in the fact that such protocols are usually heavier than academic protocols and that they aim at more complex security properties than the classical ones. With this thesis, we wanted to focus on two use cases: electronic voting and mobile payment. We designed two protocols, one for each respective use case and proved their security using automated prover tools. The first one, Belenios VS, is a variant of an existing voting scheme, Belenios RF. It specifies a voting ecosystem allowing a user to cast a ballot from a voting sheet by flashing a code. The protocol’s security has been proven using the ProVerif tool. It guarantees that the vote confidentiality cannot be broken and that the user is capable of verifying their vote is part of the final result by performing a simple task that requires no technical skills all of this even if the user’s device is compromised – by a malware for instance. The second protocol is a payment one that has been conceived in order to be fully scalable with the existing payment ecosystem while improving the security management and cost on the smartphone. Its security has been proven using the Tamarin prover and holds even if the user’s device is under an attacker’s control

Os recursos hídricos são objeto de constante discussão na tentativa de encontrar a maneira mais adequada de manejá-los, de forma a não prejudicar o meio ambiente, e também a vida na Terra. A política de pagamento por serviços ambientais (PSA) entra nesse contexto, na tentativa de estimular os produtores rurais a aderirem, com um maior grau de conscientização à legislação ambiental vigente. Além disso, busca-se uma forma de não prejudicar os proprietários de pequenas propriedades rurais, que tendem a ser os mais afetados pelas adequações ambientais que se fazem necessárias. Um olhar sobre os sistemas de PSA existentes no Brasil evidencia que o pagamento oferecido por essa política aos produtores é relativamente baixo e, consequentemente, pouco interessante. Portanto, faz-se necessária uma evolução no conceito de PSA, de modo a criar uma perspectiva econômica atrativa para o produtor rural e, ao mesmo tempo, incentivar sua adesão. Assim, este trabalho propôs a ideia de simular o efeito da inclusão de extensionistas como forma de incentivo ao ingresso em um PSA denominado \"Programa Conservador das Águas\", na cidade de Extrema, MG. O trabalho foi realizado visando à produção de leite e teve por base os resultados obtidos no Projeto \"Balde Cheio\", baseado no treinamento de extensionistas e que apresenta evolução significativa de resultados em propriedades rurais, durante e após o tempo de participação desse profissional no projeto. Para isso, foram analisados dados zootécnicos e econômicos de dezessete propriedades rurais produtoras de leite e participantes do Projeto \"Balde Cheio\", com tempo de participação igual ou superior a quatro anos. Os resultados oriundos dessas propriedades foram utilizados para o desenvolvimento de simulação de dados evolutivos de produtividade, considerando, especificamente, os índices zootécnicos e econômicos de propriedades rurais da sub-bacia do Ribeirão das Posses, em Extrema, MG. Verificou-se o potencial de aumento da produtividade e grande melhora dos resultados econômicos, a partir da assistência técnica efetuada, incluindo a adesão ao PSA na região. Simulou-se também, o efeito do aumento da produção de leite na arrecadação de impostos, demonstrando repercussões desta iniciativa para o Estado de Minas Gerais. Concluiu-se, a partir dos dados levantados, que o aumento de produtividade gerado pela inclusão de extensionistas à política de PSA permitiria pagar os custos desses profissionais e gerar aumento da arrecadação para o Estado e o município. / Finding the most adequate way to manage water resources without harming the environment and life on Earth has long been the aim of frequent discussions among professionals from different areas. The current policy of payment for environmental services (PES) is an important part of this discussion, and a more attractive form of raising awareness and getting smallholder farmers to adhere to the current environmental legislation. Equally important is the understanding and addressing these farmers needs, usually the most affected by requirements of environmental suitability. Currently, the low sums practiced by the existing PES in Brazil make it rather unattractive for them, calling for a rethinking of its concept in order to make it financially more attractive and, thus, to encourage farmers to adhere. Therefore, this study aimed to simulate the effects of including rural extensionists in a PES as an incentive for the adherence of farmers, entitled Conservative Water Programme, in the county of Extrema, MG. The research was based on the milk production, using results obtained in the Full Bucket Project, based on training rural extensionists and showing significant improvement for dairy farmers, during and after the period in which he took part in the project. For this simulation, one analysed the zootechnical and economic data from seventeen dairy farms, four-year-long (or more) members of the Full Buket Project (Projeto Balde Cheio). The results obtained were used on the development of data simulation of productivity based on the specific zootechnical and economic results from the dairy farms of the sub-basin \'Ribeirão das Posses\', in Extrema, MG. The results provided evidences that there is indeed the potential for an increase in milk yield, and for improving economic results, after technical assistance was provided, including the adherence to the PES in that region. The increase in milk yield stimulated an increase in taxes collection, also showing its positive repercussion for the state of Minas Gerais. Based on the findings, one can conclude that the inclusion of rural extensionists in the PES policy would increase the milk productivity, covering the costs of these professionals and increasing the tax collection for the state and the county.

Este estudo teve como finalidade mostrar a importância da Clearing de Câmbio dentro do novo projeto de reestruturação do Sistema de Pagamentos Brasileiro. Para tanto foi observado como funcionava o antigo sistema, com os riscos assumidos pelo Banco Central, principalmente no que se refere à possibilidade do risco sistêmico. No novo projeto, as Clearings são fundamentais para se evitar esse tipo de risco. Os dados utilizados permitiram que fossem feitas simulações com a presença ou não da Clearing. Para contextualizar o cenário em que se encontrava a economia antes da implantação do novo sistema fez-se uma breve análise do cenário de instabilidade pelo qual o sistema bancário atravessava e a forma como o governo conseguiu controlá-lo. Para garantir uma maior segurança em todo o sistema de pagamentos criou-se o Sistema de Transferência de Reservas adotando o processo de liquidação bruta em tempo real, conseguindo eliminar a possibilidade de risco de crédito. A Clearing de Câmbio possui um papel fundamental no novo SPB pois trabalha adotando o princípio da liquidação líquida, reduzindo a necessidade de capital para a realização das transações financeiras. O objetivo do trabalho foi mostrar os efeitos causados no mercado de câmbio e o papel da clearing nesse novo sistema. Notou-se que o mercado interbancário de câmbio tem apresentado um grande equilíbrio não só entre o número de contratos de compra e venda de moeda, mas também entre o valor desses contratos. Os dados obtidos mostraram uma tendência de aumento no total de giro e de pagamentos realizados via STR. A Clearing tem mostrado cada vez mais uma grande importância no novo SPB, com um volume de contratos crescente tanto para liquidação em D+1 quanto em D+2. Verifica-se que nos primeiros cinco meses de existência apenas 15% de toda moeda negociada foi efetivamente transferida entre as instituições, reduzindo de forma considerável o montante de moeda necessária nas negociações e em conseqüência a possibilidade do risco sistêmico. Apesar da diminuição do tempo necessário para as transferências e da certeza de liquidação financeira, um dos principais problemas que ainda dificultam o aumento nas negociações através da Clearing de Câmbio são os altos custos para se operar nesse sistema. Para consolidar ainda mais a Clearing como instituição, estuda-se o lançamento de novos produtos que venham atender à demanda do mercado financeiro, como por exemplo a possibilidade de liquidação financeira intradia e a negociação com outras moedas. A Clearing de Câmbio da BM&F é a primeira do mundo a negociar moeda e o seu sucesso pode fazer com que instituições do mesmo gênero sejam criadas pelos Bancos Centrais dos outros países. / This study had the goal to clarify the importance of the Foreign Exchange Clearinghouse related with the new project of restructuring the Brazilian System of Payments (BSP). With this purpose it was observed how the old payment system operated, with the risks assumed by the Central Bank, mainly those associated with the systemic risk. In the new project, the Clearinghouses have a fundamental role to avoid the systemic risk. The data used in the research allowed to simulate and compare the effects on the foreign exchange market, in the presence or in the absence of the Clearinghouse. To understand how the economy was before the implantation of the new project, it was done a brief analysis about the instability which the bank system was affected and the way that the government tried to control it. To guarantee more security in the whole payment system, it was created the Reserve Transfer System (RTS) that adopt a process of Real-Time Gross Settlement, achieving the goal of eliminating the possibility of credit risk. The Foreign Exchange Clearinghouse has a fundamental role in the new BSP because works adopting the principle of the net settlement, reducing the capital necessity to do financial transactions. A qualitative analysis had a purpose to show the effects due in the foreign exchange market and the Clearinghouse function in this new system. It was observed that the interbank foreign exchange market has been showed a great equilibrium in the number of contracts bought and sold, but also in their values. The data obtained presented a trend of raising in the total negotiated and in the payments done via RTS. The Clearinghouse has been showed that its importance is increasing in the new BSP, with the volume of contracts raising in both settlement D+1 and D+2. It is noted that in the first five months of existence, only 15% of whole currency negotiated was effectively transfered within institutions, reducing in a considerable manner the total of currency required and, in consequence, reducing the possibility of systemic risk. Although the diminishing of the time for transferences and of the certainty about the financial settlement, one of the main problems are the high costs to operate in this system. To consolidate the Clearinghouse importance as an institution, it has been done studies to launch new products to take care of the demand like, as example, the possibility of financial settlement intraday and the negotiation with other currencies. The BM&F Exchange Clearinghouse is the first one in the world that transacts currency and its success may influence other countries that can adopt the same system.

Made available in DSpace on 2016-04-26T20:20:21Z (GMT). No. of bitstreams: 1 Jorge Sylvio Marquezi Junior.pdf: 929553 bytes, checksum: 7ef80f1c031b0a31c6f27743f5c731d2 (MD5) Previous issue date: 2011-08-09 / Given to the introduction of the article 166 of the National Tax Code, which occurred simultaneously with the advent of the same Codex in 1966, several discussions have been waged such as the constitutionality of the legal norm, the materiality of its incidence and, surely, the factual substance that give grounds to its application. As a result of these clashes, many interpretations emerged from the article in question. Unfortunately, most of them, although supposedly made within the bounds of our legal system, have pointed out with concepts from other branches of scientific knowledge, especially the financial one. This verity has restricted, as said by several doctrinaires, the interpretation of article 166 based on the concepts of direct and indirect taxes, as well as legal and taxpayer-in-fact. We are firm in saying that this nowadays understanding, indeed, is unconstitutional, although we see a possible analysis governed by the Federal Constitution. Believing that the existing interpretations were not sufficient to bring relief to the infamous legal device, mainly by the fact that carries by its side other branches of scientific knowledge, we propose in this work a brand new look, making a very clear and restricted methodological cut to the legal system and still, taking other paradigms for its analysis. We shall not only consider the tax view s itself, but also the taxpayers obligation, since he will assume the role of the subject to the unduly paid rule, exactly the time that the legal application s norm shall appear. For such analysis, we have as a foundation the Federal Constitution, with great emphasis on the principles of legality and property, which, in our understanding, are indispensable for the correct measurement of cases in which article 166 of the National Tax Code may appear. In short, grounded on the principles abovementioned and looking also to the taxpayer, we will explicit what is the correct interpretation of the article 166 by the terms of the Federal Constitution / Desde a introdução do artigo 166 do Código Tributário Nacional, que ocorreu com o próprio advento do Códex em 1966, inúmeras discussões têm sido travadas, contrapondo-se desde a constitucionalidade do dispositivo normativo até minucias de sua incidência e, especialmente, as ocorrências fáticas que subsumiriam à sua hipótese. Em decorrência destes embates, várias interpretações surgiram tendo como suporte físico o artigo em questão. Infelizmente, a maior parte delas, muito embora supostamente efetivada dentro do sistema do direito, se valeu de conceitos de outros ramos do conhecimento científico, especialmente o ramo da ciência das finanças. Este fato acabou por sedimentar e restringir, em grande parte da doutrina, a intepretação do artigo 166 com base nos conceitos de tributos diretos e indiretos, bem como dos conceitos de contribuinte de direito e de fato. Estamos firmes em dizer que a intepretação que hoje é dada ao artigo 166 pela jurisprudência e parte da doutrina, de fato, é inconstitucional, mas vislumbramos uma interpretação possível e conforme a Carta Magna. Acreditando que as interpretações existentes não foram suficientes para trazer alento ao famigerado dispositivo legal, especialmente pelo fato de se valerem de outros ramos do conhecimento científico, propomos no presente trabalho uma revisitação do tema, efetuando um corte metodológico muito claro e restrito ao sistema do ordenamento jurídico e, ainda, tomando outros paradigmas para sua análise. Não nos valeremos, pois, apenas da observação do tributo para dizer se há repercussão jurídica ou não, permitindo ou não a incidência do artigo 166, procuraremos verter nossos olhos também para a figura do sujeito passivo da obrigação tributária, posto que será ele a assumir o papel de sujeito ativo da regra-matriz da repetição do quanto indevidamente pago, momento em se questiona sobre a aplicação do dispositivo legal em pauta. Para tal análise, como não poderia ser diferente, teremos como alicerce a Constituição Federal, com grande ênfase nos princípios da legalidade e da propriedade, os quais, em nosso entendimento, são imprescindíveis para a correta aferição dos casos em que o artigo 166 do Código Tributário Nacional poderá incidir. Em suma, amparados nos princípios acima e olhando também para a figura do sujeito passivo da exação, procuraremos explicitar qual é a interpretação do artigo 166 conforme a Constituição Federal

Internet är en del av vardagslivet och har fått ett stort inflytande på hur människor idag lever sina liv. E-handeln är en del av helheten som bidragit till förändringar i konsumenternas beteende; hur de handlar och söker information. Företagen utformar sin strategi utefter detta för att kunna hantera olika moment i köpprocessen. Resultatet av ovan nämnda förändringar är tillkomsten av nya tjänster samt förändringar i användningen av sociala medier och andra marknadsföringskanaler, både från kunders- och företags perspektiv.Sociala medier används idag i stor utsträckning och företag försöker marknadsföra sig genom dessa kanaler för att nå sina befintliga och potentiella kunder. Den typen av marknadsföring uppskattas inte alltid av alla kunder och ställer då krav på företagen att de använder sig av de sociala medierna på ett gynnande vis för alla parter. Annars finns risken att det kan leda till motsatta effekter än det önskade resultatet.Tidigare forskning från olika länder och tidsperioder finns kring ämnet. Det saknas relevanta resultat kopplade till den svenska marknaden och dess kunder därför motiverade det oss att söka skillnader från tidigare forskning jämfört med den svenska marknaden.De svenska e-handlarna har visat sig vara framgångsrika i sin riskhantering jämfört med andra länder, och arbetar ständigt med förbättringar. Dock finns alltid vissa hinder kvar som bör övervinnas för att kunderna ska motiveras att handla online i större utsträckning och för att e-handeln ska stärka sin position i konkurrensen mot de fysiska butikerna.I uppsatsen har en kvalitativ metod används motiverad med att en förståelse om hur risker vid online handel upplevs och hanteras vill uppnås. Resultatet visade att kundrespondenterna inte upplever handel online som riskabel samt att företagen samtidigt gör bra kartläggningar av eventuella hinder vid köp online för att öka kundernas förtroende för dem.

O presente estudo teve por objetivo estudar a variabilidade da proteína verdadeira do leite em rebanhos leiteiros do estado de São Paulo, segundo a influência da contagem de células somáticas, raça, estação do ano e tipo de sistema de alimentação. Para tanto, foram utilizados 50 rebanhos comerciais distintos, formados por três raças distribuídas da seguinte forma: 17 da raça Holandesa, seis da raça Jersey e 26 da raça Girolando. Mensalmente foram coletadas amostras de leite do tanque de expansão sendo estas analisadas em relação à composição e contagem de células somáticas pelo método automatizado, e em relação ao teor de proteína verdadeira pelo de Kjeldahl. O teor de nitrogênio total foi multiplicado por 6,38 para transformá-lo em proteína bruta do leite (PB). O teor de proteína verdadeira (PV) do leite foi calculado pela diferença entre estas duas frações nitrogenadas (PV = PB - NNP). As diferenças observadas nos teores de proteína verdadeira, quando considerados os efeitos da época do ano, raça, sistema de alimentação e contagem de células somáticas, não foram significativas, o que permitiu a formulação de uma equação, a qual possibilita determinar a proteína verdadeira de forma simplificada. Foi proposta a equação: PV = 0,1862+(1,0869 x PB) - (1,2895 x NNP) + 0,0687, com R2 = 0,82 . A utilização do teor de proteína verdadeira ao invés do teor de proteína bruta, como ainda é feito no Brasil, na calibração dos equipamentos automatizados, aumentaria de forma significativa a acurácia nos resultados de proteína do leite, permitindo aos laticínios melhor classificação dos produtores dentro dos sistemas de pagamento, remunerando os produtores de forma mais justa. / The objective of this experiment was to study the variability of the true protein of milk produced in dairy herds of Sao Paulo State, under the influence of milk somatic cell count, breeds, season of the year and production system. For this aim, fifty commercial herds were selected; these herds were divided by breeds in: 17 Holstein, six Jersey, and 26 Girolando. Milk samples from the bulk tank were collected monthly and were analyzed to determine milk somatic cell count (SCC) and milk composition by the automatic method and to determine the true protein of milk (TP) by Kjeldahl method. The total nitrogen was multiplied by a factor of 6.38 to express the results in crude protein (CP) basis. True protein of milk was determined by the equation (TP = CP - NPN). No significative effect were observed for season of the year, breed, SCC and system of production were observed and this fact aloud a confection of one equation to predict milk true protein: PV = 0,1862+(1,0869 x PB) - (1,2895 x NNP) + 0,0687, com R2 = 0,82 . The use true protein of milk instead of crude protein, like it is still used in Brazil, will increase the accuracy of protein testing, and will improve substantially the milk payment system.

O estudo das bacias formadoras do rio Piracicaba é prioritário no contexto de solução da crise hídrica na região sudeste do Brasil, pois elas são mantenedoras de mais 4,5 milhões de habitantes na região das bacias Piracicaba, Capivari e Jundiaí (PCJ), e contém o sistema de represas do Cantareira, que promove o abastecimento de água de aproximadamente 8 milhões de habitantes na região metropolitana da cidade de São Paulo. Para a garantia de tais recursos hídricos, é fundamental um plano de restauração e conservação do entorno das represas constituintes do sistema, bem como das microbacias nas cabeceiras de seus tributários, tais como o rio Jaguari. Nessa região, na microbacia do ribeirão das Posses, afluente do rio Jaguari no município de Extrema - MG, iniciou-se no ano de 2007 o projeto Conservador das Águas, com o intuito de promover restauração e conservação de nascentes dentro de propriedades privadas, no modelo de Pagamentos por Serviços Ambientais (PSA). Esta pesquisa teve por objetivo avaliar a dinâmica espaço-temporal de parâmetros hídricos qualiquantitativos em corpos d\'água, como nascentes em restauração, tributários e canal principal do ribeirão das Posses e sua influência no rio Jaguari, considerando o uso do solo na área drenada a montante de cada ponto amostral. Os parâmetros hidrobiogeoquímicos avaliados foram: vazão, temperatura, pH, condutividade elétrica, DBO, além de oxigênio, carbono, nitrogênio e elementos iônicos principais dissolvidos e massa e razão isotópica de carbono e nitrogênio no material particulado em suspensão. Os resultados demonstram que as ações de restauração têm contribuído para a redução na condutividade elétrica (CE) nas nascentes. O uso da terra interferiu na qualidade dos corpos hídricos e que o Cl- pode ser utilizado como traçador ambiental, refletindo a influência do ambiente de pastagens. Por fim, os processos erosivos predominam na bacia, sendo que o transporte de material particulado em suspensão para a foz no rio Jaguari foi de 68 ton km-2 ano-1. / The study of the basins forming the Piracicaba river is a priority in the context of the solution of the water crisis in the southeastern region of Brazil, as they maintain more than 4.5 million inhabitants in the Piracicaba, Capivari and Jundiaí (PCJ) basins and contain the Cantareira dam system, which promotes the water supply of approximately 8 million inhabitants in the metropolitan region of the city of São Paulo. For the guarantee of such water resources, a plan of restoration and conservation of the surroundings of the dams constituting the system, as well as the micro-basins in the headwaters of its tributaries, such as the Jaguari river, is fundamental. In this region, the Conservador das Águas project was started in 2007 in the microbasin of the Posses stream, a tributary of the Jaguari river in the municipality of Extrema - MG, with the purpose of promoting restoration and conservation of springs within private properties, in the Payments for Environmental Services (PSA) model. The objective of this research was to evaluate the spatiotemporal dynamics of qualitative water parameters in water bodies, such as springs in restoration, tributaries and main channel of the Posses stream and its influence on the Jaguari river, considering the use of the soil in the drained area amount of each sampling point. The hydrobiogeochemical parameters evaluated were: flow, temperature, pH, electrical conductivity, BOD, in addition to oxygen, carbon, nitrogen and major dissolved ionic elements and isotopic mass and carbon and nitrogen ratio in suspended particulate matter. The results show that restoration actions have contributed to the reduction in the electrical conductivity (EC) in the springs. Land use has interfered in the quality of the water bodies and that Cl- can be used as an environmental tracer, reflecting the influence of the pasture environment. Finally, erosion processes predominate in the basin, and transport of particulate matter in suspension to the mouth of the Jaguari River was 68 tons km-2 year-1.

CoordenaÃÃo de AperfeiÃoamento de NÃvel Superior / A biodiversidade de Mata AtlÃntica no municÃpio de ViÃosa do Cearà à considerada de extrema importÃncia biolÃgica, mas essa riqueza de fauna e flora està ameaÃada pelo desmatamento, que provocou uma perda de 80% da cobertura original do ecossistema no municÃpio. O objetivo deste trabalho à analisar a perda da biodiversidade a partir do decrÃscimo da riqueza de aves, mamÃferos e rÃpteis que habitam a Mata AtlÃntica, no municÃpio de ViÃosa do CearÃ, e estimar o custo da preservaÃÃo das remanescentes do ecossistema atravÃs do pagamento por serviÃos ambientais aos agricultores que mantÃm Ãrea preservada da floresta no municÃpio. Na primeira parte da metodologia à construÃdo um modelo para estimativa da perda da biodiversidade a partir do modelo da relaÃÃo espÃcie-Ãrea. Na segunda parte mensura-se o valor de pagamento por serviÃos ambientais aos produtores de biodiversidade (proprietÃrios de terras que preservam a vegetaÃÃo nativa da Mata AtlÃntica). O modelo da perda da riqueza de espÃcies indicou como resultado o ponto crÃtico do ecossistema ao atingir 93% de Ãrea devastada e o coeficiente de perda da biodiversidade apontou nÃvel extremo de perda. Os donos de propriedade com remanescente de Mata AtlÃntica mostraram-se receptivos ao recebimento de incentivo financeiro para resguardar a biodiversidade local. Conclui-se que o modelo de estimativa da perda de aves, mamÃferos e rÃpteis apresentou-se de forma significativa para a avaliaÃÃo da perda da biodiversidade no ecossistema de Mata AtlÃntica no municÃpio, sendo proposta a polÃtica de pagamento por serviÃos ambientais para a manutenÃÃo da biodiversidade da Mata AtlÃntica em ViÃosa do CearÃ. / The Atlantic Forest biodiversity in ViÃosa do Cearà is considered of extreme biological importance, but this wealth of animals and plants is threatened by the deforestation, that provoked a loss of 80% of the original covering of the ecosystem in the city. The aim of this study is to analyze the loss of biodiversity from the decrease of varieties of birds, mammals and reptiles that inhabit the Atlantic Forest, in ViÃosa do CearÃ, and estimate the cost of preserving the remnants of the ecosystem through payment for environmental services to farmers who have preserved the forest area in the city. In the first part of the methodology, a model is built to estimate the loss of biodiversity from the model of species-area relationship. In the second part, in the amount of payment for environmental services to producers of biodiversity (landowners that preserve the native vegetation of the Atlantic Forest), was measured the model of loss of species richness as a result indicated out the critical point of the ecosystem to reach 93% of deforestation and the coefficient of loss of biodiversity showed extreme level of loss. The owners of property with the remaining Atlantic Forest proved to be receptive to receiving financial incentive to protect local biodiversity. We conclude that the model estimate of the loss of birds, mammals and reptiles presented significantly to assessment of loss of biodiversity in the Atlantic Forest ecosystem in the city, proposing politics of payment for environmental services for the maintenance of biodiversity in the Atlantic Forest in ViÃosa do CearÃ.

Submitted by admin tede (tede@pucgoias.edu.br) on 2018-10-04T18:57:11Z No. of bitstreams: 1 ELAINE NEVES DA SILVA.pdf: 11951721 bytes, checksum: 1cfa7fdc74f6c5685facd01608645381 (MD5) / Made available in DSpace on 2018-10-04T18:57:11Z (GMT). No. of bitstreams: 1 ELAINE NEVES DA SILVA.pdf: 11951721 bytes, checksum: 1cfa7fdc74f6c5685facd01608645381 (MD5) Previous issue date: 2018-08-17 / Brazil has a legal device that distinguishes building rights from the right to property. Due to this device, the government is attributed the property over building rights, which can be sold to whoever wishes to buy it. It is called “outorga onerosa do direito de construer” (Portuguese for “issuance of building rights over payment”, OODC for short) and it has been largely used by the real estate sector on Negrão de Lima, a neighborhood in Goiânia, state of Goiás. This legal device allows construction of buildings taller than the average limit up to the maximum coefficient established by the city’s land-use planning and it has immensely transformed the local landscape. It has also transformed the neighborhood dramatically, making it more demographically dense in a short period of time, which has been an object of concern for many scholars of the area of urbanism. This social phenomenon and the scarcity of specific literature on the issue has led us to realize the urgency and the relevance of the theme, leading to a study that aims to show the implications of the aforementioned legal device in the production of urban space and the transformation of the local landscape. The qualitative research and the analytical study are based on the empiric knowledge of the place, documentation studies, and observations of how the soil has been occupied from 2006 to 2017. The latter was possible due to the analysis of aerial images of the region within this period, which makes it possible to compare the neighborhood’s situation before and after OODC. / A presente dissertação busca entender processos de adensamento urbano e o instrumento de outorga onerosa do direito de construir (OODC) que vem sendo amplamente utilizado no Setor Negrão de Lima, em Goiânia, assim transformando a paisagem do lugar em curto espaço de tempo, o que tem sido objeto de preocupação por parte de estudiosos do urbanismo. Na medida em que esse fenômeno e a escassez de literatura específica nos levaram a perceber a iminência e a importância de abordar esse tema, buscamos examinar as implicações do referido instrumento na produção do espaço urbano e na transformação da paisagem local. A pesquisa qualitativa e o estudo analítico baseiam-se no conhecimento empírico do lugar, na documentação pertinente e em observações da ocupação do solo, observações essas possibilitadas pela análise de fotos e imagens aéreas da região no período de 2006 a 2017, o que permite comparar a utilização da outorga onerosa, na situação atual e anterior do Setor Negrão de Lima.

Topic of mergers and acquisitions (M&A) is popular both in academia and financial circles and press. A great deal of research has been focused on the value creation side of M&A deals, nonetheless factors influencing the particular method of payment used in M&A transactions are equally interesting. This thesis focuses on number of factors influencing the choice of medium of exchange in M&A deals with European Union domiciled bidders. Using Bayesian model averaging and a relatively new dataset of transactions announced between 2010 and 2018, the analysis finds several bidder, target and deal specific characteristics to be of a provable effect on the choice of payment. Finally, several enhancements and research questions for a further research are identified.