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.

Integrating Children with Emotional and Behavioural Disabilities into Community Recreation Programs: A Handbook for Staff

This study examined the process of integrating children with Emotional Behavioural Disorders (EBDs) with their peers into recreation programs. The purpose was to develop a set of recommendations for the development of a handbook to help workers in recreation with the integration process. To this end, a needs assessment was conducted with experienced recreation workers in the form of semistructured interviews. Participants were recruited from two community centers in a large southern Ontario city. Themes were drawn from the analysis of the interview transcripts and combined with findings from the research literature. The results were a set of recommendations on the content and format of a handbook for integrating children with EBDs into recreation programs.

Using Network Analysis to Understand and Advance Falls Prevention Services and Programs

The purpose of this study was to understand referral linkages that exist among falls prevention agencies in a southern Ontario region using network analysis theory. This was a single case study which included fifteen individual interviews. The data was analyzed through the constant comparative approach. Ten themes emerged and are classified into internal and external factors. Themes associated with internal factors are: 1) health professionals initiating services; 2) communication strategies; 3) formal partnerships; 4) trust; 5) program awareness; and 6) referral policies. Themes associated with external factors are: 1) client characteristics; 2) primary and community care collaboration; 3) networking; and 4) funding. Recommendations to improve the referral pathway are: 1) electronic database; 2) electronic referral forms; 3) educating office staff; and 4) education days. This study outlined the benefit of using network analysis to understand referral pathways and the importance of implementing strategies that will improve falls prevention referral pathways.

A Quantitative and Qualitative Inquiry Into Positive Involvement Trends of Contemporary Fathers and Influence of Parenting Programs

Parent education programs offered by a variety of public health services are effective support and knowledge resources that enhance positive parenting competencies in early childhood and adolescence. However, parenting education programs are less effective and encompass fewer benefits for fathers in comparison to mothers. This study sought to investigate trends of paternal involvement in early childhood and to compare the influence of parenting education programs on paternal involvement and conceptualization of fathers. A sample of 52 fathers, between the ages of 19 to 54, with children 6 years old and younger completed an electronic or hard copy version of a survey questionnaire reporting on their fathering and experiences as a dad. Findings indicate the sample of Canadian fathers self-reported high levels of paternal involvement, including many who favoured play-based interactions with their children. Although no significant difference in levels of involvement was noted between fathers who had versus those who had not previously participated in a parenting education program, half of the Canadian fathers indicated that supports are needed to strengthen their role as fathers. Results suggest that future initiatives to strengthen parent education program services available in Canada should specifically consider the father’s role.

Toward Peace - Spring Concert St. Catharines Public Schools Programme, 1945

A spring concert programme by the St. Catharines Public Schools on May 4, 1945. The concert is titled "Toward Peace" and features the students of the following schools: Alexandra, Cavell, Central, Connaught, Memorial, Robertson, Victoria, Court St., Prince of Wales, St. Andrew's Ward, Glen Ridge, St. Paul's Ward, Queen Elizabeth.

Religious Diversity and Teacher Education: Experiences and Perspectives of Muslim Women as Teacher Candidates in Pre-service Programs

This qualitative research project explores the insights of Muslim women as teacher candidates completing pre-service programs in Ontario. Ontario schools cater to students from many ethnic, cultural and religious groups, including a sizable Muslim population. Muslims make up 4.6% of Ontario’s population with the highest concentration of Muslims in the GTA (Statistics Canada, 2011). The Muslim population in Ontario is of a significant enough number that, in a post 9/11 world, it has prompted discussion of how to integrate Muslim populations in Canada. In this research, I explore how Islamophobic sentiment is experienced in Ontario-based teacher education programs. I use Critical Race Theory (CRT) and Critical Race Feminism (CRF) to analyse and deconstruct experiences of female Muslim teacher candidates in pre-service programs. I discuss how Muslims are a racialized group that experience racism as discussed by critical race literature; however, there is a marked difference between how Muslim men and women experience gendered Islamophobia. By using in-depth research-based interviews, I explore how Muslim women perceived diversity, education, accommodations and Islamophobia in pre-service programs. This study adds to the current literature on critical race theory and anti-racist practices in education. Furthermore, this study adds to the voice of Muslim women in the discussion of diversity and inclusivity in educational institutions.

Invitation: Gala Concert in honour of Her Majesty Queen Elizabeth and His Royal Highness the Duke of Edinburgh

An invitation from The Right Honourable Pierre Elliott Trudeau for a gala concert in the Opera of the National Arts Centre in honour of Her Majesty Queen Elizabeth and His Royal Highness the Duke of Edinburgh.

An Exploration of the Impact of Ontario Integrated Secondary Programs Through the Perceptions of their Graduates

The purpose of this study was to investigate the impact of participating in an integrated program at the secondary level on students’ lives based on their postsecondary perceptions. A basic interpretive qualitative design was employed in this study. Ten semistructured interviews were conducted with graduates of integrated program as the means of data collection. It was found that the integrated programs accomplished objectives in close alignment with the mandated curriculum expectations regarding integrated programs. Some of the most powerful impacts related to students' learning skills, such as collaboration and social skills, and how to create as well as participate in community. A strong connection between participating in integrated programs and vocational guidance was also identified. The results led to the recommendation that integrated programs be explored as a platform for delivering 21st century education as they closely paralleled the objectives prescribed by a number of authors who detailed the role of education in the 21st century.

« Autour de la musique narrative » ; « Les musiques de concert, de ballet et de film»

La version intégrale de ce mémoire est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (www.bib.umontreal.ca/MU).

Compliance measurement-guided medication management programs in hypertension : a systematic review

Objectif principal: Il n’est pas démontré que les interventions visant à maîtriser voire modérer la médicamentation de patients atteints d’hypertension peuvent améliorer leur gestion de la maladie. Cette revue systématique propose d’évaluer les programmes de gestion contrôlée de la médicamentation pour l’hypertension, en s’appuyant sur la mesure de l’observance des traitements par les patients (CMGM). Design: Revue systématique. Sources de données: MEDLINE, EMBASE, CENTRAL, résumés de conférences internationales sur l’hypertension et bibliographies des articles pertinents. Méthodes: Des essais contrôlés randomisés (ECR) et des études observationnelles (EO) ont été évalués par 2 réviseurs indépendants. L’évaluation de la qualité (de ce matériel) a été réalisée avec l’aide de l’outil de Cochrane de mesure du risque de biais, et a été estimée selon une échelle à quatre niveaux de qualité Une synthèse narrative des données a été effectuée en raison de l'hétérogénéité importante des études. Résultats: 13 études (8 ECR, 5 EO) de 2150 patients hypertendus ont été prises en compte. Parmi elles, 5 études de CMGM avec l’utilisation de dispositifs électroniques comme seule intervention ont relevé une diminution de la tension artérielle (TA), qui pourrait cependant être expliquée par les biais de mesure. L’amélioration à court terme de la TA sous CMGM dans les interventions complexes a été révélée dans 4 études à qualité faible ou modérée. Dans 4 autres études sur les soins intégrés de qualité supérieure, il n'a pas été possible de distinguer l'impact de la composante CMGM, celle-ci pouvant être compromise par des traitements médicamenteux. L’ensemble des études semble par ailleurs montrer qu’un feed-back régulier au médecin traitant peut être un élément essentiel d’efficacité des traitements CMGM, et peut être facilement assuré par une infirmière ou un pharmacien, grâce à des outils de communication appropriés. Conclusions: Aucune preuve convaincante de l'efficacité des traitements CMGM comme technologie de la santé n’a été établie en raison de designs non-optimaux des études identifiées et des ualités méthodologiques insatisfaisantes de celles-ci. Les recherches futures devraient : suivre les normes de qualité approuvées et les recommandations cliniques actuelles pour le traitement de l'hypertension, inclure des groupes spécifiques de patients avec des problèmes d’attachement aux traitements, et considérer les résultats cliniques et économiques de l'organisation de soins ainsi que les observations rapportées par les patients.

Follow-up of three large community-based programs to reduce anaemia among children 24-59 months in Ghana, Malawi and Tanzania

L'anémie de l'enfant reste un problème d'importance pour la santé mondiale, malgré les décennies de recherche visant à comprendre son étiologie et à développer des interventions efficaces pour réduire sa prévalence et ses conséquences. Bien que les facteurs de risque individuels de l'anémie soient connus, y compris les facteurs liés à la malnutrition et à la morbidité, l'interaction entre lesdits facteurs est moins documentée dans des contextes où les enfants sont fréquemment exposés à plusieurs facteurs en même temps. Cette étude vise à documenter les efforts de lutte contre l'anémie du programme MICAH qui a été mis en oeuvre au Ghana, au Malawi et en Tanzanie. Ensuite, en utilisant les données relatives à la fois au processus et à l'évaluation colligées au cours du programme, elle vise à mieux comprendre les facteurs de risque d'anémie chez les jeunes enfants dans ces contextes et à comprendre comment les relations entre ces facteurs peuvent avoir changé au fil du temps lors de l'intervention. Spécifiquement, cette étude vérifie s‘il y a des preuves d'une réduction de la vulnérabilité des enfants aux facteurs de risque associés à l'anémie dans chaque contexte. Un examen de la documentation a été réalisé afin de caractériser le contexte du programme et des interventions, leur l'intensité et étendue. Les données transversales sur la nutrition et l'état de santé des enfants âgés de 24 à 59 mois (N = 2405) obtenues en 2000 et 2004 à partir des enquêtes d'évaluation du programme MICAH au Ghana, au Malawi et en Tanzanie, ont été utilisées pour décrire la prévalence de l'anémie. Les modèles polynomiaux de régression logistique et linéaire ont été utilisés pour estimer les risques d'anémie légère et d'anémie modérée / sévère et les niveaux d‘hémoglobine associés à des groupes de variables. Les estimations du risque attribuable à une population (RAP) ont aussi été calculées. Une anémie (Hb <110 g/L) a touché au moins 60% des enfants dans les trois pays; l'anémie modérée / sévère (<100 g/L) constituait la majorité des cas. Une forte diminution de l'anémie a été observée entre 2000 et 2004 au Ghana, mais seulement une légère baisse au Malawi et en Tanzanie. Le risque d'anémie modérée / sévère était associé au retard de croissance chez les enfants du Ghana (OR 2,68, IC 95% 1,70-4,23) et du Malawi (OR 1,71; 1,29-2,27) mais pas de la Tanzanie (OR 1,29; 0,87- 1,92). Le paludisme et les maladies récentes étaient associées à une hémoglobine plus basse. Une atténuation de cette association en 2004 a été observée seulement au Malawi pour le paludisme et au Ghana pour les maladies récentes. Le risque d'anémie modérée / sévère était 44% moindre chez les enfants âgés de 48 à 59 mois comparativement aux enfants de 24 à 35 mois dans les trois pays et cela n'a pas changé entre 2000 et 2004. Les RAP estimés ont montré qu‘environ un cinquième des cas d‘anémie modérée à sévère était attribuable au retard de croissance au Ghana et Malawi, mais pas en Tanzanie. Des RAP moindres et dépendants des contextes ont été trouvés pour le paludisme et les maladies récentes. Dans ces zones d‘intervention intégrées de santé et de nutrition la relation de certains facteurs de risque à l'anémie se modifia avec le temps. Le retard de croissance est resté toutefois un facteur de risque indépendant et non mitigé de l'anémie. Une réduction efficace des causes de la malnutrition chronique est nécessaire afin de réduire la vulnérabilité des enfants et de garantir un impact maximum des programmes de lutte contre l'anémie. Une mitigation de l'impact du paludisme peut par contre être visée dans les régions endémiques.

Vers une symbiose de la composition et de l'improvisation dans cinq oeuvres de musique de concert

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

Institutions et création musicale à Montréal de 1966 à 2006 : histoire et orientations artistiques de la Société de musique contemporaine du Québec, des Événements du Neuf, de l'Ensemble contemporain de Montréal et du Nouvel Ensemble moderne

La version intégrale de cette thèse est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l'Université de Montréal (www.bib.umontreal.ca/MU).

L’influence réciproque qu’exerce la pratique conjointe de la composition de musique à l’image et de la composition de musique de concert sur le développement de mon langage musical

La version intégrale de ce mémoire est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (www.bib.umontreal.ca/MU).