Browsing Informatics thesis and dissertation collection by Title
Now showing items 371390 of 1059

Familiarity effects in visual word recognition
(The University of Edinburgh, 1998) 
Fast physical simulation of virtual clothing based on multilevel approximation strategies
(The University of Edinburgh, 1999) 
Feedback strategies for second language teaching with implications for intelligent tutorial systems
(The University of Edinburgh, 2003) 
Fibrations, logical predicates and indeterminates
(The University of Edinburgh, 1993) 
Fibred computational effects
(The University of Edinburgh, 20171130)We study the interplay between dependent types and computational effects, two important areas of modern programming language research. On the one hand, dependent types underlie proof assistants such as Coq and functional ... 
First order linear logic in symmetric monoidal closed categories
(The University of Edinburgh, 1991) 
Flashing up the storage hierarchy
(The University of Edinburgh, 2010)The focus of this thesis is on systems that employ both flash and magnetic disks as storage media. Considering the widely disparate I/O costs of flash disks currently on the market, our approach is a costaware one: we ... 
Flexible database management system for a virtual memory machine
(The University of Edinburgh, 1980) 
A flexible expansion algorithm for userchosen abbreviations
(The University of Edinburgh, 200811)People with some types of motor disabilities who wish to generate text using a computer can find the process both fatiguing and timeconsuming. These problems can be alleviated by reducing the quantity of keystrokes they ... 
Flexible Service Choreography
(The University of Edinburgh, 2007)Serviceoriented architectures are a popular architectural paradigm for building software applications from a number of loosely coupled, distributed services. Through a set of procedural rules, workflow technologies ... 
Focus and coherence in discourse
(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 ... 
Formal approach to hardware analysis
(The University of Edinburgh, 1986) 
Formal computational framework for the study of molecular evolution
(The University of Edinburgh, 2010)Over the past 10 years, multiple executable modelling formalisms for molecular biology have been developed in order to address the growing need for a systemlevel understanding of complex biological phenomena. An important ... 
Formal Derivation of a Class of Computers
(University of Edinburgh. College of Science and Engineering. School of Informatics., 199507)The aim of this thesis is to investigate how to use logicbased specification, construction, and proof methods to formally derive a class of computers. Differing from the traditional concepts of specification, verification ... 
The Formal Description of Musical Perception
(The University of Edinburgh, 1972)This work concerns a problem in modelling people's understanding of music. The problem is cast in the terms of discovering formal rules for transcribing melodies into musical notation, as this might be done by a student ... 
Formal language for statistical inference of uncertain stochastic systems
(The University of Edinburgh, 20161129)Stochastic models, in particular Continuous Time Markov Chains, are a commonly employed mathematical abstraction for describing natural or engineered dynamical systems. While the theory behind them is wellstudied, their ... 
Formal process for systolic array design using recurrences
(The University of Edinburgh, 1992) 
Formal verification approach to process modelling and composition
(The University of Edinburgh, 20141127)Process modelling is a design approach where a system or procedure is decomposed in a number of abstract, independent, but connected processes, and then recomposed into a welldefined workflow specification. Research in ... 
A Formal, Hierarchical Design and Validation Methodology for VLSI
(The University of Edinburgh, 1988)The high cost of fabricating VLSI circuits requires that they be validated, that is, shown to function correctly, before manufacture. The cost of design errors can be kept to a minimum if such validation occurs as early ... 
The Formalisation Of Discourse Production
(The University of Edinburgh, 1974)This paper describes a computer program which produces English discourse. The program is capable of describing in a sequence of English sentences any game of noughts&crosses (tictactoe), whether given or actually ...