Now showing items 1-20 of 817

    • Hierarchical Task Recognition and Planning in Smart Homes with Partial Observability 

      Wang, Dan (University of Waterloo, 2017-06-12)
      Older adults with cognitive impairment have significantly burdened their families and the society due to costly caring and waste of labors. Developing intelligent assistant agents (IAAs) in smart homes that can help those ...
    • Towards Understanding and Improving Code Review Quality 

      Kononenko, Oleksii (University of Waterloo, 2017-06-12)
      Code review is an essential element of any mature software development project, it is key to ensuring the long-term quality of the code base. Code review aims at evaluating code contributions submitted by developers before ...
    • Continuous Affect Recognition with Different Features and Modeling Approaches in Evaluation-Potency-Activity Space 

      Shang, Zhengkun (University of Waterloo, 2017-06-08)
      Emotions are an essential part of human social interactions. By integrating an automatic affect recognizer into an artificial system, the system can detect humans’ emotions and provide personal responses. We aim to build ...
    • Computational Methods in Finance Related to Distributions with Known Marginals 

      Memartoluie, Amir (University of Waterloo, 2017-05-30)
      Model uncertainty and the dependence structures of various risk factors are important components of measuring and managing financial risk, such as market, credit and operational risks. In this thesis we provide a systematic ...
    • A Dynamic Risk-Based Access Control Approach: Model and Implementation 

      Savinov, Sergey (University of Waterloo, 2017-05-18)
      Access control (AC) refers to mechanisms and policies that restrict access to resources, thus regulating access to physical or virtual resources of an information system. AC approaches are used to represent these mechanisms ...
    • Efficient Pointer Analysis of Java in Logic 

      Thiessen, Rei (University of Waterloo, 2017-05-16)
      Points-to analysis for Java benefits greatly from context sensitivity. CFL-reachability and k-limited context strings are two approaches to obtaining context sensitivity with different advantages: CFL-reachability ...
    • Multimaterial Mesh-Based Surface Tracking 

      Da, Fang; Batty, Christopher; Grinspun, Eitan (Association for Computing Machinery, 2014-07-01)
      We present a triangle mesh-based technique for tracking the evolution of three-dimensional multimaterial interfaces undergoing complex deformations. It is the first non-manifold triangle mesh tracking method to simultaneously ...
    • Regional Time Stepping for SPH 

      Goswami, Prashant; Batty, Christopher (The Eurographics Association, 2014)
      This paper presents novel and efficient strategies to spatially adapt the amount of computational effort applied based on the local dynamics of a free surface flow, for classic weakly compressible SPH (WCSPH). Using a ...
    • Double Bubbles Sans Toil and Trouble: Discrete Circulation-Preserving Vortex Sheets for Soap Films and Foams 

      Da, Fang; Batty, Christopher; Wojtan, Chris; Grinspun, Eitan (Association for Computing Machinery, 2015-08-01)
      Simulating the delightful dynamics of soap films, bubbles, and foams has traditionally required the use of a fully three-dimensional many-phase Navier-Stokes solver, even though their visual appearance is completely dominated ...
    • Continuum Foam: A Material Point Method for Shear-Dependent Flows 

      Yue, Yonghao; Smith, Breannan; Batty, Christopher; Zheng, Changxi; Grinspun, Eitan (Association for Computing Machinery, 2015-10-01)
      We consider the simulation of dense foams composed of microscopic bubbles, such as shaving cream and whipped cream. We represent foam not as a collection of discrete bubbles, but instead as a continuum. We employ the ...
    • A Practical Method for High-Resolution Embedded Liquid Surfaces 

      Goldade, Ryan; Batty, Christopher; Wojtan, Chris (Wiley, 2016-05-01)
      Combining high-resolution level set surface tracking with lower resolution physics is an inexpensive method for achieving highly detailed liquid animations. Unfortunately, the inherent resolution mismatch introduces several ...
    • Preserving Geometry and Topology for Fluid Flows with Thin Obstacles and Narrow Gaps 

      Azevedo, Vinicius C.; Batty, Christopher; Oliveira, Manuel M. (Association for Computing Machinery, 2016-07-01)
      Fluid animation methods based on Eulerian grids have long struggled to resolve flows involving narrow gaps and thin solid features. Past approaches have artificially inflated or voxelized boundaries, although this sacrifices ...
    • Surface-Only Liquids 

      Da, Fang; Hahn, David; Batty, Christopher; Wojtan, Chris; Grinspun, Eitan (Association for Computing Machinery, 2016-07-01)
      We propose a novel surface-only technique for simulating incompressible, inviscid and uniform-density liquids with surface tension in three dimensions. The liquid surface is captured by a triangle mesh on which a Lagrangian ...
    • A cell-centred finite volume method for the Poisson problem on non-graded quadtrees with second order accurate gradients 

      Batty, Christopher (Elsevier, 2017-02-15)
      This paper introduces a two-dimensional cell-centred finite volume discretization of the Poisson problem on adaptive Cartesian quadtree grids which exhibits second order accuracy in both "the solution and its gradients, ...
    • Static Types with Less Syntax: Locus Types 

      Domurad, Adam (University of Waterloo, 2017-05-01)
      Optionally and gradually-typed languages allow types to be introduced to dynamic code as needed. While this approach allows some gradual movement from dynamically to statically-typed code, it requires rewriting ...
    • Computing Matrix Canonical Forms of Ore Polynomials 

      Khochtali, Mohamed (University of Waterloo, 2017-05-01)
      We present algorithms to compute canonical forms of matrices of Ore polynomials while controlling intermediate expression swell. Given a square non-singular input matrix of Ore polynomials, we give an extension of the ...
    • Resource Management and Tuples in CⱯ 

      Schluntz, Robert (University of Waterloo, 2017-05-01)
      CⱯ is a modern, non-object-oriented extension of the C programming language. This thesis addresses several critical deficiencies of C, notably: resource management, a limited function-return mechanism, and unsafe variadic ...
    • A Faster Algorithm for Recognizing Edge-Weighted Interval Graphs 

      Mahajan, Shikha (University of Waterloo, 2017-04-27)
      Interval graphs—the intersection graphs of one-dimensional intervals—are considered one of the most useful mathematical structures to model real life applications. Interval graphs have been widely studied since they first ...
    • Computational Methods for Combinatorial and Number Theoretic Problems 

      Bright, Curtis (University of Waterloo, 2017-04-27)
      Computational methods have become a valuable tool for studying mathematical problems and for constructing large combinatorial objects. In fact, it is often not possible to find large combinatorial objects using human ...
    • Learning Factors and Determining Document-level Satisfaction In Search-as-Learning 

      Abualsaud, Mustafa (University of Waterloo, 2017-04-26)
      An important use of search engines is as a tool for learning. Search engines help users find learning material and increases their knowledge in various topics. The underlying process of learning while web searching and ...

      UWSpace

      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages