Academic/Research Units within this Academic/Research Unit

Recent Submissions

  • Model-checking circus with FDR using circus2csp 

    GOMES, ARTUR OLIVEIRA (Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2019)
    The current lack of tool support for model-checking Circus, a formalism which combines Z, CSP, refinement calculus and Dijkstra's guarded commands, is one of the constraints for its use at industrial scale. Nowadays, it ...
  • Moving the Network to the Cloud: the Cloud Central Office Revolution and its Implications for the Optical Layer 

    Ruffini, Marco (2019)
    This tutorial provides an overview of the various frameworks and architectures outlining current network disaggregation trends that are leading to the virtualisation/cloudification of central of- fices. The ...
  • An Overview on Application of Machine Learning Techniques in Optical Networks 

    Ruffini, Marco (2018)
    Today’s telecommunication networks have become sources of enormous amounts of widely heterogeneous data. This information can be retrieved from network traffic traces, network alarms, signal quality indicators, users’ ...
  • The Ontology Project for Interactive Digital Narrative 

    Haahr, Mads (Springer, 2015)
    Interactive Digital Narrative (IDN) is an interdisciplinary field in which long established perspectives (literature studies, narratology, oral storytelling practices) and newer views (computer science, communication ...
  • Market Disequilibrium and the Impact of News Sentiment 

    ZHAO, ZEYAN (Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2018)
    The market price of any stock or financial instrument listed on an exchange would be assumed to be observed price, though we believe there is always a true price (or fair market value) of any. The market value and market ...

View more