Browsing Waterloo Research by Type "Preprint"
Now showing items 1-20 of 42
-
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 ... -
Bounds on 10th moments of (x, x^3) for ellipsephic sets
(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
(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 ... -
A Composite Rigid Double Cantilever Beam Specimen for Assessing the Traction–Separation Response of Mode I Delamination in Composite Laminates
(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
(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
(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
(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
(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
(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 ... -
Equidistribution of Polynomial Sequences in Function Fields, with Applications
(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?
(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
(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
(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: Perspectives of Cryptocurrency Investors and Potential Investors
(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
(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.