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

comparison of two types of interventions in improving ergonomic knowledge about postures and reducing low back pain in adolescents

This study aimed to compare the impact of two Back School Postural Education Programs on improving ergonomic knowledge of postures adopted at school and home, as well as on reducing low back pain (LPB) in adolescents. The sample was constituted by 153 students, aged 10–16 years, with 96 (62.7%) girls, divided into 2 intervention groups (GA, GB). Two tests (theoretical and practical) and LBP questionnaire were applied 1 week before and 1 year after the end of the program. In GA, three sessions were performed for each class separately, on theoretical and practical issues, lasting 45 min and at intervals of 1 week, and in GB, only one theoretical session (90 min) was given to all students. Statistically differences on GA were obtained between the values 1 week before and after 1 year of evaluation in both theoretical and practical tests (p ≤ 0.001). In GB, only the values of the practical test present a statistical difference (p ≤ 0.001). GA obtained higher values on both tests after 1 year of follow-up compared with GB (p ≤ 0.001). The number of students with LBP decreased on GA (p ≤ 0.001). The program with longer duration, higher weekly frequency, and more practical and individualized character promotes better effects.publishersversionpublishe

Surface modification of natural fibers: a review

"International Symposium on "Novel Structural Skins: Improving sustainability and efficiency through new structural textile materials and designs - TensiNet Association and the Cost Action TU1303"In recent years there have been several attempts to replace synthetic fibers with natural fibers in fiber reinforced composites, due to increasing environmental awareness and depletion of oil resources. The fact that natural fibers are available cheaply and in abundance, being biodegradable and low density, has motivated many researchers throughout the world to explore their application potential in various industrial sectors. However, natural fibres also have some limitations such as high moisture absorption and subsequent swelling and degradation, poor chemical and fire resistance, high dispersion of mechanical properties, poor interfacial interactions with polymeric or cementitious matrices, etc. Therefore, there is a huge concern to modify the surface of natural fibers through various techniques, in order to overcome their inherent drawbacks and to successfully utilize these materials in various applications. This paper presents a review of existing research studies focused on the surface treatment of natural fibers and the use of nanocelulose, a natural nanofiber, for their application in composite materials

Modelos de Maturidade em um Cenário Educacional: Um Mapeamento Sistemático

Este paper apresenta um mapeamento sistemático em modelos de maturidade educacionais, almejando identificar e reunir as suas principais características, inspirações e métodos de desenvolvimento. Foram identificados 22 modelos de maturidade educacionais, divididos em 25 estudos. Os resultados apontam que CMM, CMMI e SPICE são as inspirações mais comuns para os modelos educacionais existentes. Também foi constatado que estudos literários, pilot testing, workshops e surveys foram os métodos mais comuns utilizados para desenvolver tais modelos. Finalmente, não foi possível encontrar nenhum estudo especificamente relacionado a modelos de maturidade para recursos educacionais abertos, destacando uma lacuna na área que pode ser apurada em trabalhos futuros

The Practice of Physical Exercise and Sports in Portuguese Trans Youth: A Case Study

The following case study aims to analyze the experience of a Portuguese trans individual regarding their practice of physical exercise (PE) and sports in Portuguese gyms and sports clubs. A 30-min interview was conducted through the Zoom platform. Before the interview, four questionnaires—Satisfaction with Life Scale (SWLS), Positive and Negative Affect Schedule (PANAS), Hospital Anxiety and Depression Scale (HADS), and EUROHIS-QOL 8-item index—were also applied, all in their Portuguese version. The interview was digitally video recorded after consent was obtained, transcribed verbatim, and subject to thematic analysis. Findings suggest positive values for satisfaction with life and quality of life. The values of positive affect were higher than those of negative affect, and there was an absence of depressive and anxious symptomatology. In the qualitative analysis, mental health was the main motive for the practice, while locker rooms separated by gender and university life were the main barriers mentioned. Mixed changing rooms were identified as facilitators of PE practice. This study highlights the importance of developing strategies for the creation of mixed changing rooms and sports teams in order to promote a comfortable and safe practice for all individuals.info:eu-repo/semantics/publishedVersio

Definição de parâmetros qualitativos de desempenho de manobras aéreas de surf de elite com rotação de 360 graus

Purpose was to analyse parameters of high-level surfing aerial manoeuvres, supporting specific training and injury prevention. Using video analysis of aerials completed by top-5 male surfers in 19 events during 2018 and 2019 seasons of the World Championship Tour, were selected (n=97): Frontside Air, Frontside Air Reverse 360, Backside Air and Backside Air Reverse 360. This is an observational mixed method research. Has a qualitative performance analysis, carried out through phase analysis, considering key features from body actions and principles of movement. For the quantitative analysis was measured the aerial height, the BoS width, and flexion angles of front knee and front ankle. Qualitative analysis references were: rotation of the head and trunk, triple-flexion of the lower limbs (retraction) and more pronounced in the follow-through; head, trunk, and arms flexion from the take-off (retraction) to the peak of the flight (action) causing the anterosuperior CoM displacement; widening of the BoS for frontside aerials (action). Quantitative analysis allowed to identify the mean of aerial height (169.60±52.85cm), of base of support (BoS) width (79.17±13.72cm), and flexion angles of front knee (113.78±19.90º) and front ankle (32.74±14.51º) during landing. Descriptive analysis may contribute to the development of specific training programs for teaching and learning, aiming to improve performance of aerial manoeuvres.El objetivo fue analizar parámetros de maniobras aéreas de surf de alto nivel, apoyando el entrenamiento específico y la prevención de lesiones. Utilizando análisis de video de maniobras aéreas completadas por surfistas masculinos de top-5 en 19 eventos durante las temporadas 2018 y 2019 del World Championship Tour, se seleccionaron (n=97): Frontside Air, Frontside Air Reverse 360, Backside Air y Backside Air Reverse 360. Se trata de una investigación observacional de método mixto. Tiene un análisis de desempeño cualitativo, realizado a través de la análisis en fases, considerando características clave de las acciones corporales y principios de movimiento. Para el análisis cuantitativo se midió la altura del aéreo, el ancho del BoS y los ángulos de flexión de la rodilla y del tobillo delanteros. Las referencias en el análisis cualitativo fueron: rotación de cabeza y tronco, triple flexión de miembros inferiores (preparación) y más pronunciada en la recuperación; flexión de cabeza, tronco y brazos desde el despegue (preparación) hasta el pico del vuelo (principal) provocando el desplazamiento anterosuperior del CoM; ampliación de la BoS para aéreos frontales (principal). El análisis cuantitivo permitió identificar lá média de la altura del aéreo (169,60±52,85cm), del ancho de la base de sustentación (BoS) (79,17±13,72cm), y de los ángulos de flexión de la rodilla (113,78±19,90º) y del tobillo (32,74±14,51º) delanteros durante el aterrizaje. El análisis descriptivo puede contribuir al desarrollo de programas de formación específicos para la enseñanza y el aprendizaje, con el objetivo de mejorar el rendimiento de las maniobras aéreas.O objetivo foi analisar parâmetros de manobras aéreas de surf de alto nível, dando suporte ao treino específico e à prevenção de lesões. Através da análise de vídeo de manobras aéreas concluídas por surfistas masculinos do top-5, em 19 eventos durante as temporadas 2018 e 2019 do World Championship Tour, foram selecionados (n=97): Frontside Air, Frontside Air Reverse 360, Backside Air e Backside Air Reverse 360. Este é um estudo observacional com um método misto. Temos uma análise qualitativa do desempenho, realizada através da análise por, considerando as principais características das ações corporais e dos princípios do movimento. Para a análise quantitativa foi medida a altura do aéreo, a largura do BoS e os ângulos de flexão do joelho e do tornozelo dianteiros. As referências da análise qualitativa foram: a rotação de cabeça e tronco, tripla flexão dos membros inferiores (preparação) e mais acentuada na finalização; flexão da cabeça, tronco e braços desde a descolagem (preparação) até o pico do voo (ação principal) causando o deslocamento anterosuperior do CoM; alargamento da BoS para aéreos frontais (ação principal). A análise quantitativa permitiu identificar a média da altura do aéreo (169,60±52,85cm), da largura da base de sustentação (BoS) (79,17±13,72cm) e dos ângulos de flexão do joelho (113,78±19,90º) e tornozelo (32,74±14,51º) dianteiros durante a aterragem. A análise descritiva pode contribuir para o desenvolvimento de programas de treino específicos para ensino e aprendizagem, visando melhorar o desempenho das manobras aéreas

Modelo de estimativa dos custos em aterros sanitários para apoio de estudos de pré-viabilidade no gerenciamento de resíduos sólidos urbanos

O gerenciamento de resíduos municipais é um tema que vem se tornando cada vez mais importante no contexto das preocupações mundiais dos governos, e teve um considerável desenvolvimento na última década. Tanto os países desenvolvidos como os "em desenvolvimento" emitiram normativas legais restritivas, visando otimizar seus planos de tratamento e destinação final destes resíduos. Embora hajam esforços para diminuir a quantidade destinada aos chamados "aterros sanitários", incrementando-se a reciclagem e a valorização, há unanimidade em se afirmar que ainda por muito tempo se dependerá deste sistema de disposição final, principalmente para o caso do bloco dos países "em desenvolvimento", no qual se enquadra o Brasil. Porém, muito pouco é divulgado em termos dos custos de implantação e operação sobre aterros, existindo uma lacuna a se preencher, que subsidie estudos técnico-econômicos de apoio a decisão dos gestores do setor. O objetivo principal desta tese é investigar a real situação deste cenário, gerando modelos a serem utilizados como ferramentas de trabalho neste sentido, aplicadas aos estudos de engenharia econômica denominados de "quick evaluations ". Foram realizadas análises de regressão ou correlação "custo x capacidade do aterro", em caráter univariável, a partir de estudo investigativo de banco de dados obtidos no Brasil e comparados com outros países, tais como Taiwan e Espanha. Comprovou-se ser possível a agregação de dados destes outros países aumentando a confiança dos resultados. São apresentados os modelos resultantes com testes de validação atingindo-se um nível de erro aceitável para estudos a este nível de detalhamento. Ao final também se demonstra à possibilidade de um modelo multivariável, agregando-se outras variáveis além da capacidade do aterro sanitário, e que influem na composição dos custos, tais como, o tipo de tratamento do lixiviado. Todos estes aspectos tomam o estudo uma importante contribuição ao setor, aliado ao fato da apresentação de bancos de dados e de informações que contribuem à base de consulta científica e de referência aos estudiosos do setor.Management of urban municipal waste has become an increasing problem for govemments in developing countries, in the last decade. Not only the developing countries but also the developed ones have introduced restrictive environmental legislations with the objective of optimization of waste treatment and waste disposal programs. Even though efforts have been made to reduce the quantity o f waste sent to the waste landfills, there is unanimity in asserting that still for a very long time land filling will be the first choice. Nevertheless, little is known in terms of cost of implementation and operation in landfills, there is a gap to be filled, there is a need for subsidy for technical and economical studies as support for the decisions of the waste managers. The main objective o f the present paper is to investigate the real situation o f this scenario by generating models to be used as working tools, applied to the studies of economic engineering, referred as "quick evaluations". Univariate analysis of regression or correlation "cost x landfill capacity", were accomplished, based on an investigative study of the data-banks obtained in Brazil and compared to the results of other countries, where it could be confirmed the possibility of data aggregation. Resulting models are presented with yalidation tests confirming an acceptable error levei for studies at this levei of detail. At the end it is also demonstrated the possibility of a multivariate model, aggregating other variables besides the capacity of the waste landfill, that influence the cost composition, such as, the type of treatment of the lixiviate. Ali these aspects, allied to the presentation of the data-banks and of the information, tum the study into an important contribution to the base of scientific research and in to a reference for the researchers of the area