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.

Opportunities for Youth Program Fonds, Brock University, 1971, 1975

The Opportunities for Youth Program was a summer employment program for students funded by the federal government. During the summer of 1971, Brock University received funding from this program to hire 56 students to work on five different projects. These projects included a Land Use Survey and Data Mapping, a Guide to the Research Resources for the Niagara Region, work with the Association for Retarded Children, Co-ordinated Community Services for Youth, and Student Direction and Co-ordination of the Program.

Sport Commitment in Wheelchair Basketball: An Interpretive Look into the Lives of Individuals with Physical Disabilities

It is estimated that over 4.4 million people are living in Canada with a reported disability. Due to a number of risk factors associated with potential health concerns and sedentary lifestyles, it is important for people with physical disabilities to lead an active lifestyle. Recreation and leisure pursuits are a great outlet for this to take place. However, in order to gain the long terms benefits of these pursuits one must be committed to an activity. With the use of a collaborative interview method, with the Sport Commitment Model serving as the guiding framework, this study sought to find the underlying factors for continued participation for people with physical disabilities in wheelchair basketball. Through utilizing an interpretive approach it was found that enjoyment, social support, perceived ability and to some extent involvement opportunities, were the main contributors to overall commitment. Criticisms and suggestions for future research are also provided.

Utilizing a Phenomenological Approach to Examine the Experience of Sexuality for Women Concerned about Urinary Incontinence following Spinal Cord Injury

Sexuality after spinal cord injury (SCI) is a complex issue that is influenced by a number of social, psychological and physiological factors, one of which is urinary incontinence (UI). Using a phenomenological approach, seven mixed methods interviews combining both the interview guide and standardized open-ended approaches were conducted to examine the experience of sexuality for women who are concerned about UI following SCI. Sexual function was one of the top priorities for the women after SCI, and UI was one of the main concerns the women had regarding sexuality. The findings of this study demonstrate that various dimensions of intimacy and the sexual experience as a whole were affected by UI, and the women discussed both physical and psychological concerns. The main issues regarding sexuality included concerns related to relationships, frustrations with limited sexual activities and the difficulty of being sexually satisfied, the number of unanswered questions and concerns, and a fear of being hurt or injured while participating in sexual activities. The main concerns regarding UI were embarrassment, the work and inconvenience involved with the clean-up of UI, bladder infections, the lack of accessible washrooms, and the negative effects of UI medications. When examining sexuality and UI together, the major issues were the constant comparison to the way things were before SCI, as well as the new concerns that the women did not have to worry about previously, worrying about how their partner would react if UI were to occur during sexual activity, and the impact of their own feelings toward UI on sexuality, a connection between pleasurable sexual sensations and UI as well as difficulty differentiating between the sensation of UI with the sensation of UI, dealing with infected urine during sexual activity, having to discuss UI with a new potential sexual partner, and a fear of rejection. Other identified issues included those related to body image, a lack of resources, Doctors who were inadequately educated regarding SCI, and issues related to both having and raising children. There is a significant shortage of information available for women with SCI to use as a resource regarding sexual function in general, and sexual function as it relates to UI. It is necessary that future work focus on creating resources to assist in this area, and that the dissemination of those resources becomes both appropriate and effective. Addressing sexual function and UI which are among the top concerns for this population has the opportunity to greatly improve quality of life (QOL) for these individuals.

The Future of Physical Education in Higher Education: A Delphi Investigation

Despite the profound and widespread concern for the future of higher education physical education, there has been little systematic study on the topic. This research investigated the future by utilizing a two-round interview Delphi method. Five international experts were asked to project possible, probable, preferable and undesirable futures of the academic discipline in fifteen years time; specifically in regards to issues within the undergraduate degree programs, and the research sub-disciplines. The results of quantitative descriptive statistics and qualitative content analysis reveal an ever-changing higher education environment in the postmodern information age, which presents a complicating future for the academic discipline. The experts expressed concern that some disciplinarians will be a-futuristic and unable to operationalize the vast potential of the discipline at the institutional level, by continuing to use outdated and inappropriate frameworks of a modern era gone by.

Improving English as a Second Language (ESL) Pedagogy in One University in Ontario

In this paper, theoretical pedagogical approaches and practical pedagogical approaches are investigated by drawing on English as a Second Language (ESL) teachers’ pedagogical principles and practices, and ESL Chinese students’ second language acquisition and learning needs as they related to improving ESL pedagogy in one university ELP in Ontario. Three experienced ESL teachers were inquired by interviews and 30 ESL Chinese students were surveyed by questionnaires. Based on the mix-method exploratory research design, communicative, task-based, and content-based language teaching approaches are identified and discussed in the light of the interview and questionnaire data.

Riffing on a Theme: Faculty Experiences With Service-Learning in a Food Security Research Network in Ontario

While service-learning is often said to be beneficial for all those involved—students, community members, higher education institutions, and faculty members—there are relatively few studies of the attraction to, and effect of, service-learning on faculty members. Existing studies have tended to use a survey design, and to be based in the United States. There is a lack of information on faculty experiences with service-learning in Ontario or Canada. This qualitative case study of faculty experiences with service-learning was framed through an Appreciative Inquiry social constructionist approach. The data were drawn from interviews with 18 faculty members who belong to a Food Security Research Network (FSRN) at a university in northern Ontario, reports submitted by the network, and personal observation of a selection of network-related events. This dissertation study revealed how involvement with service-learning created opportunities for faculty learning and growth. The focus on food security and a commitment to the sustainability of local food production was found to be an ongoing attraction to service-learning and a means to engage in and integrate research and teaching on matters of personal and professional importance to these faculty members. The dissertation concludes with a discussion of the FSRN’s model and the perceived value of a themed, transdisciplinary approach to service-learning. This study highlights promising practices for involving faculty in service-learning and, in keeping with an Appreciative Inquiry approach, depicts a view of faculty work at its best.

Part Time University Teaching in Ontario: A Self-Study

This qualitative self-study explored the disappointment I felt as a part-time university teacher in a mid-sized, primarily undergraduate Ontario university, where I experienced difficulty integrating my beliefs about teaching into my practice of teaching. The purpose of this qualitative study was to inquire into why it was difficult for me, representative of a part-time university teacher in a mid-sized, primarily undergraduate university, to enact the critical pedagogical practices I espoused in my teaching philosophy. The secondary purpose was to apply the findings of the study to reframe my university teaching practice in a way that met my need to enact my beliefs about university teaching while complying with the broader geo-political conditions of part-time university teaching in Ontario (Loughran, 2006; Russell & Loughran, 2007). This study is grounded in the sociological theoretical framework of critical pedagogy (Freire, 1970; Giroux, 1988, 2010; McLaren, 2003) and the methodological framework of The Self-Study of Teacher Education Practices (S-STEP). This study combined the methods of Brookfield’s (1995; 2002) critically reflective practice and Cole and Knowles (2000) practice of reflexive inquiry with Creswell’s (2005) methods of thematic analysis to answer the research question: Why is it difficult for me to enact my beliefs about university teaching as a part-time teacher in an Ontario university? Findings suggest the geo-political contexts of part-time university teaching work can impact a teacher’s ability to enact his/her beliefs about teaching within his/her practice of teaching.

Imagery, Technology, and Remote Adult Aboriginal Teacher Candidates: A Brock University Pilot Project

The aim of this thesis is to explore the relationship between imagery, technology, and remote adult Aboriginal teacher candidates through the computer software Elluminate Live. It focuses on the implications that the role imagery plays in third generation distance education with these learners and the new media associated therein. The thesis honours the Medicine Wheel teachings and is presented within this cyclical framework that reflects Indigenous philosophies and belief systems. In accordance, Sharing Circle as methodology is used to keep the research culturally grounded, and tenets of narrative inquiry further support the study. Results indicate there are strong connections to curricula enhanced with imagery—most notably a spiritual connection. Findings also reveal that identity associated to geographical location is significant, as are supportive networks. Third generation distance education, such as Elluminate Live, needs to be addressed before Aboriginal communities open the doors to all it encompasses, and although previous literature peers into various elements, this study delves into why the graphical interface resonates with members of these communities. Of utmost importance is the insight this thesis lends to the pedagogy that may possibly evoke a transformative learning process contributing to the success rate of Aboriginal learners and benefit Aboriginal communities as a whole.

A research capacity strengthening project for infectious diseases in Honduras: experience and lessons learned

Background: In Honduras, research capacity strengthening (RCS) has not received sufficient attention, but an increase in research competencies would enable local scientists to advance knowledge and contribute to national priorities, including the Millennium Development Goals (MDGs). Objective: This project aimed at strengthening research capacity in infectious diseases in Honduras, focusing on the School of Microbiology of the National Autonomous University of Honduras (UNAH). The primary objective was the creation of a research-based graduate program for the continued training of researchers. Parallel objectives included institutional strengthening and the facilitation of partnerships and networks. Methods: Based on a multi-stakeholder consultation, an RCS workplan was designed and undertaken from 2007 to 2012. Due to unexpected adverse circumstances, the first 2 years were heavily dedicated to implementing the project's flagship, an MSc program in infectious and zoonotic diseases (MEIZ). In addition, infrastructure improvements and demand-driven continuing education opportunities were facilitated; biosafety and research ethics knowledge and practices were enhanced, and networks fostering collaborative work were created or expanded. Results: The project coincided with the peak of UNAH's radical administrative reform and an unprecedented constitutional crisis. Challenges notwithstanding, in September 2009, MEIZ admitted the first cohort of students, all of whom undertook MDG-related projects graduating successfully by 2012. Importantly, MEIZ has been helpful in expanding the School of Microbiology's traditional etiology-based, disciplinary model to infectious disease teaching and research. By fulfilling its objectives, the project contributed to a stronger research culture upholding safety and ethical values at the university. Conclusions: The resources and strategic vision afforded by the project enhanced UNAH's overall research capacity and its potential contribution to the MDGs. Furthermore, increased research activity and the ensuing improvement in performance indicators at the prime Honduran research institution invoke the need for a national research system in Honduras.

Power, Contextual Intelligence and Leadership: Research Approaches for Understanding Participatory Community Climate Change Adaptation

Analysis of power in natural resources management is important as multiple stakeholders interact within complex, social-ecological systems. As a sub-set of these interactions, community climate change adaptation is increasingly using participatory processes to address issues of local concern. While some attention has been paid to power relations in this respect, e.g. evaluating international climate regimes or assessing vulnerability as part of integrated impact assessments, little attention has been paid to how a structured assessment of power could facilitate real adaptation and increase the potential for successful participatory processes. This paper surveys how the concept of power is currently being applied in natural resources management and links these ideas to agency and leadership for climate change adaptation. By exploring behavioural research on destructive leadership, a model is developed for informing participatory climate change adaptation. The working paper then concludes with a discussion of developing research questions in two specific areas - examining barriers to adaptation and mapping the evolution of specific participatory processes for climate change adaptation.

A Masters Student’s Journey: Trying to Balance Two Eyes of Research

This project is about a reflective research journey taken by a Masters student in the Child and Youth Studies Department at Brock University in St. Catharines Ontario. This journey consisted of a mixed method approach using the qualitative method of autoethnography along with the Indigenous research method of storytelling. The research was done using the concept of two-eyed seeing which consisted of trying to balance the two eyes of research: Indigenous and Western. The Non-Aboriginal researcher not only reflected on her own learning journey but also the lessons she learned from the voices of 48 women from Six Nations of the Grand River Territory. Like the trickster character Coyote, the researcher struggled, stumbled and was transformed by this journey.

The Cool Climate, Oenology and Viticulture Institute at Brock University

A program from Brock University which includes an overview of the plan for CCOVI, a list of the courses for each year of the undergraduate program, notes from the advisory committee, budget information, industry funding requests, and a five year financial chart for spending. The program includes photographs of individuals involved with CCOVI, including two photographs featuring Donald Ziraldo. A direct quote from Mr. Ziraldo is also included: "Education and research will build on each other when they come together in the Institute. The 'cool climate' focus will be unique and attract people world-wide".

Alloparental care in a solitary bee

Research into the evolutionary origins of sociality in insect colonies is changing emphasis from understanding how eusociality is maintained to how insects transition from solitary to social lifestyles. The pygmy carpenter bees (Ceratina spp.) offer an excellent model for investigating such factors as they have been historically thought of as solitary but have recently been shown to be socially polymorphic, which may indicate that they are currently in a transitive phase. By utilizing behavioural observation and experimental removal protocols, I show that extended parental care, as well as sibling care in Ceratina calcarata plays an important role in offspring development. I found, upon removal of the mother, that specifically produced ‘dwarf’ female offspring take over parental care roles in the nest. The existence of alloparental care and generational overlap suggests that although they are classified as solitary bees, C. calcarata possess the prerequisite behavioural repertoire for sociality.

The Values of Community Curling: A Case Study

This qualitative case study research shows that within the realm of curling, the professionalization of the sport, at the national level, has limited to no effect on the core values of respect, belonging, and giving back that the grassroots level of curling identify as important. Through an interview process with twelve community level curlers, from four separate clubs within the Niagara region, data were collected and analyzed using traditional coding techniques. Utilizing institutional theory, the research shows a growing gap between the national level of curling and the grassroots level. Data also shows that value alterations, at the community level, are based on the changing Canadian environment in regards to legislation (smoking and drinking laws) and social behaviours (the busier Canadian lifestyle) rather than changes at the national level. These findings have a profound effect on how sports are administered in the Canadian sport system