Gavel

An ornamental wooden gavel with brass plate from the 1965-66 Brock University Student Assembly. The inscription on the gavel reads: Don Chapman, Brock University Student Assembly, Speaker of the House, 65-66.

Analytical modelling of bacterial migration and accumulation with rate-limited sorption in discrete fractures

An analytical model for bacterial accumulation in a discrete fractllre has been developed. The transport and accumlllation processes incorporate into the model include advection, dispersion, rate-limited adsorption, rate-limited desorption, irreversible adsorption, attachment, detachment, growth and first order decay botl1 in sorbed and aqueous phases. An analytical solution in Laplace space is derived and nlln1erically inverted. The model is implemented in the code BIOFRAC vvhich is written in Fortran 99. The model is derived for two phases, Phase I, where adsorption-desorption are dominant, and Phase II, where attachment-detachment are dominant. Phase I ends yvhen enollgh bacteria to fully cover the substratllm have accllillulated. The model for Phase I vvas verified by comparing to the Ogata-Banks solution and the model for Phase II was verified by comparing to a nonHomogenous version of the Ogata-Banks solution. After verification, a sensitiv"ity analysis on the inpllt parameters was performed. The sensitivity analysis was condllcted by varying one inpllt parameter vvhile all others were fixed and observing the impact on the shape of the clirve describing bacterial concentration verSllS time. Increasing fracture apertllre allovvs more transport and thus more accllffilliation, "Vvhich diminishes the dllration of Phase I. The larger the bacteria size, the faster the sllbstratum will be covered. Increasing adsorption rate, was observed to increase the dllration of Phase I. Contrary to the aSSllmption ofllniform biofilm thickness, the accllffilliation starts frOll1 the inlet, and the bacterial concentration in aqlleous phase moving towards the olitiet declines, sloyving the accumulation at the outlet. Increasing the desorption rate, redllces the dliration of Phase I, speeding IIp the accllmlilation. It was also observed that Phase II is of longer duration than Phase I. Increasing the attachment rate lengthens the accliffililation period. High rates of detachment speeds up the transport. The grovvth and decay rates have no significant effect on transport, althollgh increases the concentrations in both aqueous and sorbed phases are observed. Irreversible adsorption can stop accllillulation completely if the vallIes are high.

Athletic injury care training in high school coaches

The purpose of this qualitative study was to understand the client and occupational therapist experiences of a mental health group. A secondary aim was to explore the extent to which this group seemed to have reflected a client-centred approach. The topic emerged from personal and professional issues related to the therapist as teacher and to inconsistencies in practice with the profession's client-centred philosophy. This philosophy, the study's frame of reference, was established in terms of themes related to the client-therapist relationship and to client values. Typical practice was illustrated through an extensive literature review. Structured didacticexperiential methods aiming toward skill development were predominant. The interpretive sciences and, to a lesser extent, the critical sciences directed the methodology. An ongoing support group at a community mental health clinic was selected as the focus of the study; the occupational therapist leader and three members became the key participants. A series of conversational interviews, the . core method of data collection, was supplemented by observation, document review, further interviews, and fieldnotes. Transcriptions of conversations were returned to participants for verification and for further reflection Analysis primarily consisted of coding and organizing data according to emerging themes. The participants' experiences of group, presented as narrative stories within a group session vignette, were also returned to participants. There was a common understanding of the group's structure and the importance of having "air time" within the group; however, differences in perceptions of such things as the importance of the group in members' lives were noted. All members valued the therapeutic aspects of group, the role of group as weekly activity and, to a lesser extent, the learning that came from group. The researcher's perspective provided a critique of the group experience from a client-centred perspective. Some areas of consistency with client-centred practice were noted (e.g., therapist attitudes); however the group seemed to function far from a client-centred ideal. Members held little authority in a -relationship dominated by the leaders, and leader agendas rather than member values controlled the session. Possible reasons for this discrepancy ranging from past health care encounters through to co-leader discord emerged. The actual and potential significance of this study was discussed according to many areas of implications: to OT practice, especially client-centred group practice, to theory development, to further areas of research and methodology considerations, to people involved in the group and to my personal growth and development.

Histogram filtering as a tool in variational Monte Carlo optimization

Optimization of wave functions in quantum Monte Carlo is a difficult task because the statistical uncertainty inherent to the technique makes the absolute determination of the global minimum difficult. To optimize these wave functions we generate a large number of possible minima using many independently generated Monte Carlo ensembles and perform a conjugate gradient optimization. Then we construct histograms of the resulting nominally optimal parameter sets and "filter" them to identify which parameter sets "go together" to generate a local minimum. We follow with correlated-sampling verification runs to find the global minimum. We illustrate this technique for variance and variational energy optimization for a variety of wave functions for small systellls. For such optimized wave functions we calculate the variational energy and variance as well as various non-differential properties. The optimizations are either on par with or superior to determinations in the literature. Furthermore, we show that this technique is sufficiently robust that for molecules one may determine the optimal geometry at tIle same time as one optimizes the variational energy.

The elderly : reminiscing, coping with loss, accepting death

This study investigated loss, death and dying, reminiscing, coping and the process of adaptation from the sUbjective perspective. A number of theories and models of death and dying were reviewed in the background literature search with the focus on reminiscing as a coping phenomenon. The format of the study was audio-taped interviews with ten sUbjects and the recording of their memories and reminiscing of life stories. The sUbjects were required to complete an initial questionnaire in a demographic data collection process. Two separate interviews consisted of a primary data collecting interview and a verification interview four to eight weeks later. An independent chart review completed the data collecting process. Data analysis was by the examination of the emerging themes in the subjects' personal narratives which revealed the sUb-categories of reminiscing, loss (including death and dying), acceptance, hope, love, despair and belief. Belief was shown to be the foundation and the base for living and reminiscing. Reminiscing was found to be a coping phenomenon, within the foundation of a belief system. Both living and reminiscing revealed the existence of a central belief or value with a great deal of importance attached to it. Whether the belief was of a spiritual nature, a value of marriage, tradition, a work ethic or belief in an abstract value such as fate,it gave support and control to the individuals' living and reminiscing process. That which caused despair or allowed acceptance indicated the sUbjects' basic belief and was identified in the story narrations. The findings were significant to health care in terms of education, increased dignity for the elderly and better understanding by society. The profiles represented an average age of 86.3 years with age showing no bearing on the life experiences associated with the emerging themes. Overwhelmingly, belief was shown to be the foundation in reminiscing. A Judeo-Christian cultural value base supported the belief in 90% of the sUbjects; however, different beliefs were clearly shown indicating that belief is central to all thinking beings, in everyday life and in reminiscing. Belief was not necessarily spiritual or a practised or verbalized religion. It was shown to be a way of understanding, a fundamental and single thread tying the individual's life and stories together. The benefits were the outcomes, in that knowledge of an individual's belief can optimize care planning for any age group, and/or setting. The strength of the study was the open question format and the feedback process of data verification. The unrestricted outcomes and non-specificity were significant in a world where dying is everybody's business.

Transmission measurements using a new far-infrared set-up

A system comprised of a Martin-Puplett type polarizing interferometer and a Helium-3 cryostat was developed to study the transmission of materials in the very-far-infrared region of the spectrum. This region is of significant interest due to the low-energy excitations which many materials exhibit. The experimental transmission spectrum contains information concerning the optical properties of the material. The set-up of this system is described in detail along with the adaptations and improvements which have been made to the system to ensure the best results. Transmission experiments carried out with this new set-up for two different varieties of materials: superconducting thin films of lead and biological proteins, are discussed. Several thin films of lead deposited on fused silica quartz substrates were studied. From the ratio of the transmission in the superconducting state to that in the normal state the superconducting energy gap was determined to be approximately 25 cm-1 which corresponds to 2~/kBTc rv 5 in agreement with literature data. Furthermore, in agreement with theoretical predictions, the maximum in the transmission ratio was observed to increase as the film thickness was increased. These results provide verification of the system's ability to accurately measure the optical properties of thin low-Tc superconducting films. Transmission measurements were carried out on double deionized water, and a variety of different concentrations by weight of the globular protein, Bovine Serum Albumin, in the sol, gel and crystalline forms. The results of the water study agree well with literature values and thus further illustrate the reproducibility of the system. The results of the protein experiments, although preliminary, indicate that as the concentration increases the samples become more transparent. Some weak structure in the frequency dependent absorption coefficient, which is more prominent in crystalline samples, may be due to low frequency vibrations of the protein molecules.

Occupational therapist and client experiences of a mental health group

The purpose of this qualitative study was to understand the client and occupational therapist experiences of a mental health group. A secondary aim was to explore the extent to which this group seemed to have reflected a client-centred approach. The topic emerged from personal and professional issues related to the therapist as teacher and to inconsistencies in practice with the profession's client-centred philosophy. This philosophy, the study's frame of reference, was established in terms of themes related to the client-therapist relationship and to client values. Typical practice was illustrated through an extensive literature review. Structured didacticexperiential methods aiming toward skill development were predominant. The interpretive sciences and, to a lesser extent, the critical sciences directed the methodology. An ongoing support group at a community mental health clinic was selected as the focus of the study; the occupational therapist leader and three members became the key participants. A series of conversational interviews, the . core method of data collection, was supplemented by observation, document review, further interviews, and fieldnotes. Transcriptions of conversations were returned to participants for verification and for further reflection. Analysis primarily consisted of coding and organizing data according to emerging themes. The participants' experiences of group, presented as narrative stories within a group session vignette, were also returned to participants. There was a common understanding of the group's structure and the importance of having "air time" within the group; however, differences in perceptions of such things as the importance of the group in members' lives were noted. All members valued the therapeutic aspects of group, the role of group as weekly activity and, to a lesser extent, the learning that came from group. The researcher's perspective provided a critique of the group experience from a client-centred perspective. Some areas of consistency with client-centred practice were noted (e.g., therapist attitudes); however the group seemed to function far from a client-centred ideal. Members held little authority in a relationship dominated by the leaders, and leader agendas rather than member values controlled the session. Possible reasons for this discrepancy ranging from past health care encounters through to co-leader discord emerged. The actual and potential significance of this study was discussed according to many areas of implications: to OT practice, especially client-centred group practice, to theory development, to further areas of research and methodology considerations, to people involved in the group and to my personal growth and development.

Towards automated derivation in the theory of allegories

We provide an algorithm that automatically derives many provable theorems in the equational theory of allegories. This was accomplished by noticing properties of an existing decision algorithm that could be extended to provide a derivation in addition to a decision certificate. We also suggest improvements and corrections to previous research in order to motivate further work on a complete derivation mechanism. The results presented here are significant for those interested in relational theories, since we essentially have a subtheory where automatic proof-generation is possible. This is also relevant to program verification since relations are well-suited to describe the behaviour of computer programs. It is likely that extensions of the theory of allegories are also decidable and possibly suitable for further expansions of the algorithm presented here.

John W. Fisher Fonds, 1937-1961, 1964-1989, 1993, n.d.

Norah and Fred Fisher welcomed John Fisher into the world on November 29, 1912, not knowing what an influential role he would play in shaping Canada's history. John Fisher grew up as the middle child of five brothers and sisters in Frosty Hollow, New Brunswick, close to today’s town of Sackville. Sackville’s main industry was the Enterprise Foundry which the Fisher family owned and operated; however, Fisher had no plans of going into the family business. He was more inspired by his maternal grandfather, Dr. Cecil Wiggins, who lived with the family after retiring from the Anglican ministry. Wiggins encouraged all his grandchildren to be well read and to take part in discussions on current events. There were often visitors in the Fisher household taking part in discussions about politics, religion, and daily life. Fisher forced himself to take part in these conversations to help overcome his shyness in social settings. These conversations did help with his shyness and also in forming many opinions and observations about Canada. It put Fisher on the road to becoming Mr. Canada and delivering the many eloquent speeches for which he was known. Fisher did not venture far from home to complete his first degree. In 1934 he graduated from Mount Allison University in Sackville, NB with an Arts degree. The same year Fisher enrolled in Dalhousie’s law school. During his time at Dalhousie, Fisher discovered radio through Hugh Mills. Mills or “Uncle Mel” was on CHNS, Halifax’s only radio station at the time. Fisher began by making appearences on the radio drama show. By 1941 he had begun writing and broadcasting his own works and joined the staff as an announcer and continuity writer. In 1936 the Canadian Broadcasting Corporation was formed, the first National radio station. Fisher joined the CBC shortly after it’s beginning and remained with them, as well as the Halifax Herald newspaper, even after his law school graduation in 1937. By 1943 Fisher’s talks became a part of the CBC’s programming for a group of maritime radio stations. Fisher once described his talks as follows “my talks weren’t meant to be objective. . . they were meant to be favourable. They were ‘pride builders’” He began his famed John Fisher Reports at CBC Toronto when he transfered there shortly after the war. This program brought emmence pride to the fellow Canadians he spoke about leading to approximately 3500 requests per year to speak at banquets and meeting throughout Canada and the United States. Fisher was a well travelled indivdual who would draw on personal experiences to connect with his audience. His stories were told in simple, straight forward language for anyone to enjoy. He became a smooth, dynamic and passionate speaker who sold Canada to Canadians. He became a renowned journalist, folk historian, writer and broadcaster. Fisher was able to reach a vast array of people through his radio work and build Canadian pride, but he did not stop there. Other ways Fisher has contributed to Canada and the Canadian people include: Honoured by five Canadian Universities. 1956, became the Director of the Canadian Tourist Association. 1961, was appointed Special Assistant to the Prime Minister of Canada. 1963, Commissioner of the Centennial Commission (the Federal Agency Responsible for Canada’s 100th birthday) 1968, received the Service Medal , a coveted Order of Canada. President of John Fisher Enterprises Ltd., private consultant work, specializing in Centennial planning, broadcasts, lectures and promotion. John Fisher continued recording radio broadcasts even after his diagnosis with cancer. He would record 3 or 4 at a time so he was free to travel across Canada, the U.S., Europe and Mexico in search of treatments. Fisher passed away from the disease on February 15, 1981 and he is buried at Mount Pleasant Cemetery in Toronto.

An Interactive Theorem Prover for First-Order Dynamic Logic

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.

Equational Reasoning about Object-Oriented Programs

Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process is a programming language that provides powerful abstraction mechanisms combined with intensive reuse of code. In this thesis we present a strongly typed functional object-oriented programming language. This language features type operators of arbitrary kind corresponding to so-called type protocols. Sub classing and inheritance is based on higher-order matching, i.e., utilizes type protocols as basic tool for reuse of code. We define the operational and axiomatic semantics of this language formally. The latter is the basis of the interactive proof assistant VOOP (Verified Object-Oriented Programs) that allows the user to prove equational properties of programs interactively.

Estelle Cuffe Hawley fonds, 1852-1999, n.d.

Estelle Cuffe Hawley (1894-1995) was an educator, businesswoman and politician, who became the first woman alderman on the St. Catharines City Council. She began her career as a teacher in Peterborough in 1913, and later taught in St. Catharines at Connaught School and St. Paul’s Ward School, where she served as Principal for six years. In 1928-29, she worked as an exchange teacher in Edmonton, Alberta. This would be Estelle’s last year in the teaching profession. She moved back to St. Catharines in 1930 and began a career in business, as an employee of Sun Life Assurance Co. She remained in this profession until around 1952. It was during this period that she became very active in the community and local politics. In 1934 she was elected to the St. Catharines Board of Education, where she advocated for the improvement of teachers’ salaries, the introduction of nursing services in schools, and the inclusion of music in the curriculum. She served as a member of the school board until 1937. The following year, she became the first woman elected to the St. Catharines City Council. As an alderman, she worked to improve the community's social welfare services, serving consecutively as chairman of all committees. She established comprehensive health services (including medical, dental and nursing), in the public, separate and secondary schools of St. Catharines, the first program of its kind in Canada. She was also instrumental in establishing minimum housing standards and engaging the public in local government by arranging a series of lectures by city officials. She remained a member of City Council until 1943. The following year she campaigned unsuccessfully for the mayoralty. In 1953 she married Hubert Hawley and moved to Orillia. She continued to remain active in the community, serving as President of the Ontario Recreation Association from 1950-1953, and editor of their Bulletin from 1955-1961. During the 1960s, she worked with various groups, including the Voice of Women, the Mental Health Association and the Freedom from Hunger Campaign. In addition to this work, Estelle wrote poetry and short stories, some of which were published in the Peterborough Review, the Globe and Mail and the Canadian Churchman. Some of her short stories (often about her childhood experiences) were broadcast on the CBC, as well as her experiences as a Town Councillor (under the pseudonym Rebecca Johnson in 1961). She also broadcast a segment that was part of a series called “Winning the Peace” in April 1944. Estelle was a sought-after public speaker, speaking on topics such as peace, democracy, citizenship, education, and women’s rights. In 1976, Brock University conferred an honorary Doctor of Law degree to Estelle for her leadership as an educator, businesswoman and a stateswoman. Her husband Hubert died that same year, and Estelle subsequently moved to Mississauga. With the assistance of an Ontario Heritage Foundation grant, she began work on her memoir. She later moved back to Orillia and died there in 1995, at the age of 101.