[pt] Esta tese avalia políticas de conservação adotadas no âmbito do plano de ação federal para combate ao desmatamento na Amazônia brasileira. O Capítulo 1 descreve as principais mudanças institucionais e discute suas avaliações de efetividade. A revisão de literatura corrobora a eficácia das medidas para a redução do desmatamento, mas indica também que efeitos indiretos das políticas de conservação foram pouco estudados. Os demais capítulos conduzem análises empíricas sobre efeitos diretos e indiretos dessas políticas, utilizando um painel de dez anos de dados georreferenciados para contemplar dinâmicas espaciais ao longo do tempo. O Capítulo 2 testa se proteção territorial legal confere real proteção contra desmatamento. Tomando a intensidade do desmatamento no entorno de uma área como uma medida do risco de desmatamento local, o estudo compara a perda florestal em territórios protegidos e não protegidos sujeitos a riscos de desmatamento equivalentes. Aproveitando o formato raster dos dados, a estratégia empírica inclui efeitos fixos de célula para mitigar preocupações sobre possível viés oriundo de não-observáveis. Os resultados documentam a eficácia da proteção: células protegidas tiveram significativamente menos perda florestal do que células não protegidas, mesmo quando expostas ao mesmo risco de desmatamento. Contudo, ainda que o território protegido sirva como um escudo contra o avanço do desmatamento, a perda florestal por ele desviada parece seguir para áreas não protegidas. A proteção, portanto, afeta a dinâmica regional do desmatamento, mas não seu nível agregado. O Capítulo 3 investiga se variações na regeneração tropical configuram uma externalidade de medidas de aplicação da lei voltadas para o desmatamento. A vegetação secundária esteve vulnerável durante a primeira década do plano de ação, que não direcionou esforços para a promoção da regeneração tropical e tampouco para a conservação de vegetação secundária existente. Além disso, a regeneração permaneceu invisível ao sistema de monitoramento da floresta. Mesmo assim, a área de vegetação secundária na Amazônia aumentou em 7 milhões de hectares durante esse período. A última parte desta tese averigua se a aplicação da lei contribuiu para esse fenômeno, ainda que não intencionalmente. Os resultados são robustos à inclusão de uma série de controles em nível da célula, que mitigam preocupações sobre viés de variável omitida. A análise indica que uma maior intensidade de aplicação da lei no entorno de um local está associada a maior probabilidade de expansão da vegetação secundária e também maior área por ela coberta naquele local. Isso apoia a hipótese de que infratores ambientais, diante dos maiores custos associados à atividade ilegal, abandonaram as regiões onde operavam e, assim, permitiram que ocorresse um processo natural de regeneração. A força dessa externalidade varia conforme o grau de desmatamento local: regiões mais desmatadas provavelmente abrigam atividades não florestais mais consolidadas, dificultando o ressurgimento da floresta; regiões menos desmatadas ainda oferecem uma área relativamente pequena para regeneração em escala. Exercícios contrafatuais ilustram a magnitude desse efeito, mostrando que melhorias no sistema de monitoramento do desmatamento resultariam em quase 300 mil hectares adicionais de vegetação secundária. / [en] This dissertation assesses policy effects of conservation efforts adopted within the scope of the federal action plan to combat Amazon deforestation in Brazil. Chapter 1 provides a description of key policy changes and surveys the associated effectiveness literature. It finds evidence that supports the action plan s efficacy in reducing aggregate deforestation levels, but notes that indirect impacts of conservation policies have received little attention. The remaining chapters explore direct and indirect impacts of action plan policies using a georeferenced ten-year panel dataset to account for spatial dynamics. Chapter 2 tests whether legal territorial protection grants actual protection against advancing deforestation. Using a measure of neighboring clearing activity to capture local deforestation risk, the analysis compares forest clearing outcomes in unprotected and protected territory under equivalent deforestation pressures. The empirical strategy draws on the dataset s raster structure to mitigate concerns of potentially confounding unobservables via the use of raster cell fixed effects. Results document protection s efficacy in a high-risk context, with significantly less forest being cleared in protected cells than in unprotected ones. Yet, although protected territory effectively shields vegetation under its domain from advancing deforestation, it appears to deflect clearings to unprotected areas. Protection therefore affects regional forest clearing dynamics, but not the overall level of deforestation. Chapter 3 investigates whether changes in tropical regeneration constituted a spillover effect from law enforcement targeting forest loss. Secondary vegetation was vulnerable during the first decade of the action plan, which neither promoted tropical regeneration nor sought to conserve existing secondary vegetation. Moreover, regeneration remained undetected in satellite-based forest monitoring systems. Still, during this period, the extent of Amazon secondary vegetation increased by nearly 7 million hectares. The final part of this dissertation examines whether law enforcement contributed to this growth, albeit unintentionally. The empirical strategy uses a ten-year cross-sectional difference in observed regeneration outcomes to address the intrinsically time-consuming nature of this phenomenon. Results are shown to be robust to the inclusion of a host of raster cell-level controls, mitigating concerns about omitted variable bias. Findings indicate that the intensity of enforcement in a location s close surroundings is associated with both increased probability of secondary vegetation expansion and increased area of secondary vegetation in that location. This lends support to the hypothesis that environmental offenders, once faced with a higher perceived cost of engaging in illegal deforestation, abandoned the area they were operating in and thereby allowed a natural process of forest regrowth to occur. The spillover effect of enforcement on regeneration appears largest in places that have undergone neither too much nor too little deforestation: in the former, forest clearings and non-forest land use are probably more consolidated, and regrowth is therefore less likely; in the latter, there is still relatively little area for the forest to grow back in. Counterfactual exercises shed light on the magnitude of this effect. An enhanced satellite-based monitoring system for targeting enforcement would have resulted in nearly 300 thousand additional hectares of secondary vegetation.

[pt] Este trabalho consiste do desenvolvimento de uma ferramenta para a geração de aplicativos móveis, que possibilita um monitoramento customizado, para o acompanhamento à distância de pacientes com doenças crônicas. A customização ocorre a partir de parâmetros e descrições formais, tais como: preferências do paciente, tipo da doença crônica, processo de acompanhamento desejado pelo seu médico, medicação prescrita e dados sobre o contexto (o entorno) do paciente, estes últimos obtidos de sensores. Com base nestes dados, o sistema irá determinar quais informações são mais relevantes para serem adquiridas do paciente através de questionários ou de sensores disponíveis no dispositivo móvel. Informações relevantes são informações que melhor ajudam a identificar possíveis alterações no processo de monitoramento de um paciente. Estas informações serão enviadas pelo dispositivo móvel, juntamente com os dados dos sensores, para o médico responsável. O processo de acompanhamento médico e a natureza da doença crônica definir ao o conjunto de informações que serão coletadas. É importante ressaltar que o objetivo não é realizar diagnósticos, mas sim, prover informações atualizadas aos médicos sobre os seu pacientes, possibilitando assim, realizar um acompanhamento preventivo à distância. / [en] This thesis consists of the development of a tool for generating mobile applications that enables a customized form of remote monitoring of patients with chronic diseases. The customization is based on parameters and formal descriptions of patient preferences, the type of chronic disease, monitoring procedure required by the doctor, prescribed medication and information about the context (i.e. environment) of the patient, where the later is to be obtained from sensors. Bases on this data, the system will determine which information are more relevant to be acquired from the patient through questionnaires and sensors embedded or connected to the smart phone. Relevant information are information that best helps to identify possible changes in the monitoring process of a patient. This set of information will be sent by the mobile application to the responsible physician. The medical treatment and the kind of chronic disease will define the set of information to be collected. It should be stressed that the goal is not to support automatic diagnosis, but only to provide means for physicians to obtain updated information about their patients, so as to allow remote monitoring of patients.

[pt] Em grandes indústrias, como construção, metalúrgica e petróleo, trabalhadores são continuamente expostos a vários tipos de perigos em seus locais de trabalho. Segundo a Organização Internacional do Trabalho (OIT), anualmente ocorrem cerca de 340 milhões de acidentes de trabalho. Equipamentos de Proteção Individual (EPI) são utilizados para garantir a proteção essencial da saúde e segurança dos trabalhadores. Com isto, há um grande esforço para garantir que esses tipos de equipamentos sejam usados de maneira adequada em ambientes de trabalho. Em tais ambientes, é comum ter câmeras de circuito fechado de televisão (CFTV) para monitorar os trabalhadores, pois essas podem ser usadas para verificar o uso adequado de EPIs. Alguns trabalhos presentes na literatura abordam o problema de verificação automática de EPIs usando imagens de CFTV como entrada; no entanto, muitos destes trabalhos não conseguem lidar com a detecção de uso seguro de múltiplos equipamentos e outros até mesmo pulam a fase de verificação, fazendo apenas a detecção. Neste trabalho, propomos um novo componente de análise de segurança cognitiva para um sistema de monitoramento. Este componente atua para detectar o uso adequado de EPIs em tempo real, usando fluxo de dados de câmeras de CFTV comuns. Construímos este componente do sistema com base nas melhores técnicas de Aprendizado Profundo voltadas para a tarefa de detecção de objetos. A metodologia proposta é robusta com resultados consistentes e promissores em termos da métrica Mean Average Precision (mAP) e pode atuar em tempo real. / [en] In large industries, such as construction, metallurgy, and oil, workers are continually exposed to various hazards in their workplace. Accordingly to the International Labor Organization (ILO), there are 340 million occupational accidents annually. Personal Protective Equipment (PPE) is used to ensure the essential protection of workers health and safety. There is a great effort to ensure that these types of equipment are used properly. In such an environment, it is common to have closed-circuit television (CCTV) cameras to monitor workers, as those can be used to verify the PPE s proper usage. Some works address this problem using CCTV images; however, they frequently can not deal with multiples safe equipment usage detection and others even skip the verification phase, making only the detection. In this paper, we propose a novel cognitive safety analysis component for a monitoring system. This component acts to detect the proper usage of PPE s in real-time using data stream from regular CCTV cameras. We built the system component based on the top of state-of-art deep learning techniques for object detection. The methodology is robust with consistent and promising results for Mean Average Precision (mAP) and can act in real-time.

[pt] O objetivo do presente trabalho é analisar os critérios e parâmetros utilizados para a aferição do adimplemento substancial no caso concreto e as dificuldades daí decorrentes, evidenciadas pela aplicação assistemática do instituto pelos tribunais brasileiros. Além disso, também se propõe a analisar as repercussões na esfera do credor na hipótese de configuração do adimplemento substancial. / [en] The main propose of this work is to analyze the criteria and parameters used to fulfill and verify the so-called substantial performance institute as evidenced by the unsystematic application of the legal practice by Brazilian courts. In addition, it also assesses the repercussions on the creditor s rights in the event of configuration of substantial performance.

[pt] O estudo das propriedades estatísticas dos sistemas dinâmicos temsido uma área de pesquisa ativa nas últimas décadas. Seu principal objetivoé investigar quando determinados sistemas caóticos determinísticos exibemcomportamento estocástico quando examinados pelas lentes de uma medidainvariante relevante. Algumas das principais ferramentas empregadas naobtenção desses resultados são as propriedades espectrais do operador detransferência. No entanto, determinados sistemas do tipo produto torcido,incluindo cociclos lineares aleatórios e cociclos mistos aleatórios-quaseperiódicos, não se encaixam nessa abordagem. Trabalhos muito recentesobtiveram leis limite para esses sistemas estudando o operador de Markov.O objetivo desta dissertação é explicar como esses operadores podem serusados para derivar leis limite, como Estimativas de Grandes Desvios e oTeorema do Limite Central, para certos sistemas dinâmicos do tipo produtotorcido. / [en] The study of statistical properties of dynamical systems has been an active research area in recent decades. Its main goal is to investigate when certain deterministic chaotic systems exhibit stochastic behavior when examined through the lens of a relevant invariant measure. Some of the key tools employed in deriving such results are the spectral properties of the transfer operator. However, certain skew product systems, including random and mixed random-quasiperiodic linear cocycles, do not fit this approach. Very recent works have obtained limit laws for these systems by studying the Markov Operator. The purpose of this dissertation is to explain how these operators can be used to derive limit laws, such as Large Deviations Estimates and Central Limit Theorem, for certain skew-product dynamical systems.

O objetivo do presente trabalho é calcular o fator de utilização térmica através da aplicação do método L TS ,v . Inicialmente definimos o fator de utilização térmica f para reatores heterogêneos e homogêneos, salientando que o problema fundamental do cálculo desse fator para sistemas heterogêneos consiste em determinar os valores do fluxos médios nas regiões do combustível e do moderador. A seguir procedemos a análise do método LTS N e a sua aplicação no cálculo do fator de desvantagem p • bem como na determinação do fator de utilização térmica / The objective of thís work ís to calculate the thermal utilization factor f applying the LTS N method. First, we define the thermal utilization factor f to heterogeneous and homogeneous reactors, observing that the maín problem to calculatefto heterogeneous systems consists in calculating the average flux in the fuel and in the moderator. Afterwards, we apply the LTS N method to obtain the disadvantage factor p and the thennal utilization factor f.

O objetivo do presente trabalho é calcular o fator de utilização térmica através da aplicação do método L TS ,v . Inicialmente definimos o fator de utilização térmica f para reatores heterogêneos e homogêneos, salientando que o problema fundamental do cálculo desse fator para sistemas heterogêneos consiste em determinar os valores do fluxos médios nas regiões do combustível e do moderador. A seguir procedemos a análise do método LTS N e a sua aplicação no cálculo do fator de desvantagem p • bem como na determinação do fator de utilização térmica / The objective of thís work ís to calculate the thermal utilization factor f applying the LTS N method. First, we define the thermal utilization factor f to heterogeneous and homogeneous reactors, observing that the maín problem to calculatefto heterogeneous systems consists in calculating the average flux in the fuel and in the moderator. Afterwards, we apply the LTS N method to obtain the disadvantage factor p and the thennal utilization factor f.

O objetivo do presente trabalho é calcular o fator de utilização térmica através da aplicação do método L TS ,v . Inicialmente definimos o fator de utilização térmica f para reatores heterogêneos e homogêneos, salientando que o problema fundamental do cálculo desse fator para sistemas heterogêneos consiste em determinar os valores do fluxos médios nas regiões do combustível e do moderador. A seguir procedemos a análise do método LTS N e a sua aplicação no cálculo do fator de desvantagem p • bem como na determinação do fator de utilização térmica / The objective of thís work ís to calculate the thermal utilization factor f applying the LTS N method. First, we define the thermal utilization factor f to heterogeneous and homogeneous reactors, observing that the maín problem to calculatefto heterogeneous systems consists in calculating the average flux in the fuel and in the moderator. Afterwards, we apply the LTS N method to obtain the disadvantage factor p and the thennal utilization factor f.

[pt] Na primeira parte da tese, consideramos difeomorfismos com ciclos heterodimensionais associados a um par de selas P e Q de co-índice dois. Provamos que difeomorfismos com ciclos que possuem no mínimo um par de autovalores centrais do ciclo não real geram ciclos heterodimensionais robustos. Além disso, quando os autovalores centrais são não-reais, os ciclos robustos estão associados as continuações das selas iniciais (ou seja, os ciclos podem ser estabilizados). Na segunda parte deste trabalho estudamos mapas produto cruzado sobre aplicações deslocamento (do tipo Bernoulli) com fibras contrativas e dependência Holder nos pontos da base. Provamos que sistemas que satisfazem a propriedade de cobertura exibem blender simbólicos. Estes blenders são generalizações do blender usual cuja principal característica é que suas direções centrais podem ter qualquer dimensão d maior ou igual que 1. / [en] In the first part of the thesis, we consider diffeomorphisms having heterodimensional cycles associated with a pair of saddles P and Q of co-index two. We prove that diffeomorphisms with cycles, which have at least one pair of non-real central eigenvalues, generate robust heterodimensional cycles. Moreover, when both central eigenvalues are non-real, the robust cycles are associated with the continuation of the initial saddles (i.e. the cycle can be stabilized). In the second part of this work we study skew product maps over Bernoulli shifts with contracting fibers and Holder dependence on the base points. We prove that systems satisfying the covering property exhibit symbolic blenders. These blenders are generalizations of the usual blenders whose main property is that their central direction may have any dimension d greater than or equal to 1.