title: Compilation of bottom-up evaluation for a pure logic programming language

authors: Clayton, Roger

abstract: Abstraction in programming languages is usually achieved at the price of run time efficiency. This thesis presents a compilation scheme for the Starlog logic programming language. In spite of being very abstract, Starlog can be compiled to an efficient executable form. Starlog implements stratified negation and includes logically pure facilities for input and output, aggregation and destructive assignment. The main new work described in this thesis is (1) a bottom-up evaluation technique which is optimised for Starlog programs, (2) a static indexing structure that allows significant compile time optimisation, (3) an intermediate language to represent bottom-up logic programs and (4) an evaluation of automatic data structure selection techniques. It is shown empirically that the performance of compiled Starlog programs can be competitive with that of equivalent hand-coded programs.

text: Compilation of bottom-up evaluation for a pure logic programming language Abstraction in programming languages is usually achieved at the price of run time efficiency. This thesis presents a compilation scheme for the Starlog logic programming language. In spite of being very abstract, Starlog can be compiled to an efficient executable form. Starlog implements stratified negation and includes logically pure facilities for input and output, aggregation and destructive assignment. The main new work described in this thesis is (1) a bottom-up evaluation technique which is optimised for Starlog programs, (2) a static indexing structure that allows significant compile time optimisation, (3) an intermediate language to represent bottom-up logic programs and (4) an evaluation of automatic data structure selection techniques. It is shown empirically that the performance of compiled Starlog programs can be competitive with that of equivalent hand-coded programs.

year: 2005

title: Impedance measurement of batteries under load

authors: Hasan, Rahat

abstract: The impedance of a lithium battery at a single state-of-charge (SoC) is obtained from the current and voltage response of the cell. Making this measurement is important in order to understand cell characteristics. There exist some impedance analysers which can make suitable measurements at a single SoC. Measuring this impedance at multiple SoC is slow and tedious especially at lower frequencies. We present a new method which computes the impedance over a range of SoC while simultaneously varying the SoC. The proposed method produces reliable data even when the device under test is behaving non-linearly. The data obtained from this measurement is validated by comparing impedance data obtained at different SoC from a cell under no load.

text: Impedance measurement of batteries under load The impedance of a lithium battery at a single state-of-charge (SoC) is obtained from the current and voltage response of the cell. Making this measurement is important in order to understand cell characteristics. There exist some impedance analysers which can make suitable measurements at a single SoC. Measuring this impedance at multiple SoC is slow and tedious especially at lower frequencies. We present a new method which computes the impedance over a range of SoC while simultaneously varying the SoC. The proposed method produces reliable data even when the device under test is behaving non-linearly. The data obtained from this measurement is validated by comparing impedance data obtained at different SoC from a cell under no load.

year: 2019

title: Research reflections on making visible the experiences of Kāpō Māori during and after COVID-19

authors: Masters-Awatere, Bridgette

abstract: Introduction: 
This piece reflects on our research process when undertaking face-to-face interviews with tāngata kāpō (Māori people who are blind, deafblind, low vision or vision impaired). Particular attention is given to the access requirements of tāngata kāpō and the intersections of Māori and disability. These experiences are shared as learning opportunities for others who are undertaking research in ways that are mindful of Tiriti and disability obligations, and in the current COVID-19 environment.

text: Research reflections on making visible the experiences of Kāpō Māori during and after COVID-19 Introduction: 
This piece reflects on our research process when undertaking face-to-face interviews with tāngata kāpō (Māori people who are blind, deafblind, low vision or vision impaired). Particular attention is given to the access requirements of tāngata kāpō and the intersections of Māori and disability. These experiences are shared as learning opportunities for others who are undertaking research in ways that are mindful of Tiriti and disability obligations, and in the current COVID-19 environment.

year: 2021