Now showing items 1-20 of 35

    • 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 ...
    • 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 ...
    • 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 ...
    • 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.
    • An integrated personnel allocation and machine scheduling problem for industrial size multipurpose plants 

      Santos, Fernando; Fukasawa, Ricardo; Ricardez-Sandoval, Luis (Elsevier, 2018-01-01)
      This paper describes the development and implementation of an optimization model to solve the integrated problem of personnel allocation and machine scheduling for industrial size multipurpose plants. Although each of these ...
    • Interconnections accelerate collapse in a socio-ecological metapopulation 

      Dockstader, Zachary; Bauch, Chris T.; Anand, Madhur (Cold Spring Harbor Laboratory, 2017-09-28)
      Resource over-exploitation can have profound effects on both ecosystems and the human populations residing in them. Models of population growth based on a depletable resources have been studied previously, but relatively ...
    • MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers 

      Scott, Joseph; Niemetz, Aina; Preiner, Mathias; Ganesh, Vijay (2020)
      In this paper, we present MachSMT, an algorithm selection tool for state-of-the-art Satisfiability Modulo Theories (SMT) solvers. MachSMT supports the entirety of the logics within the SMT-LIB initiative. MachSMT uses ...

      UWSpace

      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