Browsing Mathematics (Faculty of) by Title
Now showing items 2948 of 2486

Adaptive policies and drawdown problems in insurance risk models
(University of Waterloo, 20150831)Ruin theory studies an insurer's solvency risk, and to quantify such a risk, a stochastic process is used to model the insurer's surplus process. In fact, research on ruin theory dates back to the pioneer works of Lundberg ... 
Adaptive Range Counting and Other FrequencyBased Range Query Problems
(University of Waterloo, 20120518)We consider variations of range searching in which, given a query range, our goal is to compute some function based on frequencies of points that lie in the range. The most basic such computation involves counting the ... 
An adaptive variational finite difference framework for efficient symmetric octree viscosity
(ACM, 201907)While pressure forces are often the bottleneck in (near)inviscid fluid simulations, viscosity can impose orders of magnitude greater computational costs at lower Reynolds numbers. We propose an implicit octree finite ... 
Addressing the Issues of Coalitions and Collusion in Multiagent Systems
(University of Waterloo, 20130522)In the field of multiagent systems, trust and reputation systems are intended to assist agents in finding trustworthy partners with whom to interact. Earlier work of ours identified in theory a number of security ... 
Admission Control for Independentlyauthored Realtime Applications
(University of Waterloo, 2004)This thesis presents the LiquiMedia operating system architecture. LiquiMedia is specialized to schedule multimedia applications. Because they generate output for a human observer, multimedia applications such as ... 
ADMM for SDP Relaxation of GP
(University of Waterloo, 20160830)We consider the problem of partitioning the set of nodes of a graph G into k sets of given sizes in order to minimize the cut obtained after removing the kth set. This is a variant of the wellknown vertex separator ... 
Advanced Concepts in Asynchronous Exception Handling
(University of Waterloo, 20110121)Asynchronous exception handling is a useful and sometimes necessary alternative form of communication among threads. This thesis examines and classifies general concepts related to asynchrony, asynchronous propagation ... 
Advancements in the Elicitation and Aggregation of Private Information
(University of Waterloo, 20140828)There are many situations where one might be interested in eliciting and aggregating the private information of a group of agents. For example, a recommendation system might suggest recommendations based on the aggregate ... 
Advisor Networks and Referrals for Improved Trust Modelling in MultiAgent Systems
(University of Waterloo, 20110216)This thesis relates to the usage of trust modelling in multiagent systems  environments in which there are interacting software agents representing various users (for example, buyers and sellers exchanging products and ... 
The aesthetics of science fiction spaceship design
(University of Waterloo, 20100118)In this thesis, we present a detailed analysis of the conventions that appear in fictional spaceship design, including a discussion of their origins, their uses in emulating certain traits, and reasons these conventions ... 
Affect Lexicon Induction For the Github Subculture Using Distributed Word Representations
(University of Waterloo, 20181106)Sentiments and emotions play essential roles in small group interactions, especially in selforganized collaborative groups. Many people view sentiments as universal constructs; however, cultural differences exist in some ... 
Affective and HumanLike Virtual Agents
(University of Waterloo, 20200929)In Artificial Intelligence (AI) one of the technological goals is to build intelligent systems that not only perform human level tasks efficiently, but can also simulate and exhibit humanlike behaviour. As the emphasis ... 
Affective Sentiment and Emotional Analysis of Pull Request Comments on GitHub
(University of Waterloo, 20171215)Sentiment and emotional analysis on online collaborative software development forums can be very useful to gain important insights into the behaviors and personalities of the developers. Such information can later on be ... 
An Affine SemiLagrangian Advection Method
(University of Waterloo, 20190108)In computer graphics, the standard semiLagrangian advection as in the work of Stam (1999) is a widespread unconditionally stable transport scheme used in incompressible fluid solvers. Due to its stability, which disconnects ... 
AgentBased Modeling Framework for Energy Policies
(University of Waterloo, 20160809)Energy infrastructure systems  including energy generation, transmission, and distribution systems  provide consumers with access to energy. Energy systems have been relatively static for several decades but due to ... 
Aggregation of Heterogeneous Anomaly Detectors for CyberPhysical Systems
(University of Waterloo, 20190107)Distributed, lifecritical systems that bridge the gap between software and hardware are becoming an integral part of our everyday lives. From autonomous cars to smart electrical grids, such cyberphysical systems will ... 
Agile Architecture Recovery
(University of Waterloo, 2002)Many software development projects start with an existing code base that has to be tightly integrated into a new system. In order to make a robust system that will achieve the desired business goals, developers must be ... 
Aiding Human Discovery of OutoftheMoment Handwriting Recognition Errors
(University of Waterloo, 20090430)Handwriting recognizers frequently misinterpret digital ink input, requiring human verification of recognizer output to identify and correct errors, before the output of the recognizer can be used with any confidence int ... 
Algebraic Analysis of VertexDistinguishing EdgeColorings
(University of Waterloo, 2006)Vertexdistinguishing edgecolorings (vdec colorings) are a restriction of proper edgecolorings. These special colorings require that the sets of edge colors incident to every vertex be distinct. This is a relatively ... 
Algebraic and combinatorial aspects of incidence groups and linear system nonlocal games arising from graphs
(University of Waterloo, 20190606)To every linear binaryconstraint system (LinBCS) nonlocal game, there is an associated algebraic object called the solution group. Cleve, Liu, and Slofstra showed that a LinBCS game has a perfect quantum strategy if and ...