Browsing University of Waterloo by Title
Now showing items 5539-5558 of 18891
-
Efficient Reasoning Techniques for Large Scale Feature Models
(University of Waterloo, 2009-01-20)In Software Product Lines (SPLs), a feature model can be used to represent the similarities and differences within a family of software systems. This allows describing the systems derived from the product line as a unique ... -
Efficient Representation and Encoding of Distributive Lattices
(University of Waterloo, 2018-08-20)This thesis presents two new representations of distributive lattices with an eye towards efficiency in both time and space. Distributive lattices are a well-known class of partially-ordered sets having two natural operations ... -
Efficient Resource Management for Cloud Computing Environments
(University of Waterloo, 2013-10-02)Cloud computing has recently gained popularity as a cost-effective model for hosting and delivering services over the Internet. In a cloud computing environment, a cloud provider packages its physical resources in data ... -
Efficient Runge-Kutta Based Local Time-Stepping Methods
(University of Waterloo, 2016-04-27)The method of lines approach to the numerical solution of transient hyperbolic partial differential equations (PDEs) allows us to write the PDE as a system of ordinary differential equations (ODEs) in time. Solving this ... -
An efficient scheduling for diverse QoS requirements in WiMAX
(University of Waterloo, 2007-02-22)WiMAX is one of the most important broadband wireless technologies and is anticipated to be a viable alternative to traditional wired broadband techniques due to its cost efficiency. Being an emerging technology, WiMAX ... -
Efficient Simulation Of Complex Fenestration Systems In Heat Balance Room Models
(International Building Performance Simulation Association, 2011-11)The solar, longwave, and convective interactions between a window, its shading attachments and its surroundings constitute a complicated coupled heat balance problem that can entail significant computational intensity to ... -
Efficient simulation of Hamiltonians
(University of Waterloo, 2010-08-18)The problem considered in this thesis is the following: We are given a Hamiltonian H and time t, and our goal is to approximately implement the unitary operator e^{-iHt} with an efficient quantum algorithm. We present an ... -
Efficient Stockwell Transform with Applications to Image Processing
(University of Waterloo, 2011-05-20)Multiresolution analysis (MRA) has fairly recently become important, and even essential, to image processing and signal analysis, and is thus having a growing impact on image and signal related areas. As one of the most ... -
Efficient Structure-aware OLAP Query Processing over Large Property Graphs
(University of Waterloo, 2017-12-14)Property graph model is a semantically rich model for real-world applications that represent their data as graphs, e.g., communication networks, social networks, financial transaction networks. On-Line Analytical Processing ... -
Efficient Temporal Synopsis of Social Media Streams
(University of Waterloo, 2013-08-07)Search and summarization of streaming social media, such as Twitter, requires the ongoing analysis of large volumes of data with dynamically changing characteristics. Tweets are short and repetitious -- lacking context and ... -
Efficient Transaction Processing for Short-Lived Transactions in the Cloud
(University of Waterloo, 2014-01-23)The cloud, in the past few years, has become the preferred platform for hosting web applications. Many of these web applications store their data in a distributed cloud storage system, which greatly simplifies application ... -
Efficient treatment of climate data uncertainty in ensemble Kalman filter (EnKF) based on an existing historical climate ensemble dataset
(Elsevier, 2019-01)Successful data assimilation depends on the accurate estimation of forcing data uncertainty. Forcing data uncertainty is typically estimated based on statistical error models. In practice, the hyper-parameters of statistical ... -
Efficient Triplet Exciton Fusion in Molecularly Doped Polymer Light-Emitting Diodes
(Wiley, 2017-04-04)Solution-processed polymer organic light-emitting diodes (OLEDs) doped with triplet-triplet annihilation (TTA)upconversion molecules, including 9,10-diphenylanthracene, perylene, rubrene and TIPS-pentacene, are reported. ... -
Efficient Trust Region Subproblem Algorithms
(University of Waterloo, 2011-09-29)The Trust Region Subproblem (TRS) is the problem of minimizing a quadratic (possibly non-convex) function over a sphere. It is the main step of the trust region method for unconstrained optimization problems. Two cases may ... -
Efficient Zero-Knowledge Proofs and Applications
(University of Waterloo, 2014-08-12)Zero-knowledge proofs provide a means for a prover to convince a verifier that some claim is true and nothing more. The ability to prove statements while conveying zero information beyond their veracity has profound ... -
An Effort Prediction Framework for Software Defect Correction
(University of Waterloo, 2008-08-29)Developers apply changes and updates to software systems to adapt to emerging environments and address new requirements. In turn, these changes introduce additional software defects, usually caused by our inability to ... -
Egalitarian yet Unequal? Gender Stereotyping in Romantic Relationships
(University of Waterloo, 2018-08-31)In three studies (Ns = 225, 182, 378), heterosexual participants reported their career / family priorities, plus those of their romantic partner, in 10-15 years. Predictions for romantic partners’ career / family goals ... -
Eggly: Designing Mobile Augmented Reality Neurofeedback Training Games for Children with Autism Spectrum Disorder
(University of Waterloo, 2023-07-19)Autism Spectrum Disorder (ASD) is a neurodevelopmental disorder that affects how children communicate and relate to other people and the world around them. Emerging studies have shown that neurofeedback training (NFT) games ... -
Ehrhart Theory and Unimodular Decompositions of Lattice Polytopes
(University of Waterloo, 2015-01-20)Ehrhart theory studies the behaviour of lattice points contained in dilates of lattice polytopes. We provide an introduction to Ehrhart theory. In particular, we prove Ehrhart's Theorem, Stanley Non-negativity, and ... -
Eicosapentaenoic Acid and Docosahexaenoic Acid in Whole Blood Are Differentially and Sex-Specifically Associated with Cardiometabolic Risk Markers in 8-11-Year-Old Danish Children
(Public Library of Science, 2014-10-15)n-3 long-chain polyunsaturated fatty acids improve cardiovascular risk markers in adults. These effects may differ between eicosapentaenoic acid (EPA, 20:5n-3) and docosahexaenoic acid (DHA, 22:6n-3), but we lack evidence ...