The assessment of ageing tunnels requires a deeper understanding of the long-term behaviour of twin tunnels, whilst lack of permeability data limits the accuracy of long-term predictions. This thesis therefore investigates ...

We examine aspects of the computation of finite element matrices and vectors which are made possible by automated code generation. Given a variational form in a syntax which resembles standard mathematical notation, the ...