Browsing Mathematics (Faculty of) by Title
Now showing items 298-317 of 2993
-
BridgeSPA: A Single Packet Authorization System for Tor Bridges
(University of Waterloo, 2012-01-10)Tor is a network designed for low-latency anonymous communications. Tor clients form circuits through relays that are listed in a public directory, and then relay their encrypted traffic through these circuits. This ... -
Bridging Technical Spaces: Model Translation from TA to XMI and Back Again
(University of Waterloo, 2006)There are many different techniques and notations for extracting architecturally interesting information from the source code of existing software systems. This process is known as reverse engineering. One current ... -
Brownian Dynamics Simulation of Dusty Plasma: Comparison with Generalized Hydrodynamics
(University of Waterloo, 2010-04-14)Brownian dynamics (BD) simulation method has been widely used for studying problems in dispersed systems, such as polymer solutions, colloidal suspensions and more recently, complex (dusty) plasmas. The main problem addressed ... -
BSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environment
(ACM, 2016-11)In model-driven engineering, developers express their solutions in domain-specific modelling languages (DSLs) that support domain-specific abstractions. Big-Step Modelling Languages (BSML) is a family of extended state-machine ... -
Budget-Constrained Optimal Insurance with an Upper Limit on the Insurer's Exposure
(University of Waterloo, 2021-01-13)This thesis studies the problem of budget-constrained optimal insurance indemnification when the insurer imposes an upper limit on disbursement. In balancing the trade-off between the cost of paying the insurance premium ... -
Budget-constrained optimal insurance without the nonnegativity constraint on indemnities
(Elsevier, 2019-01)In a problem of Pareto-efficient insurance contracting (bilateral risk sharing) with expected-utility preferences, Gollier (1987) relaxes the nonnegativity constraint on indemnities and argues that the existence of a ... -
Building a Better Tor Experimentation Platform from the Magic of Dynamic ELFs
(University of Waterloo, 2017-10-30)Tor is the most popular tool for providing online anonymity. It is used by journalists, activists, and privacy-conscious individuals to provide low-latency private access to the Internet. However, Tor’s specific design and ... -
Building a Framework for High-performance In-memory Message-Oriented Middleware
(University of Waterloo, 2019-11-28)Message-Oriented Middleware (MOM) is a popular class of software used in many distributed applications, ranging from business systems and social networks to gaming and streaming media services. As workloads continue to ... -
Building a larger class of graphs for efficient reconfiguration of vertex colouring
(University of Waterloo, 2020-05-13)A $k$-colouring of a graph $G$ is an assignment of at most $k$ colours to the vertices of $G$ so that adjacent vertices are assigned different colours. The reconfiguration graph of the $k$-colourings, $\mathcal{R}_k(G)$, ... -
Building Efficient Software to Support Content Delivery Services
(University of Waterloo, 2019-08-28)Many content delivery services use key components such as web servers, databases, and key-value stores to serve content over the Internet. These services, and their component systems, face unique modern challenges. Services ... -
Building Networks in the Face of Uncertainty
(University of Waterloo, 2011-08-26)The subject of this thesis is to study approximation algorithms for some network design problems in face of uncertainty. We consider two widely studied models of handling uncertainties - Robust Optimization and Stochastic ... -
Bulk Scattering Approximations for Collimated Light Transmitted through Paper
(University of Waterloo, 2009-01-21)Paper is a complex fibrous material whose production involves substantial amounts of natural and industrial resources. To reduce its manufacturing costs, the pulp and paper industry often employs optical technology such ... -
Business Policy Modeling and Enforcement in Relational Database Systems
(University of Waterloo, 2014-05-12)Database systems maintain integrity of the stored information by ensuring that modifications to the database comply with constraints designed by the administrators. As the number of users and applications sharing a common ... -
Cache Design for a Hardware Accelerated Sparse Texture Storage System
(University of Waterloo, 2004)Hardware texture mapping is essential for real-time rendering. Unfortunately the memory bandwidth and latency often bounds performance in current graphics architectures. Bandwidth consumption can be reduced by ... -
Cache Oblivious Data Structures
(University of Waterloo, 2001)This thesis discusses cache oblivious data structures. These are structures which have good caching characteristics without knowing Z, the size of the cache, or L, the length of a cache line. Since the structures do ... -
Cache-Aware Virtual Page Management
(University of Waterloo, 2013-02-22)With contemporary research focusing its attention primarily on benchmark-driven performance evaluation, studying fundamental memory characteristics has gone by the way-side. This thesis presents a systematic study of the ... -
Cache-Oblivious Searching and Sorting in Multisets
(University of Waterloo, 2004)We study three problems related to searching and sorting in multisets in the cache-oblivious model: Finding the most frequent element (the mode), duplicate elimination and finally multi-sorting. We are interested in ... -
Calcium Transport and Regulation in Male and Female Rat Kidney
(University of Waterloo, 2023-05-16)Calcium is an essential mineral that plays a critical role in many biological processes, such as muscle contraction, nerve function, and bone health. However, maintaining the right balance of calcium in the body is crucial ... -
The Capacitated Matroid Median Problem
(University of Waterloo, 2018-05-18)In this thesis, we study the capacitated generalization of the Matroid Median Problem which is a generalization of the classical clustering problem called the k-Median problem. In the capacitated matroid median problem, ... -
Capacitated Network Design on Outerplanar Graphs
(University of Waterloo, 2020-09-03)Network design problems model the efficient allocation of resources like routers, optical fibres, roads, canals etc. to effectively construct and operate critical infrastructures. In this thesis, we consider the capacitated ...