Browsing Computer Science by Title
Now showing items 1082-1101 of 1545
-
Private Two-Party Random Minimum Spanning Forest Computation
(University of Waterloo, 2022-08-30)Finding the Minimum Spanning Tree, or more generally the Minimum Spanning Forest (MSF), of a weighted graph is a well-known algorithmic problem. While this problem itself can be directly applied to any kind of networks, ... -
Privately Constrained Testable Pseudorandom Functions
(University of Waterloo, 2018-09-20)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 ... -
Probabilistic Graphical Models and Algorithms for
(University of Waterloo, 2008-05-26)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 ... -
The Problem of Stretching in Persian Calligraphy and a New Type 3 PostScript Nastaliq Font
(University of Waterloo, 2010-01-22)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 Related to Shortest Strings in Formal Languages
(University of Waterloo, 2010-05-11)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 Verb-Centric Frame Semantics as a Knowledge Representation for Argumentation Analysis of Biochemistry Articles
(University of Waterloo, 2019-09-05)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 Event-Based Systems
(University of Waterloo, 2010-03-10)Distributed Event-Based 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, 2021-09-03)Modeling of software-intensive 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 user-level threads can be used to structure the execution of a program in a uniprocessor environment and/or speed up its execution in ... -
Promoting Honesty in Electronic Marketplaces: Combining Trust Modeling and Incentive Mechanism Design
(University of Waterloo, 2009-05-14)This thesis work is in the area of modeling trust in multi-agent systems, systems of software agents designed to act on behalf of users (buyers and sellers), in applications such as e-commerce. The focus is on developing ... -
Prompt-tuning in Controlled Dialogue Generation
(University of Waterloo, 2022-12-22)Recent years have witnessed a prosperous development of dialogue response generation since the advent of Transformer. Fine-tuning pretrained language models for different downstream tasks has become the dominant paradigm ... -
ProofFrog: A Tool For Verifying Game-Hopping Proofs
(University of Waterloo, 2024-04-15)Cryptographic proofs allow researchers to provide theoretical guarantees on the security that their constructions provide. A proof of security can completely eliminate a class of attacks by potential adversaries. Human ... -
Properties of Two-Dimensional Words
(University of Waterloo, 2017-04-21)Combinatorics on words in one dimension is a well-studied subfield of theoretical computer science with its origins in the early 20th century. However, the closely-related study of two-dimensional words is not as popular, ... -
Proportionality and Fairness in Voting and Ranking Systems
(University of Waterloo, 2023-08-18)Fairness through proportionality has received significant attention in recent social choice research, leading to the development of advanced tools, methods, and algorithms aimed at ensuring fairness in democratic institutions. ... -
Protein De novo Sequencing
(University of Waterloo, 2016-05-13)In the proteomic mass spectrometry field, peptide and protein identification can be classified into two categories: database search that relies on existing peptide and protein databases and de novo sequencing with no prior ... -
Protein Loop Prediction by Fragment Assembly
(University of Waterloo, 2007-01-19)If the primary sequence of a protein is known, what is its three-dimensional structure? This is one of the most challenging problems in molecular biology and has many applications in proteomics. During the last three ... -
Protein Structure Elastic Network Models and the Rank 3 Positive Semidefinite Matrix Manifold
(University of Waterloo, 2019-01-09)This thesis is a contribution to the study of protein dynamics using elastic network models (ENMs). An ENM is an abstraction of a protein structure where inter-atomic interactions are assumed to be modelled by a Hookean ... -
A protocol for constructing a domain-specific ontology for use in biomedical information extraction using lexical-chaining analysis
(University of Waterloo, 2007-01-19)In order to do more semantics-based information extraction, we require specialized domain models. We develop a hybrid approach for constructing such a domain-specific ontology, which integrates key concepts from the ... -
Providing Freshness for Cached Data in Unstructured Peer-to-Peer Systems
(University of Waterloo, 2013-04-17)Replication is a popular technique for increasing data availability and improving perfor- mance in peer-to-peer systems. Maintaining freshness of replicated data is challenging due to the high cost of update management. ...