The University of Waikato's Open Access Research Repository
Recently Added
-
The effects of alkaline digestion, bleaching and ultrasonication treatment of fibre on 3D printed harakeke fibre reinforced polylactic acid composites
(Elsevier BV, 2023-03)This paper documents an investigation of the effects of fibre treatment on New Zealand flax (harakeke) fibre reinforced polylactic acid (PLA) composites. The raw fibre was alkali digested, followed by bleaching and then ... -
Modelling a blockchain for smart contract verification using DeepSEA
(Association for Computing Machinery, 2022)To create trustworthy programs, the 'gold standard' is specifications at a high-enough level to clearly correspond to the informal specifications, and also a refinement proof linking these high-level specifications down ... -
An overview on recent biomedical applications of biopolymers: Their role in drug delivery systems and comparison of major systems
(Elsevier BV, 2023-02)Polymers are ubiquitous in our daily lives, from workplaces to homes. Biopolymers are becoming more popular as an alternative to petroleum-based polymers because of their lower environmental impact due to their low carbon ... -
Provably correct smart contracts: An approach using DeepSEA
(Association for Computing Machinery, 2022)It is possible to download a piece of software over the internet and then verify its correctness locally using an appropriate trusted proof system. However, on a blockchain like Ethereum, smart contracts cannot be altered ... -
Teaching languages in primary schools using educational technologies: Experiences of primary-school language teachers in Vietnam
(The University of Waikato, 2023)Using educational technologies (ETs) in classrooms to teach languages in primary education has become increasingly popular worldwide in the last few decades. In Vietnam, since 2000, the government and the Vietnam Ministry ...