Recent Submissions

  • Accelerated computing on computational grid infrastructures 

    Walsh, John (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2016)
    Grid infrastructures have been central to some of the largest computationally intensive scientific investigations in recent times. As the complexity of computational simulations and models increases, the dependency on ...
  • Detecting restriction class correspondences in Linked Open Data 

    Walshe, Brian (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2014)
    The Linked Open Data (LOD) project has made a broad range of knowledge available on the World Wide Web as open datasets, using a common format and linked in such a manner that it is a simple task to explore and integrate ...
  • A generic framework for grid-enabled visualisation and computational steering, and its characterisation 

    Watson, Ronan (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2011)
    This thesis presents a generic framework for grid-enabled visualisation and computational steering that is amenable to characterisation using mathematical models based on benchmarked resources. The models enable designers, ...
  • OM2R : semantic documentation of ontology mapping lifecycle to support retrieval and reuse of ontology mappings 

    Thomas, Hendrik (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2014)
    Ontology mappings are of critical importance for the Linked Data and the Semantic Web communities as they can help to mitigate the effects of heterogeneities, which are a major obstacle to the promise of interoperability ...
  • Formal polytypic programs and proofs 

    Verbruggen, Wilhelmina Johanna (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2010)
    Polytypic or datatype-generic programming is a form of generic programming where we abstract over the shape of datatypes: we define functions by induction over the structure of datatypes. In this thesis we show how to ...

View more