UWSpace: Recent submissions
Now showing items 21-40 of 13196
-
Chitosan Edible Films Crosslinked by Citric Acid
(University of Waterloo, 2019-08-14)Chitosan offers an exciting potential as a safe, biodegradable material for niche food packaging and coating applications. Barriers to getting this crustacean-derived polysaccharide to the packaging market include poor ... -
Predictive Runtime Verification of Stochastic Systems
(University of Waterloo, 2019-08-13)Runtime Verification (RV) is the formal analysis of the execution of a system against some properties at runtime. RV is particularly useful for stochastic systems that have a non-zero probability of failure at runtime. ... -
Scalable Context-Sensitive Pointer Analysis for LLVM
(University of Waterloo, 2019-08-13)Pointer analysis is indispensable for effectively verifying heap-manipulating programs. Even though it has been studied extensively, there are no publicly available pointer analyses for low-level languages that are ... -
Fatty Acyl-Specific Macrolipidomics and Microlipidomics for Nutritional Research
(University of Waterloo, 2019-08-13)The field of lipidomics can further our understanding of the biochemical processes of human health and disease. Generally, lipidomics methods utilize high-performance liquid chromatography (HPLC) for lipid separation, ... -
Probabilistic Strain-Based Fracture Mechanics Analysis of Weldments
(University of Waterloo, 2019-08-13)Welded joints are considered to be one of the most critical locations in structural components from a fatigue perspective because of high stress concentrations near the weld toe region, the presence of tensile residual ... -
One-dimensional titanium dioxide nanomaterial based memristive device and its neuromorphic computing applications
(University of Waterloo, 2019-08-13)Memristor devices as the alternative to the next-generation non-volatile memory devices has been widely studied recently due to its advantages of simple structure, fast switching speed, low power consumption. Among all the ... -
Evaluating Support Conditions for Precast Concrete Inlay Panels using Finite Element Analysis
(University of Waterloo, 2019-08-12)Precast concrete inlay panels (PCIPs) are a unique application of precast concrete pavement used for overnight rehabilitations of high-traffic volume asphalt highways exhibiting structural rutting issues. The pavement is ... -
Evaluation of Polymeric Nanocomposites for the Detection of Toxic Gas Analytes
(Taylor & Francis, 2016-09)Four different metal oxide nanoparticles, copper oxide (CuO), aluminum oxide (Al2O3), nickel oxide (NiO), and titanium dioxide (TiO2), were added to poly (2,5-dimethyl aniline) (P25DMA) during synthesis to create different ... -
Model for the RE-TC thalamic circuit with application to childhood absence epilepsy
(University of Waterloo, 2019-08-12)Childhood absence epilepsy (CAE) is an idiopathic neurological disorder affecting roughly 2-8 children per 100,000 children worldwide. It is characterized by absence seizures, or short lapses in consciousness, and the ... -
Stable Isotope Ecology of Tropical Bats
(University of Waterloo, 2019-08-12)Stable isotopes have been used to characterize differences in animal diet and behaviour since experimental studies by DeNiro and Epstein (1979; 1981). Examining isotopic ratios enables researchers to track how animals ... -
A Cloud-Based Architecture for BIM as an Asset for Project Management
(University of Waterloo, 2019-08-12)After more than 30 years of research, better solutions continue to be sought for nuclear power plant decommissioning and radioactive waste management. As some approaches are interesting, improvements are still required in ... -
Exploring Peel Region’s “Healthy Development Assessment” Healthy Built Environment Tool and Policy-Making Process: Critical Lessons for Future Research and Policy.
(University of Waterloo, 2019-08-12)The purpose of this thesis is to contribute to the critical literature on “healthy built environment” planning policy-making. It applies the theories of post-politics and policy mobilities against a case study of Peel ... -
Constructing Exact Correlators In N=4 SYM Using Integrability
(University of Waterloo, 2019-08-09)This thesis is devoted to the study of correlation functions in N = 4 superconformal Yang- Mills theory. We focus on a class of four point functions for which we achieve formal results at finite coupling and explicit ... -
Demand Response and Battery Energy Storage Systems in Electricity Markets: Frameworks & Models
(University of Waterloo, 2019-08-09)Ensuring a balance between the generation and demand is one of the most challenging tasks in power systems because of contingencies, sudden load changes, forecasting errors and other disturbances, occurring from time to ... -
Governing Sovereign Bankruptcy: Writing International Rules for Rewriting National Debts
(University of Waterloo, 2019-08-09)This thesis examines three sets of recent initiatives aimed at reforming the international regime for sovereign debt restructuring. The first involved changes to the rules governing IMF lending and their role in triggering ... -
Cliques, Degrees, and Coloring: Expanding the ω, Δ, χ paradigm
(University of Waterloo, 2019-08-09)Many of the most celebrated and influential results in graph coloring, such as Brooks' Theorem and Vizing's Theorem, relate a graph's chromatic number to its clique number or maximum degree. Currently, several of the most ... -
Exploiting Mobile Energy Storages for Overload Mitigation in Smart Grid
(University of Waterloo, 2019-08-09)The advancement of battery and electronic technologies pushes forward transportation electrification, accelerating the commercialization and prevalence of plug-in electric vehicles (PEVs). The development of PEVs is closely ... -
Quantum-Classical Correspondence and Entanglement in Periodically Driven Spin Systems
(University of Waterloo, 2019-08-09)This dissertation sets out to examine some fundamental open questions in quantum physics regarding quantum-classical correspondence in regular versus chaotic systems. Specifically, we study these questions using approaches ... -
Rational approximations on smooth rational surfaces
(University of Waterloo, 2019-08-09)In this thesis, we study a conjecture made by D. McKinnon about rational approximations to rational points in algebraic varieties. The conjecture states that if a rational point P on a variety X lies on a rational curve, ... -
Design and Analysis of Beamforming in mmWave Networks
(University of Waterloo, 2019-08-09)To support increasing data-intensive wireless applications, millimeter-wave (mmWave) communication emerges as the most promising wireless technology that offers high data rate connections by exploiting a large swath of ...