title: Refinement for user interface designs

authors: Bowen, Judy

subjects: refinement

abstract: Formal approaches to software development require that we correctly describe (or specify) systems in order to prove properties about our proposed solution prior to building it. We must then follow a rigorous process to transform our specification into an implementation to ensure that the properties we have proved are retained. Different transformation, or refinement, methods exist for different formal methods, but they all seek to ensure that we can guide the transformation in a way which preserves the desired properties of the system. Refinement methods also allow us to subsequently compare two systems to see if a refinement relation exists between the two. When we design and build the user interfaces of our systems we are similarly keen to ensure that they have certain properties before we build them. For example, do they satisfy the requirements of the user? Are they designed with known good design principles and usability considerations in mind? Are they correct in terms of the overall system specification? However, when we come to implement our interface designs we do not have a defined process to follow which ensures that we maintain these properties as we transform the design into code. Instead, we rely on our judgement and belief that we are doing the right thing and subsequent user testing to ensure that our final solution remains useable and satisfactory. We suggest an alternative approach, which is to define a refinement process for user interfaces which will allow us to maintain the same rigorous standards we apply to the rest of the system when we implement our user interface designs.

text: Refinement for user interface designs Formal approaches to software development require that we correctly describe (or specify) systems in order to prove properties about our proposed solution prior to building it. We must then follow a rigorous process to transform our specification into an implementation to ensure that the properties we have proved are retained. Different transformation, or refinement, methods exist for different formal methods, but they all seek to ensure that we can guide the transformation in a way which preserves the desired properties of the system. Refinement methods also allow us to subsequently compare two systems to see if a refinement relation exists between the two. When we design and build the user interfaces of our systems we are similarly keen to ensure that they have certain properties before we build them. For example, do they satisfy the requirements of the user? Are they designed with known good design principles and usability considerations in mind? Are they correct in terms of the overall system specification? However, when we come to implement our interface designs we do not have a defined process to follow which ensures that we maintain these properties as we transform the design into code. Instead, we rely on our judgement and belief that we are doing the right thing and subsequent user testing to ensure that our final solution remains useable and satisfactory. We suggest an alternative approach, which is to define a refinement process for user interfaces which will allow us to maintain the same rigorous standards we apply to the rest of the system when we implement our user interface designs.

year: 2009

title: Numerical modelling of plasticity induced by transcranial magnetic stimulation

authors: Wilson, Marcus T.

subjects: Transcranial Magnetic Stimulation

abstract: We use neural field theory and spike-timing dependent plasticity to make a simple but biophysically reasonable model of long-term plasticity changes in the cortex due to transcranial magnetic stimulation (TMS). We show how common TMS protocols can be captured and studied within existing neural field theory. Specifically, we look at repetitive TMS protocols such as theta burst stimulation and paired-pulse protocols. Continuous repetitive protocols result mostly in depression, but intermittent repetitive protocols in potentiation. A paired pulse protocol results in depression at short (<∼10 ms) and long (>∼ 100 ms) interstimulus intervals, but potentiation for mid-range intervals. The model is sensitive to the choice of neural populations that are driven by the TMS pulses, and to the parameters that describe plasticity, which may aid interpretation of the high variability in existing experimental results. Driving excitatory populations results in greater plasticity changes than driving inhibitory populations. Modelling also shows the merit in optimizing a TMS protocol based on an individual’s electroencephalogram. Moreover, the model can be used to make predictions about protocols that may lead to improvements in repetitive TMS outcomes.

text: Numerical modelling of plasticity induced by transcranial magnetic stimulation We use neural field theory and spike-timing dependent plasticity to make a simple but biophysically reasonable model of long-term plasticity changes in the cortex due to transcranial magnetic stimulation (TMS). We show how common TMS protocols can be captured and studied within existing neural field theory. Specifically, we look at repetitive TMS protocols such as theta burst stimulation and paired-pulse protocols. Continuous repetitive protocols result mostly in depression, but intermittent repetitive protocols in potentiation. A paired pulse protocol results in depression at short (<∼10 ms) and long (>∼ 100 ms) interstimulus intervals, but potentiation for mid-range intervals. The model is sensitive to the choice of neural populations that are driven by the TMS pulses, and to the parameters that describe plasticity, which may aid interpretation of the high variability in existing experimental results. Driving excitatory populations results in greater plasticity changes than driving inhibitory populations. Modelling also shows the merit in optimizing a TMS protocol based on an individual’s electroencephalogram. Moreover, the model can be used to make predictions about protocols that may lead to improvements in repetitive TMS outcomes.

year: 2013

title: Haumanu Hauora: Strengthening health institution responsiveness to climate change

authors: Masters-Awatere, Bridgette

abstract: The “Haumanu Hauora: Strengthening health institution responsiveness to climate change” project (Haumanu Hauora) is funded by the Deep South National Science Challenge. Our research team has 
been working to determine how health institutions (for example DHBs) develop Māori responsive policy as a preparatory step in anticipation of climate change impacts on Māori health. The project 
has involved several components, one of which involved speaking with tāngata whenua and DHB staff from the Bay of Plenty, Lakes and Waikato DHB regions about their experiences of climate 
change and involvement with health services. Another component was an environmental scan of available website information on the 17 other DHBs to ascertain the extent of policy that speaks to 
both the Treaty of Waitangi and climate change. This report presents an overview of the findings. 

This report begins with some context setting. We provide a summary of our literature reviews before a brief outline of the establishment of DHBs, which are the “health institution” of focus for 
this research. As the primary health provider and funders around the country, DHBs have been engaged as the site through which to understand the Māori health and climate change policy needs. 
Although DHBs were disestablished at the conclusion of our project, there are still lessons to learn from the ‘old’ health system. We present themes from tāngata whenua and rangatahi interviews as 
a way to foreground policy development information provided by DHB staff.

text: Haumanu Hauora: Strengthening health institution responsiveness to climate change The “Haumanu Hauora: Strengthening health institution responsiveness to climate change” project (Haumanu Hauora) is funded by the Deep South National Science Challenge. Our research team has 
been working to determine how health institutions (for example DHBs) develop Māori responsive policy as a preparatory step in anticipation of climate change impacts on Māori health. The project 
has involved several components, one of which involved speaking with tāngata whenua and DHB staff from the Bay of Plenty, Lakes and Waikato DHB regions about their experiences of climate 
change and involvement with health services. Another component was an environmental scan of available website information on the 17 other DHBs to ascertain the extent of policy that speaks to 
both the Treaty of Waitangi and climate change. This report presents an overview of the findings. 

This report begins with some context setting. We provide a summary of our literature reviews before a brief outline of the establishment of DHBs, which are the “health institution” of focus for 
this research. As the primary health provider and funders around the country, DHBs have been engaged as the site through which to understand the Māori health and climate change policy needs. 
Although DHBs were disestablished at the conclusion of our project, there are still lessons to learn from the ‘old’ health system. We present themes from tāngata whenua and rangatahi interviews as 
a way to foreground policy development information provided by DHB staff.

year: 2022-07-12