Faculty of Environment, Science and Economy: Recent submissions
Now showing items 11-15 of 11394
-
Secure Smart Contracts with Isabelle/Solidity
(Springer, 2024)Smart contracts are programs stored on the blockchain, often developed in a high-level programming language, the most popular of which is Solidity. Smart contracts are used to automate financial transactions and thus bugs ... -
Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOL
(Association for Computing Machinery (ACM), 15 October 2024)Smart contracts are computer programs designed to automate legal agreements. They are usually developed in a high-level programming language, the most popular of which is Solidity. Every day, hundreds of thousands of new ... -
Coupling ecological concepts with an ocean-colour model: Parameterisation and forward modelling
(Elsevier, 15 November 2024)Abstract. In the first part of this paper series (Sun et al., 2023), we developed an ecological model that partitions the total chlorophyll-a concentration (Chl-a) into three phytoplankton size classes (PSCs), pico-, ... -
PROMETHEUS Future weather files
(University of Exeter, 18 November 2024) -
High‐Throughput UV‐Induced Synthesis and Screening of Alloy Electrocatalysts
(Wiley, 15 November 2024)The combination of different elements in alloy catalysts can lead to improved activity as it provides opportunities to tune the electronic structures of surface atoms. However, the synthesis and performance screening of ...