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

Galilean quantum gravity in 2+1 dimensions
(HeriotWatt University Mathematical and Computer Science, 201007)In this thesis, we study the Galilean limit of gravity in 2+1 dimensions and give the necessary ingredients for its quantisation. We study two groups that play fundamental role in this thesis, the twofold central extension ... 
Generalised tetrahedron groups and groups uniformising hyperbolic orbifolds
(HeriotWatt University Mathematical and Computer Sciences, 2003) 
Generalized linear models in motor insurance
(HeriotWatt University Actuarial Mathematics and Statistics, 1987) 
Generic access to symbolic computing services
(HeriotWatt University Mathematical and Computer Sciences, 201210)Symbolic computation is one of the computational domains that requires large computational resources. Computer Algebra Systems (CAS), the main tools used for symbolic computations, are mainly designed to be used as ... 
Generic process shape types and the Poly* system
(HeriotWatt University Mathematical and computer science, 201009)Shape types are a general concept of process types which allows verification of various properties of processes from various calculi. The key property is that shape types “look like processes”, that is, they resemble ... 
Genetics and critical illness insurance underwriting: models for breast cancer and ovarian cancer and for coronary heart disease and stroke
(HeriotWatt University Actuarial Mathematics and Statistics, 2002) 
The genetics of Alzheimer's disease, modelling disability and adverse selection in the longterm care insurance market
(HeriotWatt University Actuarial Mathematics and Statistics, 2002) 
Global existence and asymptotic behaviour of unbounded solutions for the semilinear heat equation
(HeriotWatt University Mathematics, 1986) 
Gonihedric 3D Ising models.
(HeriotWatt University Mathematics, 1997) 
Gradual computerisation and verification of mathematics : MathLang's path into Mizar
(HeriotWatt University, 200904)There are many proof checking tools that allow capturing mathematical knowledge into formal representation. Those proof systems allow further automatic verifica tion of the logical correctness of the captured knowledge. ... 
Graph expansions of semigroups
(HeriotWatt University Mathematical and Computer Science, 201005)We construct a graph expansion from a semigroup with a given generating set, thereby generalizing the graph expansion for groups introduced by Margolis and Meakin. We then describe structural properties of this expansion. ... 
Hazards in the use of formal controlled experiments for humancomputerinterface evaluation
(HeriotWatt University Computer Science, 1992) 
Hierarchical and multidimensional smoothing with applications to longitudinal and mortality data
(HeriotWatt University Mathematics and Computer Science, 201111)This thesis is concerned with two themes: (a) smooth mixed models in hierarchical settings with applications to grouped longitudinal data and (b) multidimensional smoothing with reference to the modelling and forecasting ... 
High gauge theory with string 2groups and higher Poincare lemma
(HeriotWatt University Mathematical and Computer Sciences, 201609)This thesis is concerned with the mathematical formulations of higher gauge theory. Firstly, we develop a complete description of principal 2bundles with string 2group model of SchommerPries, which is obtained by ... 
Higher gauge theory and Mtheory
(HeriotWatt University Mathematics and Computer Sciences, 201407)In this thesis, the emerging field of higher gauge theory will be discussed, particularly in relation to problems arising in Mtheory, such as selfdual strings and the socalled (2,0) theory. This thesis will begin with ... 
Higher genus Abelian functions associated with algebraic curves
(HeriotWatt University Mathematics and Computer Science, 200912)We investigate the theory of Abelian functions with periodicity properties defined from an associated algebraic curve. A thorough summary of the background material is given, including a synopsis of elliptic function ... 
Holistic information systems strategy for organisation management (HISSOM)
(HeriotWatt University Mathematical and Computer Sciences, 2006) 
Homological and homotopical constructions for functors on ordered groupoids
(HeriotWatt University Mathematical and Computer Sciences, 201410)The main topic of this thesis is the generalization to ordered groupoids of some results and constructions that have arisen in groupoid theory and its applications in homological and homotopical algebra. We study fibrations ... 
Homology, cohomology and extensions of ordered groupoids
(HeriotWatt University Mathematical and Computer Sciences, 201612)This thesis contains contributions to the homology, cohomology and extensions of ordered groupoids. We study the simplicial homology of ordered groupoids. We also discuss the (co)homology of the set of identities of ... 
Hyperheuristic decision tree induction
(HeriotWatt University Mathematical and Computer Sciences, 201204)A hyperheuristic is any algorithm that searches or operates in the space of heuristics as opposed to the space of solutions. Hyperheuristics are increasingly used in function and combinatorial optimization. Rather ...