Browsing Doctoral Theses (Mathematical & Computer Sciences) by Title
Now showing items 252271 of 380

A partial translation path from MathLang to Isabelle
(HeriotWatt University Mathematical and Computer Science, 201105)This dissertation describes certain developments in computer techniques formanagingmathematical knowledge. Computers currently assistmathematicians in presenting and archiving mathematics, as well as performing calculation ... 
Perceptual dimensions for surface texture retrieval
(HeriotWatt University Mathematical and Computer Sciences, 2008) 
Perceptual texture similarity estimation
(HeriotWatt University Mathematical and Computer Sciences, 201410)This thesis evaluates the ability of computational features to estimate perceptual texture similarity. In the first part of this thesis, we conducted two evaluation experiments on the ability of 51 computational feature ... 
Perceptually relevant browsing environments for large texture databases
(HeriotWatt University Mathematical and Computer Sciences, 201204)This thesis describes the development of a large database of texture stimuli, the production of a similarity matrix re ecting human judgements of similarity about the database, and the development of three browsing ... 
Performance evaluation of Ethernet LAN with selfsimilar traffic
(HeriotWatt University Mathematical and Computer Sciences, 2006) 
Performance prediction for parallel database management systems
(HeriotWatt University Mathematical and Computer Sciences, 2004) 
Performance requirements verification during software systems development
(HeriotWatt University Mathematical and Computer Science, 201105)Requirements verification refers to the assurance that the implemented system reflects the specified requirements. Requirement verification is a process that continues through the life cycle of the software system. When ... 
Personal named entity linking based on simple partial tree matching and context free grammar
(HeriotWatt University Mathematical and Computer Sciences, 201704)Personal name disambiguation is the task of linking a personal name to a unique comparable entry in the real world, also known as named entity linking (NEL). Algorithms for NEL consist of three main components: extractor, ... 
Personalised privacy in pervasive and ubiquitous systems
(HeriotWatt University Mathematical and Computer Sciences, 201510)Our world is edging closer to the realisation of pervasive systems and their integration in our everyday life. While pervasive systems are capable of offering many benefits for everyone, the amount and quality of personal ... 
Personalized redirection of communication and data
(HeriotWatt University Mathematical and Computer Sciences, 2004) 
Phase space and quantisation of (2+1)dimensional gravity in the ChernSimons formulation.
(HeriotWatt University Mathematical and Computer Sciences, 2004) 
Pinching sweaters on your phone – iShoogle : multigesture touchscreen fabric simulator using natural onfabric gestures to communicate textile qualities
(HeriotWatt University Mathematical and Computer Sciences, 201605)The inability to touch fabrics online frustrates consumers, who are used to evaluating physical textiles by engaging in complex, natural gestural interactions. When customers interact with physical fabrics, they combine ... 
Polycyclic monoids and their generalisations
(HeriotWatt University Mathematical and Computer Science, 201109) 
The population genetic consequences of gene flow during colonisation and regeneration of forest trees
(HeriotWatt University Mathematical and Computer Sciences, 2006) 
Positive solutions of some systems of semilinear elliptic equations
(HeriotWatt University Mathematics, 1984) 
Predatorprey, competition and cooperation systems with mixed boundary conditions
(HeriotWatt University Mathematics, 1989) 
The primitive proof theory of the lambdacalculus
(HeriotWatt University Mathematical and Computer Sciences, 2003) 
Probabilistic models for heart disease and related conditions
(HeriotWatt University Mathematical and Computer Sciences, 201402)The topic of this thesis is mortality and the prevalence in the UK of ischaemic heart disease (IHD) and stroke. In particular, we consider changes in each of these between 1981 and 2000 and quantify the extent to which ... 
Properties of solutions to some systems of reactiondiffusion equations
(HeriotWatt University Mathematics, 1985) 
Pseudospectral and pathfollowing techniques with applications to problems in biology and the gasification of coal
(HeriotWatt University Mathematics, 1988)