Browsing Informatics, School of by Title
Now showing items 532551 of 1363

Game Semantics and Subtyping
(University of Edinburgh. College of Science and Engineering. School of Informatics., 200307)Game Semantics is a relatively new framework for the description of the semantics of programming languages. By combining the mathematical elegance of Denotational Semantics with explicitly operational concepts, Game Semantics ... 
Game semantics for an objectoriented language
(The University of Edinburgh, 2009)This thesis investigates the relationship between objectoriented programming languages and game models of computation. These are intuitively well matched: an object encapsulates some internal state and presents some ... 
Game semantics for probabilistic modal μcalculi
(The University of Edinburgh, 20120625)The probabilistic (or quantitative) modal μcalculus is a fixedpoint logic designed for expressing properties of probabilistic labeled transition systems (PLTS’s). Two semantics have been studied for this logic, both ... 
Games for Modal and Temporal Logics
(University of Edinburgh. College of Science and Engineering. School of Informatics., 200307)Every logic comes with several decision problems. One of them is the model checking problem: does a given structure satisfy a given formula? Another is the satisfiability problem: for a given formula, is there a structure ... 
Gaussian processes and fast matrixvector multiplies
(Numerical Mathematics in Machine Learning Workshop  International Conference on Machine Learning ICML 2009, 2009)Gaussian processes (GPs) provide a flexible framework for probabilistic regression. The necessary computations involve standard matrix operations. There have been several attempts to accelerate these operations based on ... 
Gazing : a technique for controlling the use of rewrite rules
(The University of Edinburgh, 1988) 
Gene coexpression tools applied to the developing thalamus
(The University of Edinburgh, 20121129)This project contributes to the understanding of how the thalamus, a major structure in the mammalian brain, develops. This is done through the creation and application of neuroinformatics tools to biological data. The ... 
A General Hippocampal Computational Model Combining Episodic and Spatial Memory in a Spiking Model
(University of Edinburgh. College of Science and Engineering. School of Informatics., 200606)The hippocampus, in humans and rats, plays crucial roles in spatial tasks and nonspatial tasks involving episodictype memory. This thesis presents a novel computational model of the hippocampus (CA1, CA3 and dentate ... 
A general technique for automatically optimizing programs through the use of proof plans (Extended Abstract)
(SpringerVerlag, 1993)The use of proof plans formal patterns of reasoning for theorem proving to control the {automatic) synthesis of efficient programs from standard definitional equations is described. A general framework for synthesizing ... 
A Generalisation of PreLogical Predicates and Its Applications
(University of Edinburgh. College of Science and Engineering. School of Informatics., 200507)This thesis proposes a generalisation of prelogical predicates to simply typed formal systems and their categorical models. We analyse the three elements involved in prelogical predicates  syntax, semantics ... 
A Generalized Interval Package and its Use for Semantic Checking
(Transactions on Mathematical Software, 198412) 
Generalized simulation relations with applications in automata theory
(The University of Edinburgh, 20120625)Finitestate automata are a central computational model in computer science, with numerous and diverse applications. In one such application, viz. modelchecking, automata over infinite words play a central rˆole. In ... 
Generating program animators from programming language semantics
(The University of Edinburgh, 1990) 
Generating Programming Environments with Integrated Text and Graphics for VLSI Design Systems
(The University of Edinburgh, 1987)The constant improvements in device integration, the development of new technologies and the emergence of new design techniques call for flexible, maintainable and robust software tools. The generic nature of compilercompiler ... 
Generative grammars and the computeraided composition of music
(The University of Edinburgh, 1980) 
Generative probabilistic models for object segmentation
(The University of Edinburgh, 20140627)One of the longstanding open problems in machine vision has been the task of ‘object segmentation’, in which an image is partitioned into two sets of pixels: those that belong to the object of interest, and those that do ... 
Generative probabilistic models of goaldirected users in taskoriented dialogs
(The University of Edinburgh, 20141127)A longstanding objective of humancomputer interaction research is to develop better dialog systems for end users. The subset of user modelling research specifically, aims to provide dialog researchers with models of ... 
Generic refinements for behavioral specifications
(The University of Edinburgh, 2011)This thesis investigates the properties of generic refinements of behavioral specifications. At the base of this investigation stands the view from algebraic specification that abstract data types can be modeled as ... 
Geodesic Gaussian kernels for value function approximation
(Springer, 2008)The leastsquares policy iteration approach works efficiently in value function approximation, given appropriate basis functions. Because of its smoothness, the Gaussian kernel is a popular and useful choice as a basis ...