Now showing items 241-260 of 2994

    • 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 ...
    • Balancing Fidelity and Performance in Iridal Light Transport Simulations Aimed at Interactive Applications 

      Kravchenko, Boris (University of Waterloo, 2016-11-29)
      Specific light transport models based on first-principles approaches have been proposed for complex organic materials such as human skin and blood. The driving force behind these efforts has been the high-fidelity reproduction ...
    • BanditFuzz: Fuzzing SMT Solvers with Reinforcement Learning 

      Scott, Joseph; Mora, Federico; Ganesh, Vijay (2020)
      Satisfiability Modulo Theories (SMT) solvers are fundamental tools in the broad context of software engineering and security research. If SMT solvers are to continue to have an impact, it is imperative we develop efficient ...
    • Bandlimited functions, curved manifolds, and self-adjoint extensions of symmetric operators 

      Martin, Robert (University of Waterloo, 2008-05-20)
      Sampling theory is an active field of research that spans a variety of disciplines from communication engineering to pure mathematics. Sampling theory provides the crucial connection between continuous and discrete ...
    • Barehand Mode Switching in Touch and Mid-Air Interfaces 

      Surale, Hemant (University of Waterloo, 2020-05-28)
      Raskin defines a mode as a distinct setting within an interface where the same user input will produce results different to those it would produce in other settings. Most interfaces have multiple modes in which input is ...
    • Batch Verification of Elliptic Curve Digital Signatures 

      Wesolowski, Michael (University of Waterloo, 2015-04-20)
      This thesis investigates the efficiency of batching the verification of elliptic curve signatures. The first signature scheme considered is a modification of ECDSA proposed by Antipa et al.\ along with a batch verification ...
    • Bayesian Analysis of Intratumoural Oxygen Data 

      Tang, Herbert Hoi Chi (University of Waterloo, 2009-08-28)
      There is now ample evidence to support the notion that a lack of oxygen (hypoxia) within the tumour adversely affects the outcome of radiotherapy and whether a patient is able to remain disease free. Thus, there is increasing ...
    • Bayesian Contact Tracing for Communicable Respiratory Diseases 

      Shalaby, Ayman (University of Waterloo, 2014-01-24)
      Purpose: The purpose of our work is to develop a system for automatic contact tracing with the goal of identifying individuals who are most likely infected, even if we do not have direct diagnostic information on their ...
    • Bayesian Federated Learning in Predictive Space 

      Hasan, Mohsin (University of Waterloo, 2023-08-10)
      Federated Learning (FL) involves training a model over a dataset distributed among clients, with the constraint that each client's data is private. This paradigm is useful in settings where different entities own different ...
    • Bayesian Inference for Stochastic Volatility Models 

      Men, Zhongxian (University of Waterloo, 2012-09-26)
      Stochastic volatility (SV) models provide a natural framework for a representation of time series for financial asset returns. As a result, they have become increasingly popular in the finance literature, although they ...
    • Bayesian Inference Methods Applied to Cancer Research 

      Gunawan, Rudy (University of Waterloo, 2009-12-11)
      The purpose of this Thesis is to present a Bayesian analysis of oncological data sets with particular focus on cervical carcinomas and ovarian cancers. Bayesian methods of data analysis have a very long history, and ...
    • Bayesian Sample Size Determination for Single-Particle Tracking of Pathogens in Biological Fluids 

      Yates, Bryan (University of Waterloo, 2018-01-17)
      Single-particle tracking (SPT) experiments measure 2-dimensional particle position with a high-resolution digital camera, capturing microsecond motion. SPT has allowed novel investigation of membrane dynamics, enzymology, ...
    • Bayesian Unsupervised Labeling of Web Document Clusters 

      Liu, Ting (University of Waterloo, 2011-08-30)
      Information technologies have recently led to a surge of electronic documents in the form of emails, webpages, blogs, news articles, etc. To help users decide which documents may be interesting to read, it is common practice ...

      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