Browsing Doctoral Theses (Mathematical & Computer Sciences) by Title
Now showing items 2140 of 377

Architecture and abstraction in interactive systems
(HeriotWatt University Computer Science, 1992) 
Architecture aware parallel programming in Glasgow parallel Haskell (GPH)
(HeriotWatt University Mathematical and Computer Sciences, 201208)General purpose computing architectures are evolving quickly to become manycore and hierarchical: i.e. a core can communicate more quickly locally than globally. To be effective on such architectures, programming models ... 
Argumentation in biology : exploration and analysis through a gene expression use case
(HeriotWatt University Mathematical and Computer Sciences, 201208)Argumentation theory conceptualises the human practice of debating. Implemented as computational argumentation it enables a computer to perform a virtual debate. Using existing knowledge from research into argumentation ... 
Array methods in statistics with applications to the modelling and forecasting of mortality
(HeriotWatt University, 200903)In this thesis we investigate the application of array methods for the smoothing of multidimensional arrays with particular reference to mortality data. A broad outline follows. We begin with an introduction to smoothing ... 
Ascertainment bias in estimating rates of onset of earlyonset Alzheimer's disease : a critical illness and life insurance application
(HeriotWatt University Mathematical and Computer Sciences, 2006) 
Asynchronous and exponential based numerical schemes for porous media flow
(HeriotWatt University Mathematical and Computer Sciences, 201512)A great many physical phenomena are modelled by partial di erential equations (PDEs), and numerical schemes often have to be employed to approximate the solutions to these equations where analytical solutions cannot be ... 
Automated analysis of realtime software properties
(HeriotWatt University Mathematical and Computer Sciences, 2007) 
Autonomous mobility in multilevel networks
(HeriotWatt University Mathematical and Computer Science, 201109)Autonomous Mobile Programs (AMPs) are mobile agents that are aware of their resource needs and sensitive to the execution environment. AMPs are unusual in that, instead of using some external load management system, each ... 
Bases properties of sequences of dilated periodic functions in Banach and Hilbert spaces
(HeriotWatt University Mathematical and Computer Sciences, 201802)The main aim of the thesis is to continue the investigations as to which extent the family of dilations Ef := {fn}n, where f : R→C and fn(·) := f(n·) for all n ∈N, forms a basis of Lr(0,1) for r ∈ (1,∞). We introduce an ... 
Bayesian analysis of default and credit migration : latent factor models for event count and timetoevent data
(HeriotWatt University Mathematical and Computing Sciences, 201407)This thesis develops Bayesian models to explain credit default and migration risk. Credit risk models used in practice are based on an assumption of conditionally independent events given a realization of systematic risk ... 
Bayesian stochastic mortality modelling under serially correlated local effects
(HeriotWatt University Mathematical and Computer Sciences, 201501)The vast majority of stochastic mortality models in the academic literature are intended to explain the dynamics underpinning the process by a combination of age, period and cohort e ects. In principle, the more such e ... 
The BeckerDoring cluster equations.
(HeriotWatt University Mathematics, 1997) 
Behaviour and control of single and two resource loss networks
(HeriotWatt University Actuarial Mathematics and Statistics, 1995) 
Bifurcation in systems of reactiondiffusion equations
(HeriotWatt University Mathematics, 1993) 
The breast cancer polygene and longevity genes : the implications for insurance
(HeriotWatt University Mathematical and Computer Sciences, 200804) 
Calibrated and uncalibrated photometric stereo for surface texture acquisition
(HeriotWatt University Mathematical and Computer Sciences, 2005) 
Categorical structures on bundle gerbes and higher geometric prequantisation
(HeriotWatt University Mathematics and Computer Sciences, 201709)We present a construction of a 2Hilbert space of sections of a bundle gerbe, a suitable candidate for a prequantum 2Hilbert space in higher geometric quantisation. We start by briefly recalling the construction of the ... 
Cavitation in nonlinear elasticity and associated problems
(HeriotWatt University Mathematics, 1984) 
Certain onerelator products of groups : Freiheitssatz and nontriviality
(HeriotWatt University Mathematical and Computer Sciences, 201511) 
Characterising rhetorical argumentation
(HeriotWatt University Mathematical and Computer Sciences, 2003)