A formal analysis of blockchain consensus

In this thesis, we analyse these protocols using PRISM+, our extension of the probabilistic model checker PRISM with blockchain types and operations upon them. This allows us to model the behaviour of key participants in the protocols and describe the protocols as a parallel composition of PRISM+ processes. Through our analysis of the Bitcoin model, we are able to understand how forks (where different nodes have different versions of the blockchain) occur and how they depend on specific parameters of the protocol, such as the difficulty of the cryptopuzzle and network communication delays. Our results corroborate the statement that considering confirmed the transactions in blocks at depth larger than 5 is reasonable because the majority of miners have consistent blockchains up-to that depth with probability of almost 1. We also study the behaviour of the Bitcoin network with churn miners (nodes that leave and rejoin the network) and with different topologies (linear topology, ring topology, tree topology and fully connected topology). PRISM+ is therefore used to analyse the resilience of Hybrid Casper when changing various basic parameters of the protocol, such as block creation rates and penalty determination strategies. We also study the robustness of Hybrid Casper against two known attacks: the Eclipse attack (where an attacker controls a significant portion of the network's nodes and can prevent other nodes from receiving new transactions) and the majority attack (where an attacker controls a majority of the network's nodes and can manipulate the blockchain to their advantage).

Competências do cuidador formal e informal [exercício]

Exercício de check list que aborda as competências do cuidador formal e informal como o conhecimento, habilidade e atitudes no cuidado domiciliar, com base nos conteúdos da Unidade 2 do Módulo Cuidador material elaborado para o curso de Especialização em Saúde da Família da UNASUS/UFCSPA, no ano de 2013

Construindo perfil produtivo do trabalho formal e informal e refletindo sobre as subnotificações dos acidentes de trabalho no município de Ibirité

Acidente de trabalho é o evento súbito ocorrido no exercício de atividade profissional, independentemente da situação empregatícia e previdenciária do trabalhador acidentado, e que acarreta dano à saúde, potencial ou imediato, provocando lesão corporal ou perturbação funcional que causa direta ou indiretamente a morte, ou a perda ou redução, permanente ou temporária, da capacidade para o trabalho. Os acidentes de trabalho têm expressiva morbimortalidade constituindo-se em importante problema de Saúde Pública. O objetivo deste estudo foi descrever o perfil produtivo do trabalho formal e informal do município de Ibirité-MG e refletir sobre a subnotificação de acidentes de trabalho neste município, com vistas embasar a definição de estratégias para a produção de informações mais fidedignas em saúde do trabalhador. Utilizou-se a base de dados Bireme, Lilacs, SciELO e de Sistemas de Informação em Saúde, como o Sistema de Informação dos Agravos de Notificação (SINAN) e o Sistema de Informação da Atenção Básica (SIAB), para obtenção de dados sobre o município em estudo. Os resultados apontaram que no município de Ibirité, a falta de conhecimento sobre o perfil produtivo formal e informal e a ocorrência de subnotificação dos acidentes de trabalho são problemas que interferem no planejamento e desenvolvimento das ações de saúde do trabalhador no âmbito do SUS. Com o conhecimento adquirido neste estudo, propomos ações de mobilização dos profissionais da saúde responsáveis por notificar os acidentes de trabalho no município, enfatizando sobre a importância da notificação através de capacitações, cartilhas explicativas e sensibilização dos administrativos das unidades notificadoras para assim poderem cobrar a notificação desses profissionais notificadores.

[almost An Autobiography: A Study Of Social Scientists In Health Based On The Lattes Curriculum].

Among the various ways of adopting the biographical approach, we used the curriculum vitaes (CVs) of Brazilian researchers who work as social scientists in health as our research material. These CVs are part of the Lattes Platform of CNPq - the National Council for Scientific and Technological Development, which includes Research and Institutional Directories. We analyzed 238 CVs for this study. The CVs contain, among other things, the following information: professional qualifications, activities and projects, academic production, participation in panels for the evaluation of theses and dissertations, research centers and laboratories and a summarized autobiography. In this work there is a brief review of the importance of autobiography for the social sciences, emphasizing the CV as a form of autobiographical practice. We highlight some results, such as it being a group consisting predominantly of women, graduates in social sciences, anthropology, sociology or political science, with postgraduate degrees. The highest concentration of social scientists is located in Brazil's southern and southeastern regions. In some institutions the main activities of social scientists are as teachers and researchers with great thematic diversity in research.

A evolução da noção de parâmetros

This paper presents an overview of the concept of parameter in the Principles and Parameters theory, showing that a) in the first stage parameters were conceived as variation associated to the Principles and b) in the second stage as properties of the lexicon, and more specifically as properties of functional categories. The latter view has also developed from a substantive conception of functional categories to a more formal abstract characterization of functional heads. The paper also discusses parameters related to different levels of representation.

Movimentos sociais na contemporaneidade

The work aims to present an overview of social movements in actuality, in the Latin America, and presents a mapping of their main forms in Brazil. The search ponders the educational character of their actions, both for its participants, as for society in general and public agencies. The basic premise of assertion that social movements are sources of innovation and knowledge-generating arrays. However, because it is not an isolated process but social-political character, the paper search joints in the network of relationships that establish movements in political, economic and socio-cultural country, to understand the factors that generate learning built and values of political culture that are being built. . The text highlights movements that occurs in the areas of education - formal and non-formal education.

O comportamento de crianças em tratamento odontológico: intervenção psicofarmacológica

The present investigation evaluated the effects of diazepam used to manage uncooperative behavior of child dental patients. Six participants received placebo or diazepam (0,3 mg/kg weight) before formal dental treatment at total 54 sessions that were all recorded in videotapes. The analysis of recorded child (crying, body and/or head movements, escape and avoidance) and dentist's behavior management procedures (distraction, explanation, positive reinforcement) indicates no differences by using a double-blind Wilcoxon design (p>0.05). It is suggested the necessity of methodological refinement in studies that combine psychological and pharmacological handling strategies.

A língua inglesa no ensino fundamentl I público: diálogos com Bakhtin por uma formação plurilíngue

This article aims at discussing the contributions of the Bakhtinian Circle theories to foreign language teaching and learning (HALL et al., 2005), as far as the first years of formal education in Brazil are concerned. Up to the present moment, foreign languages, including English, are not officially part of the National Curriculum of the first five schooling years. Due to the importance of English in a globalized world and despite all the controversial socio-educational impacts of such an influence, there has been an increase in the interest in this discipline at the beginning years of Brazilian public education (ROCHA, 2006), which has been happening at an irregular pace and without official parameters. Therefore, the relevance of this work lies on the possible guidelines it may offer to support a more effective, situated and meaningful teaching-learning process in that context. Standing for a pluralistic approach to language education, we take the bakhtinian speech genres as organizers of the educational process. We strongly believe that through a dialogic, pluralistic and trans/intercultural teaching (MAHER, 2007), whose main objective is the development of multi (COPE e KALANTZIS, 2000) and critical (COMBER, 2006) literacies, the hybridization of genres and cultures, as well as the creation of third spaces (KOSTOGRIZ, 2005; KUMARAVADIVELU, 2008) can happen. From this perspective, foreign language teaching and learning play a transformative role in society and English is seen as a boundary object (STAR e GRIESEMER, 1989), in and by which diversity, pluralism and polyphony can naturally find their way.

Nossa notação m' na prova de Rorschach: ampliação e restrição do fator m de Klopfer

Klopfer's differentiation of movement scores, among which inanimate movement integrating the minor movements group, was no doubt opportune and needed. Their peculiar meaning has been clearly stressed and enriched by Piotrowski in his reformulation of Rorschach variables. It is our belief that Rorschach himself would take such step. Our criteria for scoring this determinant are somewhat different of both Klopfer's and Piotrowski's. On the one hand, masks, facial traits, emotional expressions, body parts in motion are not entered there. On the other, we score as such human or animal movement, provided this does not originate in the blot shape directly, but in the subjective reaction against the sensed muscular tension. Basic requirement for this scoring is the kinesthetic component, as for Mever since Rorschach's elaboration; and common trait distinctive for any response to be so scored ? be it an abstraction, an inanimate object, an animal or human being ? must be the subjective way of feeling the movement: (a) intention, blocking, struggle for achieving, for instance, or (b) activity of nature elements. Due to this subjective meaning we use the symbol m'intead of mfor this category. We already find these two kinds (a) and (b) of movement responses in Rorschach's text, respectively in the Examplesand in his posthumous Contribution.Either may point to a flight from emotional stress or to outstanding mental ability.