• 

  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 ...
• 

  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 ...
• 

  Automatic vectorization through superword level parellelism with associative chain re-ordering and loop shifting 

  ROGERS, STEPHEN (Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2018)

  Single instruction, multiple data (SIMD) is a class of parallel computing that involves executing a single operation across multiple pieces of data. A common type of SIMD is vector processing which involves executing a ...
• 

  Partitioning POMDPs for multiple input types, and their application to dialogue managers 

  COWDEROY, GRACE (Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2018)

  This research looks at the POMDP models used for dialogue management within Spoken Dialogue Systems (SDS). In particular, it examines the difficulty of handling multimodal inputs. It proposes a generalisation of the ...
• 

  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 ...

View more