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.

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.