Now showing items 772-791 of 1266

  • Names and Binding in Type Theory 

    Schöpp, Ulrich (University of Edinburgh. College of Science and Engineering. School of Informatics., 2006-05)
    Names and name-binding are useful concepts in the theory and practice of formal systems. In this thesis we study them in the context of dependent type theory. We propose a novel dependent type theory with primitives for ...
  • Negation : implications for theories of natural language 

    Von Klopp, Ana (The University of Edinburgh, 1993)
  • A Network-based Asynchronous Architecture for Cryptographic Devices 

    Spadavecchia, Ljiljana (University of Edinburgh. College of Science and Engineering. School of Informatics., 2006-07)
    The traditional model of cryptography examines the security of the cipher as a mathematical function. However, ciphers that are secure when specified as mathematical functions are not necessarily secure in real-world ...
  • Neural compass or epiphenomenon? Experimental and theoretical investigations into the rodent head direction cell system 

    van der Meer, Matthijs (2007-11-28)
    How does the brain convert sensory information into abstract representations that can support complex behaviours? The rodent head-direction (HD) system, whose cell ensembles represent head direction in the horizontal plane, ...
  • Neural mechanisms for face and orientation aftereffects 

    Zhao, Chen (The University of Edinburgh, 2011-11-24)
    Understanding how human and animal visual systems work is an important and still largely unsolved problem. The neural mechanisms for low-level visual processing have been studied in detail, focusing on early visual areas. ...
  • Neural networks, information theory and knowledge representation 

    Smith, Julian P. (The University of Edinburgh, 1996)
  • A New Algorithm for Learning Range Restricted Horn Expressions 

    Arias, Marta; Khardon, Roni (2000-03)
    A learning algorithm for the class of range restricted Horn expressions is presented and proved correct. The algorithm works within the framework of learning from entailment, where the goal is to exactly identify some ...
  • A New Fuzzy Interpolative Reasoning Method Based on Center of Gravity 

    Huang, Zhiheng; Shen, Qiang (IEEE, 2003)
    Interpolative reasoning methods do not only help reduce the complexity of fuzzy models hut also make inference in sparse-rule based systems possible. This paper presents an interpolative reasoning method by exploiting ...
  • The New Software Copyright Law 

    Bundy, Alan; MacQueen, Hector L (Oxford University Press, 1994-03)
  • No Optimisation Without Representation: A Knowledge Based Systems View of Evolutionary/Neighbourhood Search Optimisation 

    Tuson, Andrew Laurence (The University of Edinburgh: College of Science and Engineering: The School of Informatics, 1999-07)
    In recent years, research into ‘neighbourhood search’ optimisation techniques such as simulated annealing, tabu search, and evolutionary algorithms has increased apace, resulting in a number of useful heuristic solution ...
  • Noise removal at the rod synapse of mammalian retina 

    van Rossum, Mark; Smith, Robert (Cambridge University Press, 1998)
    Mammalian rods respond to single photons with a hyperpolarization of about 1 mV which is accompanied by continuous noise. Since the mammalian rod bipolar cell collects signals from 20-100 rods, the noise from the converging ...
  • Nominal Logic Programming 

    James Cheney; Christian Urban (Association for Computing Machinery, 2008-08)
    Nominal logic is an extension of first-order logic which provides a simple foundation for formalizing and reasoning about abstract syntax modulo consistent renaming of bound names (that is, α-equivalence). This article ...
  • Nominal tense logic and other sorted intensional frameworks 

    Blackburn, Patrick Rowan (The University of Edinburgh, 1990)
    This thesis introduces of a system of tense logic called nominal tense logic (NTL), and several extensions. Its primary aim is to establish that these systems are logically interesting, and can provide useful models of ...
  • Non-arbitrariness in novel sign systems 

    Theisen, Carrie Ann (The University of Edinburgh, 2010)
    This thesis investigates non-arbitrariness in novel sets of signs (mappings between signals and meanings). Two common ways of characterizing signs – by the degree of motivatedness they exhibit and by the degree of ...
  • Non-classical modal logic for belief 

    McPartlin, Michael P. (The University of Edinburgh, 1991)
  • Nonlinear Dimensionality Reduction for Motion Synthesis and Control 

    Bitzer, Sebastian (The University of Edinburgh, 2011)
    Synthesising motion of human character animations or humanoid robots is vastly complicated by the large number of degrees of freedom in their kinematics. Control spaces become so large, that automated methods designed ...
  • Normalisation by Evaluation in the Compilation of Typed Functional Programming Languages 

    Lindley, Sam (University of Edinburgh. College of Science and Engineering. School of Informatics., 2005-06)
    This thesis presents a critical analysis of normalisation by evaluation as a technique for speeding up compilation of typed functional programming languages. Our investigation focuses on the SML.NET compiler and its typed ...
  • Note on rejection sampling and exact sampling with the Metropolised independence sampler 

    Murray, Iain (2004)
    This short note shows a close relationship between standard rejection sampling and exact sampling by coupling from the past applied to a Metropolised independence sampler. I now know that this idea, first presented as a ...
  • Notions of Computation Determine Monads 

    Plotkin, Gordon; Power, John (SPRINGER-VERLAG, 2002)
    We model notions of computation using algebraic operations and equations. We show that these generate several of the monads of pri- mary interest that have been used to model computational e ects, with the striking ...
  • Novel approach for representing, generalising, and quantifying periodic gaits 

    Lin, Hsiu-Chin (The University of Edinburgh, 2015-11-26)
    Our goal is to introduce a novel method for representing, generalising, and comparing gaits; particularly, walking gait. Human walking gaits are a result of complex, interdependent factors that include variations resulting ...