Browsing University of Waterloo by Type "Conference Paper"
Now showing items 1-20 of 137
-
ABOVE WATER: An Educational Game for Anxiety
(Association for Computing Machinery, 2016-10-16)We present Above Water - a digital/physical hybrid game to inform people about the available strategies to cope with two types of Anxiety Disorders - Generalized Anxiety Disorder and Panic Disorder. The game teaches players ... -
ABOVE WATER: Extending the Play Space for Health
(Association for Computing Machinery, 2016-11-06)ABOVE WATER is a game that disseminates information about Clinical Anxiety Disorders, particularly Generalized Anxiety Disorder and Panic Disorder. This game focuses on teaching players about treatments as well as providing ... -
ABOVE WATER: Extending the Play Space for Health
(Association for Computing Machinery, 2016-11-06)ABOVE WATER is a game that disseminates information about Clinical Anxiety Disorders, particularly Generalized Anxiety Disorder and Panic Disorder. This game focuses on teaching players about treatments as well as providing ... -
The aftermath of a crypto-ransomware attack at a large academic institution
(USENIX, 2018-08)In 2016, a large North American university was subject to a significant crypto-ransomware attack and did not pay the ransom. We conducted a survey with 150 respondents and interviews with 30 affected students, staff, and ... -
ALDB: Debugging Alloy Models of Behavioural Requirements
(IEEE, 2020-08)Declarative modelling languages, such as Alloy, are becoming popular for describing behavioural requirements very early in system development because automated analysis of these models provides valuable feedback. Typically, ... -
Analytical Approach for Modeling of Multi Well CO2 Injection
(Elsevier, 2016-11-14)Disposal of carbon dioxide (CO2) into underground geological formations is considered a viable strategy for the mitigation of global warming. It aims to reduce greenhouse gases emitted from point sources such as power ... -
Approximately Coloring Graphs Without Long Induced Paths
(Springer Nature, 2017)It is an open problem whether the 3-coloring problem can be solved in polynomial time in the class of graphs that do not contain an induced path on t vertices, for fixed t. We propose an algorithm that, given a 3-colorable ... -
Are machine learning corpora “fair dealing” under Canadian law?
(Proceedings of the 12th International Conference on Computational Creativity, 2021-09)We consider the use of large corpora for training compuationally creative systems, particularly those that write new text based on the style of an existing author or genre. Under Canadian copyright law, a key concern for ... -
Assessing Convective Heat Transfer Coefficients Associated with Indoor Shading Attachments Using a New Technique Based on Computational Fluid Dynamics
(American Society of Heating, Refrigerating and Air-Conditioning Engineers, 2015-01)ASHRAE research project RP-1311 concluded with the creation of simulation models, the ASHWAT models, for glazing systems with shading attachments. Such assemblies are known as Complex Fenestration Systems (CFS). ASHWAT ... -
Augmented Reality-Based Indoor Navigation Using Google Glass as a Wearable Head-Mounted Display
(IEEE, 2015-10)This research comprehensively illustrates the design, implementation and evaluation of a novel marker less environment tracking technology for an augmented reality based indoor navigation application, adapted to efficiently ... -
BSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environment
(ACM, 2016-11)In model-driven engineering, developers express their solutions in domain-specific modelling languages (DSLs) that support domain-specific abstractions. Big-Step Modelling Languages (BSML) is a family of extended state-machine ... -
Cardinality Constrained Robust Optimization Applied to a Class of Interval Observers
(IEEE, 2014-07-21)We propose a linear programming-based method of interval observer design for systems with uncertain but bounded model parameters and initial conditions. We assume that each uncertain parameter in the system model is bounded ... -
CHI PLAYGUE: A Mobile Conference Networking Game
(Association for Computing Machinery, 2016-11-06)Modern professional networking relies on social media. To take advantage of this fact, we present CHI PLAYGUE, a conference game designed to facilitate interaction among strangers and encourage social networking to create ... -
CLEVER: A Trivia and Strategy Game for Enterprise Knowledge Learning
(Association for Computing Machinery, 2016-10-16)Knowledge management (KM) includes the acquisition, sharing, and dissemination of knowledge within a company. The problem with many enterprise KM systems is that they are complex and hardly used, because workers lack ... -
CLEVER: Gamification and Enterprise Knowledge Learning
(ACM, 2016-10-16)This paper describes the design and a preliminary implementation study of a gamified knowledge management system (KMS) that supports the learning component within knowledge management (KM). KM includes acquiring social ... -
"The Collecting Itself Feels Good": Towards Collection Interfaces for Digital Game Objects
(Association for Computing Machinery, 2016-10-16)Digital games offer a variety of collectible objects. We investigate players' collecting behaviors in digital games to determine what digital game objects players enjoyed collecting and why they valued these objects. Using ... -
A Comparison of the Declarative Modelling Languages B, Dash, and TLA+
(IEEE, 2019-08)Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system func- tionality abstractly and concisely. We compare two well-used formal declarative modelling languages, B and TLA+, ... -
Complexity of Ck-Coloring in Hereditary Classes of Graphs
(Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019)For a graph F, a graph G is F-free if it does not contain an induced subgraph isomorphic to F. For two graphs G and H, an H-coloring of G is a mapping f : V (G) --> V (H) such that for every edge uv E(G) it holds that ... -
Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages
(Springer, 2017-03-06)A language L over an alphabet Σ is suffix-convex if, for any words x,y,z∈Σ∗, whenever z and xyz are in L, then so is yz. Suffix-convex languages include three special cases: left-ideal, suffix-closed, and suffix-free ... -
Complexity of Proper Prefix-Convex Regular Languages
(Springer, 2017-06-27)A language L over an alphabet Σ is prefix-convex if, for any words x,y,z∈Σ∗, whenever x and xyz are in L, then so is xy. Prefix-convex languages include right-ideal, prefix-closed, and prefix-free languages, which were ...