Browsing University of Waterloo by Title
Now showing items 15377-15396 of 18804
-
Security proof methods for quantum key distribution protocols
(University of Waterloo, 2013-04-26)In this thesis we develop practical tools for quantum key distribution (QKD) security proofs. We apply the tools to provide security proofs for several protocols, ranging from discrete variable protocols in high dimensions, ... -
Security Proofs for Quantum Key Distribution Protocols by Numerical Approaches
(University of Waterloo, 2017-10-25)This thesis applies numerical methods to analyze the security of quantum key distribution (QKD) protocols. The main theoretical problem in QKD security proofs is to calculate the secret key generation rate. Under certain ... -
Security Vulnerabilities in Smart Contracts as Specifications in Linear Temporal Logic
(University of Waterloo, 2021-12-21)Ethereum is a distributed computer with a native cryptocurrency. Like other monetary transaction based systems, a problem this platform faces is accounts and transactions being susceptible to theft and other hacks. Smart ... -
Security-aware Cooperation in Dynamic Spectrum Access
(University of Waterloo, 2015-04-08)We have witnessed a massive growth in wireless data, which almost doubles every year. The wireless data is expected to skyrocket further in the future due to the proliferation of devices and the emerging data-hungry ... -
A Sediment Budget of an Urban Creek in Toronto
(University of Waterloo, 2014-09-02)Wilket Creek is a second order stream located in Toronto, Ontario. Over the past decade, management efforts have intensified to protect infrastructure including walking paths, bridges, sanitary sewers and private property. ... -
Sediment Transport and Metals Modeling in an Urban Stream - The Don River, Toronto
(University of Waterloo, 2015-09-28)The Don River watershed has been subjected to rapid urbanization over the last few decades. As a result, vast area of built-up land has shifted the watershed’s hydrologic cycle towards lower infiltration and higher runoff ... -
Seeding Induced Assembly of Ionic-Complementary Peptide EAK16-II
(University of Waterloo, 2004)Seeding is an important variable in controlling or directing the assembly of peptides. The presence of impurities, responsible for creating a 'dip' in the surface tension versus peptide concentration profile, is used to ... -
Seedlings
(University of Waterloo, 2022-05-05)Seedlings is a fictional, constructed ecosystem. It is a garden-like installation consisting of a coming-together of numerous printed, gathered, gifted, and reconstituted components that “cross-pollinate” the gallery space. ... -
Seedlings of Temperate Tree Species Show Plastic Responses to Water Deficit and Heat Stress, But They Do Not Prevent Decline in Growth
(University of Waterloo, 2022-10-03)Species response to climate change is difficult to predict because warming involves the interaction of multiple stressors whose effects are simultaneous and therefore difficult to disentangle. To address this gap, I studied ... -
SEEDS: Secure Decentralized Storage for Authentication Material
(University of Waterloo, 2022-03-03)Applications that use passwords or cryptographic keys to authenticate users or perform cryptographic operations rely on centralized solutions. Trusted Platform Modules (TPMs) do not offer a way to replicate material, making ... -
Seeing Double at Memorial University: Two WorldCat Local Usability Studies
(The Editorial Board of Partnership: The Canadian Journal of Library and Information Practice and Research, 2011)Obtaining user feedback is valuable yet often overlooked, so when Memorial University Libraries launched OCLC’s WorldCat Local discovery tool for Fall 2010, usability testing was a logical next step. Two branches, each ... -
Seeing Double at Memorial University: Two WorldCat Local Usability Studies
(2011-05-01)Presentation slides as presented at the Atlantic Provinces Library Association (APLA) Conference, 2011, St John's Newfoundland. Provides an overview of a usability study conducted on WorldCat Local (WCL), a catalogue for ... -
Seeking Middle Ground: Reconciling two trajectories for food system relocalization
(University of Waterloo, 2018-09-25)As food systems expand in scale and scope, the sources of their negative externalities are less effectively identified. Globally, this diffusion has resulted in a plethora of paradoxes, as well as a decrease in overall ... -
Seeking Renewal: The Value of Nature and Pausing in Shifting our Focus Inward
(University of Waterloo, 2020-09-10)We live in a society that is overly fixated on our outer conditions and stimuli rather than our inner state, which is seen through one of the behaviours this outward focus produces, busyness. So often we choose filling ... -
Seeking Safety: The Perceived Function and Consequences of Safety Behaviour Use in Social Anxiety
(University of Waterloo, 2017-08-29)This study was designed to examine the perceived self-protective function and consequences of safety behaviour use in social anxiety. The research explores how individuals’ selection and use of different types of safety ... -
Seeking Structure in Social Organization: Compensatory Control and the Psychological Advantages of Hierarchy
(University of Waterloo, 2013-09-23)Hierarchies are a ubiquitous form of human social organization. I hypothesized that one reason for hierarchies’ prevalence might be that core motivational needs for order and control make hierarchies psychologically ... -
Seeking the Source: Dioxin Exposure Levels and Determinants and Fluoroalkyl Substance Determinants in Arctic and Subarctic Communities within Canada
(University of Waterloo, 2023-11-27)Abstract Background Dioxins, furans, and non-ortho dioxin-like polychlorinated biphenyls (PCBs), and per- and poly- fluoroalkyls (PFAS) are persistent toxic chemicals that have been detected in areas far from known ... -
SEGMENTATION INFORMS THE GAMIFICATION OF SUSTAINABLE FOOD CONSUMPTION
(University of Waterloo, 2024-01-18)Food systems activities produce around 30% of global anthropogenic greenhouse gas (GHG) emissions and are responsible for numerous environmental issues which could ultimately harm our ability to grow food reliably. One way ... -
Segmentation of 3D Carotid Ultrasound Images Using Weak Geometric Priors
(University of Waterloo, 2010-10-29)Vascular diseases are among the leading causes of death in Canada and around the globe. A major underlying cause of most such medical conditions is atherosclerosis, a gradual accumulation of plaque on the walls of blood ... -
Segmentation of RADARSAT-2 Dual-Polarization Sea Ice Imagery
(University of Waterloo, 2009-09-24)The mapping of sea ice is an important task for understanding global climate and for safe shipping. Currently, sea ice maps are created by human analysts with the help of remote sensing imagery, including synthetic aperture ...