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).

Studio pancreatic cystic follow-up, an international collaboration (PACYFIC study). Valutazione prospettica della sorveglianza delle cisti pancreatiche basato sulla consensus Europea sui tumori cistici del pancreas.

Introduzione Nel 2014 è stato proposto un protocollo di studio riguardante la sorveglianza delle lesioni cistiche del pancreas (intese come IPMN) e denominato PACYFIC Study. Obiettivi Obiettivo primario era di stabilire l’impatto di un programma di sorveglianza in termini di pazienti arruolati e pazienti con indicazione chirurgica. Obiettivi secondari erano: 1) stabilire l’impatto dei fattori demografici, clinici, radiologici e della strategia di sorveglianza sull’indicazione chirurgica, sulla capacità individuare le lesioni maligne, sulla sopravvivenza. Materiali e Metodi Lo studio su cui si è basata la raccolta dei dati è uno studio di tipo prospettico, di coorte, multicentrico, internazionale. Lo studio ha incluso gli individui con una IPMN, di nuova o pregressa diagnosi, che giustifichi una sorveglianza o il trattamento chirurgico. I dati clinici, demografici, radiologici e chirurgici sono stati raccolti in un database prospettico. Le variabili discrete sono state espresse come frequenza e percentuale. Le continue come medie e deviazioni standard o mediane e range interquartile (IQR). Per l’analisi statistica sono stati utilizzati il test di Fischer, il test del Chi quadro, il test di Spearman, il test di Student. L’analisi multivariata è stata eseguita utilizzando la regressione logistica espressa come Odds Ratio e intervallo di confidenza al 95 %. Per la sopravvivenza è stato utilizzato il metodo di Kaplan-Meier. L’analisi multivariata sulle sopravvivenze è stata eseguita mediante la regressione di Cox. Risultati Il protocollo di sorveglianza ha permesso l'arruolamento di 516 pazienti. 53 pazienti hanno raggiunto l'indicazione chirurgica. La sopravvivenza globale della coorte è stata di 326.8± 9.1 mesi. I fattori predittivi la sopravvivenza sono risultati età (OR 1.07, P-value<0.001), sesso (OR 1.82, P-value=0.006), ittero, noduli murali (OR 4.84, P-value=0.018 e OR 2.19, P-value=0.016), chirurgia (OR 0.46, P-value 0.038). Conclusioni L'introduzione del protocollo di sorveglianza ha portato ad un aumento di identificazione di lesioni e ha avuto impatto sulla sopravvivenza

Epilepsies Associated With Hippocampal Sclerosis.

Hippocampal sclerosis (HS) is considered the most frequent neuropathological finding in patients with mesial temporal lobe epilepsy (MTLE). Hippocampal specimens of pharmacoresistant MTLE patients that underwent epilepsy surgery for seizure control reveal the characteristic pattern of segmental neuronal cell loss and concomitant astrogliosis. However, classification issues of hippocampal lesion patterns have been a matter of intense debate. International consensus classification has only recently provided significant progress for comparisons of neurosurgical and clinic-pathological series between different centers. The respective four-tiered classification system of the International League Against Epilepsy subdivides HS into three types and includes a term of gliosis only, no-HS. Future studies will be necessary to investigate whether each of these subtypes of HS may be related to different etiological factors or with postoperative memory and seizure outcome. Molecular studies have provided potential deeper insights into the pathogenesis of HS and MTLE on the basis of epilepsy-surgical hippocampal specimens and corresponding animal models. These include channelopathies, activation of NMDA receptors, and other conditions related to Ca(2+) influx into neurons, the imbalance of Ca(2+)-binding proteins, acquired channelopathies that increase neuronal excitability, paraneoplastic and non-paraneoplastic inflammatory events, and epigenetic regulation promoting or facilitating hippocampal epileptogenesis. Genetic predisposition for HS is clearly suggested by the high incidence of family history in patients with HS, and by familial MTLE with HS. So far, it is clear that HS is multifactorial and there is no individual pathogenic factor either necessary or sufficient to generate this intriguing histopathological condition. The obvious variety of pathogenetic combinations underlying HS may explain the multitude of clinical presentations, different responses to clinical and surgical treatment. We believe that the stratification of neuropathological patterns can help to characterize specific clinic-pathological entities and predict the postsurgical seizure control in an improved fashion.

Intraductal Carcinoma Of The Prostate: Interobserver Reproducibility Survey Of 39 Urologic Pathologists.

The diagnosis of intraductal carcinoma (IDC) of the prostate remains subjective because 3 sets of diagnostic criteria are in use. An internet survey was compiled from 38 photomicrographs showing duct proliferations: 14 signed out as high-grade prostatic intraepithelial neoplasia (HGPIN), 17 IDC, and 7 invasive cribriform/ductal carcinoma. Each image was assessed for the presence of 9 histologic criteria ascribed to IDC. Thirty-nine respondents were asked to rate images as (1) benign/reactive, (2) HGPIN, (3) borderline between HGPIN and IDC, (4) IDC, or (5) invasive cribriform/ductal carcinoma. Intraclass correlation coefficient was 0.68. There was 70% overall agreement with HGPIN, 43% with IDC, and 73% with invasive carcinoma (P < .001, χ(2)). Respondents considered 19 (50%) of 38 cases as IDC candidates, of which 5 (26%) had a two-thirds consensus for IDC; two-thirds consensus for either borderline or IDC was reached in 9 (47%). Two-thirds consensus other than IDC was reached in the remaining 19 of 38 cases, with 15 supporting HGPIN and 4 supporting invasive carcinoma. Findings that differed across diagnostic categories were lumen-spanning neoplastic cells (P < .001), 2× benign duct diameters (P < .001), duct space contours (round, irregular, and branched) (P < .001), papillary growth (P = .048), dense cribriform or solid growth (both P = .023), and comedonecrosis (P = .015). When the 19 of 38 images that attained consensus for HGPIN or invasive carcinoma were removed from consideration, lack of IDC consensus was most often attributable to only loose cribriform growth (5/19), central nuclear maturation (5/19), or comedonecrosis (3/19). Of the 9 histologic criteria, only 1 retained significant correlation with a consensus diagnosis of IDC: the presence of solid areas (P = .038). One case that attained IDC consensus had less than 2× duct enlargement yet still had severe nuclear atypia and nucleomegaly. Six fold nuclear enlargement was not significant (P = .083), although no image had both 6× nuclei and papillary or loose cribriform growth: a combination postulated as sufficient criteria for IDC. Finally, 20.5% of respondents agreed that an isolated diagnosis of IDC on needle biopsy warrants definitive therapy, 20.5% disagreed, and 59.0% considered the decision to depend upon clinicopathologic variables. Although IDC diagnosis remains challenging, we propose these criteria: a lumen-spanning proliferation of neoplastic cells in preexisting ducts with a dense cribriform or partial solid growth pattern. Solid growth, in any part of the duct space, emerges as the most reproducible finding to rule in a diagnosis of IDC. Comedonecrosis is a rarer finding, but in most cases, it should rule in IDC. Duct space enlargement to greater than 2× the diameter of the largest, adjacent benign spaces is usually present in IDC, although there may be rare exceptions.

Diagnosis, Treatment, And Follow-up Of Medullary Thyroid Carcinoma: Recommendations By The Thyroid Department Of The Brazilian Society Of Endocrinology And Metabolism.

Medullary thyroid carcinoma (MTC) originates in the thyroid parafollicular cells and represents 3-4% of the malignant neoplasms that affect this gland. Approximately 25% of these cases are hereditary due to activating mutations in the REarranged during Transfection (RET) proto-oncogene. The course of MTC is indolent, and survival rates depend on the tumor stage at diagnosis. The present article describes clinical evidence-based guidelines for the diagnosis, treatment, and follow-up of MTC. The aim of the consensus described herein, which was elaborated by Brazilian experts and sponsored by the Thyroid Department of the Brazilian Society of Endocrinology and Metabolism, was to discuss the diagnosis, treatment, and follow-up of individuals with MTC in accordance with the latest evidence reported in the literature. After clinical questions were elaborated, the available literature was initially surveyed for evidence in the MedLine-PubMed database, followed by the Embase and Scientific Electronic Library Online/Latin American and Caribbean Health Science Literature (SciELO/Lilacs) databases. The strength of evidence was assessed according to the Oxford classification of evidence levels, which is based on study design, and the best evidence available for each question was selected. Eleven questions corresponded to MTC diagnosis, 8 corresponded to its surgical treatment, and 13 corresponded to follow-up, for a total of 32 recommendations. The present article discusses the clinical and molecular diagnosis, initial surgical treatment, and postoperative management of MTC, as well as the therapeutic options for metastatic disease. MTC should be suspected in individuals who present with thyroid nodules and family histories of MTC, associations with pheochromocytoma and hyperparathyroidism, and/or typical phenotypic characteristics such as ganglioneuromatosis and Marfanoid habitus. Fine-needle nodule aspiration, serum calcitonin measurements, and anatomical-pathological examinations are useful for diagnostic confirmation. Surgery represents the only curative therapeutic strategy. The therapeutic options for metastatic disease remain limited and are restricted to disease control. Judicious postoperative assessments that focus on the identification of residual or recurrent disease are of paramount importance when defining the follow-up and later therapeutic management strategies.

[the New Classification Of Breast Cancers: Finding The Luminal A].

To compare the distributions of patients with clinical-pathological subtypes of luminal B-like breast cancer according to the 2011 and 2013 St. Gallen International Breast Cancer Conference Expert Panel. We studied 142 women with breast cancer who were positive to estrogen receptor and had been treated in São Paulo state, southeast Brazil. The expression of the following receptors was assessed by immunohistochemistry: estrogen, progesterone (PR) and Ki-67. The expression of HER-2 was measured by fluorescent in situ hybridization analysis in tissue microarray. There were 29 cases of luminal A breast cancers according to the 2011 St. Gallen International Breast Cancer Conference Expert Panel that were classified as luminal B-like in the 2013 version. Among the 65 luminal B-like breast cancer cases, 29 (45%) were previous luminal A tumors, 15 cases (20%) had a Ki-67 >14% and were at least 20% PR positive and 21 cases (35%) had Ki-67 >14% and more than 20% were PR positive. The 2013 St. Gallen consensus updated the definition of intrinsic molecular subtypes and increased the number of patients classified as having luminal B-like breast cancer in our series, for whom the use of cytotoxic drugs will probably be proposed with additional treatment cost.

Application Of Tactile/kinesthetic Stimulation In Preterm Infants: A Systematic Review.

To verify the methods used by the clinical trials that assessed the effect of tactile/kinesthetic stimulation on weight gain in preterm infants and highlight the similarities and differences among such studies. This review collected studies from two databases, PEDro and PubMed, in July of 2014, in addition to bibliographies. Two researchers assessed the relevant titles independently, and then chose which studies to read in full and include in this review by consensus. Clinical trials that studied tactile stimulation or massage therapy whether or not associated with kinesthetic stimulation of preterm infants; that assessed weight gain after the intervention; that had a control group and were composed in English, Portuguese, or Spanish were included. A total of 520 titles were found and 108 were selected for manuscript reading. Repeated studies were excluded, resulting in 40 different studies. Of these, 31 met all the inclusion criteria. There were many differences in the application of tactile/kinesthetic stimulation techniques among studies, which hindered the accurate reproduction of the procedure. Also, many studies did not describe the adverse events that occurred during stimulation, the course of action taken when such events occurred, and their effect on the outcome. These studies made a relevant contribution towards indicating tactile/kinesthetic stimulation as a promising tool. Nevertheless, there was no standard for application among them. Future studies should raise the level of methodological rigor and describe the adverse events. This may permit other researchers to be more aware of expected outcomes, and a standard technique could be established.

Perfil sensorial de ovos de Páscoa

Easter egg is a popular chocolate-candy in egg form commercialized in Brazil during Easter time. In this research, Quantitative Descriptive Analysis was applied to select sensory attributes which best define the modifications in appearance, aroma, flavor and texture when cocoa butter equivalent (CBE) is added to Easter eggs. Samples with and without CBE were evaluated by a selected panel and fourteen attributes best describing similarities and differences between them, were defined. Terms definition, reference materials and a consensus ballot were developed. After a training period, panelists evaluated the samples in a Complete Block Design using a 9 cm unstructured scale. Principal Component Analysis, ANOVA and Tukey test (p<0.05) were applied to the data in order to select attributes which best discriminated and characterized the samples. Samples showed significant differences (p<0.05) in all attributes. Easter egg without CBE showed higher intensities (p<0.05) in relation to the following descriptors: brown color, characteristic aroma, cocoa mass aroma, cocoa butter aroma, characteristic flavor, cocoa mass flavor, hardness and brittleness.

Perfil sensorial de vinhos brancos varietais brasileiros através de análise descritiva quantitativa

Descriptive terminology and sensory profile of three varieties of brazilian varietal white wines (cultivars Riesling, Gewürztraminer and Chardonnay) were developed by a methodology based on the Quantitative Descriptive Analysis (QDA). The sensory panel consensually defined the sensory descriptors, their respective reference materials and the descriptive evaluation ballot. Ten individuals were selected as judges based on their discrimination, reproducibility and individual consensus with the sensory panel. Twelve descriptors were generated showing similarities and differences among the wine samples. Each descriptor was evaluated using a nine-centimeters non-structured scale with the intensity terms anchored at its ends. The collected data were analysed by ANOVA, Tukey test and Principal Component Analysis (PCA). The results showed a great difference within the sensory profile of Riesling and Gewürztraminer wines, whereas Chardonnay wines showed a lesser variation. PCA separated samples into two groups: a first group formed by wines higher in sweetness and fruitty flavor and aroma; and a second group of wines higher in sourness, adstringency, bitterness, alcoholic and fermented flavors.

Consenso brasileiro para a abordagem clínica e tratamento do hipotireoidismo subclínico em adultos: recomendações do Departamento de Tireoide da Sociedade Brasileira de Endocrinologia e Metabologia

INTRODUCTION: Subclinical hypothyroidism (SCH), defined as elevated concentrations of thyroid stimulating hormone (TSH) despite normal levels of thyroid hormones, is highly prevalent in Brazil, especially among women and the elderly. Although an increasing number of studies have related SCH to an increased risk of coronary artery disease and mortality, there have been no randomized clinical trials verifying the benefit of levothyroxine treatment in reducing these risks, and the treatment remains controversial. OBJECTIVE: This consensus, sponsored by the Thyroid Department of the Brazilian Society of Endocrinology and Metabolism and developed by Brazilian experts with extensive clinical experience with thyroid diseases, presents these recommendations based on evidence for the clinical management of SCH patients in Brazil. MATERIALS AND METHODS: After structuring the clinical questions, the search for evidence in the literature was initially performed in the MedLine-PubMed database and later in the Embase and SciELO - Lilacs databases. The strength of evidence was evaluated according to the Oxford classification system and established based on the experimental design used, considering the best available evidence for each question and the Brazilian experience. RESULTS: The topics covered included SCH definition and diagnosis, natural history, clinical significance, treatment and pregnancy, and the consensus issued 29 recommendations for the clinical management of adult patients with SCH. CONCLUSION: Treatment with levothyroxine was recommended for all patients with persistent SCH with serum TSH values > 10 mU/L and for certain patient subgroups.

Cultura de movimento e identidade : a Educação Fisica na contemporaneidade

Universidade Estadual de Campinas . Faculdade de Educação Física

Contribution Of Antepartum And Intrapartum Hemorrhage To The Burden Of Maternal Near Miss And Death In A National Surveillance Study

Objective To evaluate the occurrence of severe obstetric complications associated with antepartum and intrapartum hemorrhage among women from the Brazilian Network for Surveillance of Severe Maternal Morbidity.Design Multicenter cross-sectional study.Setting Twenty-seven obstetric referral units in Brazil between July 2009 and June 2010.Population A total of 9555 women categorized as having obstetric complications.Methods The occurrence of potentially life-threatening conditions, maternal near miss and maternal deaths associated with antepartum and intrapartum hemorrhage was evaluated. Sociodemographic and obstetric characteristics and the use of criteria for management of severe bleeding were also assessed in these women.Main outcome measures The prevalence ratios with their respective 95% confidence intervals adjusted for the cluster effect of the design, and multiple logistic regression analysis were performed to identify factors independently associated with the occurrence of severe maternal outcome.Results Antepartum and intrapartum hemorrhage occurred in only 8% (767) of women experiencing any type of obstetric complication. However, it was responsible for 18.2% (140) of maternal near miss and 10% (14) of maternal death cases. On multivariate analysis, maternal age and previous cesarean section were shown to be independently associated with an increased risk of severe maternal outcome (near miss or death).Conclusion Severe maternal outcome due to antepartum and intrapartum hemorrhage was highly prevalent among Brazilian women. Certain risk factors, maternal age and previous cesarean delivery in particular, were associated with the occurrence of bleeding.

Termo do 1º Consenso em Disfunção Temporomandibular e Dor Orofacial

O Termo do 1º Consenso em Disfunção Temporomandibular e Dor Orofacial* foi criado com o propósito de substituir divergências por evidência científica dentro dessa especialidade da Odontologia. O documento oferece informações claras e fundamentadas para orientar o cirurgião-dentista e demais profissionais de saúde sobre os cuidados demandados pelo paciente, tanto no processo de diagnóstico diferencial quanto na fase de aplicação das terapias de controle da dor e disfunção. O Termo foi aprovado no mês de janeiro de 2010 em reunião realizada durante o Congresso Internacional de Odontologia do Estado de São Paulo e converge o pensamento dos profissionais mais conceituados do Brasil na especialidade Disfunção Temporomandibular e Dor Orofacial.

Avaliação cefalométrica das alterações verticais e anteroposteriores associadas ao uso do expansor maxilar com cobertura oclusal

INTRODUÇÃO: os aparelhos expansores maxilares com cobertura oclusal têm sido sugeridos para controlar o aumento na dimensão vertical da face após a expansão rápida da maxila, porém ainda não há um consenso na literatura sobre seus reais efeitos. OBJETIVO: o objetivo deste trabalho foi avaliar as alterações cefalométricas verticais e anteroposteriores associadas à expansão da maxila realizada com o aparelho expansor com cobertura oclusal. MÉTODOS: a amostra foi composta por 25 crianças, de ambos os gêneros, com idades entre 6 e 10 anos, portadoras de mordida cruzada posterior esquelética. Após a expansão maxilar, o próprio aparelho expansor foi utilizado como contenção fixa. Foram analisadas telerradiografias em norma lateral tomadas antes do início do tratamento e após a remoção do aparelho expansor. CONCLUSÃO: com base nos resultados, pôde-se concluir que o uso do aparelho expansor com cobertura oclusal não alterou significativamente as medidas cefalométricas verticais e anteroposteriores das crianças.

Skeletal alterations associated with the use of bonded rapid maxillary expansion appliance

Bonded maxillary expansion appliances have been suggested to control increases in the vertical dimension of the face after rapid maxillary expansion (RME). However, there is still no consensus in the literature about its real skeletal effects. The purpose of this prospective study was to evaluate, longitudinally, the vertical and sagittal cephalometric alterations after RME performed with bonded maxillary expansion appliance. The sample consisted of 26 children, with a mean age of 8.7 years (range: 6.9-10.9 years), with posterior skeletal crossbite and indication for RME. After maxillary expansion, the bonded appliance was used as a fixed retention for 3.4 months, being replaced by a removable retention subsequently. The cephalometric study was performed onto lateral radiographs, taken before treatment was started, and again 6.3 months after removing the bonded appliance. Intra-group comparison was made using paired t test. The results showed that there were no significant sagittal skeletal changes at the end of treatment. There was a small vertical skeletal increase in five of the eleven evaluated cephalometric measures. The maxilla displaced downward, but it did not modify the facial growth patterns or the direction of the mandible growth. Under the specific conditions of this research, it may be concluded that RME with acrylic bonded maxillary expansion appliance did promote signifciant vertical or sagittal cephalometric alterations. The vertical changes found with the use of the bonded appliance were small and probably transitory, similar to those occurred with the use of banded expansion appliances.