Sort by: Order: Results:

Now showing items 1-7 of 7

  • 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 ...
  • Exploration in Light Field processing and editing 

    Matysiak, Pierre (Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2022)
    Light fields have been used in computer science research for the better part of the last three decades, and the range of applications available is ever-growing. There exist several capture methods producing output images ...
  • 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 ...
  • iNegotiate: A Distributed SLA Negotiation System for Dynamic IoT Environments 

    LI, FAN (Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2020)
    The Internet of Things (IoT) envisions a large number of physical devices connecting over the Internet at an unparalleled rate, to enable ubiquitous and pervasive computing scenarios. By adopting the service-oriented ...
  • A Mobile Health Design Process to Improve User Engagement with Mobile Health 

    Ikwunne, Tochukwu Arinze (Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2023)
    It has been shown that less than 25 percent of people continue to use health and wellness apps after the first time they use them. Despite the importance of user engagement for the efficacy of such apps and mobile health ...