Computer Science: Recent submissions
Now showing items 21-40 of 1544
-
Graph-Based Mapping for Knowledge Transfer in General Game Playing
(University of Waterloo, 2024-01-17)General game playing (GGP) is a field of reinforcement learning (RL) in which the rules of a game (i.e. the state and dynamics of an RL domain) are not specified until runtime. A GGP agent must therefore be able to play ... -
Finding False Assurance in Formal Verification of Software Systems
(University of Waterloo, 2024-01-15)Formal verification plays a crucial role in enhancing the reliability of computing systems by mathematically checking the correctness of a program. Although recent years have witnessed lots of research and applications ... -
Improving Peptide Identification in Proteomics Data Analysis through Repeat-Preserving Decoy and Decoy-Free Retraining
(University of Waterloo, 2024-01-10)Accurately identifying peptides in proteomics is central to understanding the complexities of biological systems. Despite the advancements in proteomics data analysis, challenges related to False Discovery Rate (FDR) ... -
Multilingual Grammatical Error Detection And Its Applications to Prompt-Based Correction
(University of Waterloo, 2024-01-05)Grammatical Error Correction (GEC) and Grammatical Error Correction (GED) are two important tasks in the study of writing assistant technologies. Given an input sentence, the former aims to output a corrected version of ... -
Compact Routing on Planar Graphs
(University of Waterloo, 2024-01-04)This thesis delves into the exploration of shortest path queries in planar graphs, with an emphasis on the utilization of space-efficient data structures. Our investigation primarily targets connected, undirected, static ... -
An Empirical Evaluation of the Viability of the Serverless Paradigm for Scientific Workflows
(University of Waterloo, 2023-12-22)Scientific workflows are typically data-intensive. They consist of many stages, each of which may contain hundreds to even thousands of tasks. Traditionally, scientific workflows have been executed using the serverful ... -
The Impact of Code Ownership of DevOps Artefacts on the Outcome of DevOps CI Builds
(University of Waterloo, 2023-12-22)This study focuses on factors that may influence the outcomes of CI builds triggered by commits modifying and/or adding DevOps artefacts to the projects, i.e., DevOps-related CI builds. In particular, code ownership of ... -
An In-Depth Exploration of the High-Quality Entity Linking for Information Retrieval: MMEAD
(University of Waterloo, 2023-12-19)Entity linking has emerged significantly during the digital information explosion, aiming to provide context and meaning to huge amounts of unstructured data. While traditional information retrieval primarily relied on ... -
Evaluating the Ability of Commercial Search Engines to Help People Answer Health Questions
(University of Waterloo, 2023-12-18)The act of seeking information pertaining to medical treatments and self-diagnosis is one of the applications of search engines. However online documents and websites offer convenience and efficiency in accessing information, ... -
Retrieving Supporting Evidence for Generative Question Answering
(University of Waterloo, 2023-12-18)Current large language models (LLMs) can exhibit near-human levels of performance on many natural language-based tasks, including open-domain question answering. Unfortunately, at this time, they also convincingly hallucinate ... -
Graph Morphing via Orthogonal Box Drawings
(University of Waterloo, 2023-12-18)Abstract: A graph is a set of vertices, with some pairwise connections given by a set of edges. A graph drawing, such as a node-link diagram, visualizes a graph with geometric features. One of the most common forms of a ... -
VisConductor: Affect-Varying Gestural Widgets for Animating Dynamic Data Visualization in Augmented Video Presentations
(University of Waterloo, 2023-12-12)To enhance presentations involving data in remote settings, we introduce VisConductor, an authoring and presentation tool that allows presenters to manipulate data visualizations overlaid on their webcam feed with hand ... -
Evaluating and Comparing Generative-based Chatbots Based on Process Requirements
(University of Waterloo, 2023-12-06)Business processes refer to the sequences of tasks and information flows needed to achieve a specific goal. Such processes are used in multiple sectors, such as healthcare, manufacturing, banking, among others. They can ... -
Adaptive Human-Chatbot Interactions: Contextual Factors, Variability Design and Levels of Automation
(University of Waterloo, 2023-12-05)The landscape of software development is undergoing a significant transformation characterized by various factors. A notable shift is the surging demand for software developers, driven by industries' increasing reliance ... -
Quantifying, Characterizing, and Leveraging Cross-Disciplinary Dependencies: Empirical Studies from a Video Game Development Setting
(University of Waterloo, 2023-12-05)Continuous Integration (CI) is a common practice adopted by modern software organizations. It plays an especially important role for large corporations like Ubisoft, where thousands of build jobs are submitted daily. The ... -
Quantum Ray Marching: Reformulating Light Transport for Quantum Computers
(University of Waterloo, 2023-11-27)The use of quantum computers in computer graphics has gained some interest in recent years, especially for the application of rendering. The current state of the art in quantum rendering relies on Grover's search for finding ... -
Update-Aware Information Extraction
(University of Waterloo, 2023-11-20)Information extraction programs (extractors) can be applied to documents to isolate structured versions of some content by creating tabular records corresponding to facts found in the documents. When extracted relations ... -
Perceptual Allowances of Anamorphic Interaction Cues in Spatial Augmented Reality
(University of Waterloo, 2023-10-17)Spatial Augmented Reality (SAR) enables the projection of digital content directly on the physical environment without the use of wearable displays. In spaces where viewers are encouraged to explore different locations, ... -
Themelio: a new blockchain paradigm
(University of Waterloo, 2023-10-10)Public blockchains hold great promise in building protocols that uphold security properties like transparency and consistency based on internal, incentivized cryptoeconomic mechanisms rather than preexisting trust in ... -
GraphflowDB: Scalable Query Processing on Graph-Structured Relations
(University of Waterloo, 2023-10-02)Finding patterns over graph-structured datasets is ubiquitous and integral to a wide range of analytical applications, e.g., recommendation and fraud detection. When expressed in the high-level query languages of database ...