Now showing items 745-764 of 942

  • Safe data structure visualisation 

    Eyre-Todd, Richard A. (The University of Edinburgh, 1993)
  • Safety Assurance in Interlocking Design 

    Morley, Matthew J (University of Edinburgh. College of Science and Engineering. School of Informatics., 1996-07)
    This thesis takes a pedagogical stance in demonstrating how results from theoretical computer science may be applied to yield significant insight into the behaviour of the devices computer systems engineering practice seeks ...
  • Scalability of RAID Systems 

    Li, Yan (The University of Edinburgh, 2010)
    RAID systems (Redundant Arrays of Inexpensive Disks) have dominated backend storage systems for more than two decades and have grown continuously in size and complexity. Currently they face unprecedented challenges from ...
  • Scalability of RAID systems 

    Li, Yan (The University of Edinburgh, 2010)
    RAID systems (Redundant Arrays of Inexpensive Disks) have dominated backend storage systems for more than two decades and have grown continuously in size and complexity. Currently they face unprecedented challenges from ...
  • Scalable analysis of stochastic process algebra models 

    Tribastone, Mirco (The University of Edinburgh, 2010)
    The performance modelling of large-scale systems using discrete-state approaches is fundamentally hampered by the well-known problem of state-space explosion, which causes exponential growth of the reachable state space ...
  • Scalable geometric Markov chain Monte Carlo 

    Zhang, Yichuan (The University of Edinburgh, 2016-06-27)
    Markov chain Monte Carlo (MCMC) is one of the most popular statistical inference methods in machine learning. Recent work shows that a significant improvement of the statistical efficiency of MCMC on complex distributions ...
  • Scalable semi-supervised grammar induction using cross-linguistically parameterized syntactic prototypes 

    Boonkwan, Prachya (The University of Edinburgh, 2014)
    This thesis is about the task of unsupervised parser induction: automatically learning grammars and parsing models from raw text. We endeavor to induce such parsers by observing sequences of terminal symbols. We focus ...
  • Scale-based surface understanding using diffusion smoothing 

    Cai, Li-Dong (The University of Edinburgh, 1991)
    The research discussed in this thesis is concerned with surface understanding from the viewpoint of recognition-oriented, scale-related processing based on surface curvatures and diffusion smoothing. Four problems below ...
  • Scanning Behaviour and Pattern Recognition 

    Lishman, John Rowland (The University of Edinburgh, 1976)
    Two basic models of human pattern recognition have been advanced: feature analysis and hypothesis testing. These can only be discriminated by looking at behaviour before recognition. This is studied here by having the ...
  • Scheme-based theorem discovery and concept invention 

    Montano-Rivas, Omar (The University of Edinburgh, 2012-06-25)
    In this thesis we describe an approach to automatically invent/explore new mathematical theories, with the goal of producing results comparable to those produced by humans, as represented, for example, in the libraries ...
  • Searching the space of representations: reasoning through transformations for mathematical problem solving 

    Raggi, Daniel (The University of Edinburgh, 2016-11-29)
    The role of representation in reasoning has been long and widely regarded as crucial. It has remained one of the fundamental considerations in the design of information-processing systems and, in particular, for computer ...
  • Securing open multi-agent systems governed by electronic institutions 

    Bijani, Shahriar (The University of Edinburgh, 2013-11-28)
    One way to build large-scale autonomous systems is to develop an open multi-agent system using peer-to-peer architectures in which agents are not pre-engineered to work together and in which agents themselves determine ...
  • Self-organisation of internal models in autonomous robots 

    Smith Bize, Simon Cristobal (The University of Edinburgh, 2016-06-27)
    Internal Models (IMs) play a significant role in autonomous robotics. They are mechanisms able to represent the input-output characteristics of the sensorimotor loop. In developmental robotics, open-ended learning of ...
  • Self-organised criticality via retro-synaptic signals in complex neural networks 

    Hernandez-Urbina, Jose Victor (The University of Edinburgh, 2016-06-27)
    The brain is a complex system par excellence. Its intricate structure has become clearer recently, and it has been reported that it shares some properties common to complex networks, such as the small-world property, the ...
  • Self-timed field programmmable gate array architectures 

    Payne, Robert (The University of Edinburgh, 1997)
  • A Semantic analysis of control 

    Laird, James David (University of Edinburgh. College of Science and Engineering. School of Informatics., 1999-07)
    This thesis examines the use of denotational semantics to reason about control flow in sequential, basically functional languages. It extends recent work in game semantics, in which programs are interpreted as strategies ...
  • A Semantic Approach to Automatic Program Improvement 

    Darlington, John (The University of Edinburgh, 1972)
    The programs that are easiest to write and understand are often not the most efficient. This thesis gives methods of converting programs of the former type to those of the latter type; this involves converting definitions ...
  • Semantic Based Support for Visualisation in Complex Collaborative Planning Environments 

    Lino, Natasha Correia Queiroz (2007)
    Visualisation in intelligent planning systems [Ghallab et al., 2004] is a subject that has not been given much attention by researchers. Among the existing planning systems, some well known planners do not propose a solution ...
  • Semantic frameworks for complexity 

    Gurr, Douglas J. (The University of Edinburgh, 1990)