Browsing Informatics thesis and dissertation collection by Title
Now showing items 594613 of 956

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) 
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 ... 
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 ... 
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 ... 
Novel stochastic and entropybased ExpectationMaximisation algorithm for transcription factor binding site motif discovery
(The University of Edinburgh, 20150629)The discovery of transcription factor binding site (TFBS) motifs remains an important and challenging problem in computational biology. This thesis presents MITSU, a novel algorithm for TFBS motif discovery which exploits ... 
Novel storage architectures and pointerfree search trees for database systems
(The University of Edinburgh, 20120625)Database systems research is an old and wellestablished field in computer science. Many of the key concepts appeared as early as the 60s, while the core of relational databases, which have dominated the database world ... 
Numerical solution of differential equations
(The University of Edinburgh, 1969)Recent investigations by Butcher have coordinated several aspects of the theory of, and techniques for the derivation of, numerical methods for ordinary differential equations, and further have yielded several significant ... 
Observational models of requirements evolution
(The University of Edinburgh, 2004) 
On approximating the stochastic behaviour of Markovian process algebra models
(The University of Edinburgh, 20140627)Markov chains offer a rigorous mathematical framework to describe systems that exhibit stochastic behaviour, as they are supported by a plethora of methodologies to analyse their properties. Stochastic process algebras ... 
On bisimulation and modelchecking for concurrent systems with partial order semantics
(The University of Edinburgh, 20110630)In concurrency theory—the branch of (theoretical) computer science that studies the logical and mathematical foundations of parallel computation—there are two main formal ways of modelling the behaviour of systems where ... 
On combining collaborative and automated curation for enzyme function prediction
(The University of Edinburgh, 20121129)Data generation has vastly exceeded manual annotation in several areas of astronomy, biology, economy, geology, medicine and physics. At the same time, a public community of experts and hobbyists has developed around ...