Browsing Informatics thesis and dissertation collection by Title
Now showing items 390409 of 1100

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 ... 
Finding and using analogies to guide mathematical proof
(The University of Edinburgh, 1988)This thesis is concerned with reasoning by analogy within the context of automated problem solving. In particular, we consider the provision of an analogical reasoning component to a resolution theorem proving system. ... 
Finding structure in language
(The University of Edinburgh, 1995)Since the Chomskian revolution, it has become apparent that natural language is richly structured, being naturally represented hierarchically, and requiring complex context sensitive rules to define regularities over these ... 
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 ...