Les preuves par récurrence sont parfaitement adaptées au raisonnement sur des structures de données non-bornées, comme par exemple les entiers et les listes, ou, de manière plus générale, sur des ensembles d’éléments non vides munis d’ordres noethériens. Leur domaine d’application est très vaste, une utilité particulière portant sur la validation des propriétés d’applications industrielles dans des domaines critiques tels que les télécommunications et les cartes à puces. Le principe de récurrence noethérienne est à la base d’un ensemble de techniques de preuve par récurrence modernes, dont celles basées sur la récurrence implicite. Dans cette thèse, nous nous intéresserons à l’intégration du raisonnement par récurrence implicite tel qu’il est implémenté dans le démonstrateur Spike en utilisant l’environnement de preuve certifié Coq. Basé sur la récurrence implicite, Spike est capable de raisonner automatiquement sur des théories conditionnelles de premier ordre. L’implémentation de Spike n’est pas encore certifiée, même si les fondements théoriques sous-jacents ont été approuvés à plusieurs reprises par la communauté scientifique. Une alternative convenable serait de certifier seulement les preuves générées par Spike. Dans ce cas, le processus de certification doit être automatique car les scripts de preuves de Spike sont souvent longs. Des travaux précédents ont montré la possibilité de certifier automatiquement des preuves par récurrence implicite générées par Spike à l’aide de l’environnement certifié de l’assistant de preuve Coq. Nous proposerons des nouvelles tactiques Coq qui seront capables de prouver automatiquement des théorèmes par récurrence implicite. Deux approches seront étudiées. La première approche consiste à utiliser Spike comme un outil externe. Elle est limitée au traitement des spécifications Coq qui peuvent être traduites dans des spécifications conditionnelles, ainsi qu’à des théorèmes convertibles dans des équations conditionnelles. Les traces de preuves générées par Spike sont ensuite traduites dans des scripts Coq qui sont finalement validés par son noyau. Une autre limitation est due à la traduction des applications d’un sous-ensemble de règles d’inférence de Spike. La deuxième approche est l’utilisation des stratégies à la Spike pour construire automatiquement des preuves par récurrence implicite dans Coq. Cette approche se base sur des tactiques Coq qui simulent des règles d’inférence de Spike pour générer de nouveaux sous-buts. Par rapport à la première approche, ces tactiques peuvent utiliser des techniques de raisonnement de Coq qui ne sont pas présentes dans Spike et ouvre la possibilité de mélanger des étapes de preuves automatiques et manuelles. Ces deux approches ont été mises en œuvre et testées sur différents exemples dont des lemmes utilisés dans la preuve de validité de l’algorithme de conformité du protocole de télécommunication ABR / Proofs by induction are perfectly adequate to reasoning on unbounded data structures, for example naturals, lists and more generally on non-empty sets of elements provided with noetherian orders. They are largely used on different fields, particularly for the validation of properties of industrial applications in critical areas such as telecommunications and smart cards. The principle of noetherian induction is the basis of a set of modern techniques of proof by induction, including those based on implicit induction. In this thesis, we will focus on the integration of implicit induction reasoning like it is implemented by spike using the certified proof environnement Coq. Spike is an automatic theorem prover based on implicit induction that is capable of reasoning on conditional first-order theories. The implementation of Spike is not yet certified, even if the underlying theoretical foundations have been approved repeatedly by the scientific community. A suitable alternative is to certify only the proofs produced by Spike. In this case, the certification process must be automatic because scripts of Spike’s proofs are often long. Previous work has shown the possibility of certifying automatically some proofs by implicit induction generated by Spike using the certified environment provided by the Coq proof-assistant. We will propose new Coq tactics that are able to prove automatically theorems by implicit induction. Two approaches will be studied. The first approach consists on using Spike as an external tool. It is limited to process Coq specifications which can be translated in conditional specifications, as well as theorems convertible in conditional equations. Proofs generated by Spike are then translated into Coq scripts finally validated by its kernel. Another limitation is due to the translation of the application of a subset of the Spike inference rules. The second approche is to use strategies à la Spike to automatically build implicit induction proofs in Coq. This approach consists on creating tactics that perform like Spike inference rules to generate new subgoals in Coq. Comparing to the first approach, these tactics permit the use of Coq reasoning techniques which are not present in Spike and opens the possibility of mixing automatic and manual proof steps. Both approaches have been implemented and tested on several examples including lemmas used in the proof of validity of the conformity algorithm for the ABR telecommunications protocol

Dentre diversas razões para que apenas um empreendimento imobiliário residencial concluído até maio de 2013, tenha conquistado uma certificação ambiental no Brasil, o fato de que empreendimentos sustentáveis contabilizam aumento de custos com a obra, com o processo de certificação e com consultores, em relação a empreendimentos convencionais é a dificuldade mais relevante na opinião dos empreendedores. O custo adicional da obra sustentável é uma dificuldade para construir de forma sustentável citada por 82% dos incorporadores imobiliários que responderam a enquete apresentada neste trabalho. Esse fato pode estar inibindo o desenvolvimento de empreendimentos sustentáveis por parte das empresas incorporadoras do país. Uma possível solução para reduzir esta barreira econômica é a identificação de aspectos que agreguem sustentabilidade a empreendimentos residenciais e apresentem custos de implantação menores ou iguais à seus equivalentes convencionais. O objetivo deste trabalho é a identificação dos requisitos do Processo Aqua para Edifícios Habitacionais (2013, versão 2), que não agregaram custos adicionais ao empreendimento residencial referencial Reserva Anauá, destinado às famílias com renda entre 6 e 10 salários mínimos e podem ser replicados em outros empreendimentos com tipologia similar. Assim, os empreendedores podem incorporar até 193 exigências dessa certificação a seus projetos residenciais, para torná-los mais sustentáveis, sem agregar custos adicionais em relação empreendimentos convencionais. / Among several reasons why only one residential real estate development completed by May 2013, has achieved an environmental certification in Brazil, the fact that there are additional costs with the green construction, the certification process and the consultants are the most relevant difficulties for the entrepreneurs to develop sustainable projects. The green premium is a difficulty to build green cited by 82% of the developers who responded to the survey presented in this dissertation. This may be inhibiting the development of sustainable residential real estate projects by the developers of the country. One possible solution to reduce this economic barrier is the identification of aspects that add sustainability to the residential projects and cost the same or less than similar conventional real estate. The objective of this work is to identify the requirements of Aqua certification process (2013, version 2), which did not add additional costs to the referential residential development Reserva Anauá, being built for families with income between 6 and 10 minimum wages, and can be replicated in other projects with similar typology. Thus, entrepreneurs can incorporate up to 193 requirements of this certification to their residential projects, to make them more sustainable, without adding additional costs over conventional developments.

A soja vem se destacando como proteína vegetal e seu consumo deve aumentar nos próximos anos, acompanhando a tendência geral de demanda crescente por alimento. No entanto, o aumento da oferta de soja, assim como de outros produtos agrícolas, pode gerar impacto negativo para o meio ambiente, o que levanta uma série de preocupações sobre este setor, exigindo resposta dos agentes da cadeia produtiva de soja para que essas preocupações não se tornem restrições de demanda e altere os padrões de comércio. Este estudo foi estruturado em formato de artigos científicos, trazendo, no primeiro deles, uma análise qualitativa e crítica das iniciativas do setor sojicultor para atender aos novos paradigmas relacionados aos requisitos ambientais, e, particularmente, aqueles impostos pelo mercado internacional. O conjunto de iniciativas realizadas pelo governo brasileiro, quer seja pelos agentes da cadeia, governo ou organizações não-governamentais, tende a se complementar, contribuindo para uma proteção mais efetiva do meio ambiente. A Moratória da Soja não conseguiu diminuir a ocupação da soja em áreas desflorestadas dos estados do Mato Grosso, Pará e Rondônia, situados no bioma Amazônia; mas o avanço foi muito pequeno, principalmente quando comparado ao que ocorreu nas áreas em que a Moratória não incide, como é o caso do cerrado mato-grossense e de MATOPIBA. O programa Soja Plus, além de preencher a lacuna do governo brasileiro em extensão rural, abrange elementos tão relevantes quanto a conversão de vegetação, como o uso responsável de herbicidas. O segundo artigo apresenta uma análise empírica, visando quantificar o impacto dos requisitos ambientais nas exportações do complexo soja. Os resultados da equação gravitacional, estimada para o período de 1993 a 2014, tendo como variável dependente as exportações de soja em grão, farelo e óleo de soja dos três maiores exportadores do complexo soja, Brasil, Estados Unidos e Argentina, indicam que a queda na razão de decoupling, variável proxy do meio ambiente, impacta positivamente as exportações do complexo soja. Isto comprova a tese de Porter e Linde de que é possível produzir de forma ambientalmente correta e aumentar a competitividade no mercado internacional. / Soy has gained highlight as vegetable protein and its consumption should increase in the coming years, following the general trend of increasing demand for food. However, the increase in soybean supply, as well as other agricultural products, can have a negative impact on the environment, which raises a number of concerns about this sector, requiring response of the soy productive chain to these concerns do not become demand restrictions and change trade patterns. This study was structured in scientific articles format, bringing, in the first of them, a qualitative and critical analysis of soybean industry initiatives to meet the new paradigms that emerge related to environmental requirements and, particularly, those imposed by the international market. The set of initiatives undertaken whether by the Brazilian government, chain actors, government or non-governmental organizations, tends to complement and contribute to a more effective protection of the environment. Soy Moratorium failed to reduce the soybean occupation in deforested areas in the Amazon biom of Mato Grosso, Para and Rondonia states; but the increase was very small, especially when compared to what occurred in areas where the Moratorium does not apply, as is the case of Mato Grosso cerrado (savanna) and MATOPIBA. The Soja Plus program, in addition to filling the gap of the Brazilian government in rural extension, addresses relevant issues as important as vegetation conversion, such as the responsible use of herbicides. The second article presents an empirical analysis to quantify the impact of environmental requirements on the soy complex exports. The results of the gravity equation, estimated for the period from 1993 to 2014, to soybean, soymeal and soybean oil exports from the three world largest exporters, Brazil, the United States and Argentina, indicate that the drop in the decoupling ratio, a proxy for environment variable, impacts posively the soy complex exports. This reassures the Porter and Linde\'s thesis that it is possible to produce in an environmentally friendly way while increasing competitiveness in the international market.

O dendezeiro (Elaeis guineensis, Jacq.) é uma planta originaria da África, pertencente à família Arecaceae e gênero Elaeis. A Indonésia e a Malásia são os maiores produtores, responsáveis por 90% da produção, enquanto o Brasil representa apenas 0,5 %. Entretanto, esses países esgotaram sua áreas de plantio e não podem mais avançar por força de comitês internacionais de sustentabilidade que não permitem o plantio em áreas nativas. E nesse contexto, que o estado do Pará surge em potencial para assumir a produção mundial, principalmente depois do zoneamento ecológico e econômico do dendê no Brasil, proibindo os plantios em áreas nativas o que permite que a atividade cresça sem provocar o desmatamento de áreas nativas. Atualmente, os principais compradores de óleo de palma do mundo são certificados pela Roundtable Sustainable Palm Oil (RSPO) que é a instituição sem fins lucrativos que normatiza os critérios e indicadores para uma produção de óleo de palma sustentáveis sobre o ponto de vista econômico, social e ambiental. Dessa forma o objetivo da tese foi compreender melhor os atuais cenários da dendeicultura na região, possíveis entraves, empecilhos e pontos de melhoria nas empresas de óleo de palma no Pará por meio de um estudo detalhado sobre foco da sustentabilidade da agroindústria de palma no seu tripé, econômico, social e ambiental. Na sustentabilidade econômica foram avaliados os principais tributos incidentes sobre a cadeia agroindustrial de palma e sua influencia sobre os custos de produção. Na questão ambiental, foi realizado uma analise sobre o ciclo de vida (ACV), identificando os principais emissores de CO2 na cadeia agroindustrial de palma desde o viveiro ate a extração de óleo na Industria.Ainda na questão ambiental, foram avaliados os recursos genéticos dos principais plantios e indicação de variedades resistentes a doenças da região. E por ultimo na sustentabilidade social foram avaliados o programa de agricultura familiar de palma na região. E por ultimo, todas essas informações foram confrontadas com os indicadores de sustentabilidade da RSPO para avaliar a realidade dos plantios frente ao principal comitê mundial de certificação de óleo de palma no mundo. Os encargos trabalhistas e com insumos são os principais fatores onerantes sobre os custos de produção, sendo a participação da agricultura familiar ainda bastante pequena, estruturada em contratos de 25 anos com as empresas na região. A utilização do diesel e de fertilizantes são os maiores responsáveis por emissão de CO2 e são utilizadas 10 variedades de dendê distribuídas em cinco pólos centrais de produção no estado do Pará. A gestão do uso da Água e destinação final dos efluentes são os maiores entraves dentro das não conformidades dos critérios da RSPO. / The oil palm (Elaeis guineensis, Jacq.), originally from Africa, belongs to the family Arecaceae and genus Elaeis. Indonesia and Malaysia are the largest producers, accounting for 90% of the world production, while Brazil accounts for only 0.5%. However, those countries have used up their planting areas and are no longer able to expand them, under the guidelines of international committees for sustainability that do not allow the planting of native areas. In this context, the state of Pará Brazil becomes a potential to take over the world production, especially after the ecological and economic zoning of oil palm in Brazil, forbidding the cropping of native areas, which allows the activity to grow without causing deforestation of native forests. Currently, the main buyers of palm oil in the world are certified by the Roundtable Sustainable Palm Oil (RSPO), a nonprofit institution that regulates the criteria and indicators for the sustainable production of palm oil under the economic, social and environmental perspectives. Thus, the aim of this research was to better understand the current scenarios of oil palm in the region, possible barriers, obstacles and areas for improvement in palm oil companies in Pará through a detailed study on the sustainability of the industry of palm oil under the economic, social and environmental aspects. In the economic aspect, we assessed taxes on the main agro-industrial chain of palm and their influence on production costs. In terms of environmental issues, an analysis was conducted on the life cycle assessment (LCA), identifying the major CO2 releasers in the agribusiness chain from the palm nursery until the extraction of oil in the industry. We also assessed the genetic resources of the main crops and indications of disease-resistant varieties of the region. Finally, we analyzed the social sustainability of the palm oil family farming program in the region. The data were analyzed in accordance to the RSPO sustainability guidelines to assess the compliance of the actual conditions to the certifications established by the main committee for palm oil plantations worldwide. Labor costs and inputs are the major considerable factors on production costs, with the participation of family farming still quite small, structured in 25-year contracts with companies in the region. The use of diesel and fertilizers account for most CO2 emissions and 10 varieties of palm oil trees are used in five production regions in the state of Pará. Water use management and disposal of effluents are the major nonconformities to the RSPO guidelines.

Cosméticos verdes são aqueles que alegam ser desenvolvidos de acordo com princípios ecológicos, sendo geralmente associados às características natural, orgânica e/ou vegana. Os sistemas de certificação desses produtos visam assegurar o cumprimento de diretrizes préestabelecidas e comunicar o consumidor sobre os atributos dos produtos. Considerando a importância da certificação para a consolidação e o fortalecimento desse mercado, o objetivo do presente trabalho foi analisar a percepção de empresas produtoras de cosméticos verdes e consumidores a respeito da certificação natural, orgânica e vegana sob a perspectiva da Nova Economia Institucional. Para isso, foi empregada a triangulação metodológica, baseada em diversas abordagens de pesquisa, incluindo a realização de entrevistas semiestruturadas com representantes de empresas produtoras de cosméticos verdes certificadas e a aplicação de questionários de elaboração própria em amostra não-probabilística de 416 consumidores de cosméticos via Facebook. Os dados das entrevistas foram submetidos à análise de conteúdo e os questionários foram analisados por meio de estatística descritiva, ambos interpretados à luz da Nova Economia Institucional. Verificou-se que as empresas produtoras de cosméticos verdes atribuem à certificação um importante papel na comunicação sobre apelos ecológicos aos consumidores, no alinhamento de princípios com fornecedores, atuando como mecanismos de execução contratual e na obtenção de vantagens de mercado. As principais desvantagens relatadas pelas empresas produtoras foram os custos de transação decorrentes da obtenção e manutenção da certificação e possíveis dificuldades de comunicação com os consumidores. Em relação aos consumidores, predominaram na amostra usuários de cosméticos verdes. Porém, de modo geral, os consumidores possuem baixo nível de conhecimento e baixo grau de confiança nas principais certificações de cosméticos naturais, orgânicos e veganos atuantes no Brasil, além de perceberem tais certificações como pouco rigorosas. A disposição dos consumidores para pagar por cosméticos certificados foi estimada em 10 a 50% do preço dos produtos não certificados. A disposição para pagar está correlacionada com o nível de conhecimento e o grau de confiança dos consumidores nas certificações. Considerando os resultados do estudo, foram sugeridas estratégias para minimizar as desvantagens relacionadas aos custos de transação e às dificuldades de comunicação das certificações com os consumidores e ampliar suas vantagens, principalmente no que se refere à redução de assimetrias de informação e à obtenção de vantagens de mercado, de modo a contribuir para a consolidação e expansão do crescente mercado desses produtos / Green cosmetics are those that claim to be developed according to ecological principles, and are generally associated with natural, organic and/or vegan characteristics. Certification systems for these products aim to ensure compliance with pre-established guidelines and communicate the consumer about the attributes of the products. Considering the importance of certification for the consolidation and strengthening of this market, it is necessary to analyze the role of certification systems, both for producers and consumers. Thus, this work aims at analyzing the perception of producers of green cosmetics and consumers regarding natural, organic and vegan certification from the perspective of the New Institutional Economy. In order to do that, we used methodological triangulation, based on multiple research approaches, including the collection of primary data through semi-structured interviews with representatives of certified producers of green cosmetics and the application of closed questionnaires in nonprobabilistic sample of cosmetic consumers via Facebook. The information obtained from the interviews were submitted to content analysis, while the results of the questionnaires were analyzed by means of descriptive statistics. Both results were interpreted in the context of the New Institutional Economics. It was found that green cosmetic companies attribute to certification an important role in communicating ecological appeals to consumers, in aligning principles with suppliers, acting as contractual enforcement mechanisms and in obtaining market advantages. The main disadvantages reported by the companies were the transaction costs from obtaining and maintaining certification and possible communication difficulties with consumers. Regarding the questionnaires applied to consumers, the sample was predominantly composed of users of green cosmetics. However, it was found that consumers, in general, have a low level of knowledge and a low degree of confidence in the main certifications of natural, organic and vegan cosmetics in Brazil. Consumers also perceive such certifications as not very strict. The willingness of consumers to pay for certified cosmetics has been estimated at 10 to 50% of the price of non-certified products. The willingness to pay is correlated with the level of knowledge and the degree of consumer confidence in the certifications. Based on the results of the study, we suggested strategies to minimize the disadvantages of certification systems related to transaction costs and the difficulties of communication and to extend their advantages, especially regarding the reduction of information asymmetries and the market advantages, aiming at contributing to the consolidation and expansion of the growing market of these products

O objetivo dessa dissertação de mestrado é realizar uma análise sobre como o mecanismo de certificação profissional /de competências, originário de práticas gerenciais do setor produtivo, penetrou no universo educacional por meio da certificação de professores. Esse mecanismo tem sido utilizado tanto como uma forma de avaliação da qualidade do trabalho docente, constituindo-se como um mecanismo que favorece o pagamento de bônus por desempenho, quanto tem se estabelecido como uma forma de recrutamento e seleção de profissionais de diversas áreas para atuação como professores. / The objective of this masters dissertation is to analyze the professional skills certification mechanisms, originating from the management practices of the productive sector, has penetrated into the education universe by means of teachers certification. This mechanism has being used both as an effective way for the facultys quality evaluation, constituting itself as a mechanism that favors performance bonus payment, such as an way for recruitment of professionals from several areas to work as professors as well.

Dada a complexidade da interação entre o construído e o ambiente natural, a ACV (Avaliação do Ciclo de Vida) representa uma abordagem de máxima precisão para analisar os impactos ambientais de todo o edifício. Esta técnica além de considerar os materiais e consumo de energia, deve incluir em sua avaliação a produção e transporte de materiais de construção, e até mesmo o material de reciclagem e gestão de resíduos na fase de desativação. A ACV é a técnica que melhor se enquadra na avaliação de medidas de desempenho ambiental, pois tem a possibilidade de ser integrada aos sistemas de certificação ambiental. Neste contexto, este trabalho tem como objetivo analisar a aplicabilidade da técnica de ACV para os sistemas de CAE (Certificação Ambiental de Edificações) habitacionais no Brasil. Para alcançar este objetivo, utiliza-se a pesquisa exploratória por meio de revisão bibliográfica e documental. Observou-se que a utilização da técnica de ACV nas CAE ocorre em passos iniciais. Todas as CAE já iniciaram pelo menos o pensamento de ciclo de vida como base para conhecimento por parte dos agentes interessados. Algumas CAE possuem iniciativas com propósitos mais adequados ao uso da técnica, como é o caso do BREEAM e do LEED. O BREEAM classifica os materiais escolhidos por meio de abordagem de ACV e o LEED faz a ponderação dos créditos das categorias utilizando o método de caracterização de impacto TRACI. Outra questão relevante é o uso da tecnologia BIM para realizar avaliações de ciclo de vida, o sistema Casa Azul faz menção para no futuro a integração nas fases de projeto. Aponta-se projeções de aplicabilidade da técnica de ACV estar inserida nas categorias relacionadas aos materiais, categoria esta considerada como padrão para avaliação por todas as CAE. / Given the complexity of the interaction between the built and the natural environment, the LCA (Life Cycle Assessment) is a maximum precision approach to analyze the environmental impacts of the entire building. Besides considering the materials and energy consumption, this technique must include in its assessment the production and transport of building materials, and even the material recycling and waste management in the decommissioning phase. LCA is the technique that best fits the evaluation of environmental performance measures, it has able to be integrate with environmental certification systems. In this context, this study aims at analyzing the applicability of LCA technique for ECB systems (Environmental Certification of Buildings) housing in Brazil. To accomplish this, we use the exploratory research through literature and document review. It was observed that use of the CAE technique LCA showed up in the initial steps. All CAE have started at least the thought of life cycle as a basis for knowledge on the part of stakeholders. Some efforts have CAE more suitable for use in technical purposes, such as the BREEAM and LEED. BREEAM classifies chosen materials through LCA approach and LEED is the balance of credits in categories using the method of characterization TRACI impact. Another relevant issue is the use of BIM to perform life cycle assessments, which Casa Azul system makes reference to the future integration into project phases. It points applicability projections of LCA technique is inserted in the categories related to materials, a category regarded as a standard for evaluation by all CAE.

A indústria da construção civil tem significativo impacto ambiental, social e econômico no mundo. A mesma importância proporcional se observa no âmbito local, inclusive em cidades de médio porte, tomando-se como exemplo a cidade de São José do Rio Preto SP. Nesta cidade, foi observado que construtoras já desenvolvem ações isoladas de valorização de boas práticas nos âmbitos ambiental e social, mas demonstram pouca dinâmica de mobilização no sentido de sistematizar, aprofundar e disseminar tais práticas de excelência no mercado local. Em resposta a essa constatação, foi elaborada uma proposta de criação de um prêmio municipal de boas práticas ambientais e sociais na área da construção civil, a partir da hipótese de que esta iniciativa poderia catalisar os esforços de boas práticas neste setor. Sua idealização foi baseada na referência de sistemas de avaliação reconhecidos, tais como o LEED, o SELO CASA AZUL e o sistema AQUA. Sua avaliação foi fundamentada na realização de uma experiência piloto que culminou com a premiação de um empreendimento imobiliário na cidade. Esta pesquisa descreve, registra e avalia tal iniciativa, com o intuito de comprovar a tese de que a criação de uma premiação municipal para incentivo à disseminação e crescimento continuados de boas práticas ambientais e sociais na construção civil, é tecnicamente viável e estrategicamente significativa, como subsídio para a elaboração de políticas públicas. Sua contribuição inclui tanto um roteiro quanto os resultados das lições aprendidas com essa ação concreta. / The construction industry has significant environmental, social and economic impact in the world. The same proportional importance is observed locally, even in medium-sized cities, taking as example the city of São José do Rio Preto - SP. In this city, it was observed that construction companies have already developed isolated actions in environmental and social good pratices, but show little mobilization in order to systematize, deepen and disseminate these good practices in the local market. In response to this finding, a proposal to create a municipal award for good environmental and social practices in the construction area was drawn from the hypothesis that this initiative could catalyze the efforts of good practice in this sector. Its planning was based on recognized rating systems such as LEED, the SELO CASA AZUL and the AQUA system. It\'s review was based on the realization of a pilot project which culminated in the award of a real estate development in the city. This research describes, records and evaluates this initiative, in order to prove the thesis that the creation of a municipal award for encouraging the continued spread and growth of good environmental and social practices in construction, is technically feasible and strategically significant, as a subsidy for the development of public policies. Its contribution includes both a road map as the results of the lessons learned from this concrete action.

In this thesis, I analyze the impacts of the design and implementation of different environmental policy tools from a theoretical and empirical perspective: certificates providing information on the energy performance of buildings (chapter 1); urban road pricing schemes such as congestion charges (chapter 2); quantity-based policy tools to support production with non-polluting technologies (chapter 3).In chapter 1, co-authored with Luisa Dressler, we study how energy performance certificates (EPCs) impact the residential rental market. These certificates can help solve information asymmetries between landlords and tenants about the thermal quality of dwellings for rent, which, in turn, is expected to facilitate investment aimed at improving dwellings' energy performance. However, disclosure of EPCs is often incomplete, which hampers their effectiveness in relieving such information asymmetries. Moreover, even when a certificate is available, landlords do not always disclose it. This contradicts the so-called information unraveling result, according to which all landlords should disclose quality information unless it is costly to do so: in such a setting, information eventually unravels. Using a cross-sectional dataset of residential rental advertisements from the Belgian region of Brussels, we empirically evaluate incentives to disclose energy performance ratings. We find that two fundamental assumptions underlying the unraveling result are not confirmed in our setting: firstly, tenants value energy performance of rental property only when dwellings are of very high quality; secondly, tenants do not appear to rationally adjust their expectations when faced with dwellings that withhold their energy performance rating. Finally, we formulate specific policy advice for reforming EPC mechanisms to increase disclosure rates.In chapter 2, I study how urban congestion pricing impacts the use of sustainable mobility options such as bike sharing, presenting evidence from the city of Milan, Italy.As concern for air pollution grows in cities across the world, policies such as urban road pricing are rolled out to induce urban residents to opt for greener transport options. While several papers have analyzed the impact of urban road pricing on air pollution and on car use, this is the first analysis of its impact on sustainable travel behaviors, such as the use of bike sharing.I extend a stylized theoretical model of travel behavior to formalize the drivers of bike-sharing demand. Then, I exploit a panel dataset covering all bike-sharing trips carried out over an 8-year period in the city of Milan to estimate the impact of congestion pricing on bike-sharing use. The empirical strategy I employ in this study is based on the sudden suspension and reintroduction of congestion pricing, which generate a quasi-experimental setting. Adopting an event study approach, I find that suspending the congestion charge reduces daily bike-sharing traffic by about 5% in the short run. I show that, in Milan, congestion pricing mainly impacts bike-sharing use through the reduction of road traffic congestion, which makes cycling safer and more pleasant. The direct effect of the increased relative cost of car use is secondary in individual decisions to use bike-sharing. The role of these effects is likely to be context-specific, as they may be affected by the baseline level of urban congestion, the broader policy mix affecting the cost of driving and the specific design of the congestion pricing scheme.In chapter 3, co-authored with Renaud Foucart, we study the impact of different quantity-based tools that governments can use to support the production of homogeneous goods through clean rather than polluting inputs in a setting where production costs are uncertain.In recent years, many sectors have been disrupted by clean innovation, as clean inputs have emerged as close substitutes of polluting ones: for example, in the power sector renewable energy sources are increasingly used for electricity generation instead of fossil fuels. Whenever the negative externalities caused by polluting incumbent technologies are not internalized in production costs, emerging clean technologies are left at a disadvantage. For this reason, governments may want to design policy support schemes for emerging clean technologies.We develop a theoretical framework in which well-established polluting technologies entail known production and pollution costs, while using emerging green technologies requires higher, steeper and uncertain production costs. In this context, a government chooses between a range of quantity-based instruments to support the deployment of clean technologies based on cost estimates, as costs of production with green inputs are uncertain.We show that a cap on production with polluting inputs is the least distortionary among quantity instruments; next is a mandatory share of production with green inputs out of total production. Setting a policy objective in terms of a precise level of green inputs for production is the least efficient policy approach. This ranking results from the so-called “technology effect”, which determines the extent to which the market corrects cost estimation errors after real costs are observed. / Doctorat en Sciences économiques et de gestion / info:eu-repo/semantics/nonPublished

Made available in DSpace on 2015-03-05T19:12:38Z (GMT). No. of bitstreams: 0 Previous issue date: 29 / Nenhuma / O objetivo deste estudo é investigar a utilização de práticas de contabilidade direcionadas à mensuração dos Custos da Qualidade (CQ), assim como avaliar a percepção dos gestores quanto à sua utilidade. Além disso, o estudo busca verificar o entendimento das certificadoras, quanto à obrigatoriedade de mensuração dos CQ por empresas certificadas pelas normas ISO. A população é formada por empresas certificadas pelas normas da série ISO 9000:2000, constantes no cadastro do Programa Gaúcho de Qualidade e Produtividade (PGQP) da grande Porto Alegre e por empresas certificadoras credenciadas junto ao INMETRO. Trata-se de uma pesquisa exploratória e descritiva quanto aos seus objetivos, qualitativa e quantitativa quanto à abordagem do problema e de levantamento quanto aos procedimentos técnicos, utilizando-se de questionários para a coleta de dados. Para análise dos dados, utilizou-se da estatística descritiva e análise fatorial. Quanto aos resultados, verificou-se a não obrigatoriedade de mensuração dos CQ para ce / This research aims at investigating the effective of accountancy practices on the measurement of Quality of Costs (COQ), as well as evaluating the perception of managers about the utility of it. Furthermore, the research tries to verify the understanding of certifying companies concerning the compulsoriness of measurement of COQ by companies ISO which have been certified. The population is formed by companies certified by the ISO 9000: 2000 series that are in the files of the Gaucho Program of Quality and Productivity (PGQP) in the region of Porto Alegre and also of certifying companies accredited by INMETRO. This research is exploratory and descriptive as for its aims, qualitative and quantitative as for the approach of the problem and a survey as for the technical procedures and a questionnaire for data collecting. For the data analysis the descriptive statistic and factor analyses have been used. About the results, it has been verified the non- compulsoriness of the measurement of cost for the certificatio