Browsing Computer Science by Title
Now showing items 1426-1445 of 1545
-
Towards the Efficient Generation of Gray Codes in the Bitprobe Model
(University of Waterloo, 2016-05-13)We examine the problem of representing integers modulo L so that both increment and decrement operations can be performed efficiently. This problem is studied in the bitprobe model, where the complexity of the underlying ... -
Towards the Learning, Perception, and Effectiveness of Teachable Conversational Agents
(University of Waterloo, 2019-12-20)The traditional process of building interactive machine learning systems can be viewed as a teacher-learner interaction scenario where the machine-learners are trained by one or more human-teachers. In this work, we explore ... -
Towards Theoretical Foundations of Clustering
(University of Waterloo, 2012-07-20)Clustering is a central unsupervised learning task with a wide variety of applications. Unlike in supervised learning, different clustering algorithms may yield dramatically different outputs for the same input sets. As ... -
Towards Understanding and Improving Code Review Quality
(University of Waterloo, 2017-06-12)Code review is an essential element of any mature software development project, it is key to ensuring the long-term quality of the code base. Code review aims at evaluating code contributions submitted by developers before ... -
Trace Checking for Dynamic Software Product Lines
(ACM, 2018-05)A key objective of self-adaptive systems is to continue to provide optimal quality of service when the environment changes. A dynamic software product line (DSPL) can benefit from knowing how its various product variants ... -
Tracking Events in Social Media
(University of Waterloo, 2017-01-20)Tracking topical events in social media streams, such as Twitter, provides a means for users to keep up-to-date on topics of interest to them. This tracking may last a period of days, or even weeks. These events and topics ... -
Trade-Off Exploration for Acceleration of Continuous Integration
(University of Waterloo, 2023-06-21)Continuous Integration (CI) is a popular software development practice that allows developers to quickly verify modifications to their projects. To cope with the ever-increasing demand for faster software releases, CI ... -
Trade-Offs between Fairness, Interpretability, and Privacy in Machine Learning
(University of Waterloo, 2020-05-14)Algorithms have increasingly been deployed to make consequential decisions, and there have been many ethical questions raised about how these algorithms function. Three ethical considerations we look at in this work are ... -
Traffic Rule Checking and Validation
(University of Waterloo, 2024-02-15)This thesis presents a comprehensive exploration of traffic rule verification systems for diverse junction types, addressing key challenges in formalizing rules, determining violation thresholds, and covering a wide spectrum ... -
Training of Template-Specific Weighted Energy Function for Sequence-to-Structure Alignment
(University of Waterloo, 2008-09-26)Threading is a protein structure prediction method that uses a library of template protein structures in the following steps: first the target sequence is matched to the template library and the best template structure ... -
Training Reject-Classifiers for Out-of-distribution Detection via Explicit Boundary Sample Generation
(University of Waterloo, 2020-01-24)Discriminatively trained neural classifiers can be trusted only when the input data comes from the training distribution (in-distribution). Therefore, detecting out-of-distribution (OOD) samples is very important to avoid ... -
Transferring Pareto Frontiers across Heterogeneous Hardware Environments
(University of Waterloo, 2020-09-14)Configurable software systems provide options that affect functional and non-functional system properties. Selection of options forms system configurations with corresponding properties values. Nowadays configurable software ... -
Transforming the Reading Experience of Scientific Documents with Polymorphism
(University of Waterloo, 2023-09-07)Despite the opportunities created by digital reading, documents remain mostly static and mimic paper. Any improvement in the shape or form of documents has to come from authors who contend with current digital formats, ... -
Transport Control Protocol (TCP) over Optical Burst Switched Networks
(University of Waterloo, 2007-07-13)Transport Control Protocol (TCP) is the dominant protocol in modern communication networks, in which the issues of reliability, flow, and congestion control must be handled efficiently. This thesis studies the impact of ... -
“Transport Me Away”: Fostering Flow in Open Offices through Virtual Reality
(ACM, 2020-04-21)Open offices are cost-effective and continue to be popular. However, research shows that these environments, brimming with distractions and sensory overload, frequently hamper productivity. Our research investigates the ... -
TreeGen: a monotonically impure functional language
(University of Waterloo, 2020-08-19)We present TreeGen, an impure functional language designed to express, consume, and validate JSON-like documents, as well as generate text files. The language aims to provide a more reliable and flexible way to create ... -
Triangular Bézier Surfaces with Approximate Continuity
(University of Waterloo, 2008-05-15)When interpolating a data mesh using triangular Bézier patches, the requirement of C¹ or G¹ continuity imposes strict constraints on the control points of adjacent patches. However, fulfillment of these continuity ... -
Trifecta: Faster High-throughput Three-party Computation over WAN using Multi-fan-in Logic Gates
(University of Waterloo, 2022-11-29)Multi-party computation (MPC) has been a very active area of research and recent industrial deployments exist. Practical MPC is currently limited to low-latency, high- throughput network setups, i.e., local-area networks ... -
Trust Region Methods for Training Neural Networks
(University of Waterloo, 2017-11-09)Artificial feed-forward neural networks (ff-ANNs) serve as powerful machine learning models for supervised classification problems. They have been used to solve problems stretching from natural language processing to ... -
Trust-based Incentive Mechanisms for Community-based Multiagent Systems
(University of Waterloo, 2010-06-16)In this thesis we study peer-based communities which are online communities whose services are provided by their participant agents. In order to improve the services an agent enjoys in these communities, we need to improve ...