Browsing Doctoral Theses (Mathematical & Computer Sciences) by Title
Now showing items 247266 of 377 starting with O∨der=ASC

Parallel algorithms for large sparse systems of differential equations
(HeriotWatt University Mathematics, 1991) 
Parallel evaluation strategies for lazy data structures in Haskell
(HeriotWatt University Mathematical and Computer Sciences, 201605)Conventional parallel programming is complex and error prone. To improve programmer productivity, we need to raise the level of abstraction with a higherlevel programming model that hides many parallel coordination ... 
Partial regularity of local minimisers in the calculus of variations
(HeriotWatt University Mathematical and Computer Science, 201012) 
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)