• Decidability and k-Regular Sequences 

  Krenn, Daniel; Shallit, Jeffrey (Elsevier, 2020-05)

  In this paper we consider a number of natural decision problems involving k-regular sequences. Specifically, they arise from considering • lower and upper bounds on growth rate; in particular boundedness, • images, • ...

• Controlled Generation of Stylized Text Using Semantic and Phonetic Representations 

  Gudmundsson, Egill Ian (University of Waterloo, 2022-01-21)

  Neural networks are a popular choice of models for the purpose of text generation. Variational autoencoders have been shown to be good at reconstructing text and generating novel text. However, controlling certain aspects ...

• Merging the Real and the Virtual: An Exploration of Interaction Methods to Blend Realities 

  Hartmann, Jeremy (University of Waterloo, 2022-01-20)

  We investigate, build, and design interaction methods to merge the real with the virtual. An initial investigation looks at spatial augmented reality (SAR) and its effects on pointing with a real mobile phone. A study ...

• Hubble Spacer Telescope 

  Ramanathan, Aishwarya (University of Waterloo, 2022-01-19)

  Visualizing a model checker’s run on a model can be useful when trying to gain a deeper understanding of the verification of the particular model. However, it can be difficult to formalize the problem that visualization ...

• Quantum information in security protocols 

  Verschoor, Sebastian Reynaldo (University of Waterloo, 2022-01-18)

  Information security deals with the protection of our digital infrastructure. Achieving meaningful real-world security requires powerful cryptographic models that can give strong security guarantees and it requires ...

• Quantitative Analyses of Software Product Lines 

  Olaechea Velazco, Rafael Ernesto (University of Waterloo, 2022-01-18)

  A software product-line (SPL) is a family of related software systems that are jointly developed and reuse a set of shared assets. Each individual software system in an SPL is called a software product and includes a set ...

• Learning by Teaching: Key Challenges and Design Implications 

  Debbané, Amy Gabriela (University of Waterloo, 2022-01-17)

  Benefits of learning by teaching (LbT) have been highlighted by previous studies from a pedagogical lens, as well as through computer-supported systems. However, the challenges that university students face in technology-mediated ...

• Test collections for web-scale datasets using Dynamic Sampling 

  Singh, Anmol (University of Waterloo, 2022-01-17)

  Dynamic Sampling is a non-uniform statistical sampling strategy based on S-CAL, a high-recall retrieval algorithm. It is used for the construction of statistical test collections for evaluating information retrieval ...

• Differentially Private Online Aggregation 

  Sivasubramaniam, Harry (University of Waterloo, 2022-01-13)

  Database operations are often performed in batch mode, i.e. the analyst issuing the query must wait till the database has been processed in its entirety before getting feedback. Batch mode is inadequate for large databases ...

• Harnessing Neural Dynamics as a Computational Resource 

  Stöckel, Andreas (University of Waterloo, 2022-01-10)

  Researchers study nervous systems at levels of scale spanning several orders of magnitude, both in terms of time and space. While some parts of the brain are well understood at specific levels of description, there are few ...

• A Scalable Method for Many Object Fluid-Structure Interaction Simulations 

  Tannahill, Connor (University of Waterloo, 2022-01-10)

  Fluid-Structure Interaction (FSI) Simulations are an important technology in many areas of research, including, but not limited to, Computer Graphics, Computational Physics and Engineering. This area is concerned with the ...

• Parlez-vous le hate?: Examining topics and hate speech in the alternative social network Parler 

  Ward, Ethan (University of Waterloo, 2021-12-23)

  Over the past several years, many “alternative” social networks have sprung up, with an emphasis on minimal moderation and protection of free speech. Although they claim to be politically neutral, they have been a haven ...

• List Coloring Some Classes of 1-Planar Graphs 

  Barr, Sam (University of Waterloo, 2021-12-23)

  In list coloring we are given a graph G and a list assignment for G which assigns to each vertex of G a list of possible colors. We wish to find a coloring of the vertices of G such that each vertex uses a color from its ...

• In the new era of Internet of Things even your breathing rate is not private 

  Chen, Zihan (University of Waterloo, 2021-12-21)

  This thesis shows a new type of attack that can secretly gather private measurements from the target. Wi-Sneak is a stealthy reconnaissance attack which utilizes the ambient WiFi signal and ubiquitous WiFi-enabled devices ...

• Higher-order Losses and Optimization for Low-level and Deep Segmentation 

  Marin, Dmitrii (University of Waterloo, 2021-12-21)

  Regularized objectives are common in low-level and deep segmentation. Regularization incorporates prior knowledge into objectives or losses. It represents constraints necessary to address ill-posedness, data noise, outliers, ...

• Structured Prediction on Dirty Datasets 

  Heidarikhazaei, Alireza (University of Waterloo, 2021-12-20)

  Many errors cannot be detected or repaired without taking into account the underlying structure and dependencies in the dataset. One way of modeling the structure of the data is graphical models. Graphical models combine ...

• Requirements Engineering and Management Effects on Downstream Developer Performance in a Small Business Findings from a Case Study in a CMMI/CMM Context 

  Gellert, Chantelle (University of Waterloo, 2021-12-17)

  Abstract— This thesis is a case study explaining how I tried to improve the requirements engineering process at company X (not its real name), a small software development company in Waterloo, ON, Canada. I assessed X’s ...

• AddressWatcher: Automatic Memory Leak Fixing 

  Murali, Aniruddhan (University of Waterloo, 2021-12-17)

  Automatic bug fixing has become a promising direction over manual fixing of bugs. In this work, we focus on a specific bug: Memory Leaks. We propose an automatic approach to suggest memory leak fixes in C/C++ programs ...

• Dynamic-Occlusion-Aware Risk Identification for Autonomous Vehicles Using Hypergames 

  Kahn, Maximilian (University of Waterloo, 2021-12-17)

  A particular challenge for both autonomous vehicles (AV) and human drivers is dealing with risk associated with dynamic occlusion, i.e., occlusion caused by other vehicles in traffic. In order to overcome this challenge, ...

• DPQP: A D-representation-based Pipelined Factorized Query Processor for Graph Database Management Systems 

  Feng, Xiyang (University of Waterloo, 2021-12-17)

  Factorized databases utilize factorized data representations during query processing to obtain more compact final query results and faster runtimes for queries with many-to-many joins. We revisit this technique in the ...

View more