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

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 ...

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, ... 
A trading model and security regime for mobile ecommerce via ad hoc wireless networking
(HeriotWatt University Mathematical and Computer Sciences, 201608)Ad hoc wireless networking offers mobile computer users the prospect of trading with others in their vicinity anywhere anytime. This thesis explores the potential for developing such trading applications. A notable ... 
Sentiment Analysis for microblogging platforms in Arabic
(HeriotWatt University Mathematical and Computer Sciences, 201608)Sentiment Analysis (SA) concerns the automatic extraction and classification of sentiments conveyed in a given text, i.e. labelling a text instance as positive, negative or neutral. SA research has attracted increasing ... 
Crowdsourced intuitive visual design feedback
(HeriotWatt University Mathematical and Computer Sciences, 201505)For many people images are a medium preferable to text and yet, with the exception of star ratings, most formats for conventional computer mediated feedback focus on text. This thesis develops a new method of crowd ... 
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 ... 
Saudi teachers’ and university students’ attitudes toward computing
(HeriotWatt University Mathematics and Computer Sciences, 201604)Computer technology is an important tool that enhances people’s learning, improves their education and influences the development of society. There is considerable research in Western countries studying attitudes towards ... 
Mathematical models for wound healing lymphangiogenesis and other biomedical phenomena
(HeriotWatt University Mathematical and Computer Sciences, 201601)In this thesis we explore the mathematical modelling of wound healing lymphangiogenesis, tumour neoneurogenesis and Drosophila courtship behaviour. We begin by focussing on the mathematical modelling of lymphatic ... 
Internet traffic volumes characterization and forecasting
(HeriotWatt University Mathematical and Computer Sciences, 201605)Internet usage increases every year and the need to estimate the growth of the generated traffic has become a major topic. Forecasting actual figures in advance is essential for bandwidth allocation, networking design and ... 
A rigorous approach to combining use case modelling and accident scenarios
(HeriotWatt University Mathematical and Computer Sciences, 201603)Nearly all serious accidents, in the past twenty years, in which software has been involved can be traced to requirements flaws. Accidents related to or involving safetycritical systems often lead to significant damage ... 
Reinforcement learning for trading dialogue agents in noncooperative negotiations
(HeriotWatt University Mathematical and Computer Sciences, 201605)Recent advances in automating Dialogue Management have been mainly made in cooperative environments where the dialogue system tries to help a human to meet their goals. In noncooperative environments though, such as ... 
Approaches to formfactors of higher spin Heisenberg chains
(HeriotWatt University School of Mathematical and Computer Sciences, 201604)In this thesis we apply the vertex operator approach of Jimbo and Miwa to higher spin Heisenberg chains with the aim of computing the formfactors of these quantum integrable models. The work is motivated by the relation ... 
Analysis and massively parallel implementation of the 2Lagrange multiplier methods and optimized Schwarz methods
(HeriotWatt University Mathematical and Computer Sciences, 201604) 
A methodology for the economic evaluation of power storage technologies in the UK market
(HeriotWatt University Mathematical and Computer Sciences, 201605)In this thesis, we present a methodology for assessing the economic impact of power storage technologies. The methodology is founded on classical approaches to the optimal stopping of stochastic processes. Power storage ... 
Statistical modelling and Bayesian inference for match outcomes and team behaviour in association football
(HeriotWatt University Mathematical and Computer Sciences, 201603)This thesis presents advances in modelling and inference for match outcomes in the association football English Premier League. We firstly extend earlier models by introducing a behavioural aspect which can be used to ...