Now showing items 227-246 of 2985

    • 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 ...
    • Automatic Sequences and Decidable Properties: Implementation and Applications 

      Goc, Daniel (University of Waterloo, 2013-09-19)
      In 1912 Axel Thue sparked the study of combinatorics on words when he showed that the Thue-Morse sequence contains no overlaps, that is, factors of the form ayaya. Since then many interesting properties of sequences began ...
    • Automatic Signature Matching in Component Composition 

      Hashemian, Seyyed Vahid (University of Waterloo, 2008-05-12)
      Reuse is not a new concept in software engineering. Ideas, abstractions, and processes have been reused by programmers since the very early days of software development. In the beginning, since storage media was very ...
    • Automatically Tuning Database Server Multiprogramming Level 

      Abouzour, Mohammed (University of Waterloo, 2007-09-06)
      Optimizing database systems to achieve the maximum attainable throughput of the underlying hardware is one of the many difficult tasks that face Database Administrators. With the increased use of database systems in many ...
    • Automating Programming Assignment Marking with AST Analysis 

      Li, Sichuang (University of Waterloo, 2019-01-14)
      This thesis presents a novel approach to automatically mark programming assignments. We hypothesize that correct student solution ASTs will be more similar to reference solution ASTs than incorrect student solutions and ...
    • The Automation of Glycopeptide Discovery in High Throughput MS/MS Data 

      Swamy, Sajani (University of Waterloo, 2004)
      Glycosylation, the addition of one or more carbohydrates molecules to a protein, is crucial for many cellular processes. Aberrant glycosylation is a key marker for various diseases such as cancer and rheumatoid arthritis. ...
    • An Automaton-Theoretic View of Algebraic Specifications 

      Lahav, Elad (University of Waterloo, 2005)
      We compare two methods for software specification: <em>algebraic specifications</em> and automata. While algebraic specifications have been around since the 1970s and have been studied extensively, specification by ...
    • Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer 

      Murashkin, Alexandr (University of Waterloo, 2014-09-10)
      Modern car systems are getting more complex, so do car electronic/electric (E/E) architectures. E/E architecture of a car includes sensors, actuators, programmable ECUs and all the related communications. The complexity ...
    • Autonomic Resource Management for a Cluster that Executes Batch Jobs 

      Sung, Lik Gan Alex (University of Waterloo, 2006)
      Resource management of large scale clusters is traditionally done manually. Servers are usually over-provisioned to meet the peak demand of workload. It is widely known that manual provisioning is error-prone and ...
    • Autonomous Cooperating Web Crawlers 

      McLearn, Greg (University of Waterloo, 2002)
      A web crawler provides an automated way to discover web events ? creation, deletion, or updates of web pages. Competition among web crawlers results in redundant crawling, wasted resources, and less-than-timely discovery ...
    • Autonomous Vehicles with Visual Signals for Pedestrians: Experiments and Design Recommendations 

      Chen, Henry (University of Waterloo, 2020-01-23)
      Autonomous Vehicles (AV) are the future of transportation and they will transform the dynamic of vehicle and pedestrian interaction. However, in the absence of a driver, it is not clear how an AV can use visual signals to ...
    • Avoiding Bad Query Mixes to Minimize Unsuccessful Client Requests Under Heavy Loads 

      Tozer, Sean (University of Waterloo, 2009-08-21)
      In three-tiered web applications, some form of admission control is required to ensure that throughput and response times are not significantly harmed during periods of heavy load. We propose Q-Cop, a prototype system ...
    • Backdoors in Satisfiability Problems 

      Li, Zijie (University of Waterloo, 2009-10-08)
      Although satisfiability problems (SAT) are NP-complete, state-of-the-art SAT solvers are able to solve large practical instances. The notion of backdoors has been introduced to capture structural properties of instances. ...
    • Backscatter in stratified turbulence 

      Khani, Sina; Waite, Michael L (Elsevier, 2016-11)
      In this paper, kinetic and potential energy transfers around a spectral test fil ter scale in direct numerical simulations of decaying stratified turbulence are studied in both physical and spectral domains. It is shown ...

      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