title: Comments on the historical bases of the Rayleigh and Ritz methods

authors: Ilanko, Sinniah

subjects: The Rayleigh-Ritz Method

abstract: In a recent article entitled “The historical bases of the Rayleigh and Ritz methods”, Professor Leissa raised the issue of using two different names, “The Rayleigh-Ritz Method” and “The Ritz Method” for the same procedure. While the discusser shares Professor Leissa's view that the success of the method can be attributed to the way in which it was applied by Ritz, he does not endorse the position that it should not be referred to as the Rayleigh-Ritz method for the reasons given below.

text: Comments on the historical bases of the Rayleigh and Ritz methods In a recent article entitled “The historical bases of the Rayleigh and Ritz methods”, Professor Leissa raised the issue of using two different names, “The Rayleigh-Ritz Method” and “The Ritz Method” for the same procedure. While the discusser shares Professor Leissa's view that the success of the method can be attributed to the way in which it was applied by Ritz, he does not endorse the position that it should not be referred to as the Rayleigh-Ritz method for the reasons given below.

year: 2009

title: A distributed adaptive debugger server

authors: Wong, Derek Antony

abstract: A model and corresponding protocol suitable for debugging distributed embedded systems is developed. Protocol design issues and a formal model of the debugger server are defined with the intent of developing an extensible debug server to aid the development of dynamically retargettable debug clients suitable for application to heterogeneous distributed systems. 

The thesis considers one of the major problems faced in embedded systems, that of dynamic configuration of system components. The namespace model described solves these issues in a way that provides for the development of dynamic “hot insertion, plug and play” systems. This model is applied throughout the design of the protocol toward the development of debug services. 

The model is formally developed using the specification language, VDM-SL. Specifications of the model are given implicitly and then derived to an explicit executable form except for target-dependencies. Informal correctness proofs are carried out where necessary to show that the transformation from implicit to explicit form is valid and that the model and protocols themselves are valid. The specifications have been syntax and type checked using the IFAD VDM Toolbox; a CASE tool based on the 1996 ISO VDM-SL standard that provides an environment for the development and testing of VDM-SL specifications.

text: A distributed adaptive debugger server A model and corresponding protocol suitable for debugging distributed embedded systems is developed. Protocol design issues and a formal model of the debugger server are defined with the intent of developing an extensible debug server to aid the development of dynamically retargettable debug clients suitable for application to heterogeneous distributed systems. 

The thesis considers one of the major problems faced in embedded systems, that of dynamic configuration of system components. The namespace model described solves these issues in a way that provides for the development of dynamic “hot insertion, plug and play” systems. This model is applied throughout the design of the protocol toward the development of debug services. 

The model is formally developed using the specification language, VDM-SL. Specifications of the model are given implicitly and then derived to an explicit executable form except for target-dependencies. Informal correctness proofs are carried out where necessary to show that the transformation from implicit to explicit form is valid and that the model and protocols themselves are valid. The specifications have been syntax and type checked using the IFAD VDM Toolbox; a CASE tool based on the 1996 ISO VDM-SL standard that provides an environment for the development and testing of VDM-SL specifications.

year: 2001

title: He Tangata Kei Tua: Guidelines for biobanking with Māori.

authors: Hudson, Maui

abstract: Māori ethical frameworks recognise that all research in New Zealand is of interest to Māori and outline community expectations of appropriate behavior in research to deliver the best outcomes for Māori. Research contributes to the broader development objectives of society and this endeavor is being supported by biobanking infrastructure. Ethics has a specific role in guiding key behaviours, processes and methodologies used in research.
This document outlines a framework for addressing Māori ethical issues within the context of biobanking. It draws on a foundation of mātauranga (Indigenous knowledge) and tikanga Māori (Māori protocols and practices) and will be useful for researchers, ethics committee members and those who engage in consultation or advice about biobanking with Māori in local, regional, national or international settings.

text: He Tangata Kei Tua: Guidelines for biobanking with Māori. Māori ethical frameworks recognise that all research in New Zealand is of interest to Māori and outline community expectations of appropriate behavior in research to deliver the best outcomes for Māori. Research contributes to the broader development objectives of society and this endeavor is being supported by biobanking infrastructure. Ethics has a specific role in guiding key behaviours, processes and methodologies used in research.
This document outlines a framework for addressing Māori ethical issues within the context of biobanking. It draws on a foundation of mātauranga (Indigenous knowledge) and tikanga Māori (Māori protocols and practices) and will be useful for researchers, ethics committee members and those who engage in consultation or advice about biobanking with Māori in local, regional, national or international settings.

year: 2016