Now showing items 1782-1801 of 2486

    • Probabilistic Program Analysis for Software Component Reliability 

      Mason, Dave (University of Waterloo, 2002)
      Components are widely seen by software engineers as an important technology to address the "software crisis''. An important aspect of components in other areas of engineering is that system reliability can be estimated ...
    • Probabilistic Properties of Delay Differential Equations 

      Taylor, S. Richard (University of Waterloo, 2004)
      Systems whose time evolutions are entirely deterministic can nevertheless be studied probabilistically, <em>i. e. </em> in terms of the evolution of probability distributions rather than individual trajectories. This ...
    • Probing Quantum Fields: Measurements and Quantum Energy Teleportation 

      Verdon-Akzam, Guillaume (University of Waterloo, 2017-01-10)
      Quantum Energy Teleportation provides a testbed for modern ideas involving the inter­play between quantum correlations and energy in the quantum thermodynamical regime. In this work, we provide a new class of Quantum Energy ...
    • The Problem of Stretching in Persian Calligraphy and a New Type 3 PostScript Nastaliq Font 

      Mohsen, Shahab (University of Waterloo, 2010-01-22)
      This research is about a typeface for implementing Persian calligraphy called Nastaliq. The main purpose for developing this font was to handle stretching of letters in order to achieve line justification through a dynamic ...
    • Problems in Combinatorial and Analytic Number Theory 

      Saunders, John Charles (University of Waterloo, 2018-08-01)
      We focus on three problems in number theory. The first problem studies the random Fibonacci tree, which is an infinite binary tree with non-negative integers at each node. The root consists of the number 1 with a single ...
    • Problems Related to Shortest Strings in Formal Languages 

      Ang, Thomas (University of Waterloo, 2010-05-11)
      In formal language theory, studying shortest strings in languages, and variations thereof, can be useful since these strings can serve as small witnesses for properties of the languages, and can also provide bounds for ...
    • Procedurally Rhetorical Verb-Centric Frame Semantics as a Knowledge Representation for Argumentation Analysis of Biochemistry Articles 

      Alliheedi, Mohammed (University of Waterloo, 2019-09-05)
      The central focus of this thesis is rhetorical moves in biochemistry articles. Kanoksilapatham has provided a descriptive theory of rhetorical moves that extends Swales' CARS model to the complete biochemistry article. ...
    • Process Models for Distributed Event-Based Systems 

      Blanco, Rolando Maldonado (University of Waterloo, 2010-03-10)
      Distributed Event-Based Systems (DEBSs) are middleware supporting the interaction of publisher and subscriber components via events. In DEBSs, the subscribers to be notified when an event is announced are decided at ...
    • Profiling Alloy Models 

      Eid, Elias (University of Waterloo, 2021-09-03)
      Modeling of software-intensive systems using formal declarative modeling languages offers a means of managing software complexity through the use of abstraction and early identification of correctness issues by formal ...
    • Profiling Concurrent Programs Using Hardware Counters 

      Lessard, Josh (University of Waterloo, 2005)
      Concurrency is a programming tool that is widely used in applications. Concurrent user-level threads can be used to structure the execution of a program in a uniprocessor environment and/or speed up its execution in ...
    • A profit Sharing Pension Plan 

      Cui, Zijing (University of Waterloo, 2021-01-05)
      As Traditional Defined Benefit (DB) plans are declining, more companies are switching to Defined Contribution (DC) plans. However, DC plans have significant disadvantages since employees bear all investment and longevity ...
    • Promoting Honesty in Electronic Marketplaces: Combining Trust Modeling and Incentive Mechanism Design 

      Zhang, Jie (University of Waterloo, 2009-05-14)
      This thesis work is in the area of modeling trust in multi-agent systems, systems of software agents designed to act on behalf of users (buyers and sellers), in applications such as e-commerce. The focus is on developing ...
    • Properties of graphs with large girth 

      Hoppen, Carlos (University of Waterloo, 2008-01-24)
      This thesis is devoted to the analysis of a class of iterative probabilistic algorithms in regular graphs, called locally greedy algorithms, which will provide bounds for graph functions in regular graphs with ...
    • Properties of random graphs 

      Kemkes, Graeme (University of Waterloo, 2008-09-23)
      The thesis describes new results for several problems in random graph theory. The first problem relates to the uniform random graph model in the supercritical phase; i.e. a graph, uniformly distributed, on $n$ vertices and ...
    • Properties of Stable Matchings 

      Szestopalow, Michael Jay (University of Waterloo, 2010-12-17)
      Stable matchings were introduced in 1962 by David Gale and Lloyd Shapley to study the college admissions problem. The seminal work of Gale and Shapley has motivated hundreds of research papers and found applications in ...
    • Properties of Two-Dimensional Words 

      Smith, Taylor (University of Waterloo, 2017-04-21)
      Combinatorics on words in one dimension is a well-studied subfield of theoretical computer science with its origins in the early 20th century. However, the closely-related study of two-dimensional words is not as popular, ...
    • Protein De novo Sequencing 

      Wang, Rong (University of Waterloo, 2016-05-13)
      In the proteomic mass spectrometry field, peptide and protein identification can be classified into two categories: database search that relies on existing peptide and protein databases and de novo sequencing with no prior ...
    • Protein Loop Prediction by Fragment Assembly 

      Liu, Zhifeng (University of Waterloo, 2007-01-19)
      If the primary sequence of a protein is known, what is its three-dimensional structure? This is one of the most challenging problems in molecular biology and has many applications in proteomics. During the last three ...
    • Protein Structure Elastic Network Models and the Rank 3 Positive Semidefinite Matrix Manifold 

      Li, Xiao-Bo (University of Waterloo, 2019-01-09)
      This thesis is a contribution to the study of protein dynamics using elastic network models (ENMs). An ENM is an abstraction of a protein structure where inter-atomic interactions are assumed to be modelled by a Hookean ...
    • A protocol for constructing a domain-specific ontology for use in biomedical information extraction using lexical-chaining analysis 

      He, Xiaofen (University of Waterloo, 2007-01-19)
      In order to do more semantics-based information extraction, we require specialized domain models. We develop a hybrid approach for constructing such a domain-specific ontology, which integrates key concepts from 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