-
Smart Contract Languages: a comparative analysis
Authors:
Massimo Bartoletti,
Lorenzo Benetollo,
Michele Bugliesi,
Silvia Crafa,
Giacomo Dal Sasso,
Roberto Pettinau,
Andrea Pinna,
Mattia Piras,
Sabina Rossi,
Stefano Salis,
Alvise Spanò,
Viacheslav Tkachenko,
Roberto Tonelli,
Roberto Zunino
Abstract:
Decentralized blockchain platforms support the secure exchange of assets among users without relying on trusted third parties. These exchanges are programmed with smart contracts, computer programs directly executed by blockchain nodes. Multiple smart contract languages are available nowadays to developers, each with its own distinctive features, strengths, and weaknesses. In this paper, we examin…
▽ More
Decentralized blockchain platforms support the secure exchange of assets among users without relying on trusted third parties. These exchanges are programmed with smart contracts, computer programs directly executed by blockchain nodes. Multiple smart contract languages are available nowadays to developers, each with its own distinctive features, strengths, and weaknesses. In this paper, we examine the smart contract languages used in six major blockchain platforms: Ethereum, Solana, Cardano, Algorand, Aptos, and Tezos. Starting with a high-level overview of their design choices, we provide a comprehensive assessment that focuses on programming style, security, code readability, and usability, drawing on an original benchmark that encompasses a common set of use cases across all the smart contract languages under examination.
△ Less
Submitted 5 April, 2024;
originally announced April 2024.
-
SKA Aperture Array Verification System: Electromagnetic modeling and beam pattern measurements using a micro UAV
Authors:
E. de Lera Acedo,
P. Bolli,
F. Paonessa,
G. Virone,
E. Colin-Beltran,
N. Razavi-Ghods,
I. Aicardi,
A. Lingua,
P. Maschio,
J. Monari,
G. Naldi,
M. Piras,
G. Pupillo
Abstract:
In this paper we present the electromagnetic modeling and beam pattern measurements of a 16-elements ultra wideband sparse random test array for the low frequency instrument of the Square Kilometer Array telescope. We discuss the importance of a small array test platform for the development of technologies and techniques towards the final telescope, highlighting the most relevant aspects of its de…
▽ More
In this paper we present the electromagnetic modeling and beam pattern measurements of a 16-elements ultra wideband sparse random test array for the low frequency instrument of the Square Kilometer Array telescope. We discuss the importance of a small array test platform for the development of technologies and techniques towards the final telescope, highlighting the most relevant aspects of its design. We also describe the electromagnetic simulations and modeling work as well as the embedded-element and array pattern measurements using an Unmanned Aerial Vehicle system. The latter are helpful both for the validation of the models and the design as well as for the future instrumental calibration of the telescope thanks to the stable, accurate and strong radio frequency signal transmitted by the UAV. At this stage of the design, these measurements have shown a general agreement between experimental results and numerical data and have revealed the localized effect of un-calibrated cable lengths in the inner side-lobes of the array pattern.
△ Less
Submitted 12 September, 2017; v1 submitted 1 March, 2017;
originally announced March 2017.
-
The Changing Locus of Health Data Production and Use: Patient-Generated Health Data, Observations of Daily Living, and Personal Health Information Management
Authors:
Enrico Maria Piras
Abstract:
Despite the growing attention of researcher, healthcare managers and policy makers, data gathering and information management practices are largely untheorized areas. In this work are presented and discussed some early-stage conceptualizations: Patient-Generated Health Data (PGHD), Observations of Daily Living (ODLs) and Personal Health Information Management (PHIM). As I shall try to demonstrate,…
▽ More
Despite the growing attention of researcher, healthcare managers and policy makers, data gathering and information management practices are largely untheorized areas. In this work are presented and discussed some early-stage conceptualizations: Patient-Generated Health Data (PGHD), Observations of Daily Living (ODLs) and Personal Health Information Management (PHIM). As I shall try to demonstrate, these labels are not neutral rather they underpin quite different perspectives with respect to health, patient-doctor relationship, and the status of data.
△ Less
Submitted 1 April, 2019; v1 submitted 30 June, 2016;
originally announced June 2016.