Perspetivas sobre construir ciência - construir o mundo

A presente publicação congrega artigos escolhidos que pretendem contribuir para uma perspectiva sobre ciência e tecnologia, na sequência do 4º Encontro Nacional de História das Ciências e da Tecnologia. A organização do presente volume integra, na abertura, a reflexão de Maria de Fátima Nunes sobre práticas científicas e culturais em congressos internacionais e o contributo de Leoncio López-Ocón relativo ao património de institutos e liceus históricos como fonte para os historiadores da ciência. Seguem-se quatro secções que congregam vários contributos, agrupados em Actores e Práticas Científicas; Ciência, Poder e Regulamentação; Ciência, Educação e Instituições e ainda Tecnologia e Sociedade. (...)

Impacto da governança global sobre a regulação brasileira : estudo do arranjo institucional da área de radiocomunicações

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciência Política, Programa de Pós-Graduação em Ciência Política, 2016.

Provable Security for Cryptocurrencies

The past several years have seen the surprising and rapid rise of Bitcoin and other “cryptocurrencies.” These are decentralized peer-to-peer networks that allow users to transmit money, tocompose financial instruments, and to enforce contracts between mutually distrusting peers, andthat show great promise as a foundation for financial infrastructure that is more robust, efficientand equitable than ours today. However, it is difficult to reason about the security of cryptocurrencies. Bitcoin is a complex system, comprising many intricate and subtly-interacting protocol layers. At each layer it features design innovations that (prior to our work) have not undergone any rigorous analysis. Compounding the challenge, Bitcoin is but one of hundreds of competing cryptocurrencies in an ecosystem that is constantly evolving. The goal of this thesis is to formally reason about the security of cryptocurrencies, reining in their complexity, and providing well-defined and justified statements of their guarantees. We provide a formal specification and construction for each layer of an abstract cryptocurrency protocol, and prove that our constructions satisfy their specifications. The contributions of this thesis are centered around two new abstractions: “scratch-off puzzles,” and the “blockchain functionality” model. Scratch-off puzzles are a generalization of the Bitcoin “mining” algorithm, its most iconic and novel design feature. We show how to provide secure upgrades to a cryptocurrency by instantiating the protocol with alternative puzzle schemes. We construct secure puzzles that address important and well-known challenges facing Bitcoin today, including wasted energy and dangerous coalitions. The blockchain functionality is a general-purpose model of a cryptocurrency rooted in the “Universal Composability” cryptography theory. We use this model to express a wide range of applications, including transparent “smart contracts” (like those featured in Bitcoin and Ethereum), and also privacy-preserving applications like sealed-bid auctions. We also construct a new protocol compiler, called Hawk, which translates user-provided specifications into privacy-preserving protocols based on zero-knowledge proofs.

A Corrupção burocrática inibe o empreendedorismo? uma análise empírica dos estados brasileiros

This work aims to investigate the relationship between the entrepreneurship and the incidence of bureaucratic corruption in the states of Brazil and Federal District. The main hypothesis of this study is that the opening of a business in Brazilian states is negatively affected by the incidence of corruption. The theoretical reference is divided into Entrepreneurship and bureaucratic corruption, with an emphasis on materialistic perspective (objectivist) of entrepreneurship and the effects of bureaucratic corruption on entrepreneurial activity. By the regression method with panel data, we estimated the models with pooled data and fixed and random effects. To measure corruption, I used the General Index of Corruption for the Brazilian states (BOLL, 2010), and to represent entrepreneurship, firm entry per capita by state. Tests (Chow, Hausman and Breusch-Pagan) indicate that the random effects model is more appropriate, and the preliminary results indicate a positive impact of bureaucratic corruption on entrepreneurial activity, contradicting the hypothesis expected and found in previous articles to Brazil, and corroborating the proposition of Dreher and Gassebner (2011) that, in countries with high regulation, bureaucratic corruption can be grease in the wheels of entrepreneurship

Gestão de políticas públicas intersetoriais : uma análise da política nacional de promoção da saúde

Mestrado (dissertação)—Universidade de Brasília, Faculdade de Ciências da Saúde, Programa de Pós-Graduação em Saúde Coletiva, 2015.

Combater as secas e defender as florestas a natureza nos desafios da ciência e da técnica para modernizar o Brasil (1889 a 1934)

In the first decades of 20th century the just instituted Brazilian Republic faced the challenge to modernize the country. Considering that the progress was associated with the exhaustion of the forest reserves and with climatic changes, two big issues were seen as fundamental: To Fight the Droughts and To Defend the Forests; headed by professionals who were dedicated to these ideals. This research starts from the premise that these were the main challenges enforced by nature to the Brazilian development; the general objective was delimited in the search to understand the meaning and the conception of the natural world by this group of professionals who faced the shock between modernizing the country and conserving its natural resources. Aiming to contribute with the construction of the Brazilian environmental history and to bring historical elements to the debate about the environment in the country, the author concentrates his attention to the analyses, the discussions and the actions that preceded the regulation on the use of natural resources and the implementation of the environmental legislation in Brazil, occurred in 1934. The investigation uses as methodological basis the theoretical directions of environmental history, using sources of data still little explored and valued. In such way, it is taken as starting point some published papers about this subject during the period between 1889 and 1934 in two technical magazines the Revista Brazil Ferro-Carril and the Revista do Club de Engenharia. National engineering played a basic role in this process while arguing, projecting and constructing the development. The formulated proposals, after being divulged, had fomented the interchange with other professionals and had favored the advance of ambient questions in Brazil, in the sense to preserve natural resources, to construct more harmonic relations between the society and the nature and to equate the development with the environment preservation

Educadores de adultos nos Centros Novas Oportunidades: que papel têm vindo a desempenhar? - visão a partir de um estudo de caso num CNO no Algarve

Dissertação de mestrado, Educação Social, Escola Superior de Educação e Comunicação, Universidade do Algarve, 2012

Elementos de apoio ao dimensionamento de secções compostas em light steel framing

Dissertação de Mestrado, Engenharia Civil, Especialização em Estruturas, Instituto Superior de Engenharia, Universidade do Algarve, 2016

A legislação portuguesa de segurança biológica, um instrumento de gestão ambiental?

Dissertação de mest. em Gestão e Conservação da Natureza, Faculdade de Ciências do Mar e do Ambiente, Univ. do Algarve, 2003

Plano setorial: a construção de estratégias para implementação do plano diretor de Natal

The Sectoral Plan was inserted as an urban instrument in Master Plan of Natal (LC82/07), since then it has been deepened. It is guided to the equitable distribution of the benefits of urbanization, aimed the efetivation of the Right to the City and the Environmental function of property in the context of urban planning. Thereby, the Sectoral Plan was inserted into the perspective of promoting a favorable field for applying articulated of instruments defined in the Master Plan, and them with urban interventions, through the deepening of macrozoning - coming out of dimension of the city and going to a small fraction of the urban by reducing scaling - facilitating democratic management in accordance with the City Statute. However, the absence of regulation and the conceptual and operational fragility of the instrument, approached it of other existent experiences and instruments, limiting its application and evaluation. Considering the innovative nature of the instrument and the intense social participation, we inquire about conceptual and operational elements which could give greater effectiveness to Sector Plan in construction? Guided by that question, this dissertation aim to understand the nature and operational procedures of Sectoral Plan, seeking to do indications about the conceptual and operational aspects of implementing a Sector Plan. The neighborhood of Ponta Negra was selected as empirical universe because it was the first sector defined in the Master Plan. This research adopts reference authors who´s make reflection and insights about the matrix of Urban Reform, whose principles constitute the basis of the trajectory of revision of urban planning in Brazil since the 1980s, highlighting Raquel Rolnik, Nelson Saule Júnior and Orlando Alves dos Santos Júnior. For the local monitoring, we use the authors Alexsandro Ferreira Cardoso Silva, Rosa Maria Pinheiro Oliveira e Marise Costa da Souza Duarte, in order to understand the growth dynamics of Natal, lawfully and urbanistically

Entre discursos e práticas : as relações entre estados (pluri) nacionais e povos indígenas no Brasil e na Bolívia a partir do direito de consulta

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Sociais, Centro de Pesquisa e Pós-Graduação sobre as Américas, Programa de Pós-Graduação em Estudos Comparados sobre as Américas, 2015.

Análise do Risco de Fadiga no Mar Aplicação da ferramenta Martha a bordo de uma unidade naval

A segurança da navegação e a diminuição dos acidentes marítimos assumem nos dias de hoje um papel de extrema importância a nível internacional, principalmente por parte da indústria marítima, e é na base desta preocupação que surgem organizações como a International Maritime Organization (IMO). Nesta organização, o estudo do fator humano no domínio marítimo tem tido grandes desenvolvimentos, não só através da regulamentação com também da sensibilização dos vários intervenientes. A fadiga no mar, embora seja um tema usual entre os navegantes, nunca houve uma grande sensibilização neste setor. Um tema que envolve a segurança do pessoal e que apenas recentemente foram elaborados estudos relativamente às suas causas, consequências e sobretudo à sua prevenção. É neste sentido que surge o Project Horizon, promovido pela União Europeia, com o objetivo de investigar os padrões de eficácia de alerta dos elementos responsáveis pela condução e manutenção das plataformas marítimas. Como produto final deste projeto europeu surge um protótipo de uma ferramenta de previsão da fadiga. A ferramenta “MARTHA – maritime alertness”, permite relacionar horas de descanso com horas de trabalho, sustentando a análise contínua do risco de fadiga. Este trabalho de investigação, onde é aplicado um protótipo de uma ferramenta para a previsão da fadiga, a bordo de uma unidade naval da Marinha Portuguesa, tem como objetivo a avaliação do risco da fadiga em diferentes regimes horários de bordo. Para este estudo foram elaborados observações de diferentes regimes horários de bordo, por forma a conseguir uma maior variedade de dados e poder analisar comparativamente o rendimento dos respetivos regimes. Esta pesquisa constitui ainda uma medida de sensibilização para a importância da implementação de políticas de gestão da fadiga a bordo das unidades navais.

Estratégias para intervenções de reparação e reforço em estruturas de betão armado

Já se passaram algumas décadas desde que o betão é o principal material de construção que ergue cidades e estruturas nas civilizações contemporâneas. Num passado não muito longínquo, a área da durabilidade, manutenção e prevenção das estruturas de betão não foi vista como prioridade, chegando a ser negligenciada, por consequência hoje existem graves problemas nalgumas construções de betão. Por outro lado, devido ao excedente de construção habitacional em Portugal e à, a atual conjuntura económica/financeira que a Europa atravessa, o setor da construção tem sofrido um abrandamento acentuado. A consciência e postura de sustentabilidade das novas gerações e entidades competentes, acentuou a necessidade de preservar, reparar e reforçar muito do património no parque habitacional português e europeu. O projeto de intervenção numa estrutura nunca é abordada da mesma maneira, não existem duas estruturas iguais, e há particularidades neste tipo de projetos que não existem num projeto de uma estrutura nova. Para intervir numa estrutura já construída é necessário um conhecimento abrangente em várias temáticas, tais como: regulamentação, métodos de avaliação de segurança, definição das características mecânicas dos materiais, técnicas de reparação e reforço, metodologias de diagnostico e intervenção, comportamento estrutural, etc. Atualmente existe muita informação acerca da temática de reparação e reforço de estruturas de betão armado, no entanto há ainda alguma falta de documentação onde a informação aparece de forma integral e objetiva. Consideando o apresentado anteriormente, tentou-se compilar informação sobre os principais assuntos que interessam a um projeto de reparação/reforço de estruturas de betão armado, nomeadamente as normas e legislação aplicável, exemplos de metodologias de inspeção e intervenção, os principais ensaios em laboratório e in situ para caracterização dos materiais, principais técnicas de reparação/reforço. Sobre este tópico e a título de exemplo, aprofundou-se com mais detalhe as considerações relativas ao dimensionamento com reforço com FRP´s.

Intervenções estimuladoras da adesão à terapêutica: uma reflexão sobre o contributo dos farmacêuticos para a saúde pública

"Em julho de 2014 foi reconhecido o importante papel que o farmacêutico comunitário poderá ter na promoção da adesão à terapêutica, sendo a sua intervenção referida como uma das estratégias em saúde pública consideradas prioritárias (Compromisso para a Saúde entre MS e ANF, 9 de Julho 2014).

Metodologia para elaboração de glossários bilíngues para a Agência Nacional de Vigilância Sanitária – ANVISA

Dissertação (mestrado)—Universidade de Brasília, Instituto de Letras, Departamento de Línguas Estrangeiras e Tradução, Programa de Pós-Graduação em Estudos da Tradução, 2016.