Now showing items 1-20 of 42

    • BanditFuzz: Fuzzing SMT Solvers with Reinforcement Learning 

      Scott, Joseph; Mora, Federico; Ganesh, Vijay (2020)
      Satisfiability Modulo Theories (SMT) solvers are fundamental tools in the broad context of software engineering and security research. If SMT solvers are to continue to have an impact, it is imperative we develop efficient ...
    • Benders Decomposition for Profit Maximizing Hub Location Problems with Capacity Allocation 

      Taherkhani, Gita; Alumur, Sibel A.; Hosseini, Seyed Mojtaba (2019-06)
      This paper models capacity allocation decisions within profit maximizing hub location problems to satisfy demand of commodities from different market segments. A strong deterministic formulation of the problem is presented ...
    • Bounds on 10th moments of (x, x^3) for ellipsephic sets 

      Anderson, Theresa C.; Hu, Bingyang; Liu, Yu-Ru; Talmage, Alan (University of Waterloo, 2023)
      Let A be an ellipsephic set which satis es digital restrictions in a given base. Using the method developed by Hughes and Wooley, we bound the number of integer solutions to the system of equations X2 i=1 􀀀 x3i 􀀀 ...
    • Community Surveillance of Omicron in Ontario: Wastewater-based Epidemiology Comes of Age 

      Arts, Eric; Brown, Stephen; Bulir, David; Charles, Trevor C.; DeGroot, Christopher T.; Delatolla, Robert; Desaulniers, Jean-Paul; Edwards, Elizabeth A.; Fuzzen, Meghan; Gilbride, Kimberly; Gilchrist, Jodi; Goodridge, Lawrence; Graber, Tyson E.; Habash, Marc; Jüni, Peter; Kirkwood, Andrea; Knockleby, James; Kyle, Christopher; Landgraff, Chrystal; Mangat, Chand; Manuel, Douglas G.; McKay, R. Michael; Mejia, Edgard; Mloszewska, Aleksandra; Ormeci, Banu; Oswald, Claire; Payne, Sarah Jane; Peng, Hui; Peterson, Shelley; Poon, Art F. Y.; Servos, Mark. R.; Simmons, Denina; Sun, Jianxian; Yang, Minqing; Ybazeta, Gustavo (Research Square, 2022-03-15)
      Wastewater-based surveillance of SARS-CoV-2 RNA has been implemented at building, neighbourhood, and city levels throughout the world. Implementation strategies and analysis methods differ, but they all aim to provide rapid ...
    • Comparison of meibomian gland dropout using two infrared imaging devices 

      Wong, Stephanie; Srinivasan, Sruthi; Murphy, Paul J.; Jones, Lyndon W. (Elsevier, 2018-11-07)
      Purpose To measure the degree of meibomian gland (MG) dropout in the lower eyelid determined by analysis of images obtained from the LipiView II (LVII) and the Keratograph 5M (K5M). Methods The inferior eyelid of each ...
    • A Composite Rigid Double Cantilever Beam Specimen for Assessing the Traction–Separation Response of Mode I Delamination in Composite Laminates 

      Hartlen, Devon; Montesano, John; Cronin, Duane (Springer, 2023-01-16)
      Background Interlaminar delamination is a common damage mechanism in composite laminates that can lead to structural failure. Assessment using contemporary numerical modeling techniques requires delamination behavior as ...
    • Convergence of socio-ecological dynamics in disparate ecological systems under strong coupling to human social systems 

      Sigdel, Ram P.; Anand, Madhur; Bauch, Chris T. (2018-04-06)
      It is widely recognized that coupled socio-ecological dynamics can be qualitatively different from the dynamics of social or ecological systems in isolation from one another. The influence of the type of ecological dynamics ...
    • Distance, Gaze and the Intimacy Equilibrium Model in Audio/Video-Mediated and Face-to-Face Dyads 

      Guild, Paul D. (University of Waterloo, 2023-10)
      This experiment, from 1976 but until now unpublished, focused on the Argyle-Dean Intimacy Equilibrium Model, to consider gaze and social distance in face-to-face and audio/video-mediated dyads. It was found that, during ...
    • Does AI Remember? Neural Networks and the Right to be Forgotten 

      Graves, Laura; Nagisetty, Vineel; Ganesh, Vijay (2020-04-14)
      The Right to be Forgotten is part of the recently enacted General Data Protection Regulation law that affects any data holder that has data on European Union residents. It gives EU residents the ability to request deletion ...
    • Dwelling as Method: Lingering in/with Feminist Curated Data Sets on Instagram 

      Wiens, Brianna I.; MacDonald, Shana (DIGSUM, 2024)
      This article proposes and delineates “digital dwelling” as one method of grappling with a central methodological challenge that we, as feminist researchers, face of how researchers might account for the multiple entanglements ...
    • The Effects of Personal Religiosity and Spirituality on Informal Caregiving Activities 

      Wilkins-Laflamme, Sarah (2018-09-07)
      With data from the 2012 Canadian General Social Survey on Caregiving and Care Receiving, this study measures how religion and spirituality impact a respondent’s informal caregiving activities. Building on existing psychology ...
    • Efficient electrochemical model for lithium-ion cells 

      Afshar, Sepideh; Morris, Kirsten; Khajepour, Amir (2017-09-12)
      Lithium-ion batteries are used to store energy in electric vehicles. Physical models based on electro-chemistry accurately predict the cell dynamics, in particular the state of charge. However, these models are nonlinear ...
    • Emergence and Spread of the SARS-CoV-2 Omicron Variant in Alberta Communities Revealed by Wastewater Monitoring 

      Hubert, Casey R. J.; Acosta, Nicole; Waddell, Barbara J.; Hasing, Maria E.; Qiu, Yuanyuan; Fuzzen, Meghan; Harper, Nathanael B. J.; Bautista, María A.; Gao, Tiejun; Papparis, Chloe; Doorn, Jean V.; Du, Kristine; Xiang, Kevin; Chan, Leslie; Vivas, Laura; Pradhan, Puja; McCalder, Janine; Low, Kashtin; England, Whitney E.; Kuzma, Darina; Conly, John; Ryan, M. Cathryn; Achari, Gopal; Hu, Jia; Cabaj, Jason L.; Sikora, Chris; Svenson, Larry; Zelyas, Nathan; Servos, Mark. R.; Meddings, Jon; Hrudey, Steve E.; Frankowski, Kevin; Parkins, Michael D.; Pang, Xiaoli; Lee, Bonita E. (medRxiv, 2022-10-03)
      Wastewater monitoring of SARS-CoV-2 allows for early detection and monitoring of COVID-19 burden in communities and can track specific variants of concern. Targeted assays enabled relative proportions of SARS-CoV-2 Omicron ...
    • Equidistribution of Polynomial Sequences in Function Fields, with Applications 

      Hoang Le, Thai; Liu, Yu-Ru; Wooley, Trevor D. (University of Waterloo, 2023)
      We provide a function field analog of Weyl's classical theorem on equidistribution of polynomial sequences. Our result covers the case in which the degree of the polynomial is greater than or equal to the characteristic ...
    • Estimating the COVID-19 R number: a bargain with the devil? 

      Bauch, Chris T. (Elsevier, 2020-10-22)
      The basic reproduction number R0 is the average number of infections produced by a single infectious person in a population with no immunity. R0 has a close relative named the effective reproduction number R: the average ...
    • Exploring Older Adult Mental Health Considerations in the Context of the COVID-19 Pandemic: A Framework Approach 

      Kalles, Elizabeth; Giosa, Justine; McAiney, Carrie; Perlman, Chris (University of Waterloo, 2024-03-08)
      Older adult mental health is a priority in Canada, especially with the deleterious effects of COVID-19. However, there is a gap in knowledge about the mental health-related considerations and concerns that are important ...
    • From Waste to Wealth: Policies to Promote the Circular Economy 

      Chevanaz, Regis Y.; Dimitrov, Stanko (Elsevier, 2024-03-01)
      The policy article addresses the urgent need for comprehensive policy framework to advance the circular economy, a crucial strategy in mitigating the global waste and pollution crisis. It seeks to bridge the research gap ...
    • Gamification and Gaming in Cryptocurrency Education: A Survey with Cryptocurrency Investors and Potential Investors 

      Hadan, Hilda; Zhang-Kennedy, Leah; Nacke, Lennart; Mäkelä, Ville (Sage, 2024-01-22)
      Introduction: In recent years, cryptocurrency has increasingly sparked interest among investors. Many people have invested in this field without adequate knowledge. Existing research has shown that using game design elements ...
    • A Holistic Approach to Achieving SDGs: A Case Study of Dayalbagh, India 

      Dua, Pami; Narayan, Apurva; Allamraju, Ashita; Dhir, Arsh (NA, 2023-02-21)
      The paper analyses the achievement of SDGs at the global level, national level (India) and regional levels (Dayalbagh, Agra) using the SDG Index and finds that the progress towards achieving the SDGs has either slowed, ...
    • How I wasted too long finding a concentration inequality for sums of geometric variables 

      Brown, Daniel G. (2011)
      I wanted a concentration inequality for sums of iid geometric random variables. This took way too long.


      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages