Browsing Computer Science by Title
Now showing items 1429-1448 of 1545
-
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 ... -
A Trust-based Message Evaluation and Propagation Framework in Vehicular Ad-Hoc Networks
(University of Waterloo, 2010-01-18)In this paper, we propose a trust-based message propagation and evaluation framework to support the effective evaluation of information sent by peers and the immediate control of false information in a VANET. More specifically, ... -
Turning Open Government Data Portals into Interactive Databases
(University of Waterloo, 2022-09-21)The launch of open governmental data portals (OGDPs), such as data.gov, data.gov.in, and open.canada.ca, have popularized the open data movement of the last decade, which now includes numerous other portals from other ... -
TwitSong: A current events computer poet and the thorny problem of assessment.
(University of Waterloo, 2018-11-29)This thesis is driven by the question of how computers can generate poetry, and how that poetry can be evaluated. We survey existing work on computer-generated poetry and interdisciplinary work on how to evaluate this type ...