Now showing items 1-20 of 26

  • Analogy and mathematical reasoning : a survey 

    Miller, C.D.F. (The University of Edinburgh, 1983)
    We survey the literature of Artificial Intelligence, and other related work, pertaining to the modelling of mathematical reasoning and its relationship with the use of analogy. In particular, we discuss the contribution ...
  • Applicative Notions in ML-like Programs 

    Ling, Budi H (University of Edinburgh. College of Science and Engineering. School of Informatics., 1998-07)
    Pure functional languages are expressive tools for writing modular and reliable code. State in programming languages is a useful tool for programming dynamic systems. However, their combination yields programming languages ...
  • Characterizing and exploiting application behavior under data corruption 

    Stefanakis, Georgios (The University of Edinburgh, 2015-11-26)
    Shrinking semiconductor technologies come at the cost of higher susceptibility to hardware faults that render the systems unreliable. Traditionally, reliability solutions are aimed to protect equally and exhaustively all ...
  • Computational model of learning 

    Radford, Timothy John (The University of Edinburgh, 1980)
    The program described learns to improve its performance in the playing of a game, from experience. The main objectives of the project are that the system should observe the following principles: 1) The program should ...
  • Computational models of ontology evolution in legal reasoning 

    Priddle-Higson, Andrew (The University of Edinburgh, 2010)
    This thesis analyses the problem of creating computational models of ontology evolution in legal reasoning. Ontology evolution is the process of change that happens to a theory as it is used by agents within a domain. ...
  • Design of printed circuit board layouts using graph theoretic methods 

    Cadman, T. (The University of Edinburgh, 1974)
  • Evaluation of image analysis techniques as applied to thermographs used in breast cancer detection 

    Laing, William A. (The University of Edinburgh, 1978)
    Due to the lack of a formal theory for designing image analysis systems it has been necessary to develop and implement a package of computer programs for evaluating image analysis techniques and designing image analysis ...
  • Focus and coherence in discourse 

    Binet, Leslie Graham (The University of Edinburgh, 1985)
    Since Frege, many people have regarded meaning as a relation between an expression in a language and entities in the world, a relation that is essentially fixed in character, so that in a given context the expression ...
  • Functional model for graph interaction 

    Brown, Simon (The University of Edinburgh, 1991)
  • Gene co-expression tools applied to the developing thalamus 

    Oliver Duocastella, Xavier; Duocastella, Xavier Oliver (The University of Edinburgh, 2012-11-29)
    This project contributes to the understanding of how the thalamus, a major structure in the mammalian brain, develops. This is done through the creation and application of neuroinformatics tools to biological data. The ...
  • IMP as a tool for small operating systems implementation 

    Gilmore, Brian A.C (The University of Edinburgh, 1976)
  • Implementation of neural plasticity mechanisms on reconfigurable hardware for robot learning 

    Alevizos, Ilias (The University of Edinburgh, 2011-11-24)
    It is often assumed that insects are “primitive” animals, without the ability to exhibit complex learning behaviour. Fortunately, their tiny brains quite often surprise us with their performance. This thesis investigates ...
  • Learning Concepts through Multi-Class Diverse Density 

    Hiransoog, Chalita (The University of Edinburgh, 2008)
    This research investigates the possibility of creating an intelligent system based on the philosophy that the world is ambiguous and a system gains knowledge by learning from these ambiguous examples where the learning ...
  • Lexicrunch : an expert system for word morphology 

    Golding, Andrew Robert (The University of Edinburgh, 1985)
    Natural language programs typically store words like pig and pigs as independent entries in their dictionaries, thus neglecting the obvious morphological relationship between them. Lexicrunch tries to induce such ...
  • Machine Assisted Proofs for Generic Semantics to Compiler Transformation Correctness Theorems 

    Kahn, Saif U (University of Edinburgh. College of Science and Engineering. School of Informatics., 1997-07)
    This thesis investigates the issues involved in the creation of a "general theory of operational semantics" in LEGO, a type-theoretic theorem proving environment implementing a constructionist logic. Such a general theory ...
  • Performance mapping of a class of fully decoupled architecture 

    Crawford, Alan W. R. (The University of Edinburgh, 1999)
  • Planning how to grasp objects in a cluttered environment 

    Wingham, Paul Michael (The University of Edinburgh, 1977)
    This thesis deals with the problem of finding trajectories of objects through space which do not result in collisions. Specifically, a method is presented which calculates such trajectories in the case of a robot ...
  • Practical differential privacy in high dimensions 

    Antonova, Daniela Svetoslavova (The University of Edinburgh, 2016-06-27)
    Privacy-preserving, and more concretely differentially private machine learning, is concerned with hiding specific details in training datasets which contain sensitive information. Many proposed differentially private ...
  • Representation learning for unsupervised speech processing 

    Renshaw, Daniel Ian (The University of Edinburgh, 2016-06-27)
    Automatic speech recognition for our most widely used languages has recently seen substantial improvements, driven by improved training procedures for deep artificial neural networks, cost-effective availability of ...
  • Social media pecking order : analysing Twitter information streams 

    Ritterman, Joshua (The University of Edinburgh, 2013-11-28)
    This thesis investigates how authority is distributed in social media and develops a novel method to validate the finding using prediction markets. By modelling prediction markets with a data corpus comprising of both ...