Browsing University of Waterloo by Type "Conference Paper"
Now showing items 1-20 of 109
-
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 ... -
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 ... -
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 ... -
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 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 ... -
Content Selection and Curation for Web Archiving: The Gatekeepers vs. the Masses
(Association for Computing Machinery, 2016-06)Any preservation effort must begin with an assessment of what content to preserve, and web archiving is no different. There have historically been two answers to the question "what should we archive?" The Internet Archive's ... -
Continuous Variable-Specic Resolutions of Feature Interactions
(ACM, 2017-09)Systems that are assembled from independently developed features suffer from feature interactions, in which features affect one another's behaviour in surprising ways. The Feature Interaction Problem results from trying ... -
Convective Heat Transfer In Hydrodynamically-Developed Laminar Flow In Asymmetrically-Heated Annuli: A Three-Temperature Problem
(2016-07)Heat transfer in hydrodynamically-developed flow in asymmetrically-heated channels and annuli has been studied extensively. This study is an extension of earlier work where heat transfer in an asymmetrically-heated ... -
Creating Your Bubble: Personal Space On and Around Large Public Displays
(ACM, 2016-05)We describe an empirical study that explores how users establish and use personal space around large public displays (LPDs). Our study complements field studies in this space by more fully characterizing interpersonal ... -
DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy
(IEEE, 2017-09-04)We present DASH, a new language for describing formal behavioural models of requirements. DASH combines the ability to write abstract, declarative transitions (as in Z or Alloy) with a labelled control state hierarchy (as ... -
Deep Residual Networks for Hyperspectral Image Classification
(Institute of Electrical and Electronics Engineers, 2017-07-25)Deep neural networks can learn deep feature representation for hyperspectral image (HSI) interpretation and achieve high classification accuracy in different datasets. However, counterintuitively, the classification ...