Mathematical & Computer Sciences
Browse by
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by the author's copyright.
Collections in this community
Recent Submissions

Modelling a multichannel security protocol to address Man in the Middle attacks
(HeriotWatt University Mathematical and Computer Sciences, 201708)Unlike wired networks, wireless networks cannot be physically protected, mak ing them greatly at risk. This study looks into advanced ways of implementing security techniques in wireless networks. It proposes using model ... 
Small population bias and sampling eﬀects in stochastic mortality modelling
(HeriotWatt University Mathematical and Computer Sciences, 201706)Pension schemes are facing more diﬃculties on matching their underlying liabilities with assets, mainly due to faster mortality improvements for their underlying populations, better environments and medical treatments and ... 
A selfmobile skeleton in the presence of external loads
(HeriotWatt University Mathematical and Computer Sciences, 201710)Multicore clusters provide costeﬀective platforms for running CPUintensive and dataintensive parallel applications. To eﬀectively utilise these platforms, sharing their resources is needed amongst the applications rather ... 
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 ... 
Mathematical models for red squirrel conservation
(HeriotWatt University Mathematical and Computer Sciences, 201706)In this thesis we develop mathematical models to understand the process of ecological invasion when the invading species also carries a disease that is harmful to the native species. In particular we focus on a key case ...

Modelling a multichannel security protocol to address Man in the Middle attacks
(HeriotWatt University Mathematical and Computer Sciences, 201708)Unlike wired networks, wireless networks cannot be physically protected, mak ing them greatly at risk. This study looks into advanced ways of implementing security techniques in wireless networks. It proposes using model ... 
Small population bias and sampling eﬀects in stochastic mortality modelling
(HeriotWatt University Mathematical and Computer Sciences, 201706)Pension schemes are facing more diﬃculties on matching their underlying liabilities with assets, mainly due to faster mortality improvements for their underlying populations, better environments and medical treatments and ... 
A selfmobile skeleton in the presence of external loads
(HeriotWatt University Mathematical and Computer Sciences, 201710)Multicore clusters provide costeﬀective platforms for running CPUintensive and dataintensive parallel applications. To eﬀectively utilise these platforms, sharing their resources is needed amongst the applications rather ... 
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 ... 
Mathematical models for red squirrel conservation
(HeriotWatt University Mathematical and Computer Sciences, 201706)In this thesis we develop mathematical models to understand the process of ecological invasion when the invading species also carries a disease that is harmful to the native species. In particular we focus on a key case ... 
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 ... 
Nonassociative geometry in representation categories of quasiHopf algebras
(HeriotWatt University Mathematical and Computer Sciences, 201610)It has been understood that quantum spacetime may be nongeometric in the sense that its phase space algebra is noncommutative and nonassociative. It has therefore been of interest to develop a formalism to describe ... 
Control and surveillance of partially observed stochastic epidemics in a Bayesian framework
(HeriotWatt University Mathematical and Computer Sciences, 201612)This thesis comprises a number of interrelated parts. For most of the thesis we are concerned with developing a new statistical technique that can enable the identi cation of the optimal control by comparing competing ... 
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 ... 
The optimised Schwarz method and the twoLagrange multiplier method for heterogeneous problems
(HeriotWatt University Mathematical and Computer Sciences, 201704)In modern science and engineering there exist many heterogeneous problems, in which the material under consideration has nonuniform properties. For example when considering seepage under a dam, water will flow at vastly ... 
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, ... 
Enriched discrete spaces for time domain wave equations
(HeriotWatt University Mathematical and Computer Sciences, 201701)The second order linear wave equation is simple in representation but its numerical approximation is challenging, especially when the system contains waves of high frequencies. While 10 grid points per wavelength is ... 
Empirical studies in corporate credit modelling; liquidity premia, factor portfolios & model uncertainty
(HeriotWatt University Mathematical and Computer Sciences, 201704)Insurers match the cash flows of typically illiquid insurance liabilities, such as inforce annuities, with government and corporate bonds. As they intend to buy corporate bonds and hold them to maturity, they can capture ... 
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, ... 
Dialogue enhanced, machine assisted requirements elicitation
(HeriotWatt University Mathematical and Computer Sciences, 201405)The Requirements Elicitation process often involves extracting valuable information from the wealth of extant domain specific, natural language (NL) data to form the requirements for building the future system. It also ... 
Securing routing protocols in mobile ad hoc networks
(HeriotWatt University Mathematical and Computer Sciences, 201605)A Mobile Ad Hoc Network (MANET) is more prone to security threats than other wired and wireless networks because of the distributed nature of the network. Conventional MANET routing protocols assume that all nodes cooperate ... 
Stochastic averagecost control, with energyrelated applications
(HeriotWatt University Mathematical and Computer Sciences, 201609)In this thesis we present a new stochastic optimisation model arising from supplyside management of power networks. We provide the exact optimal solution under assumption that the environment is Markovian. For the ... 
Cosets in inverse semigroups and inverse subsemigroups of finite index
(HeriotWatt University Mathematical and Computer Sciences, 201607)The index of a subgroup of a group counts the number of cosets of that subgroup. A subgroup of finite index often shares structural properties with the group, and the existence of a subgroup of finite index with some ... 
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 ... 
Mathematical modelling of movement and glioma invasion
(HeriotWatt University Mathematical and Computer Sciences, 201610)Modelling movement is an important topic in fields ranging from ecology to medicine. In particular, glioma, an often fatal brain tumour is characterised by its diffuse invasion into the surrounding normal brain tissue, ...