Browsing Informatics, School of by Title
Now showing items 794813 of 1293

Names and Binding in Type Theory
(University of Edinburgh. College of Science and Engineering. School of Informatics., 200605)Names and namebinding 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
(The University of Edinburgh, 1993) 
A Networkbased Asynchronous Architecture for Cryptographic Devices
(University of Edinburgh. College of Science and Engineering. School of Informatics., 200607)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 realworld ... 
Neural compass or epiphenomenon? Experimental and theoretical investigations into the rodent head direction cell system
(20071128)How does the brain convert sensory information into abstract representations that can support complex behaviours? The rodent headdirection (HD) system, whose cell ensembles represent head direction in the horizontal plane, ... 
Neural mechanisms for face and orientation aftereffects
(The University of Edinburgh, 20111124)Understanding how human and animal visual systems work is an important and still largely unsolved problem. The neural mechanisms for lowlevel visual processing have been studied in detail, focusing on early visual areas. ... 
Neural networks, information theory and knowledge representation
(The University of Edinburgh, 1996) 
A New Algorithm for Learning Range Restricted Horn Expressions
(200003)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
(IEEE, 2003)Interpolative reasoning methods do not only help reduce the complexity of fuzzy models hut also make inference in sparserule based systems possible. This paper presents an interpolative reasoning method by exploiting ... 
The New Software Copyright Law
(Oxford University Press, 199403) 
No Optimisation Without Representation: A Knowledge Based Systems View of Evolutionary/Neighbourhood Search Optimisation
(The University of Edinburgh: College of Science and Engineering: The School of Informatics, 199907)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
(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 20100 rods, the noise from the converging ... 
Nominal Logic Programming
(Association for Computing Machinery, 200808)Nominal logic is an extension of firstorder 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
(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 ... 
Nonarbitrariness in novel sign systems
(The University of Edinburgh, 2010)This thesis investigates nonarbitrariness 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 ... 
Nonclassical modal logic for belief
(The University of Edinburgh, 1991) 
Nonlinear Dimensionality Reduction for Motion Synthesis and Control
(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
(University of Edinburgh. College of Science and Engineering. School of Informatics., 200506)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
(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
(SPRINGERVERLAG, 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
(The University of Edinburgh, 20151126)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 ...