Browsing University of Waterloo by Title
Now showing items 5544-5563 of 18922
-
Efficient Propagators for Global Constraints
(University of Waterloo, 2006)We study in this thesis three well known global constraints. The All-Different constraint restricts a set of variables to be assigned to distinct values. The <em>global cardinality constraint</em> (GCC) ensures that a ... -
An Efficient Quasi-Monte Carlo Simulation for Pricing Asian Options under Heston's Model
(University of Waterloo, 2015-09-11)The market for path-dependent options has been expanded considerably in the financial industry. The approach for pricing the path-dependent options in this thesis is developed by Kolkiewicz (2014) based on a quasi-Monte ... -
Efficient Range and Join Query Processing in Massively Distributed Peer-to-Peer Networks
(University of Waterloo, 2008-06-17)Peer-to-peer (P2P) has become a modern distributed computing architecture that supports massively large-scale data management and query processing. Complex query operators such as range operator and join operator are ... -
Efficient Ranking-Based Methodologies in the Optimal Design of Large-Scale Chemical Processes under Uncertainty
(University of Waterloo, 2014-08-28)Chemical process design is still an active area of research since it largely determines the optimal and safe operation of a new process under various conditions. The design process involves a series of steps that aims to ... -
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 ...