Sort by: Order: Results:

Now showing items 1-4 of 4

  • Compositonal modelling and verification of self-adaptive cyber-physical systems 

    BORDA, AIMEE (Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2019)
    Cyber-Physical Systems (CPSs) must often self-adapt to respond to changes in their operating environment. However, providing assurances of critical requirements through formal verification techniques can be computationally ...
  • Elements of Style Change 

    KLAUSSNER, CARMEN (Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2018)
    This thesis considers aspects of stylistic change over time with respect to a corpus of literary authors and corresponding background change for the same period of time. The primary focus of this thesis is the development ...
  • Entity linking for text based cultural heritage collections 

    MUNNELLY, GARY (Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2020)
    The ongoing digitisation of cultural heritage data and subsequent publication of that data in digital format has completely changed the manner in which people investigate and engage with cultural treasures. This change has ...
  • Exploring use of the Bridge21 model as a 21st Century method of Continuing Professional Development (CPD) in Computer Science (CS) for Teachers in Ireland 

    FISHER, LORRAINE (Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2019)
    Across Europe there is strong push to teach Computer Science (CS) in post-primary schools (Forbes & Messina, 2002). Sentance and Csizmadia (2017a) advise that CS is perceived as a difficult subject, and call for Continuing ...