Now showing items 914-929 of 929

  • Validation of machine-oriented strategies in chess endgames 

    Niblett, Timothy B. (The University of Edinburgh, 1982)
    This thesis is concerned with the validation of chess endgame strategies. It is also concerned with the synthesis of strategies that can be validated. A strategy for a given player is the specification of the move to ...
  • Variational inference for Gaussian-jump processes with application in gene regulation 

    Ocone, Andrea (The University of Edinburgh, 2013-11-28)
    In the last decades, the explosion of data from quantitative techniques has revolutionised our understanding of biological processes. In this scenario, advanced statistical methods and algorithms are becoming fundamental ...
  • Verification and validation of security protocol implementations 

    O'Shea, Nicholas (The University of Edinburgh, 2010)
    Security protocols are important and widely used because they enable secure communication to take place over insecure networks. Over the years numerous formal methods have been developed to assist protocol designers by ...
  • Verification in ASL and related specification languages 

    Farres-Casals, Jorge (The University of Edinburgh, 1992)
  • Verifying temporal properties of systems with applications to petri nets 

    Bradfield, Julian Charles (The University of Edinburgh, 1991)
    This thesis provides a powerful general-purpose proof technique for the verification of systems, whether finite or infinite. It extends the idea of finite local model-checking, which was introduced by Stirling and Walker: ...
  • Versatile Communication Cost Modelling for Multicomputer Task Scheduling 

    Boeres, Cristina (University of Edinburgh. College of Science and Engineering. School of Informatics., 1997-07)
    Programmers face daunting problems when attempting to design portable programs for multicomputers. This is mainly due to the huge variation in communication performance on the range of multicomputer platforms currently ...
  • Virtual files: a Framework for Experimental Design 

    Ross, George D.M. (The University of Edinburgh, 1983)
    The increasing power and decreasing cost of computers has resulted in them being applied in an ever widening area. In the world of Computer Aided Design it is now practicable to involve the machine in the earlier stages ...
  • Visual Homing in Dynamic Indoor Environments 

    Szenher, Matthew D (The University of Edinburgh, 2008)
    Our dissertation concerns robotic navigation in dynamic indoor environments using image-based visual homing. Image-based visual homing infers the direction to a goal location S from the navigator’s current location C ...
  • Visual homing in field crickets and desert ants: a comparative behavioural and modelling study 

    Mangan, Michael (The University of Edinburgh, 2011-11-24)
    Visually guided navigation represents a long standing goal in robotics. Insights may be drawn from various insect species for which visual information has been shown sufficient for navigation in complex environments, ...
  • Visual representation of cellular networks 

    Mazein, Alexander (The University of Edinburgh, 2011-06-30)
    Development of advanced techniques for biological network visualisation is crucial for successful progress in the areas of systems-level biology and data-intensive bioinformatics. However, current techniques for biological ...
  • Walsh functions : shape analysis and other applications 

    Searle, Nigel Hilton (The University of Edinburgh, 1970)
    Due to their binary nature, the Walsh functions have considerable advantages over the traditional sinusoidal functions used in Fourier analysis when the computations are carried out by a general purpose binary digital ...
  • What’s The Point? A (Computational) Theory of Punctuation 

    Jones, Bernard (University of Edinburgh. College of Science and Engineering. School of Informatics., 1996-07)
    Although punctuation is clearly an important part of the written language, many natural language processing systems developed to date simply ignore punctuation in input text, or do not place it in output text. The reason ...
  • Wide-coverage parsing for Turkish 

    Çakici, Ruket (The University of Edinburgh, 2009)
    Wide-coverage parsing is an area that attracts much attention in natural language processing research. This is due to the fact that it is the first step tomany other applications in natural language understanding, such ...
  • Wireless realtime motion tracking system using localised orientation estimation 

    Young, Alexander D. (The University of Edinburgh, 2010)
    A realtime wireless motion tracking system is developed. The system is capable of tracking the orientations of multiple wireless sensors, using a semi-distributed implementation to reduce network bandwidth and latency, ...
  • Word vector-space embeddings of natural language data over time 

    Lala, Chiraag (The University of Edinburgh, 2014-11-27)
    Words are often mapped to vectors in a vector-space (Euclidean-space). Such mappings, also called embeddings, are used in many Natural Language Processing (NLP) tasks. These word embeddings are, generally, intended to ...
  • XML data exchange under expressive mappings 

    Amano, Shun’ichi (The University of Edinburgh, 2009)
    Data Exchange is the problem of transforming data in one format (the source schema) into data in another format (the target schema). Its core component is a schema mapping, which is a high level specification of how such ...