UWSpace

UWSpace is the University of Waterloo’s institutional repository for the free, secure, and long-term home of research produced by faculty, students, and staff.

Depositing Theses/Dissertations or Research to UWSpace

Are you a Graduate Student depositing your thesis to UWSpace? See our Thesis Deposit Help and UWSpace Thesis FAQ pages to learn more.

Are you a Faculty or Staff member depositing research to UWSpace? See our Waterloo Research Deposit Help and Self-Archiving pages to learn more.

Photo by Waterloo staff

Recent Submissions

  • Item type: Item ,
    Cultural ecosystem services and sense of place: post-rehabilitation assessment of Wadi Hanifah’s performance from a socio-cultural lens
    (Taylor & Francis Ltd., 2025-12-24) Kashmiri, Shahad; Khirfan, Luna
    This paper evaluates the socio-cultural performance of urban ecological rehabilitation through the lens of cultural ecosystem services (CES) and sense of place. Accordingly, it introduces a dynamic, context-sensitive evaluative framework that integrates place image, identity, and attachment as key performance indicators. The framework is applied to the rehabilitation of Wadi Hanifah in Riyadh, Saudi Arabia, using a mixed-methods approach that combines document reviews, online surveys, and semi-structured interviews to assess shifts in the Wadi’s meaning and use post-rehabilitation. Findings reveal a transformation in the Wadi’s place image – from associations with degradation and utilitarian function to one centered on recreation and heritage. The results underscore how ecological rehabilitation can foster socio-cultural value and strengthen collective identity. The proposed framework not only supports future evaluations of Wadi Hanifah but also offers a transferable model for assessing similar projects elsewhere, advancing more holistic understandings of the interplay between ecosystems and human experience.
  • Item type: Item ,
    NAVIGATING SETTLEMENT AND WELL-BEING: EXPERIENCES OF NEWCOMER WEST AFRICAN IMMIGRANTS IN ONTARIO
    (University of Waterloo, 2026-02-04) Oko-Oboh, Ehinomen
    Background: Canada has become a popular destination for immigrants, with a significant proportion arriving through economic immigration pathways. Despite the growing population, African economic immigrants remain understudied and are often grouped with other immigrant subgroups whose experiences may differ significantly from theirs. Although many arrive with strong educational and professional qualifications, African newcomers frequently encounter structural barriers and cultural transitions that shape their well-being, settlement experiences, and help-seeking behaviours. Understanding these experiences is important in improving culturally centered support. Objective: This study examined how settlement stressors, cultural perspectives, and changes in sociocultural realities shape West African economic immigrants’ settlement experiences, understanding of well-being, and their engagement with support services in Ontario. Methodology: This study employed a qualitative research design using semi-structured, in-depth interviews with nine West African economic immigrants who had lived in Ontario for between nine months and four years. Data were analyzed sequentially using Braun and Clarke’s six-step thematic analysis. Interpretation was conducted inductively and informed by Ager and Strang’s Integration Framework and Berry’s Acculturative Stress Theory. Results: Inductive coding identified six themes that captured the participants’ settlement journeys, identity negotiations, and well-being experiences. These themes were organized into three overarching domains: (1) Starting Over, which described participants’ lives before immigrating, emotional transitions, and early settlement stressors; (2) Identity and Systems Navigation, which highlighted cultural adjustments, racialization, experiences of ‘sudden’ Blackness, employment barriers, and housing challenges; and (3) Resilience and Well-being, which reflected key coping strategies, including faith, community support, and cultural maintenance. Conclusion: The findings highlighted that well-being among West African economic immigrants is multidimensional and shaped by the interaction of cultural identity, settlement challenges, racialization, and structural inequities. Overall, greater attention is needed to center the experiences of economic immigrants to develop meaningful and culturally responsive approaches to settlement support and integration.
  • Item type: Item ,
    Parent Anxiety and Child Psychopathology: A Longitudinal Study of Children with Physical Illness
    (University of Waterloo, 2026-02-03) Elgie, Melissa
    Estimates suggest that one in four children live with a chronic physical illness (CPI), such as arthritis, asthma, and diabetes. Children with CPI are vulnerable to developing psychopathology, known as multimorbidity. Approximately 40% of children with CPI experience multimorbidity, which is associated with lower self-esteem, poorer health-related quality of life, and a greater risk of substance use and suicidality. These negative outcomes may be a consequence of the substantial illness-related stress and uncertainty experienced by children with CPI and their families. To mitigate the compounding effects of child multimorbidity, it is essential to prioritize the health of these children by providing comprehensive, evidence-based healthcare services. However, doing so requires a deeper understanding of child multimorbidity, particularly in the family context. Beyond the affected child, parents of these children are likely to experience greater anxiety, resulting from managing CPI-related practical and emotional strains. This added stress and anxiety experienced by caregiving parents is posited to strengthen the association between parent and child mental health. Indeed, parent psychopathology has been identified as a key determinant of child multimorbidity; thus, efforts to improve the mental health of parents, in addition to the child, are paramount. Although there is consensus in the literature regarding the risk of children with CPI to developing multimorbidity, several knowledge gaps remain. Studies on child multimorbidity are predominantly illness specific, cross-sectional, and have short follow-up periods. Moreover, few studies have examined anxiety trajectories among parents of children with CPI, and the intersection between parent anxiety and child psychopathology. Although a handful of studies in non-clinical samples have explored associations between parent anxiety and child psychopathology, this knowledge is unlikely to generalize to the unique circumstances of childhood CPI. Accordingly, the aim of this dissertation was to obtain a more robust understanding of child multimorbidity, parent anxiety, and the complex association between parent anxiety and child psychopathology in this population. Opportunities to improve child and parent mental health via tailored, integrated, and family-centered approaches are emphasised. This dissertation is comprised of three distinct longitudinal studies which examined the onset of child multimorbidity, trajectories of parent anxiety, and the association between parent anxiety and psychopathology among children with CPI. Specific objectives were to: 1) evaluate child multimorbidity onset; 2) identify multimorbidity risk factors; 3) delineate trajectories of parent anxiety; 4) identify predictors of parent anxiety trajectories; 5) quantify the association between parent anxiety and child psychopathology; and 6) assess parenting stress and family functioning as moderators of this association. Data for this dissertation come from the Multimorbidity in Children and Youth across the Life-course (MY LIFE) study, a prospective cohort study of 263 children with CPI and their parents, who were followed for 48 months. The first study utilized survival analysis to determine that over the 48-month follow-up, 64% of children experienced multimorbidity (i.e., internalizing or externalizing psychopathology). Internalizing psychopathology was associated with greater child disability, older child age, and younger parent age, while the emergence of externalizing psychopathology was associated with male child sex and greater parent psychopathology symptoms. These findings suggest that a large proportion of children with CPI will develop multimorbidity and illustrates that multimorbidity onset is nuanced. Specifically, internalizing and externalizing psychopathologies were associated with distinct profiles of children. Findings highlight the importance of integrated physical and mental healthcare services to support the mental health of children with CPI. The second study examined the 48-month trajectories and predictors of parent anxiety symptoms using latent class growth modelling. Four trajectories of parent anxiety were identified: minimal, mild, moderate, and high. Approximately 40% of parents had persistent, moderate or high anxiety. Risk factors for less favourable anxiety trajectories were greater depression symptoms, higher educational attainment, having a female child, and having a child with multimorbidity. Results suggested that parents of children with CPI are at-risk of persistent anxiety, and parent- and child-related variables were associated with poorer anxiety trajectories. Because parents are responsible for the care of their children, promoting parental mental health is essential to ensure their well-being and that of their children. These findings garner support for greater refinement of pediatric healthcare services to be more family-centered and include strategies to promote the mental health of parents caring for children with CPI. The third study used linear mixed-effects modelling to examine associations between parent anxiety and child psychopathology. Results indicated that greater parenting anxiety was associated with greater child internalizing and externalizing symptoms over 48-months. Product-term interactions suggested that parenting stress and family functioning moderated the association between parent anxiety and child internalizing symptoms, while only family functioning moderated the association with externalizing symptoms. Results demonstrate the link between parent anxiety and child multimorbidity, and underscore the importance of evaluating parent anxiety, stress, and family functioning to support child mental health. These findings illustrate that to effectively manage the health of children with CPI, implementing evidence-based healthcare services which are family-centered must be prioritized. Knowledge from this dissertation addresses critical gaps in the understanding of child CPI, including multimorbidity onset, parent anxiety, and the association between parent anxiety and child psychopathology over time. Findings from this research reinforce that children with CPI and their parents face ongoing risk of psychopathology. Moreover, parent anxiety is associated with child multimorbidity, and family environmental factors likely influence this association. This research highlights five salient opportunities to refine pediatric healthcare: 1) early and routine mental health surveillance among children with CPI; 2) integrated physical and mental health services; 3) prioritizing family-centered care strategies; 4) targeted screening and interventions for at-risk subpopulations of children and parents; and 5) evidence-based interventions tailored to the unique experiences of children with CPI. Additional longitudinal studies are needed to explicate causal mechanisms which underpin the association between parent anxiety and child psychopathology, particularly among these vulnerable families. Providing comprehensive and integrated healthcare will help to reduce the incidence of multimorbidity and ensure the best possible outcomes for children with CPI and their parents.
  • Item type: Item ,
    Portus: Linking Alloy with SMT-based Finite Model Finding
    (IEEE, 2025-11-25) Dancy, Ryan; Day, Nancy A.; Zila, Owen; Tariq, Khadija; Poremba, Joseph
    Alloy is a well-known, formal, declarative language for modelling systems early in the software development process. Currently, it uses the Kodkod library as a back-end for finite model finding. Kodkod translates the model to a SAT problem; however, this method can often handle only problems of fairly low-size sets and is inherently finite. We present Portus, a method for translating Alloy into an equivalent many-sorted first-order logic problem (MSFOL). Once in MSFOL, the problem can be evaluated by an SMT-based finite model finding method implemented in the Fortress library, creating an alternative back-end for the Alloy Analyzer. Fortress converts the MSFOL finite model finding problem into the logic of uninterpreted functions with equality (EUF), a decidable fragment of first-order logic that is well-supported in many SMT solvers. We compare the performance of Portus with Kodkod on a corpus of 63 Alloy models written by experts. Our method is fully integrated into the Alloy Analyzer.
  • Item type: Item ,
    Real-Time Speed of Sound Estimation for Point-of-Care Tissue Health Assessment.
    (University of Waterloo, 2026-02-02) De la Torre Sanchez, Pat
    Speed-of-Sound (SoS) is a fundamental acoustic property that emerging Ultrasound (US) modalities aim to leverage for tissue health assessment and image quality improvement. Tissue SoS has been tied to tumor malignancy classification, muscle health assessment, steatotic liver classification and bone porosity measurement among other. Consequently, leveraging the tissue SoS for more accurate beamforming, not only enables higher resolution imaging, leading to more accurate cyst classification, but also correct for heavy skull aberration and defocusing during High Intensity Focused Ultrasound. Directly measuring the tissue SoS requires multi-site access, thus limiting such methods to the breast and some limbs. Current Pulse-echo SoS estimation algorithms demand high computation time or provide a single global SoS value, either constraining real-time assessment or decreasing accuracy. In this dissertation, I developed: 1) A single-shot SoS estimation algorithm that estimates the global SoS of the media by leveraging the signal consistency across channels from a single transmitting event. 2) Multiple localized SoS estimators that leverage image dissimilarity from multiple transmission events to provide the user with the SoS of the segmented regions in the image, either in stratified media, or arbitrary configurations. By developing custom image formation, segmentation, raytracing and wavefront tracking frameworks, optimal transmission schemes, and GPU acceleration on a portable, research scanner, I’m able to provide robust, accurate, SoS estimation platforms that have been thoroughly validated in vitro, ex vivo and in vivo. This dissertation research aims to bridge the gap between SoS research and other US modalities that can benefit from the SoS information, as well as the gap between the low-level-research side that develops methods for robust US tissue assessment, and the clinical research side that tracks and relates such features to conditions of clinical relevance. With the single-shot algorithm, I provide non-SoS researchers with valuable information to increase the accuracy of their algorithms without the need of long transmitting times or high computational demands, crucial for flow or real time imaging. With the other algorithms, I provide robust avenues for non-invasive tissue health assessment, as well as arming clinicians with access to intrinsic tissue features, that can be used for real time monitoring or for subsequent research that arise from the insights clinicians gain with this novel tool.