Recent Submissions

  • Framework for knowledge management 

    Zia, Imran (Heriot-Watt University Mathematical and Computer Sciences, 2015-11)
    This thesis studies the underlying processes of Knowledge Management (KM) and proposes a generic framework for knowledge management that is appli- cable to real-life case studies. We define KM as gathering, refining, ...
  • Dialogue enhanced, machine assisted requirements elicitation 

    Li, Ke (Heriot-Watt University Mathematical and Computer Sciences, 2014-05)
    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 

    Abdelshafy Abdallah, Mohamed Ahmed (Heriot-Watt University Mathematical and Computer Sciences, 2016-05)
    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 average-cost control, with energy-related applications 

    Chernysh, Ksenia (Heriot-Watt University Mathematical and Computer Sciences, 2016-09)
    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 

    AlAli, Amal (Heriot-Watt University Mathematical and Computer Sciences, 2016-07)
    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 

    Zia, Imran (Heriot-Watt University Mathematical and Computer Sciences, 2015-11)
    This thesis studies the underlying processes of Knowledge Management (KM) and proposes a generic framework for knowledge management that is appli- cable to real-life case studies. We define KM as gathering, refining, ...
  • Dialogue enhanced, machine assisted requirements elicitation 

    Li, Ke (Heriot-Watt University Mathematical and Computer Sciences, 2014-05)
    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 

    Abdelshafy Abdallah, Mohamed Ahmed (Heriot-Watt University Mathematical and Computer Sciences, 2016-05)
    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 average-cost control, with energy-related applications 

    Chernysh, Ksenia (Heriot-Watt University Mathematical and Computer Sciences, 2016-09)
    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 

    AlAli, Amal (Heriot-Watt University Mathematical and Computer Sciences, 2016-07)
    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 2-groups and higher Poincare lemma 

    Demessie, Getachew Alemu (Heriot-Watt University Mathematical and Computer Sciences, 2016-09)
    This thesis is concerned with the mathematical formulations of higher gauge theory. Firstly, we develop a complete description of principal 2-bundles with string 2-group model of Schommer-Pries, which is obtained by ...
  • Mathematical modelling of movement and glioma invasion 

    Eljazi, Radhia (Heriot-Watt University Mathematical and Computer Sciences, 2016-10)
    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 e-commerce via ad hoc wireless networking 

    Osman, Husna (Heriot-Watt University Mathematical and Computer Sciences, 2016-08)
    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 micro-blogging platforms in Arabic 

    Refaee, Eshrag Ali Ahmad (Heriot-Watt University Mathematical and Computer Sciences, 2016-08)
    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 

    Robb, David Allan (Heriot-Watt University Mathematical and Computer Sciences, 2015-05)
    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 : multi-gesture touchscreen fabric simulator using natural on-fabric gestures to communicate textile qualities 

    Orzechowski, Pawel Michal (Heriot-Watt University Mathematical and Computer Sciences, 2016-05)
    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 

    Alothman, Manal Othman Hamad (Heriot-Watt University Mathematics and Computer Sciences, 2016-04)
    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 

    Bianchi, Arianna (Heriot-Watt University Mathematical and Computer Sciences, 2016-01)
    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 

    Vlachos, Nikolaos (Heriot-Watt University Mathematical and Computer Sciences, 2016-05)
    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 

    Murali, Rajiv (Heriot-Watt University Mathematical and Computer Sciences, 2016-03)
    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 safety-critical systems often lead to significant damage ...
  • Reinforcement learning for trading dialogue agents in non-cooperative negotiations 

    Efstathiou, Ioannis (Heriot-Watt University Mathematical and Computer Sciences, 2016-05)
    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 non-cooperative environments though, such as ...
  • Approaches to form-factors of higher spin Heisenberg chains 

    Willetts, Jennifer (Heriot-Watt University School of Mathematical and Computer Sciences, 2016-04)
    In this thesis we apply the vertex operator approach of Jimbo and Miwa to higher spin Heisenberg chains with the aim of computing the form-factors of these quantum integrable models. The work is motivated by the relation ...
  • Analysis and massively parallel implementation of the 2-Lagrange multiplier methods and optimized Schwarz methods 

    Karangelis, Anastasios (Heriot-Watt University Mathematical and Computer Sciences, 2016-04)
  • A methodology for the economic evaluation of power storage technologies in the UK market 

    El Ghandour, Laila (Heriot-Watt University Mathematical and Computer Sciences, 2016-05)
    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 

    Pollock, Jeffrey (Heriot-Watt University Mathematical and Computer Sciences, 2016-03)
    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 ...

View more