Browsing University of Waterloo by Title
Now showing items 16287-16306 of 18823
-
State of Diversity of Uses and Activities in the Public Space: The Case of Four Public Spaces in Downtown Vancouver
(University of Waterloo, 2012-12-12)The roles of urban public spaces in urban cores are being re-assessed across many North American cities. Public spaces within downtown cores are essential in ensuring the long- term viability of such urban centers economically ... -
State of research in automatic as-built modelling
(Elsevier, 2015-04-01)Building Information Models (BIMs) are becoming the official standard in the construction industry for encoding, reusing, and exchanging information about structural assets. Automatically generating such representations ... -
State space models and filtering methods in longitudinal studies
(University of Waterloo, 1997) -
State Transfer & Strong Cospectrality in Cayley Graphs
(University of Waterloo, 2022-08-09)This thesis is a study of two graph properties that arise from quantum walks: strong cospectrality of vertices and perfect state transfer. We prove various results about these properties in Cayley graphs. We consider ... -
State-dependent Modeling of Default Rates
(University of Waterloo, 2021-09-29)Risk-weight function is the most popular formula for banking regulations used to calculate the amount of backup deposit that banks need to hold in order to bear extraordinary losses. The model behind the formula was ... -
States of Dependency: Infrastructures of the Common
(University of Waterloo, 2016-02-01)The thesis States of Dependency is concerned with exploring architectures relationship to socio-political and ethnographic conflict within Jerusalem. As a city of incredible political and national importance to both Israelis ... -
Static Analysis for Efficient Affine Arithmetic on GPUs
(University of Waterloo, 2008-01-29)Range arithmetic is a way of calculating with variables that hold ranges of real values. This ability to manage uncertainty during computation has many applications. Examples in graphics include rendering and surface ... -
Static and Dynamic Affordance Learning in Vision-based Direct Perception for Autonomous Driving
(University of Waterloo, 2020-01-22)The recent development in autonomous driving involves high-level computer vision and detailed road scene understanding. Today, most autonomous vehicles are using the mediated perception approach for path planning ... -
Static and Dynamic Modelling of Credit Default Risk: Tails, Moments, and Calibration
(University of Waterloo, 2014-08-26)Credit risk modelling can take many different approaches. Each method has its strengths and weaknesses and studying a variety of them can help find new ways of performing credit risk analysis. We present here three different ... -
Static and Dynamic Theoretical Studies on Vibronic Model Based Potential Energy Surface(s): Locating Transition Structures and Fundamental Investigations in Time-resolved Spectroscopy
(University of Waterloo, 2017-10-05)Construction and exploration of Potential Energy Surfaces (PES) is central to the study of many interesting chemical phenomena, such as computing the rate of a chemical reaction or elucidating structure of a complex ... -
The Static and Fatigue Behaviour of Through-Bolt Shear Connectors in Steel-Precast Composite Bridge Girders
(University of Waterloo, 2018-01-22)Increasing demand for the rapid and economically efficient construction of bridges has encouraged engineers to employ the use of accelerated bridge construction through modular assembly. The replacement of vehicular bridges ... -
Static Conflict Analysis of Transaction Programs
(University of Waterloo, 2000)Transaction programs are comprised of read and write operations issued against the database. In a shared database system, one transaction program conflicts with another if it reads or writes data that another transaction ... -
Static Profiling of Alloy Models
(IEEE, 2023-02)Modeling of software-intensive systems using formal declarative modeling languages offers a means of managing software complexity through the use of abstraction and early identification of correctness issues by formal ... -
Static Transformation of Power Consumption for Program Tracing and Software Attestation
(University of Waterloo, 2017-01-12)This thesis presents methods to statically modify programs at compile-time to improve the effectiveness of power consumption based program analyses. Two related applications are considered, and algorithms are introduced ... -
Static Types with Less Syntax: Locus Types
(University of Waterloo, 2017-05-01)Optionally and gradually-typed languages allow types to be introduced to dynamic code as needed. While this approach allows some gradual movement from dynamically to statically-typed code, it requires rewriting ... -
Static Verification of an Implementation of 5G-AKA
(University of Waterloo, 2023-04-24)Computer-aided cryptography offers a variety of tools that are essential for ensuring the security of cryptographic protocols. These tools can assist in designing the protocol, verifying its correctness during implementation, ... -
Statistical Analysis of EEG Phase Shift Events
(University of Waterloo, 2014-10-02)This thesis develops statistical methods for the identification, and analysis of phase shift events, i.e. sudden changes in the timing relationship between coupled oscillators. Phase shifts events occur in many complex ... -
Statistical Analysis of Hartmann-Shack Images of a Pre-school Population
(University of Waterloo, 2010-01-22)The impact of uncoordinated growth of the optical components of the eye may stimulate different levels of monochromatic aberrations in the growing eyes of the children. This thesis aimed to examine the impact of age, visual ... -
A Statistical Analysis of the Aggregation of Crowdsourced Labels
(University of Waterloo, 2015-10-29)Crowdsourcing, due to its inexpensive and timely nature, has become a popular method of collecting data that is difficult for computers to generate. We focus on using this method of human computation to gather labels for ... -
Statistical analysis of till geochemistry in the Nelson River area, northeastern Manitoba: implications for Quaternary glacial stratigraphy
(University of Waterloo, 2018-01-23)The Hudson Bay Lowland (HBL) contains a unique sedimentary record extending beyond the penultimate glaciation of the Quaternary. The complex interplay between two major ice dispersal centres (the Keewatin in the north and ...