Browsing Doctoral Theses (Mathematical & Computer Sciences) by Title
Now showing items 95114 of 378 starting with F

Fat animals and fisher zeros on random graphs
(HeriotWatt University Mathematics, 2001) 
Field theory and solitons
(HeriotWatt University, 200903) 
The financial impact of genetic information on the insurance industry
(HeriotWatt University Mathematical and Computer Science, 201002)This thesis discusses the overall impact of genetic information on the insurance industry using the \bottomup" approach, in which individual studies of each genetic disorder of interest are studied ¯rst. We review ¯ve ... 
Framework for knowledge management
(HeriotWatt University Mathematical and Computer Sciences, 201511)This thesis studies the underlying processes of Knowledge Management (KM) and proposes a generic framework for knowledge management that is appli cable to reallife case studies. We define KM as gathering, refining, ... 
A framework for situated evaluation of learning in computer environments
(HeriotWatt University Computer Science, 1996) 
Fredholm determinants for the stability of travelling waves
(HeriotWatt University Mathematical and Computer Sciences, 201308)This thesis investigates both theoretically and numerically the stability of travelling wave solutions using Fredholm determinants, on the real line. We identify a class of travelling wave problems for which the corresponding ... 
Funding liquidity risk and fund transfer pricing in banking
(HeriotWatt University Mathematical and Computer Sciences, 201611)Funding liquidity risk was one of the main reasons for bank failure during the global financial crisis in 20072008. New legislation has been released in the form of Basel III, in particular the Liquidity Coverage Ratio ... 
Fuzzy decision making system and the dynamics of business games
(HeriotWatt University, 201101)Effective and efficient strategic decision making is the backbone for the success of a business organisation among its competitors in a particular industry. The results of these decision making processes determine whether ... 
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)