Now showing items 1-5 of 257

    • Corpus linguistics for the exploration of legal precedent 

      Brown, Evan David (University of St Andrews, 2019-07-17) - Thesis
      A deterioration of legal research skills has become a critical issue for lawyers. This thesis examines the causes of the problem under English law and specifically addresses how current technology for legal research ...
    • Title redacted 

      Dostál, Jakub (University of St Andrews, 2016-06-22) - Thesis
    • Applying named data networking in mobile ad hoc networks 

      Perez Aruni, Percy Dante (University of St Andrews, 2019) - Thesis
      This thesis presents the Name-based Mobile Ad-hoc Network (nMANET) approach to content distribution that ensure and enables responsible research on applying named data networking protocol in mobile ad-hoc networks. The ...
    • Verified programming with explicit coercions 

      Schwaab, Christopher (University of St Andrews, 2019-06-26) - Thesis
      Type systems have proved to be a powerful means of specifying and proving important program invariants. In dependently typed programming languages types can depend on values and hence express arbitrarily complicated p ...
    • A seamless framework for formal reasoning on specifications : model derivation, verification and comparison 

      Mendoza Santana, Juan Jose (University of St Andrews, 2019-06-26) - Thesis
      While formal methods have been demonstrated to be favourable to the construction of reliable systems, they also present us with several limitations. Most of the efforts regarding formal reasoning are concerned with model ...