Browsing Computer Science by Title
Now showing items 314-333 of 1553
-
Decidability and k-Regular Sequences
(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, • ... -
Deciding Properties of Automatic Sequences
(University of Waterloo, 2013-09-24)In this thesis, we show that several natural questions about automatic sequences can be expressed as logical predicates and then decided mechanically. We extend known results in this area to broader classes of sequences ... -
Deciding Second-order Logics using Database Evaluation Techniques
(University of Waterloo, 2008-09-25)We outline a novel technique that maps the satisfiability problems of second-order logics, in particular WSnS (weak monadic second-order logic with n successors), S1S (monadic second-order logic with one successor), and ... -
Decision Algorithms for Ostrowski-Automatic Sequences
(University of Waterloo, 2020-05-13)We extend the notion of automatic sequences to a broader class, the Ostrowski-automatic sequences. We develop a procedure for computationally deciding certain combinatorial and enumeration questions about such sequences ... -
Decomposition of Finite-Dimensional Matrix Algebras over \mathbb{F}_{q}(y)
(University of Waterloo, 2010-08-20)Computing the structure of a finite-dimensional algebra is a classical mathematical problem in symbolic computation with many applications such as polynomial factorization, computational group theory and differential ... -
Deep Context Resolution
(University of Waterloo, 2018-05-17)Conversations depend on information from the context. To go beyond one-round conversation, a chatbot must resolve contextual information such as: 1) co-reference resolution, 2) ellipsis resolution, and 3) conjunctive ... -
Deep Learning for Peptide Feature Detection from Liquid Chromatography - Mass Spectrometry Data
(University of Waterloo, 2022-04-26)Proteins are the main workhorses of biological functions and activities, such as catalyzing metabolic reactions, DNA replication, providing structure to cells and organisms, etc. Comparative analysis of protein samples ... -
Deep Learning Methods for Novel Peptide Discovery and Function Prediction
(University of Waterloo, 2024-04-26)This thesis explores deep learning methods for protein identification and property prediction, encompassing two primary areas: mass spectrometry-based protein sequence identification and protein property prediction. We ... -
DeepThInk: Designing and Probing Human-AI Co-creation in Digital Art Therapy
(University of Waterloo, 2023-03-27)Art therapy has been an essential form of psychotherapy to facilitate psychological well-being, which has been promoted and transformed by recent technological advances into digital art therapy. However, the potential of ... -
Defining gameful experience as a psychological state caused by gameplay: Replacing the term ‘Gamefulness’ with three distinct constructs
(Elsevier, 2019-07)Background and Aim Gamefulness is commonly cited as the primary goal of gamification, a family of approaches employed in education, business, healthcare, government, and elsewhere. However, gamefulness is defined ... -
Deformation-Driven Element Packing
(University of Waterloo, 2020-12-11)A packing is an arrangement of geometric elements within a container region in the plane. Elements are united to communicate the overall container shape, but each is large enough to be appreciated individually. Creating a ... -
Democracy Enhancing Technologies: Toward deployable and incoercible E2E elections
(University of Waterloo, 2011-06-09)End-to-end verifiable election systems (E2E systems) provide a provably correct tally while maintaining the secrecy of each voter's ballot, even if the voter is complicit in demonstrating how they voted. Providing voter ... -
Deniable Key Exchanges for Secure Messaging
(University of Waterloo, 2015-05-26)Despite our increasing reliance on digital communication, much of our online discourse lacks any security or privacy protections. Almost no email messages sent today provide end-to-end security, despite privacy-enhancing ... -
A Dependency Tracking Storage System for Optimistic Execution of Serverless Applications
(University of Waterloo, 2022-12-20)Serverless computing has become an increasingly popular paradigm for building cloud applications. There has been a recent trend of building stateful applications on top of serverless platforms in the form of workflows ... -
Design and Evaluation of a Presentation Maestro: Controlling Electronic Presentations Through Gesture
(University of Waterloo, 2009-11-09)Gesture-based interaction has long been seen as a natural means of input for electronic presentation systems; however, gesture-based presentation systems have not been evaluated in real-world contexts, and the implications ... -
Design and Evaluation of Social CheatSheet: A Community-Curated Software Help Overlay
(University of Waterloo, 2017-08-15)Software users can often find it difficult to sift through dense help pages, tutorials, Q&A sites, blogs, and other resources, trying to locate useful task-specific instructions for the applications they use. We present ... -
Design and Evaluation of Temporal Summarization Systems
(University of Waterloo, 2014-06-06)Temporal Summarization (TS) is a new track introduced as part of the Text REtrieval Conference (TREC) in 2013. This track aims to develop systems which can return important updates related to an event over time. In TREC ... -
Design and Implementation of a Service Discovery and Recommendation Architecture for SaaS Applications
(University of Waterloo, 2010-09-28)Increasing number of software vendors are offering or planning to offer their applications as a Software-as-a-Service (SaaS) to leverage the benefits of cloud computing and Internet-based delivery. Therefore, potential ... -
Design and Implementation of Family Polymorphism for Interactive Theorem Proving
(University of Waterloo, 2023-06-13)With the growing practice of mechanizing language metatheories, it has become ever more pressing that interactive theorem provers make it easy to write reusable, extensible code and proofs. This thesis presents a novel ... -
Design and Management of Collaborative Intrusion Detection Networks
(University of Waterloo, 2013-04-30)In recent years network intrusions have become a severe threat to the privacy and safety of computer users. Recent cyber attacks compromise a large number of hosts to form botnets. Hackers not only aim at harvesting private ...