Search
Now showing items 391-400 of 441
Geometric algebra and its application to mathematical physics
(University of CambridgeDepartment of Applied Mathematics and Theoretical Physics, 1994)
The quasi-fixed Minimal Supersymmetric Standard Model
(Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics, 1997-12-25)
Crystallization and melting in geological fluid mechanics
(University of CambridgeDepartment of Applied Mathematics and Theoretical Physics, 1991-07-12)
Symmetric structures in Banach spaces
(University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsTrinity College, 1990-02-20)
Cross-sector policy research: insights from the UK energy and transport sectors
(University of CambridgeDepartment of Engineering, 1993-10-26)
Following established traditions in anthropology and sociology, where cross-border research helps to identify important themes which benefit from comparative study, this dissertation introduces cross-sector policy research ...
Transfer bond stresses generated between FRP tendons and concrete
(Institute of Civil EngineersMagazine of Concrete Research, 1999)
There is a growing interest in the use of new materials in construction. Materials such as fibre-reinforced plastics (FRPs) are lightweight, strong, and, for the most part, non-corrodible. Hence, the use of FRPs as ...
BRST quantisation and finite temperature field theory
(University of CambridgeDepartment of Applied Mathematics & Theoretical Physics, 1996-01-30)
Geometry of monopoles and domain walls
(University of CambridgeDepartment of Applied Mathematics & Theoretical Physics, 1999-05-04)
Distributed analysis of Markov chains
(1998)
This thesis examines how parallel and distributed algorithms can increase the power of techniques for correctness and performance analysis of concurrent systems. The systems in question are state transition systems from ...
Bisimulation as a verification and validation technique for message sequence charts
(1998)
The complexity of determining whether a system meets the requirements of its designers has increased with the widespread use of real time concurrent systems. This testing process has however been simplified with the emergence ...