Performance evaluation of smart contracts

Blockchain is a distributed ledger with records of transactions made between accounts stored in it through blocks. This type of technology is becoming a part of our daily lives, due to its secure, immutable, verifiable and transparent nature. One relevant aspect of blockchain is that of smart contracts, these are very important and useful because they can automatically carry out certain actions based on what was written in its code. Transactions which should be carried out under specific conditions can be done more effectively by using a smart contract, which explicitly incorporates those conditions in its code. Since smart contracts are so critical, it is very important to make the correct decision when choosing a high-level language to use to code these agreements. Different languages that essentially do the same thing, can compile to a completely different set of instructions. The objective of this dissertation is to compare the performance of different smart contract high-level languages, set to carry out the same goal. We will compare languages from the Tezos and Ethereum blockchains. Different languages will produce different low-level code, some of which will be more efficient, as they will require less resources such as gas; Sumário: Avaliação do Desempenho de Smart Contracts Blockchain é um registo distribuído com documentações das transações feitas entre contas guardadas nele através de blocos. É bastante provável que este tipo de tecnologia faça parte do nosso dia-a-dia, devido à sua segura, imutável e transparente natureza. Um aspecto importante da blockchain são contractos inteligentes, estes são muito importantes e úteis por serem capazes de executar automaticamente certas ações baseadas no que foi escrito no seu código. Algumas transações com condições particulares podem ser feitas mais rapidamente se um contrato inteligente é utilizado e essas condições são escritas na sua lógica. Devido aos contratos inteligentes serem tão valiosos, é muito importante fazer a decisão correta na escolha de uma linguagem de alto nível para utilizar para programar estes acordos. Diferentes linguagens que essencialmente fazem o mesmo, podem compilar para um conjunto de instruções completamente diferente. O objectivo desta dissertação é comparar o desempenho de diferentes linguagens de alto nível de contratos inteligentes escritos para fazerem a mesma coisa. Vão haver comparações entre as linguagens das blockchains Tezos e Ethereum. Linguagens diferentes irão produzir diferentes códigos de baixo nível, considerando algumas destas linguagens mais eficientes, devido a requererem menos recursos como gas

Omecamtiv mecarbil in chronic heart failure with reduced ejection fraction, GALACTIC‐HF: baseline characteristics and comparison with contemporary clinical trials

Aims: The safety and efficacy of the novel selective cardiac myosin activator, omecamtiv mecarbil, in patients with heart failure with reduced ejection fraction (HFrEF) is tested in the Global Approach to Lowering Adverse Cardiac outcomes Through Improving Contractility in Heart Failure (GALACTIC‐HF) trial. Here we describe the baseline characteristics of participants in GALACTIC‐HF and how these compare with other contemporary trials. Methods and Results: Adults with established HFrEF, New York Heart Association functional class (NYHA) ≥ II, EF ≤35%, elevated natriuretic peptides and either current hospitalization for HF or history of hospitalization/ emergency department visit for HF within a year were randomized to either placebo or omecamtiv mecarbil (pharmacokinetic‐guided dosing: 25, 37.5 or 50 mg bid). 8256 patients [male (79%), non‐white (22%), mean age 65 years] were enrolled with a mean EF 27%, ischemic etiology in 54%, NYHA II 53% and III/IV 47%, and median NT‐proBNP 1971 pg/mL. HF therapies at baseline were among the most effectively employed in contemporary HF trials. GALACTIC‐HF randomized patients representative of recent HF registries and trials with substantial numbers of patients also having characteristics understudied in previous trials including more from North America (n = 1386), enrolled as inpatients (n = 2084), systolic blood pressure < 100 mmHg (n = 1127), estimated glomerular filtration rate < 30 mL/min/1.73 m2 (n = 528), and treated with sacubitril‐valsartan at baseline (n = 1594). Conclusions: GALACTIC‐HF enrolled a well‐treated, high‐risk population from both inpatient and outpatient settings, which will provide a definitive evaluation of the efficacy and safety of this novel therapy, as well as informing its potential future implementation

Characterisation of microbial attack on archaeological bone

As part of an EU funded project to investigate the factors influencing bone preservation in the archaeological record, more than 250 bones from 41 archaeological sites in five countries spanning four climatic regions were studied for diagenetic alteration. Sites were selected to cover a range of environmental conditions and archaeological contexts. Microscopic and physical (mercury intrusion porosimetry) analyses of these bones revealed that the majority (68%) had suffered microbial attack. Furthermore, significant differences were found between animal and human bone in both the state of preservation and the type of microbial attack present. These differences in preservation might result from differences in early taphonomy of the bones. © 2003 Elsevier Science Ltd. All rights reserved

Growing knowledge: an overview of Seed Plant diversity in Brazil

Abstract An updated inventory of Brazilian seed plants is presented and offers important insights into the country's biodiversity. This work started in 2010, with the publication of the Plants and Fungi Catalogue, and has been updated since by more than 430 specialists working online. Brazil is home to 32,086 native Angiosperms and 23 native Gymnosperms, showing an increase of 3% in its species richness in relation to 2010. The Amazon Rainforest is the richest Brazilian biome for Gymnosperms, while the Atlantic Rainforest is the richest one for Angiosperms. There was a considerable increment in the number of species and endemism rates for biomes, except for the Amazon that showed a decrease of 2.5% of recorded endemics. However, well over half of Brazillian seed plant species (57.4%) is endemic to this territory. The proportion of life-forms varies among different biomes: trees are more expressive in the Amazon and Atlantic Rainforest biomes while herbs predominate in the Pampa, and lianas are more expressive in the Amazon, Atlantic Rainforest, and Pantanal. This compilation serves not only to quantify Brazilian biodiversity, but also to highlight areas where there information is lacking and to provide a framework for the challenge faced in conserving Brazil's unique and diverse flora

Cardiac myosin activation with omecamtiv mecarbil in systolic heart failure

BACKGROUND The selective cardiac myosin activator omecamtiv mecarbil has been shown to improve cardiac function in patients with heart failure with a reduced ejection fraction. Its effect on cardiovascular outcomes is unknown. METHODS We randomly assigned 8256 patients (inpatients and outpatients) with symptomatic chronic heart failure and an ejection fraction of 35% or less to receive omecamtiv mecarbil (using pharmacokinetic-guided doses of 25 mg, 37.5 mg, or 50 mg twice daily) or placebo, in addition to standard heart-failure therapy. The primary outcome was a composite of a first heart-failure event (hospitalization or urgent visit for heart failure) or death from cardiovascular causes. RESULTS During a median of 21.8 months, a primary-outcome event occurred in 1523 of 4120 patients (37.0%) in the omecamtiv mecarbil group and in 1607 of 4112 patients (39.1%) in the placebo group (hazard ratio, 0.92; 95% confidence interval [CI], 0.86 to 0.99; P = 0.03). A total of 808 patients (19.6%) and 798 patients (19.4%), respectively, died from cardiovascular causes (hazard ratio, 1.01; 95% CI, 0.92 to 1.11). There was no significant difference between groups in the change from baseline on the Kansas City Cardiomyopathy Questionnaire total symptom score. At week 24, the change from baseline for the median N-terminal pro-B-type natriuretic peptide level was 10% lower in the omecamtiv mecarbil group than in the placebo group; the median cardiac troponin I level was 4 ng per liter higher. The frequency of cardiac ischemic and ventricular arrhythmia events was similar in the two groups. CONCLUSIONS Among patients with heart failure and a reduced ejection, those who received omecamtiv mecarbil had a lower incidence of a composite of a heart-failure event or death from cardiovascular causes than those who received placebo. (Funded by Amgen and others; GALACTIC-HF ClinicalTrials.gov number, NCT02929329; EudraCT number, 2016 -002299-28.)