Browsing Doctoral Theses (Mathematical & Computer Sciences) by Title
Now showing items 353372 of 380 starting with T

Theory and applications of the collocation method with splines for ordinary and partial differential equations
(HeriotWatt University Mathematics, 1979) 
Threedimensional surface texture synthesis
(HeriotWatt University Mathematical and Computer Sciences, 2003) 
Threshold and endemic behaviour of spatial contact models
(HeriotWatt University Actuarial Mathematics and Statistics, 1982) 
Time dependent noncommutative geometry and field theory on the NappiWitten spacetime
(HeriotWatt University Mathematical and Computer Sciences, 2006) 
Topics in coagulationfragmentation equations
(Mathematical and Computer Sciences, 201411)In this thesis we study the mathematics of a model for the dynamics of cluster growth. The sizes of the clusters change in time as the clusters undergo coagulation and fragmentation events. The equations are for j = ... 
Topics in nonlinear elasticity
(HeriotWatt University Mathematics, 1990) 
Toward optimised skeletons for heterogeneous parallel architecture with performance cost model
(HeriotWatt University Mathematical and Computer Sciences, 201307)High performance architectures are increasingly heterogeneous with shared and distributed memory components, and accelerators like GPUs. Programming such architectures is complicated and performance portability is a major ... 
Towards a crowdsourced solution for the authoring bottleneck in interactive narratives
(HeriotWatt University Mathematical and Computer Sciences, 201504)Interactive Storytelling research has produced a wealth of technologies that can be employed to create personalised narrative experiences, in which the audience takes a participating rather than observing role. But so ... 
Towards a relational approach to data streams in centralised and distributed systems.
(HeriotWatt University Mathematical and Computer Sciences, 2007) 
Towards efficient polling strategies for monitoring management information in TCP/IP networks
(HeriotWatt University Mathematical and Computer Sciences, 2006) 
Towards the control of cell states in gene regulatory networks by evolving Boolean networks
(Mathematical and Computer Sciences, 201807)Biological cell behaviours emerge from complex patterns of interactions between genes and their products, known as gene regulatory networks (GRNs). More speciﬁcally, GRNs are complex dynamical structures that orchestrate ... 
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 ... 
Transgression forms as source for topological gravity and ChernSimonsHiggs theories
(HeriotWatt University Mathematical and Computer Sciences, 201410) 
Twoloop string theory and the DVV Vertex
(HeriotWatt University Mathematical and Computer Sciences, 200812)We compute the twoloop contributions to the free energy in the null compacti¯cation of perturbative string theory at ¯nite temperature. The cases of bosonic, Type II and heterotic strings are all treated. The calculation ... 
Understanding iconography : a method to allow rich picture interpretation to improve
(HeriotWatt University Mathematical and Computer Science, 201401)Information Systems for complex situations often fail to adequately deliver quality and suitability. One reason for this failure is an inability to identify comprehensive user requirements. Seldom do all stakeholders, ... 
Understanding the exergame user experience : users' motivation, attitude and behaviour in a locationaware pervasive exergame for adolescent children
(HeriotWatt University, 201312)The benefits of physical activity for adolescent children are well understood. Despite this, within much of the Western World, children fail to achieve the recommended guidelines for physical activity participation, ... 
A unifying framework for Lambda Calculi and their extensions with explicit substitution operators that is useful for verifying confluence
(HeriotWatt University Mathematical and Computer Sciences, 2006) 
Usability investigation of anthropomorphic user interface feedback
(HeriotWatt University, 200903)This research has investigated the usability of anthropomorphic feedback. This investigation has been very important and useful for the research community and user interface developers because knowing definitively if an ... 
The use of alternative data models in data warehousing environments
(HeriotWatt University, 200905)Data Warehouses are increasing their data volume at an accelerated rate; high disk space consumption; slow query response time and complex database administration are common problems in these environments. The lack of a ... 
The use of Margrabe options to ensure the solvency of a life office
(HeriotWatt University Mathematical and Computer Sciences, 2007)