• Modelling Allostery using a Computational Analysis of Side-Chain Interactions 

  Zhao, Leonard (University of Waterloo, 2022-09-30)

  Allostery refers to the regulation of protein activity arising from an effector molecule, such as a ligand, binding to a protein. The exact mechanisms that take place in allosteric regulation are still a source of debate ...

• A Las Vegas Algorithm for the Ordered Majority Problem 

  Baral, Ben (University of Waterloo, 2022-09-29)

  In this thesis, we study the majority problem using ordered comparisons under the Las Vegas randomized algorithm model. The majority problem asks whether a given set of n elements, each with some colour, has a colour which ...

• Studying and Leveraging API Usage Patterns 

  Venkatanarayanan, Sruthi (University of Waterloo, 2022-09-29)

  Software projects make use of libraries extensively. Libraries have intended API surfaces—sets of exposed library interfaces that library developers expect clients to use. However, in practice, clients only use small ...

• Designing a Unity Plugin to Predict Expected Affect in Games Using Biophilia 

  Zhang, Licheng (University of Waterloo, 2022-09-28)

  Video games can generate different emotional states and affective reactions, but it can sometimes be difficult for a game’s visual designer to predict the emotional response a player might experience when designing a game ...

• Dash+: Extending Alloy with Replicated Processes for Modelling Transition Systems 

  Hossain, Tamjid (University of Waterloo, 2022-09-27)

  Modelling systems abstractly shows great promise to uncover bugs early in system development. The formal language Alloy provides the means of writing constraints abstractly but lacks explicit constructs for describing ...

• On the power of interleaved low-depth quantum and classical circuits 

  Anand, Abhishek (University of Waterloo, 2022-09-26)

  Low-depth quantum circuits are a well-suited model for near-term quantum devices, given short coherence times and noisy gate operations, making it pivotal to examine their computational power. It was already known as early ...

• Connectivity Properties of the Flip Graph After Forbidding Triangulation Edges 

  Bigdeli, Reza (University of Waterloo, 2022-09-23)

  The flip graph for a set $P$ of points in the plane has a vertex for every triangulation of $P$, and an edge when two triangulations differ by one flip that replaces one triangulation edge by another. The flip graph is ...

• Turning Open Government Data Portals into Interactive Databases 

  Liu, Chang (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 ...

• Empirical Game Theoretic Models for Autonomous Driving: Methods and Applications 

  Sarkar, Atrisha (University of Waterloo, 2022-09-16)

  In recent years, there has been enormous public interest in autonomous vehicles (AV), with more than 80 billion dollars invested in self-driving car technology. However, for the foreseeable future, self-driving cars will ...

• KG-Pipeline: An Automated Knowledge Graph Generation Framework 

  Vezvaei, Alireza (University of Waterloo, 2022-09-16)

  Knowledge Graphs (KGs) have many applications, specifically in information retrieval and question answering. Community projects are conducted for building large-scale KGs with crowdsourcing, but building KGs with this ...

• POEM: Pattern-Oriented Explanations of CNN Models 

  Dadvar, Vargha (University of Waterloo, 2022-09-16)

  While Convolutional Neural Networks (CNN) achieve state-of-the-art predictive performance in applications such as computer vision, their predictions are difficult to explain, similar to other types of deep learning models. ...

• New Design and Analysis Techniques for Post-Quantum Cryptography 

  Eaton, Edward (University of Waterloo, 2022-09-16)

  Due to the threat of scalable quantum computation breaking existing public-key cryptography, interest in post-quantum cryptography has exploded in the past decade. There are two key aspects to the mitigation of the quantum ...

• Editing Fluid Flows with Divergence-Free Biharmonic Vector Field Interpolation 

  Ozdemir, Tumay (University of Waterloo, 2022-09-16)

  Achieving satisfying fluid animation through numerical simulation can be time-consuming because such simulations are computationally expensive to perform and there are few practical post-processing tools for editing of ...

• Single-pass stratified importance resampling 

  Ciklabakkal, Ege (University of Waterloo, 2022-09-08)

  Simulating the behavior of light to produce realistic images involves evaluation of difficult integrals. Monte Carlo integration is a general method to estimate such integrals and is therefore widely used in physically ...

• Improving the Reliability of Deep Learning Software Systems 

  Pham, Viet Hung (University of Waterloo, 2022-09-07)

  For the last decade, deep learning (DL) has emerged as a new effective machine learning approach that is capable of solving difficult challenges. Due to their increasing effectiveness, DL approaches have been applied widely ...

• Evaluating Singing for Computer Input Using Pitch, Interval and Melody 

  Zinck, Graeme (University of Waterloo, 2022-09-02)

  In voice-based interfaces, non-verbal features represent a simple and underutilized design space for hands-free, language-agnostic interactions. This work evaluates the performance of three fundamental types of voice-based ...

• Adaptive Data Storage and Placement in Distributed Database Systems 

  Abebe, Michael (University of Waterloo, 2022-09-01)

  Distributed database systems are widely used to provide scalable storage, update and query facilities for application data. Distributed databases primarily use data replication and data partitioning to spread load across ...

• SafeDS: Safe Data Structures for C++ 

  Ghorshi, Seyedeh Setareh (University of Waterloo, 2022-09-01)

  Memory corruption vulnerabilities in low-level languages such as C/C++ have been a problem in computer security for a long time. Accordingly, there has been a wide variety of proposed solutions for detecting or preventing ...

• GRS: Combining Generation and Revision in Unsupervised Sentence Simplification 

  Dehghan, Mohammad (University of Waterloo, 2022-08-30)

  Text simplification is a task in the natural language processing field that alters a given text to reduce the structural and lexical complexity of the text while preserving the underlying meaning. We can classify existing ...

• Private Two-Party Random Minimum Spanning Forest Computation 

  Dietz, Marian (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, ...

View more