Browsing Mathematics (Faculty of) by Title
Now showing items 18021821 of 2519

PrivacyGuard: A VPNBased Approach to Detect Privacy Leakages on Android Devices
(University of Waterloo, 20150506)The Internet is now the most important and efficient way to gain information, and mobile devices are the easiest way to access the Internet. Furthermore, wearable devices, which can be considered to be the next generation ... 
Privately Constrained Testable Pseudorandom Functions
(University of Waterloo, 20180920)Privately Constrained Pseudorandom Functions allow a PRF key to be delegated to some evaluator in a constrained manner, such that the key’s functionality is restricted with respect to some secret predicate. Variants of ... 
A Probabilistic Approach to Image Feature Extraction, Segmentation and Interpretation
(University of Waterloo, 2000)This thesis describes a probabilistic approach to imagesegmentation and interpretation. The focus of the investigation is the development of a systematic way of combining color, brightness, texture and geometric features ... 
Probabilistic Choice Models for Product Pricing Using Reservation Prices
(University of Waterloo, 20070122)The problem of pricing a product line to maximize profits is an important challenge faced by many companies. To address this problem, we discuss four different probabilistic choice models that are based on reservation ... 
Probabilistic Graphical Models and Algorithms for
(University of Waterloo, 20080526)In this thesis I present research in two fields: machine learning and computational biology. First, I develop new machine learning methods for graphical models that can be applied to protein problems. Then I apply ... 
Probabilistic Program Analysis for Software Component Reliability
(University of Waterloo, 2002)Components are widely seen by software engineers as an important technology to address the "software crisis''. An important aspect of components in other areas of engineering is that system reliability can be estimated ... 
Probabilistic Properties of Delay Differential Equations
(University of Waterloo, 2004)Systems whose time evolutions are entirely deterministic can nevertheless be studied probabilistically, <em>i. e. </em> in terms of the evolution of probability distributions rather than individual trajectories. This ... 
Probing Quantum Fields: Measurements and Quantum Energy Teleportation
(University of Waterloo, 20170110)Quantum Energy Teleportation provides a testbed for modern ideas involving the interplay between quantum correlations and energy in the quantum thermodynamical regime. In this work, we provide a new class of Quantum Energy ... 
The Problem of Stretching in Persian Calligraphy and a New Type 3 PostScript Nastaliq Font
(University of Waterloo, 20100122)This research is about a typeface for implementing Persian calligraphy called Nastaliq. The main purpose for developing this font was to handle stretching of letters in order to achieve line justification through a dynamic ... 
Problems in Combinatorial and Analytic Number Theory
(University of Waterloo, 20180801)We focus on three problems in number theory. The first problem studies the random Fibonacci tree, which is an infinite binary tree with nonnegative integers at each node. The root consists of the number 1 with a single ... 
Problems Related to Shortest Strings in Formal Languages
(University of Waterloo, 20100511)In formal language theory, studying shortest strings in languages, and variations thereof, can be useful since these strings can serve as small witnesses for properties of the languages, and can also provide bounds for ... 
Procedurally Rhetorical VerbCentric Frame Semantics as a Knowledge Representation for Argumentation Analysis of Biochemistry Articles
(University of Waterloo, 20190905)The central focus of this thesis is rhetorical moves in biochemistry articles. Kanoksilapatham has provided a descriptive theory of rhetorical moves that extends Swales' CARS model to the complete biochemistry article. ... 
Process Models for Distributed EventBased Systems
(University of Waterloo, 20100310)Distributed EventBased Systems (DEBSs) are middleware supporting the interaction of publisher and subscriber components via events. In DEBSs, the subscribers to be notified when an event is announced are decided at ... 
Profiling Alloy Models
(University of Waterloo, 20210903)Modeling of softwareintensive systems using formal declarative modeling languages offers a means of managing software complexity through the use of abstraction and early identification of correctness issues by formal ... 
Profiling Concurrent Programs Using Hardware Counters
(University of Waterloo, 2005)Concurrency is a programming tool that is widely used in applications. Concurrent userlevel threads can be used to structure the execution of a program in a uniprocessor environment and/or speed up its execution in ... 
A profit Sharing Pension Plan
(University of Waterloo, 20210105)As Traditional Defined Benefit (DB) plans are declining, more companies are switching to Defined Contribution (DC) plans. However, DC plans have significant disadvantages since employees bear all investment and longevity ... 
Promoting Honesty in Electronic Marketplaces: Combining Trust Modeling and Incentive Mechanism Design
(University of Waterloo, 20090514)This thesis work is in the area of modeling trust in multiagent systems, systems of software agents designed to act on behalf of users (buyers and sellers), in applications such as ecommerce. The focus is on developing ... 
Properties of graphs with large girth
(University of Waterloo, 20080124)This thesis is devoted to the analysis of a class of iterative probabilistic algorithms in regular graphs, called locally greedy algorithms, which will provide bounds for graph functions in regular graphs with ... 
Properties of random graphs
(University of Waterloo, 20080923)The thesis describes new results for several problems in random graph theory. The first problem relates to the uniform random graph model in the supercritical phase; i.e. a graph, uniformly distributed, on $n$ vertices and ... 
Properties of Stable Matchings
(University of Waterloo, 20101217)Stable matchings were introduced in 1962 by David Gale and Lloyd Shapley to study the college admissions problem. The seminal work of Gale and Shapley has motivated hundreds of research papers and found applications in ...