Browsing Public Research Data by Subject "Q Science::QA Mathematics"
Now showing items 1-3 of 3
-
A binaural cross-correlogram toolbox for MATLAB
(The University of Nottingham., 2017-07-04)This is my Binaural Crosscorrelogram toolbox that I wrote to support my binaural research. It is made available on a CC-BY-NC-ND license in the hope that it is useful. -
Bootstrapping extensionality: Agda formalization
(The University of Nottingham, 2023-03-27)Agda formalization covering the mathematical content of the PhD thesis "Bootstrapping Extensionality". -
Lesson plans for research on visual representations and low achieving students' learning
(The University of Nottingham, 2018-05-07)These lesson plans were used for the data collection of a research study aimed at investigating how low achieving students learn fractions through an approach emphasizing visual representations.