Browsing Doctoral Theses (Mathematical & Computer Sciences) by Title
Now showing items 277-296 of 380 starting with R
-
Radial motion of elastic and viscoelastic bodies
(Heriot-Watt University Mathematics, 1980) -
Rare events and stability for random walks and stochastic communication systems
(Heriot-Watt University Mathematical and Computer Sciences, 2006) -
Real-time people tracking in a camera network
(Heriot-Watt University Mathematical and Computer Sciences, 2012-11)Visual tracking is a fundamental key to the recognition and analysis of human behaviour. In this thesis we present an approach to track several subjects using multiple cameras in real time. The tracking framework employs ... -
Reasoning about correctness properties of a coordination programming language
(Heriot-Watt University, 2009-03)Safety critical systems place additional requirements to the programming language used to implement them with respect to traditional environments. Examples of features that in uence the suitability of a programming ... -
Recognising and locating objects in two dimensional perspective views
(Heriot-Watt University Computer Science, 1990) -
Recognizing complex faces and gaits via novel probabilistic models
(Heriot-Watt University Mathematical and Computer Science, 2010-10)In the field of computer vision, developing automated systems to recognize people under unconstrained scenarios is a partially solved problem. In unconstrained sce- narios a number of common variations and complexities ... -
Reducible Dehn-filling 3-manifolds and two-bridge knot-group representations
(Heriot-Watt University Mathematical and Computer Sciences, 2008) -
Reinforcement learning for trading dialogue agents in non-cooperative negotiations
(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 ... -
Relation modules and identities for presentations of inverse monoids
(Mathematical and Computer Sciences, 2018-09)We investigate the Squier complexes of presentations of groups and inverse monoids using the theory semiregular, regular, and pseudoregular groupoids. Our main interest is the class of regular groupoids, and the new class ... -
Relaxation theorems in the calculus of variations
(Heriot-Watt University Mathematics, 1980) -
Reliable massively parallel symbolic computing : fault tolerance for a distributed Haskell
(Heriot-Watt University Mathematical and Computer Sciences, 2013-12)As the number of cores in manycore systems grows exponentially, the number of failures is also predicted to grow exponentially. Hence massively parallel computations must be able to tolerate faults. Moreover new approaches ... -
The representation of effectiveness in management : an investigation into knowledge, meaning, and discourse
(Heriot-Watt University Institute for Computer Based Learning, 1992-01)The thesis investigates the representation of knowledge and meaning in management, with special reference to 'effectiveness' in library and information services. It is argued that management is a socially constructed and ... -
Requirement elicitation for enterprise information systems : a process based on meta-model of Zachman framework developed using ontologies
(Heriot-Watt University Mathematical and Computer Science, 2011-05)An enterprise information system distinguishes itself from other types of software as it is developed to facilitate the operation of an organization hence its requirement reflects its strategies, plans, organizations, ... -
Reserving for maturity guarantees under unitised with-profts policies
(Heriot-Watt University Mathematical and Computer Sciences, 2004) -
Reserving, pricing and hedging for guaranteed annuity options
(Heriot-Watt University Actuarial Mathematics and Statistics, 2001) -
Rigidity theory for circle homeomorphisms with singularities
(Heriot-Watt University Mathematics, 2002) -
A rigorous approach to combining use case modelling and accident scenarios
(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 ... -
Risk capital allocation and risk quantification in insurance companies
(Heriot-Watt University Mathematical and Computer Sciences, 2012-05)The objective of this thesis is to investigate risk capital allocation methods in detail for both non-life and life insurance business. In non-life insurance business loss models are generally linear with respect to ... -
Rotation invariant classification of 3D surface texture using photometric stereo
(Heriot-Watt University Mathematical and Computer Sciences, 2003) -
Saudi teachers’ and university students’ attitudes toward computing
(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 ...