State-of-the-art survey of smart contract verification based on formal methods by Wenbo ZHANG, Simin CHEN, Lifei WEI, Wei SONG, Dongmei HUANG

“…Smart contract represents an essential application scenario of blockchain technology.Smart contract technology improves programmability and scalability of blockchain, and has broad development prospects.However, a series of security incidents caused a great number of economic losses and weakened users’ confidence in the Ethereum platform.The security of smart contract has become a critical problem that restricts the further development of smart contract.Defects in smart contract code may cause serious consequences and cannot be modified once deployed, it is especially important to verify the correctness of smart contract in advance.In recent years, researchers have obtained many achievements in verification of smart contract, but there is a lack of systematic summary of these research results.Therefore, some basic principles of Ethereum were introduced, including the transaction, gas mechanism, storage and programming language.Eight common types of vulnerabilities in smart contract were summarized and their causes were explained.Some real security events were reviewed and some examples of vulnerability codes were presented.Then, the research work on automatic verification of smart contract based on symbolic execution, model checking and theorem proving was classified and summarized.Three open-source automated tools were selected, including Mythril, Slither and Oyente.And experiments were implemented to evaluate and compare the three tools from the aspects of efficiency, accuracy and the types of vulnerability can be detected.Furthermore, related review articles were surveyed, and the advantages of this paper compared with these works were summarized.The critical problems in the vulnerability detection technology of smart contract were also summarized and the direction of future research was proposed at last.…”
Get full text

Widespread trace bromine and iodine in remote tropospheric non-sea-salt aerosols by G. P. Schill, K. D. Froyd, K. D. Froyd, D. M. Murphy, C. J. Williamson, C. J. Williamson, C. A. Brock, T. Sherwen, M. J. Evans, M. J. Evans, E. A. Ray, E. A. Ray, E. C. Apel, R. S. Hornbrook, A. J. Hills, J. Peischl, J. Peischl, T. B. Ryerson, C. R. Thompson, I. Bourgeois, D. R. Blake, J. P. DiGangi, G. S. Diskin

Get full text

Cannabis and Suicidal Behaviour Among Adolescents: A Pilot Study from Trinidad by Hari D. Maharajh, Monique Konings

“…School based prevention programmes are necessary at the levels of parent-teacher partnership and classroom intervention. …”
Get full text

Access to the European cultural heritage of settlements and towns in the Danube macro-region through interoperable strategies digital transformation by Babin ANATOLIE, Elena PRUS, Elena MARGINEANU

“…The overall horizontal objective of the integration into the platform should be to add value to the common characteristics of the cultural and creative sector and to create a permanent discovery mechanism that will carry out activities to identify strategic investments and the use of innovation transfer tools. …”
Get full text

VNR_CCP: A New Approach to Congestion Control Using Virtualization Technique and Switch Migration in SDN by Mohammad Reza Jenabzadeh, Vahid Ayatollahitafti, Mohammad reza Mollakhalili, Mohammad Reza Mollahoseini Ardakani

“…By separating the data layer from the control layer in the software defined network and the possibility of centralized and programmable management, many limitations and common problems in traditional networks can be solved or improved. …”
Get full text

Cognitive prehabilitation for geriatric patients undergoing elective surgery: a PRISMA-P-compliant protocol for a systematic review by Yu He, Nianyi Sun, Wenchen Zou, Anren Zhang, Xiaochai Han, Caitao Chen

“…Neurocognitive disorders are the most common complications experienced in the postoperative period by older individuals. …”
Get full text

Optimal frequency bands for pupillography for maximal correlation with HRV by Júlio Medeiros, André Bernardes, Ricardo Couceiro, Paulo Oliveira, Henrique Madeira, César Teixeira, Paulo Carvalho

“…From a controlled experiment involving 21 programmers performing software bug inspection, our study pinpoints the optimal low-frequency (0.06-0.29 Hz) and high-frequency (0.29-0.49 Hz) bands. …”
Get full text

Doppler Effect Estimation and Compensation for Satellite Systems in Geolocation Problems by Marcello Asciolla, Angela Cratere, Francesco Dell'Olio

“…Assuming the problem of geolocation is solved, and starting from the kinematics of the satellite and its relative motion with respect to the emitter, the correction on the frequency is derived with respect to the orbital parameters, which is a common representation of data for satellite systems. …”
Get full text

Preoperative dental assessment for the reduction of periprosthetic joint infections in patients undergoing total joint replacement: a systematic review and meta-analysis by Zbigniew Putowski, Magdalena Miłobędzka, Michał Kisiołek, Wojciech Szczeklik, Roman Jaeschke, Piotr Puc, Katarzyna Szczeklik

“…The requirement for preoperative dental assessment (PDA) to prevent periprosthetic joint infection (PJI) after total joint arthroplasty (TJA) seems to be a common practice at least in some orthopaedic centres. …”
Get full text

Sociodemographic and visual characteristics of individuals with oculocutaneous albinism in Botswana by Thanuja Panicker, Gopinath Madheswaran

“…African-Tswana ethnicity was the most common among the participants (31, 47.7%). Nearly 80% had a best-corrected visual acuity (in better eye) worse than 6/12. …”
Get full text

Public knowledge of early stroke symptoms in the Vilnius region by A. Atkočiūnas, M. Mačionytė, R. Mameniškienė

“…Stroke remains one of the most common causes of death and disability in the world. …”
Get full text

Prevalence of Squamous and Basal Cell Carcinomas in African Albino Skin Cancer Lesions: A Systematic Review and Meta-Analysis of Proportion by Nnaemeka T. Onyishi, Samuel R. Ohayi

“…Keratinocyte carcinomas are the most common malignant condition in Caucasian populations. …”
Get full text

Workplace interventions to prevent suicide: A scoping review. by Nutmeg Hallett, Helen Rees, Felicity Hannah, Lorna Hollowood, Caroline Bradbury-Jones

“…Most mechanisms were aimed at the individual's immediate environment, with the most common being education or training on recognising signs of stress, suicidality or mental illness in oneself. …”
Get full text

Neuroscience Literacy and Academic Outcomes: Insights from a University Student Population by Abeer F. Almarzouki, Arzan I. Alqahtani, Jumana K. Baessa, Dhuha K. Badaood, Rwdyn R. Nujoom, Raneem W. Malibari, Elaf M. Aljared, Reema S. Alghamdi

“…The most common sources of general neuroscience knowledge were internet articles. …”
Get full text

Screening, diagnosis, treatment and outcomes of developmental dysplasia of the hip in Brazilian population: a scoping review by Emily Schaeffer, Patricia Moreno Grangeiro, Patrícia Eduarda Conrado Martins Rocha Jaleca, Sheila Lam, Sana Arora, Daniel Frank Liggio

“…No study examined the effectiveness of specific screening programmes or compared their outcomes. The most common diagnostic methods were the Ortolani manoeuvre and ultrasonography using the Graf method. …”
Get full text

SYMBOLIC ANALYSIS OF CLASSICAL NEURAL NETWORKS FOR DEEP LEARNING by Vladimir Milićević, Igor Franc, Maja Lutovac Banduka, Nemanja Zdravković, Nikola Dimitrijević

“…A deep learning algorithm can be implemented in hardware or software as a non-linear system. It is common for researchers to visualize a computing module and monitor its hidden parameters. …”
Get full text

The Implementation of Diverse Actuation System in ACPR1000 Nuclear Power Plants by Zhen-Ying Wang, Zhi-Yun Liu, Ting-Wei Ma, Chen Sun, Liu Liu, Yu Huang, Gang-Miao Guo

“…In order to improve the capability of dealing with software common cause failure (CCF) of digital reactor protection and monitoring system (RPMS), the diverse actuation system (DAS) is introduced for ACPR1000 nuclear power plants. …”
Get full text

Biliary atresia: The profile, management and outcome of patients treated at a tertiary hospital in central South Africa by E Brits, S M le Grange

“…Without intervention, the disease rapidly progresses to liver cirrhosis and fibrosis, with end-stage liver failure and death occurring within the first 3 years of life. It is the most common indication for liver transplantation (LT) in the paediatric population. …”
Get full text

A social ecological approach to identify the barriers and facilitators to COVID-19 vaccination acceptance: A scoping review. by Penny Lun, Jonathan Gao, Bernard Tang, Chou Chuen Yu, Khalid Abdul Jabbar, James Alvin Low, Pradeep Paul George

“…One of the biggest obstacles to implementing successful vaccination programmes is vaccine hesitancy stemming from concerns about effectiveness and safety. …”
Get full text

Problem-based learning in developing students’ communicative skills and creativity in teaching English for specific purposes by Jolita Šliogerienė, Irena Darginavičienė, Jelena Suchanova, Dalia Gulbinskienė, Viktorija Jakučionytė

“… Tertiary education uses a variety of teaching methods to cater for different learning styles, encourage critical thinking, and prepare students for real-world challenges. Common methods include lectures, seminars, independent study, and collaborative learning. …”
Get full text