Now showing items 1-20 of 28

    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • A Multi-scale model for CO2 capture: A Nickel-based oxygen carrier in Chemical-looping Combustion 

      You, Huabei; Yuan, Yue; Li, Jingde; Sandoval, Luis Ricardez (Elsevier, 2018-01-01)
      In this work, we present a multi-scale modelling framework for the Ni-based oxygen carrier (OC) particle that can explicitly account for the complex reaction mechanism taking place on the contacting surface between gas and ...
    • Multiplex RT-qPCR assay (N200) to detect and estimate prevalence of multiple SARS-CoV-2 Variants of Concern in wastewater 

      Fuzzen, Meghan; Harper, Nathanael B. J.; Dhiyebi, Hadi; Srikanthan, Nivetha; Hayat, Samina; Peterson, Shelley; Yang, Ivy; Sun, Jianxian; Edwards, Elizabeth A.; Giesy, John P.; Mangat, Chand S.; Graber, Tyson E.; Delatolla, Robert; Servos, Mark. R. (medRxiv, 2022-04-13)
      Wastewater-based surveillance (WBS) has become an effective tool around the globe for indirect monitoring of COVID-19 in communities. Quantities of viral fragments of SARS-CoV-2 in wastewater are related to numbers of ...
    • On the TVD property of second order methods for 2D scalar conservation laws 

      Krivodonova, Lilia; Smirnov, Alexey (arXiv, 2021-10-05)
      The total variation diminishing (TVD) property is an important tool for ensuring nonlinear stability and convergence of numerical solutions of one-dimensional scalar conservation laws. However, it proved to be challenging ...
    • Optimal Actuator Location for Semi-Linear Systems 

      Edalatzadeh, M. Sajjad; Morris, Kirsten (2018)
      Actuator location and design are important choices in controller design for distributed parameter systems. Semi-linear partial differential equations model a wide spectrum of physical systems with distributed parameters. ...
    • Optimal Controller and Actuator Design for Nonlinear Parabolic Systems 

      Edalatzadeh, M. Sajjad; Morris, Kirsten (2019-10-08)
      Many physical systems are modeled by nonlinear parabolic differential equations, such as the Kuramoto-Sivashinsky (KS) equation. In this paper, the existence of a concurrent optimal controller and actuator design is ...
    • Parameterizing a dynamic influenza model using longitudinal versus age-stratified case notifications yields different predictions of vaccine impacts 

      Andrews, Michael A.; Bauch, Chris T. (2018-09-06)
      Dynamic transmission models of influenza are often used in decision-making to identify which vaccination strategies might best reduce influenza-associated health and economic burdens. Our goal was to use laboratory confirmed ...

      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