Research Centres and Institutes: Recent submissions

Now showing items 51-55 of 382

    • Title redacted 

      Sugasawa, Shoko (University of St Andrews, 2016-06-01) - Thesis

    • Proof-carrying plans 

      Schwaab, Christopher Joseph; Komendantskaya, Ekaterina; Hill, Alisdair; Farka, František; Petrick, Ronald; Wells, Joe; Hammond, Kevin (Springer, 2019-01) - Conference item
      It is becoming increasingly important to verify safety and security of AI applications. While declarative languages (of the kind found in automated planners and model checkers) are traditionally used for verifying AI ...

    • The impact of multiple stressors on coastal biodiversity and associated ecosystem services 

      Watson, Stephen C. L. (University of St Andrews, 2017-06-21) - Thesis
      Marine and coastal ecosystems are subject to diverse and increasingly intensive anthropogenic activities, making understanding cumulative effects critically important. However, accurately accounting for the cumulative ...

    • Gift-giving and inheritance strategies in late Roman law and legal practice 

      Humfress, Caroline (Routledge Taylor & Francis Group, 2017-06-07) - Book item
      In Roman law, an inheritance could be passed on according to the rules of intestate or testate succession. The Roman law of succession presents people with an enormous display of legal ingenuity. This chapter analyses some ...

    • BayesPiles : visualisation support for Bayesian network structure learning 

      Vogogias, Athanasios; Kennedy, Jessie; Archambault, Daniel; Bach, Benjamin; Smith, V Anne; Currant, Hannah (2018-11) - Journal article
      We address the problem of exploring, combining, and comparing large collections of scored, directed networks for understanding inferred Bayesian networks used in biology. In this field, heuristic algorithms explore the ...