Browsing Mathematics (Faculty of) by Title
Now showing items 851-870 of 3035
-
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 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 ... -
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 ... -
Eigenvalue, Quadratic Programming and Semidefinite Programming Bounds for Graph Partitioning Problems
(University of Waterloo, 2014-09-03)The Graph Partitioning problems are hard combinatorial optimization problems. We are interested in both lower bounds and upper bounds. We introduce several methods including basic eigenvalue and projected eigenvalue ... -
Elasca: Workload-Aware Elastic Scalability for Partition Based Database Systems
(University of Waterloo, 2013-05-14)Providing the ability to increase or decrease allocated resources on demand as the transactional load varies is essential for database management systems (DBMS) deployed on today's computing platforms, such as the cloud. ... -
Elements of Gameful Design Emerging from User Preferences
(Association for Computing Machinery, 2017-10-15)Several studies have developed models to explain player preferences. These models have been developed for digital games; however, they have been frequently applied in gameful design (i.e., designing non-game applications ... -
Elliptic Curves over Finite Fields and their l-Torsion Galois Representations
(University of Waterloo, 2015-09-08)Let $q$ and $\ell$ be distinct primes. Given an elliptic curve $E$ over $\mathbf{F}_q$, we study the behaviour of the 2-dimensional Galois representation of $\mathrm{Gal}(\overline{\mathbf{F}_q}/\mathbf{F}_q) \cong ... -
An Embedded Shading Language
(University of Waterloo, 2004)Modern graphics accelerators have embedded programmable components in the form of vertex and fragment shading units. Current APIs permit specification of the programs for these components using an assembly-language level ... -
Embroidery Modelling and Rendering
(University of Waterloo, 2011-08-03)Embroidery is a traditional non-photorealistic art form in which threads of different colours stitched into a base material are used to create an image. This thesis presents techniques for automatically producing embroidery ... -
Emergence and Implications of Conservation Opinion Propagation in Dynamic Coupled Socio-Ecological Systems
(University of Waterloo, 2021-04-22)Human behaviour is rarely a static phenomenon. In life, individuals are presented with choices that define the trajectories they will experience days, weeks or months later. As an example consider farmer decision-making ... -
Emergence and spread of drug resistant influenza: A two-population game theoretical model
(Elsevier, 2016-10-01)Background The potential for emergence of antiviral drug resistance during influenza pandemics has raised great concern for public health. Widespread use of antiviral drugs is a significant factor in producing resistant ... -
Emotion-Aware and Human-Like Autonomous Agents
(University of Waterloo, 2019-12-20)In human-computer interaction (HCI), one of the technological goals is to build human-like artificial agents that can think, decide and behave like humans during the interaction. A prime example is a dialogue system, where ... -
Emotions and Context in Decision-making for a Socially Intelligent Agent
(University of Waterloo, 2024-04-03)Artificial intelligence (AI) research has largely focused on rational thinking, decision making, goal achievement, and reward maximization. Emotions have been considered nonessential, or even detrimental, when designing ... -
An Empirical Evaluation of the Viability of the Serverless Paradigm for Scientific Workflows
(University of Waterloo, 2023-12-22)Scientific workflows are typically data-intensive. They consist of many stages, each of which may contain hundreds to even thousands of tasks. Traditionally, scientific workflows have been executed using the serverful ...