Browsing University of Waterloo by Type "Preprint"
Now showing items 1-20 of 29
-
BanditFuzz: Fuzzing SMT Solvers with Reinforcement Learning
(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
(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
(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
(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
(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
(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
(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
(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
(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?
(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 ... -
A Holistic Approach to Achieving SDGs: A Case Study of Dayalbagh, India
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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 ...