Now showing items 2103-2122 of 2236

    • Towards Concurrent Hoare Logic 

      Candy, Robin (University of Canterbury, 2012)
      How can we rigorously prove that an algorithm does what we think it does? Logically verifying programs is very important to industry. Floyd-Hoare Logic (or Hoare Logic for short) is a set of rules that describe a type ...
    • Towards emergent replicators in a molecular artificial chemistry 

      Young, Thomas (University of Canterbury, 2017)
      All evolutionary systems, natural or artificial, are built from essentially the same three elements: variation, inheritance and selection. What then distinguishes the process of biological evolution by natural selection, ...
    • Towards optimisation of white-rot fungi bioremediation 

      Walter, Monika (University of Canterbury. Civil Engineering, 2004)
      New Zealand has a large number (approx. 8000) of sites contaminated by persistent chemicals, of which approximately 10% arecontaminated with pentachlorophenol (PCP) aa a legacy of former timber treatment sites. The fungicide ...
    • Towards performance-based design of integrated foundation-superstructure systems. 

      Giorgini, Simona (University of Canterbury, 2018)
      The nonlinear dynamic soil-foundation-structure interaction (SFSI) can signifi cantly affect the seismic response of buildings, causing additional deformation modes, damage and repair costs. Because of nonlinear foundation ...
    • Towards persistent navigation with a downward-looking camera. 

      Marburg, Aaron Ming (University of Canterbury. Department of Electrical and Computer Engineering, 2015)
      This research focuses on the development of a persistent navigation algorithm for a hovering vehicle with a single, downward-facing visible spectrum camera. A successful persistent navigation algorithm allows a vehicle ...
    • Towards quantitative computed tomography 

      Enright, S. A. (University of Canterbury. Electrical and Electronic Engineering, 1992)
      Computed tomography is introduced along with an overview of its diverse applications in many scientific endeavours. A unified approach for the treatment of scattering from linear scalar wave motion is introduced. The ...
    • Towards Synchronous Collaborative Software Engineering 

      Cook, Carl; Irwin, Warwick; Churcher, Neville (University of Canterbury, 2004)
      Caise, a collaborative software engineering architecture, provides extensible real-time support for collaboration between participating tools and users. The architecture maintains a semantic project model constructed ...
    • Towards Understanding Empty Nose Syndrome using Computational Fluid Dynamics 

      Flint, Tim (University of Canterbury, 2017)
      Empty nose syndrome (ENS) presents with sensations of nasal obstruction despite sufficiently patent nasal airways and little is known about its cause. The present work begins with a critical evaluation of the literature. ...
    • Tracking Object Trajectories Relative to Planar Surfaces Using Stereo 

      Elliot, Matthew (University of Canterbury, 2007)
      This project proposes a methodology for 3D tracking of objects in relation to a planar surface, with trajectory accuracy enhanced using applied statistical analysis. Planar surface extraction, with camera position and ...
    • Traction kite testing and aerodynamics 

      Stevenson, J. C. (University of Canterbury. Mechanical Engineering, 2003)
      A Traction kite is a controllable high performance kite used to pull other objects in a desired direction. In recent years Traction kites have been used for Kite Surfing and Kite Buggying, generating significant sales ...
    • Training in Massive MIMO Systems 

      Wan Mohd Mahyiddin, Wan Amirul (University of Canterbury, 2015)
      Massive multiple-input multiple-output (MIMO) systems have been gaining interest recently due to their potential to achieve high spectral effciency [1]. Despite their potential, they come with certain issues such as pilot ...
    • Transformer models for electromagnetic transient studies with particular reference to HVdc transmission. 

      Enright, Wade Grant (University of Canterbury. Department of Electrical and Electronic Engineering, 1996)
      In this thesis a formulation for incorporating general magnetic equivalent circuits in electromagnetic transient programs is presented. The formulation is applied to create new single-phase, and the first three-limb ...
    • The transient behavior of the co-axial non-synchronous rotating assembly of a decanting centrifuge 

      Donohue, Brian (University of Canterbury. Mechanical Engineering, 2014)
      This study identifies the cause of unstable vibrations that sporadically occur in decanting centrifuges as being caused by a combination of internal bearing clearance, conveyor unbalance and low bearing loads. These ...
    • Transient stability analysis of integrated ac and dc power systems. 

      Turner, Keith Sharman (University of Canterbury. Electrical Engineering, 1980)
      This thesis describes the development of accurate models for representing power system converter loads in Transient Stability analysis. An accurate load model is developed for rectifier loads, such as smelters and chlorine ...
    • Transients in antennas 

      Burrell, G. A. (University of Canterbury. Electrical Engineering, 1971)
      Measurement and computational procedures are developed for inferring the frequency responses (both driving point and far field) of an antenna or antenna system from measurements made in the time domain (using nanosecond ...
    • Translating data between geographic information systems 

      Pascoe, Richard T. (University of Canterbury. Computer Science, 1989)
      Transferring data from one geographic information system (GIS) to another is difficult because of the diverse, and often complex, structure of transfer file formats. Accordingly, the design and implementation of an interface ...
    • Transputer multi-processing and other topics in machine vision 

      Browne, R. G. (University of Canterbury. Electrical and Electronic Engineering, 1989)
      This thesis is concerned with machine vision including its application to the task of detecting surface blemishes and shape defects in kiwifruit at a rate of four fruit per second. Existing machine vision technology is ...
    • Travel Adaptive Capacity Assessment Simulation (TACA Sim) 

      Watcharasukarn, Montira (University of Canterbury. Mechanical Engineering, 2010)
      More than 95% of fuel used for personal transportation is petroleum-based (Environment and Development Division (EDD), 2005). The peak and decline of world oil production is producing price and uncertainty pressures that ...
    • Tree structure in phylogenetic networks 

      Simpson, J. R. (University of Canterbury, 2019)
      Phylogenetic trees are widely used to express and explore evolutionary relationships. In recent times, the observation of evolutionary processes that cannot be expressed by individual phylogenetic trees has prompted ...
    • Trees and terraces. 

      Mark, Sarah Jayne (University of Canterbury, 2016)
      The reconstruction of evolutionary trees from data sets on overlapping sets of species is a central problem in phylogenetics. Provided that the tree reconstructed for each subset of species is rooted and that these trees ...