Waterloo Research
This is the University of Waterloo Research collection.
Waterloo faculty, students, and staff can contact us or visit the UWSpace guide to learn more about depositing their research.
NOTE: This collection does not include graduate Theses & Dissertations or Major Research Projects.
All Items in this collection are subject to copyright.
Recent deposits
-
Polynomial bounds for chromatic number VII. Disjoint holes.
(Wiley, 2023-11)A hole in a graph G is an induced cycle of length at least four, and a k-multihole in G is the union of k pairwise disjoint and nonneighbouring holes. It is well know that if G does not contain any holes then its chromatic ... -
Lid-parallel conjunctival fold (LIPCOF) morphology imaged by optical coherence tomography and its relationship to LIPCOF grade.
(Elsevier, 2019-06)Purpose: Lid-parallel conjunctival folds (LIPCOF) are a well-accepted clinical sign in dry eye diagnosis. Commonly, LIPCOF is classified by grading the number of folds observed by slit-lamp microscope. This study investigated ... -
Comprehending the Crypto-Curious: How Investors and Inexperienced Potential Investors Perceive and Practice Cryptocurrency Trading
(Taylor & Francis, 2023-08-01)With the increasing popularity of cryptocurrency, many people are interested in cryptocurrency investments, but have so far hesitated. Many others have made investments without adequate preparation. To help interested ... -
Pure pairs. X. Tournaments and the strong Erdos-Hajnal property.
(Elsevier ScienceDirect, 2024-01)A pure pair in a tournament G is an ordered pair (A;B) of disjoint subsets of V (G) such that every vertex in B is adjacent from every vertex in A. Which tournaments H have the property that if G is a tournament not ... -
Which Classes of Structures are Both Pseudo-Elementary and Definable by an Infinitary Sentence
(Cambridge University Press, 2023-03-15)When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary ... -
Transitive-closure-based model checking (TCMC) in Alloy
(Springer, 2020-01-03)We present transitive-closure-based model checking (TCMC): a symbolic representation of the semantics of computational tree logic with fairness constraints (CTLFC) for finite models in first-order logic with transitive ... -
Dash: declarative behavioural modelling in Alloy with control state hierarchy
(Springer Nature, 2023-04)We present Dash, an extension to the Alloy language to model dynamic behaviour using the labelled control state hierarchy of Statecharts. From Statecharts, Dash borrows the concepts to specify hierarchy, concurrency, and ... -
New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding
(IEEE, 2023-06-01)Symmetry in finite model finding problems of many-sorted first-order logic (MSFOL) can be exploited to reduce the number of interpretations considered during search, thereby improving solver performance for tools such as ... -
The dependence of evaporative efficiency of vegetated surfaces on ground cover weight fractions in mesic ecosystems
(University of Waterloo, 2023-05-15)Bare soil evaporation has been studied extensively, but less is certain regarding how site-specific features, especially the overstory tree canopy and ground covers, mediate evaporation processes. Inspired by recent advances ... -
Uncovering indicators of adaptive water capacity: A rapid systematic map
(University of Waterloo, 2023-05-15)The global water crisis is driven by the absence of effective and efficient governance systems.There is a large and growing need to benchmark the current status of water governance in Canada and monitor trends over time. ... -
How Does Moss Resist Evaporation? Towards Elucidating Site-Specific Influences on Sphagnum Moss Resistance
(University of Waterloo, 2023-05-16)While multiple approaches to exist to quantify plant resistance to evaporation, these methods assume that the vegetation is vascular despite many ecosystems, such as peatlands, dominated by a surface cover of mosses. Mosses ... -
GlobalReservoirModel V1.0 A new global reservoir modeling database
(University of Waterloo, 2023-05-15)With increasing of population and socioeconomic development during the last decades, global constructions of dams and reservoirs have surged in diverse applications, such as flood control, and hydropower generation etc. ... -
The Effects of Winter Pulsed Warming and Snowmelt on Nitrogen Cycling in Agricultural Soils: A Lysimeter Study
(University of Waterloo, 2023-05-15)In cold regions, climate change is expected to result in warmer winter temperatures and increased temperature variability. Coupled with changing precipitation regimes, these changes can decrease soil insulation by reducing ... -
Quantitative insights into phosphorus loadings and speciation in urban catchments
(University of Waterloo, 2023-05-16)Phosphorus (P) loadings in stormwater runoff drained from urban landscapes causes eutrophication in aquatic ecosystems downstream of urban areas. Many recent research have addressed urban P dynamics to improve understanding ... -
Unlocking the Power of GWF Research: Introducing an AI-Driven Portal for Enhanced Accessibility and User-Friendly Experience!
(University of Waterloo, 2023-05)The Canada First Research Excellence Fund provided CDN $77.8 million to the Global Water Futures Programme (GWF) to generate practical scientific knowledge on how to forecast, prepare for, and manage water futures in Canada, ... -
Monitoring lake ice phenology from CYGNSS: Algorithm development and assessment using Qinghai Lake, Tibet Plateau, as a case study
(University of Waterloo, 2023-05-14)This study introduces the first use of Global Navigation Satellite System Reflectometry (GNSS-R) for monitoring lake ice phenology. This is demonstrated using Qinghai Lake, Tibetan Plateau, as a case study. Signal-to-Noise ... -
Clinically Practical Approach for Screening of Low Muscularity Using Electronic Linear Measures on Computed Tomography Images in Critically Ill Patients
(Wiley, 2018-07-12)Background: Computed tomography (CT) scans performed during routine hospital care offer the opportunity to quantify skeletal muscle and predict mortality and morbidity in intensive care unit (ICU) patients. Existing methods ... -
Adequacy of Protein and Energy Intake in Critically Ill Adults Following Liberation From Mechanical Ventilation Is Dependent on Route of Nutrition Delivery
(Wiley, 2021-02-13)Background: Studies examining nutrition intake of critically ill patients following liberation from mechanical ventilation (LMV) are scarce. The objectives of this prospective, observational feasibility study were to ... -
Hybrid lithium-ion battery and hydrogen energy storage systems for a wind-supplied microgrid
(Elsevier, 2023-09-01)Microgrids with high shares of variable renewable energy resources, such as wind, experience intermittent and variable electricity generation that causes supply-demand mismatches over multiple timescales. Lithium-ion ... -
Short-term predictions of transient shallow groundwater levels at local scale using data-driven models
(University of Waterloo, 2023-05-15)Groundwater is a critical natural resource for human activities and a vital component of the hydrological cycle. The fluctuation of groundwater level (GWL) can be induced by the interplay of several natural processes and ...