Browsing Mathematics (Faculty of) by Title
Now showing items 831-850 of 3034
-
An Efficient Geometric Multigrid Solver for Viscous Liquids
(ACM, 2019-07)We present an efficient geometric Multigrid solver for simulating viscous liquids based on the variational approach of Batty and Bridson [2008]. Although the governing equations for viscosity are elliptic, the strong ... -
Efficient Implementation of Parametric Polymorphism using Reified Types
(University of Waterloo, 2023-04-28)Parametric polymorphism is a language feature that lets programmers define code that behaves independently of the types of values it operates on. Using parametric polymorphism enables code reuse and improves the maintainability ... -
Efficient Inference of Transformers in Natural Language Processing: Early Exiting and Beyond
(University of Waterloo, 2023-01-24)Large-scale pre-trained transformer models such as BERT have become ubiquitous in Natural Language Processing (NLP) research and applications. They bring significant improvements to both academia benchmarking tasks and ... -
Efficient Integer Representations for Cryptographic Operations
(University of Waterloo, 2004)Every positive integer has a unique radix 2 representation which uses the digits {0,1}. However, if we allow digits other than 0 and 1, say {0,1,-1}, then a positive integer has many representations. Of these ... -
Efficient Jacobian Determination by Structure-Revealing Automatic Differentiation
(University of Waterloo, 2014-01-23)This thesis is concerned with the efficient computation of Jacobian matrices of nonlinear vector maps using automatic differentiation (AD). Specifically, we propose the use of two directed edge separator methods, the ... -
Efficient Kernel Methods for Statistical Detection
(University of Waterloo, 2008-03-28)This research is motivated by a drug discovery problem -- the AIDS anti-viral database from the National Cancer Institute. The objective of the study is to develop effective statistical methods to model the relationship ... -
Efficient Liquid Animation: New Discretizations for Spatially Adaptive Liquid Viscosity and Reduced-Model Two-Phase Bubbles and Inviscid Liquids
(University of Waterloo, 2021-04-16)The work presented in this thesis focuses on improving the computational efficiency when simulating viscous liquids and air bubbles immersed in liquids by designing new discretizations to focus computational effort in ... -
Efficient Nested Simulation of Tail Risk Measures for Variable Annuities
(University of Waterloo, 2021-06-02)Estimating tail risk measures for portfolios of complex Variable Annuities (VA) is an important enterprise risk management task which usually requires nested simulation. In the nested simulation, the outer simulation stage ... -
Efficient Oblivious Database Joins
(University of Waterloo, 2020-12-10)A major algorithmic challenge in designing applications intended for secure remote execution is ensuring that their execution is oblivious to their inputs, in the sense that their memory access patterns do not leak sensitive ... -
Efficient Pairings on Various Platforms
(University of Waterloo, 2012-05-14)Pairings have found a range of applications in many areas of cryptography. As such, to utilize the enormous potential of pairing-based protocols one needs to efficiently compute pairings across various computing platforms. ... -
Efficient Pattern Search in Large, Partial-Order Data Sets
(University of Waterloo, 2008-09-12)The behaviour of a large, distributed system is inherently complex. One step towards making this behaviour more understandable to a user involves instrumenting the system and collecting data about its execution. We can ... -
Efficient Pointer Analysis of Java in Logic
(University of Waterloo, 2017-05-16)Points-to analysis for Java benefits greatly from context sensitivity. CFL-reachability and k-limited context strings are two approaches to obtaining context sensitivity with different advantages: CFL-reachability ... -
Efficient Procedure for Valuing American Lookback Put Options
(University of Waterloo, 2007-05-22)Lookback option is a well-known path-dependent option where its payoff depends on the historical extremum prices. The thesis focuses on the binomial pricing of the American floating strike lookback put options with ... -
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 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 ...