Browsing Computer Science by Title
Now showing items 447-466 of 1558
-
Efficient Zero-Knowledge Proofs and Applications
(University of Waterloo, 2014-08-12)Zero-knowledge proofs provide a means for a prover to convince a verifier that some claim is true and nothing more. The ability to prove statements while conveying zero information beyond their veracity has profound ... -
Eggly: Designing Mobile Augmented Reality Neurofeedback Training Games for Children with Autism Spectrum Disorder
(University of Waterloo, 2023-07-19)Autism Spectrum Disorder (ASD) is a neurodevelopmental disorder that affects how children communicate and relate to other people and the world around them. Emerging studies have shown that neurofeedback training (NFT) games ... -
Elasca: Workload-Aware Elastic Scalability for Partition Based Database Systems
(University of Waterloo, 2013-05-14)Providing the ability to increase or decrease allocated resources on demand as the transactional load varies is essential for database management systems (DBMS) deployed on today's computing platforms, such as the cloud. ... -
Elements of Gameful Design Emerging from User Preferences
(Association for Computing Machinery, 2017-10-15)Several studies have developed models to explain player preferences. These models have been developed for digital games; however, they have been frequently applied in gameful design (i.e., designing non-game applications ... -
An Embedded Shading Language
(University of Waterloo, 2004)Modern graphics accelerators have embedded programmable components in the form of vertex and fragment shading units. Current APIs permit specification of the programs for these components using an assembly-language level ... -
Embroidery Modelling and Rendering
(University of Waterloo, 2011-08-03)Embroidery is a traditional non-photorealistic art form in which threads of different colours stitched into a base material are used to create an image. This thesis presents techniques for automatically producing embroidery ... -
Emotion-Aware and Human-Like Autonomous Agents
(University of Waterloo, 2019-12-20)In human-computer interaction (HCI), one of the technological goals is to build human-like artificial agents that can think, decide and behave like humans during the interaction. A prime example is a dialogue system, where ... -
Emotions and Context in Decision-making for a Socially Intelligent Agent
(University of Waterloo, 2024-04-03)Artificial intelligence (AI) research has largely focused on rational thinking, decision making, goal achievement, and reward maximization. Emotions have been considered nonessential, or even detrimental, when designing ... -
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 ... -
Empirical Game Theoretic Models for Autonomous Driving: Methods and Applications
(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 ... -
An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools
(ACM, 2018-10)Software modelling is a challenging and error-prone task. Existing Model-Driven Engineering (MDE) tools provide modellers with little aid, partly because tool providers have not investigated users' difficulties through ... -
AN EMPIRICAL STUDY OF DIFFERENT BRANCHING STRATEGIES FOR CONSTRAINT SATISFACTION PROBLEMS
(University of Waterloo, 2004)Many real life problems can be formulated as constraint satisfaction problems <i>(CSPs)</i>. Backtracking search algorithms are usually employed to solve <i>CSPs</i> and in backtracking search the choice of branching ... -
An Empirical Study on Bash Language Usage in Github
(University of Waterloo, 2021-05-27)The Bourne-again shell (Bash) is a prevalent scripting language for orchestrating shell commands and managing resources in Unix-like environments. At the time of writing, it is one of the mainstream shell dialects that ... -
Empirical validation of the Gamification User Types Hexad scale in English and Spanish
(Elsevier, 2018-10-13)Gamification, the use of game elements in non-game systems, is now established as a relevant research field in human-computer interaction (HCI). Several empirical studies have shown that gameful interventions can increase ... -
Enabling Censorship Tolerant Networking
(University of Waterloo, 2013-01-25)Billions of people in the world live under heavy information censorship. We propose a new class of delay tolerant network (DTN), known as a censorship tolerant network (CTN), to counter the growing practice of Internet-based ... -
Enabling Cross-lingual Information Retrieval for African Languages
(University of Waterloo, 2023-04-28)Language diversity in NLP is critical in enabling the development of tools for a wide range of users. However, there are limited resources for building such tools for many languages, particularly those spoken in Africa. ... -
Enabling Expressive Keyboard Interaction with Finger, Hand, and Hand Posture Identification
(University of Waterloo, 2017-09-13)The input space of conventional physical keyboards is largely limited by the number of keys. To enable more actions than simply entering the symbol represented by a key, standard keyboards use combinations of modifier keys ... -
Enabling Language-Specific Transformations in Language-Agnostic Program Reduction
(University of Waterloo, 2023-08-30)When a program P triggers a bug in a language implementation, program reduction can reduce P by removing program elements that are irrelevant to the bug, to facilitate debugging. Program reduction has been widely used in ... -
Enabling Post-Quantum Signatures in DNSSEC: One ARRF at a time
(University of Waterloo, 2022-12-19)The Domain Name System Security Extensions (DNSSEC) provide authentication of DNS responses using digital signatures. DNS relies on UDP as its primary delivery method which imposes several constraints, with the most notable ... -
Enabling Techniques to support Reliable Smartphone-Based Motion Gesture Interaction
(University of Waterloo, 2015-01-06)When using motion gestures - 3D movements of a mobile phone - as an input modality, one significant challenge is how to teach end users the movement parameters necessary to successfully issue a command. Is a simple video ...