Browsing Doctoral Theses (Mathematical & Computer Sciences) by Title
Now showing items 124-143 of 380 starting with I
-
Identifying functionally and topologically cohesive modules in protein interaction networks
(Heriot-Watt University Mathematical and Computer Sciences, 2008) -
The impact of defined contribution pension plans on population retirement dynamics
(Heriot-Watt University Mathematical and Computer Sciences, 2007) -
Impact of initial selection on claim inceptions for individual income protection insurance
(Heriot-Watt University Actuarial Mathematics and Statistics, 2000) -
The impact of multifactorial genetic disorders on long-term insurance
(Heriot-Watt University Mathematical and Computer Sciences, 2007) -
Implementing high-level parallelism on computational GRIDs
(Heriot-Watt University Mathematical and Computer Sciences, 2006) -
Incomplete information in a deductive database
(Heriot-Watt University Computer Science, 1989) -
An incremental clustering and associative learning architecture for intelligent robotics
(Heriot-Watt University Mathematical and Computer Sciences, 2015-08)The ability to learn from the environment and memorise the acquired knowledge is essential for robots to become autonomous and versatile artificial companions. This thesis proposes a novel learning and memory architecture ... -
An individual life history model for heart disease, stroke and death : structure, parameterisation and applications
(Heriot-Watt University Mathematical and Computer Sciences, 2008) -
Inference and experimental design for percolation and random graph models.
(Heriot-Watt University Mathematical and Computer Science, 2010-06)The problem of optimal arrangement of nodes of a random weighted graph is studied in this thesis. The nodes of graphs under study are fixed, but their edges are random and established according to the so called ... -
Inference and prediction in plant populations using data augmentation within a Bayesian framework
(Heriot-Watt University Mathematical and Computer Sciences, 2006) -
Inference for epidemics and effect of reporting processes
(Heriot-Watt University Mathematical and Computer Sciences, 2012-05)The objective of this thesis is to study the e ect of under-reporting in epidemics. In particular, there are two broad questions we investigate: In the situation of under-reporting in epidemics, what would happen if ... -
The influence of cognitive styles on the design of adaptive web-based learning materials
(Heriot-Watt University, 2009-05)This research addresses the issues of adaptation and personalisation of the computer interface for Web-based learning materials taking into consideration key characteristics of learners and particularly their cognitive ... -
The influence of seasonal forcing on the population dynamics of ecological systems
(Heriot-Watt University Mathematical and Computer Sciences, 2014-06)Seasonal forcing represents a pervasive source of environmental variability and it has been shown to be important in generating the cycles observed in many ecological and epidemiological systems. We use a combination of ... -
Initial design considerations for high-speed retrieval techniques in Prolog and text data base machines
(Heriot-Watt University Computer Science, 1985) -
Initial design studies for a high-speed distributed prolog database machine
(Heriot-Watt University Computer Science, 1986) -
An integrated approach to high integrity software verification.
(Heriot-Watt University Mathematical and Computer Sciences, 2010-06)Computer software is developed through software engineering. At its most precise, software engineering involves mathematical rigour as formal methods. High integrity software is associated with safety critical and security ... -
Integrating distributed data streams
(Heriot-Watt University Mathematical and Computer Sciences, 2007) -
Integrity constraints in deductive databases
(Heriot-Watt University Computer Science, 1990)A deductive database is a logic program that generalises the concept of a relational database. Integrity constraints are properties that the data of a database are required to satisfy and in the context of logic programming, ... -
Interactive directed graph analysis methods for a digital hardware design system
(Heriot-Watt University Computer Science, 1976) -
Interactive real-time three-dimensional visualisation of virtual textiles
(Heriot-Watt University, 2009-12)Virtual textile databases provide a cost-efficient alternative to the use of existing hardcover sample catalogues. By taking advantage of the high performance features offered by the latest generation of programmable ...