UWSpace will be migrating to a new version of its software from July 29th to August 1st. UWSpace will be offline for all UW community members during this time.

Now showing items 114-133 of 1575

    • Attaching Social Interactions Surrounding Software Changes to the Release History of an Evolving Software System 

      Baysal, Olga (University of Waterloo, 2006-12-21)
      Open source software is designed, developed and maintained by means of electronic media. These media include discussions on a variety of issues reflecting the evolution of a software system, such as reports on bugs and ...
    • An Attempt to Automate <i>NP</i>-Hardness Reductions via <i>SO</i>&#8707; Logic 

      Nijjar, Paul (University of Waterloo, 2004)
      We explore the possibility of automating <i>NP</i>-hardness reductions. We motivate the problem from an artificial intelligence perspective, then propose the use of second-order existential (<i>SO</i>&#8707;) logic as ...
    • Attributed Intelligence 

      Kryven, Marta (University of Waterloo, 2018-01-31)
      Human beings quickly and confidently attribute more or less intelligence to one another. What is meant by intelligence when they do so? And what are the surface features of human behaviour that determine their judgements? ...
    • Audio processing on constrained devices 

      Gupta, Amod (University of Waterloo, 2009-10-29)
      This thesis discusses the future of smart business applications on mobile phones and the integration of voice interface across several business applications. It proposes a framework that provides speech processing support ...
    • Augmenting Local Search for Satisfiability 

      Southey, Finnegan (University of Waterloo, 2004)
      This dissertation explores approaches to the satisfiability problem, focusing on local search methods. The research endeavours to better understand how and why some local search methods are effective. At the root of ...
    • Augmenting Visual Feedback Using Sensory Substitution 

      Greene, Eugene Dominic (University of Waterloo, 2011-08-29)
      Direct interaction in virtual environments can be realized using relatively simple hardware, such as standard webcams and monitors. The result is a large gap between the stimuli existing in real-world interactions and those ...
    • AutoCPA: Automatic Continuous Profiling and Analysis 

      Rezapour Siahgourabi, Zahra (University of Waterloo, 2020-09-03)
      Poor data locality is a performance bottleneck in modern applications. The hierarchy of caches exiting in computer processors reduces data access latency from the main memory. However, inefficient cache utilization results ...
    • Automata and Ratio Sets 

      Meleshko, Joseph Victor Fiorillo (University of Waterloo, 2022-12-13)
      This thesis explores the composition of ratio sets, the subsets of the rationals derived from the quotients of two sets of natural numbers, and examines a variety of specific examples where the comprising sets of natural ...
    • Automated Analysis and Optimization of Distributed Self-Stabilizing Algorithms 

      Aflaki, Saba (University of Waterloo, 2015-08-26)
      Self-stabilization [2] is a versatile technique for recovery from erroneous behavior due to transient faults or wrong initialization. A system is self-stabilizing if (1) starting from an arbitrary initial state it can ...
    • Automated Analysis of Unified Modeling Language (UML) Specifications 

      Tanuan, Meyer C. (University of Waterloo, 2001)
      The Unified Modeling Language (UML) is a standard language adopted by the Object Management Group (OMG) for writing object-oriented (OO) descriptions of software systems. UML allows the analyst to add class-level and ...
    • Automated Annotation and Visualization of Rhetorical Figures 

      Gawryjolek, Jakub Jan (University of Waterloo, 2009-05-20)
      Linguistic annotation provides additional information asserted with a particular purpose in a document or other piece of information. It is widely used in various fields, from computing and bioinformatics, through imaging, ...
    • Automated Generation of Numerical Evaluation Routines for Bivariate Functions via Tensor Product Series 

      Wang, Xiang (University of Waterloo, 2008-09-24)
      In this thesis, we present a method for the automated generation of numerical evaluation routines for bivariate functions via tensor product series and develop a toolkit to assist with the generation of the approximations. ...
    • Automated Hierarchy Discovery for Planning in Partially Observable Domains 

      Charlin, Laurent (University of Waterloo, 2007-01-19)
      Planning in partially observable domains is a notoriously difficult problem. However, in many real-world scenarios, planning can be simplified by decomposing the task into a hierarchy of smaller planning problems which, ...
    • Automated Landscape Painting in the Style of Bob Ross 

      Kalaidjian, Alex (University of Waterloo, 2007-04-18)
      This thesis presents a way of automatically generating a landscape painting in the artistic style of Bob Ross. First, a relatively simple, yet effective and versatile, painting model is presented. The brushes of the ...
    • Automated recognition of handwritten mathematics 

      MacLean, Scott (University of Waterloo, 2014-04-17)
      Most software programs that deal with mathematical objects require input expressions to be linearized using somewhat awkward and unfamiliar string-based syntax. It is natural to desire a method for inputting mathematics ...
    • Automated Storage Layout for Database Systems 

      Ozmen, Oguzhan (University of Waterloo, 2010-08-24)
      Modern storage systems are complex. Simple direct-attached storage devices are giving way to storage systems that are flexible, network-attached, consolidated and virtualized. Today, storage systems have their own ...
    • Automated Synthesis of Timed and Distributed Fault-Tolerant Systems 

      Faghihekhorasani, Fathiyeh (University of Waterloo, 2015-09-21)
      This dissertation concentrates on the problem of automated synthesis and repair of fault-tolerant systems. In particular, given the required specification of the system, our goal is to synthesize a fault-tolerant system, ...
    • Automatic Datapath Abstraction Of Pipelined Circuits 

      Vlad, Ciubotariu (University of Waterloo, 2011-02-23)
      Pipelined circuits operate as an assembly line that starts processing new instructions while older ones continue execution. Control properties specify the correct behaviour of the pipeline with respect to how it handles ...
    • Automatic Parallelization for Graphics Processing Units in JikesRVM 

      Leung, Alan Chun Wai (University of Waterloo, 2008-05-23)
      Accelerated graphics cards, or Graphics Processing Units (GPUs), have become ubiquitous in recent years. On the right kinds of problems, GPUs greatly surpass CPUs in terms of raw performance. However, GPUs are currently ...
    • Automatic Physical Design for XML Databases 

      Elghandour, Iman (University of Waterloo, 2010-11-17)
      Database systems employ physical structures such as indexes and materialized views to improve query performance, potentially by orders of magnitude. It is therefore important for a database administrator to choose the ...


      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